On the type of a complex hyperbolic triangle group

Wei Liao; John R Parker

Home/Archive/arXiv

arXiv · 2610.03422

On the type of a complex hyperbolic triangle group

Wei Liao·John R Parker

View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we consider groups of complex hyperbolic isometries generated by three complex involutions. Our first main result states that if the group is discrete and at least two of the mirrors of complex reflections intersect, then the group may be put into a normal form involving the ordering of traces of short, even length words. Our second main result refines a conjecture of Schwartz (proved by Grossi) that determines the type of the group in terms of the angles between the mirrors. That is, in the parameter space of complex triangles with given angles, it determines which of two given words becomes elliptic first.

Explore related subjects

math.GR math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Wei Liao, John R Parker. 2026-10-02. On the type of a complex hyperbolic triangle group. https://arxiv.org/abs/2610.03422

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Linear-growth harmonic functions for nonsymmetric random walks on groups of polynomial growth

Let $G$ be a finitely generated group of polynomial growth and let $μ$ be an adapted, Abelian-centered probability measure with a finite exponential moment (not necessarily symmetric or finitely supported). We prove that every $μ$-harmonic function of at most linear growth is globally Lipschitz. In particular, if $G$ is nilpotent, these functions are exactly the affine characters: $$ \mathrm{HF}_1(G,μ)=\operatorname{LHF}(G,μ)=P^1(G). $$ The analytic machinery required for this is a convolution-gradient estimate that is uniform over families of Abelian-centered, finitely supported probability measures satisfying fixed ellipticity and exponential-moment bounds. A quantitative induction-restriction theorem transfers $\operatorname{LHF}$ across finite-index subgroups. We also determine the normed structure of these spaces. In particular, on a nilpotent group, the Lipschitz seminorm of an affine character is exactly the dual stable norm of the word metric. Under the same nonsymmetric hypotheses, linear-growth harmonic functions modulo constants identify canonically with the virtual first cohomology. This identification is an isometry for the asymptotic Lipschitz seminorm. For the ordinary Lipschitz seminorm it is a contraction with bounded inverse; the inverse bound seems to depend on $μ$, as shown by an infinite dihedral group example.

math.GR↗

arXiv2026

Near full groups of bounded type, II

Containment of the AF alternating group of the tail groupoid is the AF input in our full-group completion theorem for groups satisfying the finite singular germ condition. We give a sufficient criterion for this containment, in which selectors separate inherited diagonal actions, and an exact criterion for finite regular coverings. We then identify a class of fragmentations that produce the required selectors. In the covering case, the intersection with the AF alternating group is the centralizer of the subgroup of deck transformations commuting with the adjoined AF permutations. This yields finitely generated examples with minimal actions and identical groupoids of germs but different intersections with the AF alternating group. Consequently, containment of the AF alternating group is not determined by the groupoid of germs alone. As an application, we show that a fragmentation group of the modified Fabrykowski--Gupta group contains the AF alternating group and, by the completion theorem, has index four in its topological full group.

math.GR↗

arXiv2026

Finite permutation groups that act with fixity 4

Motivated by the theory of Riemann surfaces and specifically the significance of Weierstrass points, we prove general structure results about finite groups that have a faithful transitive action with fixity 4. We also explain examples for many different possibilities of such actions.

math.GR↗