arXiv research

Study stabilizers of complex hyperbolic triangle groups, finding generators and signatures.

Classifies complex hyperbolic triangle groups by types.

Complex hyperbolic triangle groups were first considered by Mostow in building the first nonarithmetic lattices in PU(2, 1). They are a natural generalization of the classical triangle groups acting on the hyperbolic plane. A well-known theorem of Takeuchi is that there are only finitely many Fuchsian triangle groups t…

The study determines discreteness of complex hyperbolic triangle groups.

Study of subgroups in complex hyperbolic lattice triangle groups.

Complex hyperbolic triangle groups are discrete when certain conditions are met.

In this paper we mainly pay attention to the complex hyperbolic triangle groups of type (m, n, infinity) and discuss the discreteness. From the results more explicit conclusions about the triangle groups of type (n, infinity, infinity) will also be given.

We present several formulas for the traces of elements in complex hyperbolic triangle groups generated by complex reflections. The space of such groups of fixed signature is of real dimension one. We parameterise this space by a real invariant alpha of triangles in the complex hyperbolic plane. The main result of the p…

In this paper we study discreteness of complex hyperbolic triangle groups of type $[m,m,0;3,3,2]$, i.e. groups of isometries of the complex hyperbolic plane generated by three complex reflections of orders $3,3,2$ in complex geodesics with pairwise distances $m,m,0$. For fixed $m,$ the parameter space of such groups is…

Complex hyperbolic triangle groups yield specific 3-manifolds at infinity.

The theory of complex hyperbolic discrete groups is still in its childhood but promises to grow into a rich subfield of geometry. In this paper I will discuss some recent progress that has been made on complex hyperbolic deformations of the modular group and, more generally, triangle groups. These are some of the simpl…

In this note we prove that a complex hyperbolic triangle group of type (m,m,infinity), i.e. a group of isometries of the complex hyperbolic plane, generated by complex reflections in three complex geodesics meeting at angles Pi/m, Pi/m and 0, is not discrete if the product of the three generators is regular elliptic.

In this paper we consider ultra-parallel complex hyperbolic triangle groups of type $[m_1,m_2,0]$, i.e. groups of isometries of the complex hyperbolic plane, generated by complex reflections in three ultra-parallel complex geodesics two of which intersect on the boundary. We prove some discreteness and non-discreteness…

We prove a conjecture of R. Schwartz about the type of some complex hyperbolic triangle groups.

3-manifolds are CR uniformized on spheres, proving a conjecture.

In this paper we will consider the 2-fold symmetric complex hyperbolic triangle groups generated by three complex reflections through angle 2pi/p with p no smaller than 2. We will mainly concentrate on the groups where some elements are elliptic of finite order. Then we will classify all such groups which are candidate…

The paper classifies discrete complex hyperbolic triangle groups.

We describe a general procedure to produce fundamental domains for complex hyperbolic triangle groups, a class of groups that contains a representative of the commensurability class of every known non-arithmetic lattice in ${\rm PU}(2,1)$. We discuss several commensurability invariants for lattices, and show that some …

New CR representations are found and shown to be redundant.

We classify the 3-dimensional hyperbolic polyhedral orbifolds that contain no embedded essential 2-suborbifolds, up to decomposition along embedded hyperbolic triangle orbifolds (turnovers). We give a necessary condition for a 3-dimensional hyperbolic polyhedral orbifold to contain an immersed (singular) hyperbolic tur…

Identifies Anosov representations of hyperbolic triangle groups in SL(3,R).

The study defines fields of definition for triangle groups as Fuchsian groups.

Study on hyperbolic triangles and once-punctured torus groups, focusing on group relations and deformations.

The study proves conjecture for specific Artin groups.

We prove the Goldman-Parker Conjecture: A complex hyperbolic ideal triangle group is directly embedded in PU(2,1) if and only if the product of its three standard generators is not elliptic. We also prove that such a group is indiscrete if the product of its three standard generators is elliptic. A novel feature of thi…

Study reveals hidden accidental parabolics in complex hyperbolic geometry.

Study character varieties for 3-punctured sphere group representations in PU(2,1).

The goal of this paper is to give a conjectural census of complex hyperbolic sporadic groups. We prove that only finitely many of these sporadic groups are lattices. We also give a conjectural list of all lattices among sporadic groups, and for each group in the list we give a conjectural presentation, as well as a lis…

New theorem disproves Angle Defect for super triangles.

Study shortest non-simple geodesics on 2-orbifolds, finding unique shortest curve.

We show local rigidity of hyperbolic triangle groups generated by reflections in pairs of $n$-dimensional subspaces of $R^{2n}$ obtained by composition of the geometric representation in $PGL(2, R)$ with the diagonal embeddings into $PGL(2n, R)$ and $PSp^\pm(2n, R)$.

Deroin and Tholozan's representations are mapped to complex projective space via action-angle coordinates.

Three counterexamples show higher eigenvalue multiplicities than conjectured.

New Fuchsian groups found with special embedding properties.

The study shows that certain complex geometries are hyperbolic and contractible but fail to be CAT(0).

Maps between acute triangles with minimal stretch found and studied.

We describe a procedure which verifies that a group given by generators and relators is word-hyperbolic. This procedure always works with a group which is word-hyperbolic, provided there is sufficient memory and time devoted to the problem. If the group is not word-hyperbolic, the procedure continues indefinitely. We a…

Napoleonic triangles don't exist in hyperbolic geometry.

The study establishes conditions for groups acting on polygonal complexes to contain virtually free subgroups.

Few years ago we developed jointly with I.Dynnikov new discretization of complex analysis (DCA) based on the two-dimensional manifolds with colored black/white triangulation. Especially deep results were obtained for the Euclidean plane with equilateral triangle lattice. In the present work we develop a DCA theory for …

For k>6, we determine the minimal area of a compact hyperbolic surface, and an oriented compact hyperbolic surface that can be tiled by embedded regular triangles of angle 2π/k. Based on this, all the cases of equality in Laszlo Fejes Toth's triangle bound for hyperbolic surfaces are described.

Random hyperbolic surfaces have low Cheeger constants.

We consider hyperbolic manifolds with boundary, which admit an ideal triangulation with n ideal triangles and one edge. We prove that the number of these manifolds is $\exp(n\ln(n)+O(n))$.

We study subgroups of ${\rm PU}(2,1)$ generated by two non-commuting unipotent maps $A$ and $B$ whose product $AB$ is also unipotent. We call $\mathcal{U}$ the set of conjugacy classes of such groups. We provide a set of coordinates on $\mathcal{U}$ that make it homeomorphic to $\mathbb{R}^2$ . By considering the actio…

The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof. In this paper we give a new and improved proof of the Goldman-Parker Conjecture.…

Extends Wigner's representation to study super hyperbolic geometry.

In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar to the one of hyperbolicity, relying on the existence for every quasi-geodesic t…

A Margulis spacetime is a complete flat Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface S homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when S is homeomorphic to a one-holed torus. We show that every such M decompo…