arXiv Science⌕ Search

arXiv · 2610.20932

Resolutions of orbifold generalised triangle groups

Abstract

Let $T=\langle f,g\mid f^{l}=g^{m}=W^{n}=1\rangle$ be a generalised triangle group in which $W$ is the Farey word of a rational slope $q=r/s$, and suppose that $T$ is the fundamental group of a hyperbolic $3$-orbifold whose singular locus has no spherical vertices. Let $G=\langle f,g\mid f^{l}=g^{m}=W^{n}\rangle$ be the associated central extension. We compute an explicit free resolution of the trivial module over $\mathbb{Z}G$ of minimal length, with differentials given in closed form by Fox derivatives. From this resolution we deduce an explicit free resolution over $\mathbb{Z}T$ which is $2$-periodic in degrees at least two, and we compute the integral homology and cohomology of both groups. Strebel treated the classical family $q=0/1$ in 1983. Since then only the family $q=1/2$ has been treated, by Ellis and Williams, and for that family our resolution over $\mathbb{Z}T$ has strictly smaller rank in every degree.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sean P. Carroll, Thomas Csizmadia, Jeroen Schillewaert. 2026-10-14. Resolutions of orbifold generalised triangle groups. https://arxiv.org/abs/2610.20932

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

KEEP EXPLORING

Related papers

Acylindrical hyperbolicity of automorphism groups and property $R_\infty$ for generalized Higman groups

We consider the Higman groups $H_k$ ($k\ge 4$) and their generalizations studied by Martin and Horbez--Huang. We prove that the automorphism groups of the Horbez--Huang groups on at least five generators, as well as those of Martin's $4$-generated Higman-like groups, are acylindrically hyperbolic. It follows that the groups themselves are acylindrically hyperbolic, admit infinite-dimensional spaces of automorphism-invariant homogeneous quasimorphisms, have infinite $2$-generated simple characteristic quotients, and satisfy property $R_\infty$. We also prove, using Delzant's lemma, a general criterion ensuring that an individual automorphism has infinite Reidemeister number: if $G$ is a group, $φ\in\operatorname{Aut}(G)$, the group $Γ_φ=\langle\operatorname{Inn}(G),φ\rangle$ acts by isometries on a Gromov-hyperbolic space, and the restricted action of $\operatorname{Inn}(G)$ has two independent loxodromic elements, then $R(φ)=\infty$.

math.GR↗

Mazurov's question on fixed points of automorphisms of free Burnside groups

In the Kourovka Notebook, V.\,D.~Mazurov asked whether an automorphism $α$ of prime order $m$ of the infinite free Burnside group $G=B(m,q)$ of prime period $q$ that cyclically permutes the free generators of $G$ must have a nontrivial fixed point. In this paper, we show that for $m\ge3$ the answer is negative for all sufficiently large prime periods $q$. Precisely, we prove that for any odd $m\ge3$, there exists $q_m>0$ such that for every prime period $q>q_m$, the automorphism of $B(m,q)$ of order $m$ that cyclically permutes its free generators is fixed-point-free.

math.GR↗

Two-element factors and finite bases for additively idempotent semirings

For every additively idempotent semiring $S$ in the constant-free signature, $S$ is finitely based if and only if $S\times E$ is finitely based when $E=M_2$ or $T_2$. For each $E\in\{L_2,R_2,D_2,N_2\}$, both implications fail even for finite $S$: we give a finite finitely based semiring whose product with $E$ is nonfinitely based and a finite nonfinitely based semiring whose product with $E$ is finitely based.

math.GR↗