https://arxiv.org/api//6qnK9pIMTd/wwGAVYC6mFVawoo 2026-07-20T04:39:28Z 25888 15 15 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 http://arxiv.org/abs/2607.13951v1 2026-07-15T15:39:50Z

We prove that the Post Correspondence Problem for finitely generated free groups is undecidable, even when one of the two homomorphisms is injective. This resolves a longstanding open problem in algorithmic group theory. The result exhibits a sharp contrast with the theory of fixed subgroups: although the equalizer of two free-group homomorphisms is finitely generated whenever one of the maps is injective, there is no algorithm that decides whether this equalizer is trivial. The proof proceeds through a connection with finite-state transducers. Given a cyclic tag system $\mathcal C$, we effectively construct a finite partial deterministic inverse transducer $\mathcal{T}_{\mathcal C}$ whose fixed-point set is nontrivial if and only if $\mathcal C$ halts. We then associate to any such transducer two homomorphisms \(g,h\colon F_Y\longrightarrow F_A,\) with $h$ injective, such that their equalizer is nontrivial precisely when the transducer has a nontrivial fixed loop. Consequently, the rank of these equalizers cannot be computed in general, answering a question posed by Stallings in 1984. As a further consequence, we prove that no algorithm computes a basis for the fixed subgroup of a virtual endomorphism of a finitely generated free group, nor constructs a finite automaton recognizing the reduced fixed-point language of a finite complete inverse transducer.

2026-07-15T15:39:50Z 18 pages, comments are welcome! André Carvalho http://arxiv.org/abs/2410.20877v2 2026-07-15T14:21:40Z

Motivated by the recent work of Algom-Kfir and Bestinva introducing the mapping class group of an infinite graph via proper homotopy equivalences, we give a necessary and sufficient condition for a surface to be properly homotopy equivalent to a graph. We consider second-countable orientable surfaces that are possibly infinite-type and have noncompact boundary. For surfaces proper homotopy equivalent to graphs, we explore the basic properties of the induced map between the mapping class groups of the surface and the graph. We view this induced map as the basis of a Dehn-Nielsen-Baer analog in the setting of infinite-type surfaces.

2024-10-28T09:52:31Z 34 pages, 10 figures. v2: Incorporated Referee's comments. To appear in Michigan Mathematical Journal Ryan Dickmann Hannah Hoganson Sanghoon Kwak http://arxiv.org/abs/2605.08607v2 2026-07-15T13:10:10Z

For an element $g$ of a group $G$, a right Engel sink of $g$ is a subset of $G$ containing all sufficiently long commutators $[...[[g ,x],x],\dots ,x]$ for all $x\in G$. A left Engel sink of $g$ is a subset of $G$ containing all sufficiently long commutators $[...[[x ,g ],g ],\dots ,g]$ for all $x\in G$. Using the classification of finite simple groups we prove that if a finite group $G$ has an element $g$ such that $G=[G,g]$, then the order of $G$ is bounded in terms of a right Engel sink of $g$, as well as in terms of a left Engel sink of $g$. Earlier Guralnick and Tracey proved this in the case where $g$ is an involution without using the classification.

2026-05-09T02:00:01Z Evgeny Khukhro Pavel Shumyatsky http://arxiv.org/abs/2607.13796v1 2026-07-15T12:59:32Z

This paper establishes a direct analogue of the classical Coding Theorem in the setting of symmetry groups. We consider computable bijections on the set of binary strings, called symmetries and define the symmetry prior of a string as the probability that a randomly chosen symmetry from a given group has the string as its unique fixed point. We show that for any fix-retractable symmetry group, a group admitting a computable section that selects an isolating symmetry for every string, the symmetry prior is a universal lower semi-computable semi-measure. In this case, the Geometric Coding Theorem holds. We also develop a Galois connection between subgroups of G and subsets of binary strings, characterizing closed points and maximal closed subgroups, and explore the join-semilattice of dense subgroups. Our results unify algorithmic information theory with group theory and provide a framework for studying symmetry-induced complexity measures. This paper is the first in a series on Computational Algorithmic Statistics (CAS).

2026-07-15T12:59:32Z Romie Banerjee