Horn's problem in PU$(n,1)$

TL;DR

This paper investigates the multiplicative Horn problem within the group PU(n,1), characterizing the solution set as a union of convex polytopes and providing a complete description for the case n=2.

Contribution

It offers a detailed geometric description of the solution set for the multiplicative Horn problem in PU(n,1), including a complete characterization for n=2.

Findings

Solution set is a finite union of convex polytopes

Complete description of polytopes for n=2

Extension of Horn problem to complex hyperbolic isometry groups

Abstract

The multiplicative Horn problem is the following question: given three conjugacy classes $\mathcal{C}_1, \mathcal{C}_2, \mathcal{C}_3$ in a Lie group $G$, do there exist elements $(A,B,C)\in\mathcal{C}_1\times\mathcal{C}_2\times\mathcal{C}_3$ such that $ABC=\operatorname{Id}$? In this paper, we study the multiplicative Horn problem restricted to the elliptic classes of the group $G={\rm PU}(n,1)$ for $n\geq 1$, which is the isometry group of the $n$-dimensional complex hyperbolic space. We show that the solution set of Horn's problem in PU$(n,1)$ is a finite union of convex polytopes in the space of elliptic conjugacy classes. We give a complete description of these polytopes when $n=2$.