https://arxiv.org/api/HsOT6TOR9vVQR+L6iR8RwrTCegQ 2026-07-18T22:04:17Z 25885 0 15 http://arxiv.org/abs/2505.20462v4 2026-07-16T15:37:07Z

We call a central extension bounded if its Euler class is represented by a bounded cocycle. We prove that a bounded central extension of a hierarchically hyperbolic group (HHG) is still a HHG; conversely if a central extension is a HHG, then the extension is bounded, and under a further mild assumption the quotient is commensurable to a HHG. Motivated by questions on hierarchical hyperbolicity of quotients of mapping class groups, we therefore consider the general problem of determining when a quotient of a bounded central extension is still bounded, which we prove to be equivalent to an extendability problem for quasihomomorphisms. Finally, we show that quotients of the 4-strands braid group by suitable powers of a pseudo-Anosov are HHG, and in fact bounded central extensions of some HHG. We also speculate on how to extend the previous result to all mapping class groups.

2025-05-26T18:59:50Z V4: Accepted for publication in J. Topol. Anal. V3: streamlined the arguments in section 4. V2: A few corrections and a minor change to the statement of Theorem 1.4. Now 30 pages. Comments are encouraged! Francesco Fournier-Facio Giorgio Mangioni Alessandro Sisto http://arxiv.org/abs/2607.15010v1 2026-07-16T13:59:12Z

A positive integer $m$ is termed a \emph{Hall number} if every finite group $G$ whose order is precisely divisible by $m$ possesses a Hall subgroup of order $m$. Seeking generalizations of Sylow's theorem and Hall's theorem for finite solvable groups, Jiping Zhang asked for a full classification of Hall numbers, a problem recently solved by Guo, Hu and Li. Inspired by Zhang's problem, Guohua Qian put forward an analogous problem on a full classification of Hall complement numbers. Recall that a positive integer $m$ is called a \emph{Hall complement number} provided that every finite group $G$ with $m$ precisely dividing $|G|$ admits a Hall subgroup of order $|G|/m$. In the present paper, we prove that every Hall complement number is either $1$ or of the form $4k+2$ for some non-negative integer $k$, thus answering Qian's problem.

2026-07-16T13:59:12Z Yu Zeng Hangyang Meng http://arxiv.org/abs/2607.14873v1 2026-07-16T11:44:59Z

A new kernel method is introduced for isometric actions of groups on real or complex hyperbolic spaces that allows us to classify such representations for $\mathrm{PSL}_2(\R)$ and give sufficient and necessary conditions for two such representations of any group to be conjugated.

2026-07-16T11:44:59Z Gonzalo Emiliano Ruiz Stolowicz http://arxiv.org/abs/2605.20062v2 2026-07-16T11:24:52Z

Let $q$ be a prime power, let $m\ge1$, put $Q=q^m$, and let a permutation $π$ of a finite index set $I$ satisfy $π^m=1$. We study the $\F q$-linear code \[ \mathcal C(π)=\{x\in\Lfield^I:x_{π(i)}=x_i^q\}, \] which includes the Fourier spectra of $\K$-valued functions on finite abelian groups split by $\Lfield$. Our structural starting point is a $\F q$-linear Hamming isometry taking each cycle of $π$ of length $\ell$ to the subfield repetition code $\{(b,\ldots,b):b\in\F{q^\ell}\}$. From this normal form we obtain exact symbol weight and received-word distance enumerators, all list sizes, and the covering radius. An occupancy generating function gives the complete coset-leader distribution, the exact mean distance, the probability of a unique nearest word, and the number of deep holes. For the full cyclic family of length $q^m-1$, the deficit of a uniformly random ambient word from the covering radius is asymptotically Poisson with mean $(m-1)/2$, with an additional $1$ when $m$ is even; a central limit theorem follows. We also determine the deep-hole probability and the second-order gap to the sphere-covering bound. Classical Fourier--Galois descent and cyclotomic orbit enumeration enter only to identify the Fourier specialization.

2026-05-19T16:20:13Z 13 pages. Substantially revised and refocused version: new title, new structural normal form, exact distance and coset-leader distributions, list-size formulas, covering and deep-hole results, and new probabilistic asymptotics. The exposition and bibliography have been reorganized David Kumallagov Daniil Sizikov Anton Zarubin http://arxiv.org/abs/2607.14856v1 2026-07-16T11:24:01Z

For each $n \geq 2$, we construct an ascending chain of irreducible lattices in the product of $n$ homogeneous trees. Moreover, for each pair of integers $m_1, m_2 \geq 1$, we define explicitly a bi-reversible automaton $\mathcal B$ such that the group $G_{\mathcal B}$ defined by the automaton $\mathcal B$ has finiteness length $m_1$ (i.e. it is of type $\mathrm{F}_{m_1}$ but not of type $\mathrm{FP}_{m_1+1}$), and the group $G_{\mathcal B^*}$ defined by the dual automaton has finiteness length $m_2$. Both constructions rely on the consideration of $S$-arithmetic groups in the affine group of a global function field.

2026-07-16T11:24:01Z 16 pages Pierre-Emmanuel Caprace Justin Vast http://arxiv.org/abs/2603.17276v2 2026-07-16T10:18:20Z

It is a simple fact that a group has a trivial automorphism group if and only if it is of order $1$ or $2$. We prove that the same holds for certain families of skew braces, and given any odd prime $p$, we construct a skew brace of order $2p^3$ that has a trivial automorphism group.

2026-03-18T02:09:12Z 19 pages Cindy Tsang 10.1515/jgth-2026-0054 http://arxiv.org/abs/2607.14715v1 2026-07-16T08:28:47Z

We classify all 141 finite-volume hyperbolic Coxeter five-dimensional polytopes with eight facets, of which 125 are noncompact. Using maximal-cusp density and a noncompact analog of Bogachev-Douba-Raimbault's argument, we construct infinitely many pairwise incommensurable noncompact Coxeter polytopes in dimensions 4, 5, 6, 7, and 9, with the number of commensurability classes growing at least exponentially in volume.

2026-07-16T08:28:47Z Lizi Guo Jiming Ma Yourong Zang Fangting Zheng http://arxiv.org/abs/2607.14668v1 2026-07-16T07:35:21Z

When $X$ is a locally compact Euclidean building, the isometry group of $X$ acts by homeomorphisms on the space of $k$-simplices in the visual boundary of $X$. We consider perturbations of these actions for discrete groups of isometries acting with compact quotient on $X$, showing that all small enough perturbations are semi-conjugate to the original action. This proves in particular that, when $Q$ is any parabolic subgroup in a semisimple $p$-adic Lie group $G$, the induced action of a cocompact lattice in $G$ has a topologically stable action on $G/Q$.

2026-07-16T07:35:21Z 37 pages; comments are welcome Thang Nguyen Theodore Weisman http://arxiv.org/abs/2607.14621v1 2026-07-16T06:37:15Z

For every $N\ge 2$, we prove that the Bergman metric on the regular locus of a finite ball quotient $\mathbb{B}^N/Γ$, where $Γ\subset \mathrm{U}(N)$ is finite and fixed-point-free, is Kähler-Einstein if and only if $Γ$ is trivial. Consequently, if $Ω$ is an $N$-dimensional normal Stein space with isolated singularities and compact, smooth, strongly pseudoconvex boundary admitting a real-algebraic CR realization, then the Bergman metric on $Ω_{\mathrm{reg}}$ is Kähler-Einstein if and only if $Ω$ is biholomorphic to $\mathbb{B}^N$. This proves an algebraic version of the Cheng-Huang-Xiao conjecture in every complex dimension $N\ge 2$.

2026-07-16T06:37:15Z Soumya Ganguly Siddhartha Sahi http://arxiv.org/abs/2607.14603v1 2026-07-16T06:08:47Z

In this paper, we study the primitive actions of almost simple groups with socle \(E_7(q)\) or \(E_8(q)\) on an \(s\)-arc-transitive digraph. Our motivation goes back to the question of whether \(s\) is bounded above for finite connected \(G\)-vertex-primitive \(s\)-arc-transitive digraphs that are not directed cycles. The question has been reduced by Giudici and Xia to the case where \(G\) is almost simple. This work succeeds our 2025 paper (Yin and Chen), which addressed \({}^3\!D_4(q)\), \(G_2(q)\), \({}^2\!F_4(q)'\), \(F_4(q)\), \(E_6(q)\), and \({}^2\!E_6(q)\). Together with Chen, Giudici, and Praeger's work on \({}^2\!B_2(q)\) and \({}^2\!G_2(q)\), it answers the question for all exceptional groups.

2026-07-16T06:08:47Z Lei Chen Fu-Gang Yin http://arxiv.org/abs/2607.14369v1 2026-07-15T21:17:24Z

We prove that, for $n \ge 5$, an interval group associated with a proper quasi-Coxeter element of the Coxeter group of type $D_n$ admits no surjective homomorphism onto the braid group on $n$ strands. In particular, this provides an alternative proof that such a group is not isomorphic to the Artin group of type $D_n$. The proof relies on techniques from the theory of mapping class groups, and a large part of the paper provides an exposition of this theory for non-specialists.

2026-07-15T21:17:24Z Barbara Baumeister Luis Paris Sarah Rees http://arxiv.org/abs/2506.07143v3 2026-07-15T20:45:55Z

Twisted Wirtinger presentations are generalizations of the classical Wirtinger presentations of knot and link groups. In this paper, we prove that if a finitely generated group admitting a twisted Wirtinger presentation is Gromov hyperbolic, then its second rational homology group vanishes. Moreover, if the group is torsion-free, then its second integral homology group also vanishes.

2025-06-08T13:43:58Z Corrected the use of Kuz'min's result and revised the proof accordingly. The main theorem remains unchanged Toshiyuki Akita http://arxiv.org/abs/2607.14059v1 2026-07-15T17:31:40Z

We construct a finite skew brace whose additive group is perfect and whose multiplicative group is non-perfect and almost simple. This gives an affirmative answer to Problem 20.109 in the twenty-first edition of the Kourovka Notebook. The additive and multiplicative groups of our example are \[ \PSU_5(64)\times A_5 \quad\text{and}\quad \Aut(\PSU_5(64)), \] respectively. The construction combines a skew brace with additive group \(A_5\) and multiplicative group \((C_5\rtimes C_4)\times C_3\), the splitting of the automorphism extension of \(\PSU_5(64)\), and a semidirect product of skew braces.

2026-07-15T17:31:40Z 6 pages Massimiliano Di Matteo Maria Ferrara http://arxiv.org/abs/2607.14036v1 2026-07-15T17:03:52Z

We show that a finitely generated group $G=\langleΣ\rangle$ satisfying the falsification by fellow traveller property also satisfies the shortlex falsification by fellow traveller property. This implies that there are finitely many shortlex cone types and, therefore, that the corresponding language of shortlex representatives $\text{SL}_G\subset (Σ\cupΣ^{-1})^*$ is a regular language. Following the example of M. Elder, we prove that the converse of the previous statements do not hold.

2026-07-15T17:03:52Z Lucía Asencio-Martín Paloma López-Larios http://arxiv.org/abs/2502.11166v3 2026-07-15T16:11:48Z

An action $U \curvearrowleft G$ of a group $G$ on a set $U$ is sharply $k$-transitive if, for any two $k$-tuples $\bar{a}, \bar{b} \in U^k$ of distinct elements, there is a unique $g \in G$ with $\bar{a} \cdot g = \bar{b}$. We consider two generalisations of this. Firstly, given $Θ\leq \mathbb{S}_k$, we define a sharply $Θ$-transitive action $U \curvearrowleft G$ to be a $k$-set-transitive action where the restricted action on each $k$-set of its setwise-stabiliser is isomorphic to the permutation action $\mathbf{k} \curvearrowleft Θ$. An action is sharply $\mathbb{S}_k$-transitive iff it is sharply $k$-transitive. We characterise for which $Θ\leq \mathbb{S}_k$ there is a sharply $Θ$-transitive action on an infinite set, and show that if such an action exists, then the acting group $G$ can be taken to be a finitely generated non-abelian virtually free group. As a consequence, we obtain for $k = 2, 3$ the first examples of non-split finitely-presented groups admitting sharply $k$-transitive actions on an infinite set, answering a question of André and Tent, and we obtain a strengthening of the well-known result of Tits that no group admits a sharply $k$-transitive action on an infinite set for $k \geq 4$. Secondly, we generalise sharp $k$-transitivity to relational structures. Given an action $\mathcal{M} \curvearrowleft G$ of a group $G$ on a relational structure $\mathcal{M}$, we say that the action is sharply $k$-homogeneous if, for any two $k$-tuples $\bar{a}, \bar{b}$ of distinct elements of $\mathcal{M}$ where $\bar{a} \mapsto \bar{b}$ is an isomorphism, there is a unique $g \in G$ with $\bar{a} \cdot g = \bar{b}$. We show that, for $1 \leq k \leq 3$, a wide range of countable ultrahomogeneous structures admit sharply $k$-homogeneous actions by finitely generated non-abelian virtually free groups, answering a question of Cameron from 1990.

2025-02-16T15:37:28Z 57 pages (this version: minor presentational changes to figures) J. de la Nuez González Rob Sullivan