Searcharxiv⌕ Search

arXiv subjects

Baohua Xie

Publications and source records attributed to Baohua Xie.

13 recordsLinked to original sources
arXiv2026

Spherical CR uniformizations of a sequence of hyperbolic 3-manifolds

Let $s782$ be the 2-cusped hyperbolic 3-manifold in the SnapPy census. Its spherical CR uniformization was established in \cite{JWX2023} using the Ford domain of the complex hyperbolic triangle group $Δ_{4,4,\infty;\infty}$. By comparing the combinatorial structures of the Ford domain of $Δ_{4,4,\infty;\infty}$ and the Dirichlet domain of $Δ_{4,4,n;\infty}$, we prove that for each $n \geq 5$, the Dehn filling of $s782$ along the slope $(n-1)\mathcal{m}_1 + \mathcal{l}_1$ on its second cusp admits a spherical CR uniformization, where $(\mathcal{m}_1, \mathcal{l}_1)$ denotes the meridian-longitude system of a cusp in SnapPy notation.

math.GT↗
arXiv2026

Discreteness of the complex hyperbolic ultra-parallel triangle groups

We prove that a family of complex hyperbolic ultra-parallel $[m_1, m_2, m_3]$-triangle group representations, where \( m_3 > 0 \), is discrete and faithful if and only if the isometry \( R_1(R_2R_1)^nR_3 \) is non-elliptic for some positive integer \( n \). Additionally, we investigate the special case where \( m_3 = 0 \) and provide a substantial improvement upon the main result by Monaghan, Parker, and Pratoussevitch.

math.GT↗
arXiv2024

Menger curve and Spherical CR uniformization of a closed hyperbolic 3-orbifold

Let $$G_{6,3}=\langle a_0, \cdots, a_5| a_{i}^{3}=id, a_{i} a_{i+1}= a_{i+1} a_{i}, i \in \mathbb{Z}/6\mathbb{Z}\rangle$$ be a hyperbolic group with boundary the Menger curve. J. Granier \cite{Granier} constructed a discrete, convex cocompact and faithful representation $ρ$ of $G_{6,3}$ into $\mathbf{PU}(2,1)$. We show the 3-orbifold at infinity of $ρ(G_{6,3})$ is a closed hyperbolic 3-orbifold, with underlying space the 3-sphere and singular locus the $\mathbb{Z}_3$-coned chain-link $C(6,-2)$. This answers the second part of Misha Kapovich's Conjecture 10.6\cite{Kapovich}.

math.GT↗
arXiv2024

Complex Hyperbolic Geometry of Chain Links

The complex hyperbolic triangle group $Γ=Δ_{4,\infty,\infty;\infty}$ acting on the complex hyperbolic plane ${\bf H}^2_{\mathbb C}$ is generated by complex reflections $I_1$, $I_2$, $I_3$ such that the product $I_2I_3$ has order four, the products $I_3I_1$, $I_1I_2$ are parabolic and the product $I_1I_3I_2I_3$ is an accidental parabolic element. Unexpectedly, the product $I_1I_2I_3I_2$ is a hidden accidental parabolic element. We show that the 3-manifold at infinity of $Δ_{4,\infty,\infty;\infty}$ is the complement of the chain link $8^4_1$ in the 3-sphere. In particular, the quartic cusped hyperbolic 3-manifold $S^3-8^4_1$ admits a spherical CR-uniformization. The proof relies on a new technique to show that the ideal boundary of the Ford domain is an infinite-genus handlebody. Motivated by this result and supported by the previous studies of various authors, we conjecture that the chain link $C_p$ is an ancestor of the 3-manifold at infinity of the critical complex hyperbolic triangle group $Δ_{p,q,r;\infty}$, for $3 \leq p \leq 9$.

math.GT↗
arXiv2023

Figure-eight knot is always over there

It is well-known that complex hyperbolic triangle groups $Δ(3,3,4)$ generated by three complex reflections $I_1,I_2,I_3$ in $\mbox{PU(2,1)}$ has 1-dimensional moduli space. Deforming the representations from the classical $\mathbb{R}$-Fuchsian one to $Δ(3,3,4; \infty)$, that is, when $I_3I_2I_1I_2$ is accidental parabolic, the 3-manifolds at infinity change from a Seifert 3-manifold to the figure-eight knot complement. When $I_3I_2I_1I_2$ is loxodromic, there is an open set $Ω\subset \partial\mathbf H^{2}_{\mathbb C}=\mathbb S^3$ associated to $I_3I_2I_1I_2$, which is a subset of the discontinuous region. We show the quotient space $Ω/ Δ(3,3,4)$ is always the figure-eight knot complement in the deformation process. This gives the topological/geometrical explain that the 3-manifold at infinity of $Δ(3,3,4; \infty)$ is the figure-eight knot complement. In particular, this confirms a conjecture of Falbel-Guilloux-Will.

math.GT↗
arXiv2023

Spherical CR uniformization of the magic 3-manifold

We show the 3-manifold at infinity of the complex hyperbolic triangle group $Δ_{3,\infty,\infty;\infty}$ is the three-cusped "magic" 3-manifold $6_1^3$. We also show the 3-manifold at infinity of the complex hyperbolic triangle group $Δ_{3,4,\infty;\infty}$ is the two-cusped 3-manifold $m295$ in the Snappy Census, which is a 3-manifold obtained by Dehn filling on one cusp of $6_1^3$. In particular, hyperbolic 3-manifolds $6_1^3$ and $m295$ admit spherical CR uniformizations. These results support our conjecture that the 3-manifold at infinity of the complex hyperbolic triangle group $Δ_{3,n,m;\infty}$ is the one-cusped hyperbolic 3-manifold from the "magic" $6_1^3$ via Dehn fillings with filling slopes $(n-2)$ and $(m-2)$ on the first two cusps of it.

math.GT↗
arXiv2022

Three-manifolds at infinity of complex hyperbolic orbifolds

We show the manifolds at infinity of the complex hyperbolic triangle groups $Δ_{3,4,4;\infty}$ and $Δ_{3,4,6;\infty}$,are one-cusped hyperbolic 3-manifolds $m038$ and $s090$ in the Snappy Census respectively.That is,these two manifolds admit spherical CR uniformizations. Moreover, these two hyperbolic 3-manifolds above can be obtained by Dehn surgeries on the first cusp of the two-cusped hyperbolic 3-manifold $m295$ in the Snappy Census with slopes $2$ and $4$ respectively. In general,the main result in this paper allow us to conjecture that the manifold at infinity of the complex hyperbolic triangle group $Δ_{3,4,n;\infty}$ is the one-cusped hyperbolic 3-manifold obtained by Dehn surgery on the first cusp of $m295$ with slope $n-2$.

math.GT↗
arXiv2021

A uniformizable spherical CR structure on a two-cusped hyperbolic 3-manifold

Let $\langle I_{1}, I_{2}, I_{3}\rangle$ be the complex hyperbolic $(4,4,\infty)$ triangle group. In this paper we give a proof of a conjecture of Schwartz for $\langle I_{1}, I_{2}, I_{3}\rangle$. That is $\langle I_{1}, I_{2}, I_{3}\rangle$ is discrete and faithful if and only if $I_1I_3I_2I_3$ is nonelliptic. When $I_1I_3I_2I_3$ is parabolic, we show that the even subgroup $\langle I_2 I_3, I_2I_1 \rangle$ is the holonomy representation of a uniformizable spherical CR structure on the two-cusped hyperbolic 3-manifold $s782$ in SnapPy notation.

math.GT↗
arXiv2013

Balls in complex hyperbolic manifolds

In this paper we get an explicit lower bound for the radius of a Bergman ball contained in the Dirichlet fundamental polyhedron of a torsion-free discrete group $G\subset PU(n,1)$ acting on complex hyperbolic space. Consequently the volume of all complex hyperbolic n-manifolds is bounded below by the volume of this ball.

math.DG↗
arXiv2012

Generators of Picard modular groups

In this paper, we extend the method in [FFLP] to obtain the generators of the Picard modular groups $\mathbf{PU}(2,1;\mathcal {O}_d)$ with $d=3,7,11$.

math.GR↗
arXiv2010

Groups generated by two elliptic elements in PU(2,1)

Let $f$ and $g$ be two elliptic elements in $\mathbf{PU}(2,1)$ of order $m$ and $n$ respectively, where $m\geq n>2$. We prove that if the distance $δ(f,g)$ between the complex lines or points fixed by $f$ and $g$ is large than a certain number, then the group $< f, g >$ is discrete nonelementary and isomorphic to the free product $\mathbf{Z}_{m}*\mathbf{Z}_{n}$.

math.CV↗