Rigidity at infinity for the Borel function of the tetrahedral reflection lattice (Q6164262)

In this paper, the author studies the maximum of the Borel function on the \(\text{PSL}(n,\mathbb{C})\)-character variety of finite volume cusped complete hyperbolic \(3\)-manifolds. For a finite volume cusped complete hyperbolic \(3\)-manifold \(M\) with fundamental group \(\Gamma\) and \(G=\text{PSL}(n,\mathbb{C})\), the Borel function is a real-valued function defined on the character variety \(X(\Gamma,\text{PSL}(n,\mathbb{C}))\), by using an object in bounded cohomology called the Borel cocycle. When \(n=2\), the Borel function coincides with the representation volume of \(\Gamma\) to \(\text{PSL}(2,\mathbb{C})\). It is known that if \(\rho: \Gamma\to \text{PSL}(n,\mathbb{C})\) realizes the maximum of the Borel function, then \(\rho\) is conjugate to \(\pi_n\circ i\) (or its complex conjugation), where \(i:\Gamma\to \text{PSL}(2,\mathbb{C})\) gives the standard hyperbolic structure of \(M\), and \(\pi_n:\text{PSL}(2,\mathbb{C})\to \text{PSL}(n,\mathbb{C})\) is the canonical irreducible representation. \textit{A. Guilloux} [Exp. Math. 27, No. 4, 472--477 (2018; Zbl 1408.57015)] conjectured that the Borel function is bounded away from the maximum outside a neighborhood of \(\pi_n\circ i\) in \(X(\Gamma, \text{PSL}(n,\mathbb{C}))\). For any \(\Gamma_0<\text{PSL}(2,\mathbb{C})\) contained in the reflection group of the regular ideal tetrahedron in \(\mathbb{H}^3\), the author confirms Guilloux's conjecture in Theorem 1.1, under an assumption on the existence of some equivariant measurable maps from \(\mathbb{P}^1(\mathbb{C})\) to \(\mathscr{F}(n,\mathbb{C})\). The assumption on the existence of equivariant measurable maps between these Furstenberg boundaries is necessary for the proof, since an integral formula of the Borel function involves the equivariant boundary map. The proof only works for \(\Gamma_0\) contained in the reflection group of the regular ideal tetrahedron, by the following reason. The proof invokes a precise understanding on the maximum of the Borel cocycle via the regular ideal tetrahedron, which needs an understanding on the limit behavior of restrictions of a sequence of equivariant measurable maps on a \(\Gamma_0\)-orbit in \(\partial \mathbb{H}^3\), via reflections along faces of regular ideal tetrahedra.