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

DOI10.1016/J.LAA.2010.07.028MaRDI QIDQ603149zbMATH OpenOpenAlexFDO

Authors Baohua Xie, Yue-Ping Jiang

Publication date 5 November 2010

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1003.2789

zbMATH Keywords

discretenesselliptic elementsfree productsFuchsian groups

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Fuchsian groups and their generalizations (group-theoretic aspects) (20H10) Discrete subgroups of Lie groups (22E40) Kleinian groups (aspects of compact Riemann surfaces and uniformization) (30F40)

Abstract: Let $f$ and $g$ be two elliptic elements in $mathbfPU(2,1)$ of order $m$ and $n$ respectively, where $mgeqn>2$. We prove that if the distance $delta(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\ast mathbf{Z}_n$.

Review text

Let \(f\) and \(g\) be elliptic elements of order \(m\) and \(n\), respectively. If the distance \(\delta(f,g)\) between the fixed points of \(f\) and \(g\) satisfies the inequality \(\cosh\delta(f,g)>{\cos{\pi\over m}\cos{\pi\over n}+1\over\sin{\pi\over m}\cdot\sin{\pi\over n}}\) then \(\langle f,g\rangle\) is discrete and isomorphic to the free product \(\langle f\rangle*\langle g\rangle\). This result follows trivially from the `if and only if' statement in [\textit{G. Rosenberger}, Math. Ann. 199, 213-227 (1972; Zbl 0244.20057)]; a complete extended discussion is given in [\textit{B. Fine} and \textit{G. Rosenberger}, in Groups `93 Galway/St. Andrews'. Proc. int. Conf., Lond. Math. Soc. Lect. Note Ser. 211, 205-232 (1995; Zbl 0847.20044)].

Recommendations

• On the distance between the axes of elliptic elements generating a free product of cyclic groups
• Free product of two elliptic quaternionic Möbius transformations
• scientific article; zbMATH DE number 970036
• Sufficient discreteness conditions for 2-generator subgroups in \(\mathrm{PSL}(2,\mathbb C)\)
• Commutators, collars and the geometry of Möbius groups

Cites work

• Discrete subgroups of complex hyperbolic motions
• Distance formulas in complex hyperbolic space
• Doubly generated Fuchsian groups
• scientific article; zbMATH DE number 1270600 (Why is no real title available?)
• scientific article; zbMATH DE number 1789976 (Why is no real title available?)
• scientific article; zbMATH DE number 970036 (Why is no real title available?)
• Jørgensen's inequality for complex hyperbolic space.
• Notes on elements of U(1,n;\({\mathbb{C}})\)
• On Discrete Subgroups of PU(1,2;C ) with Heisenberg Translations
• Pairs of real 2-by-2 matrices that generate free products
• SHIMIZU’S LEMMA FOR COMPLEX HYPERBOLIC SPACE
• Traces in complex hyperbolic triangle groups
• Two generator discrete free products
• Uniform discreteness and Heisenberg screw motions
• Uniform discreteness and Heisenberg translations

Cited in

(6)

• Free groups generated by two parabolic maps
• Free product of two elliptic quaternionic Möbius transformations
• On the minimal distance between elliptic fixed points for geometrically finite Fuchsian groups
• On the distance between the axes of elliptic elements generating a free product of cyclic groups
• scientific article; zbMATH DE number 970036 (Why is no real title available?)
• Free groups generated by two screw parabolic maps

This page was built for publication: Groups generated by two elliptic elements in \(\text{PU}(2,1)\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q603149)