https://arxiv.org/api/QSYGqTwzaBNtt2xPs0lv6eWns/o 2026-07-21T10:45:34Z 25905 45 15 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 http://arxiv.org/abs/2607.13760v1 2026-07-15T12:21:23Z

Let $Γ$ be a discrete subgroup of a connected semisimple real algebraic group of higher rank. The growth indicator function $ψ_Γ$ records the directional exponential growth of the Cartan projections of elements of $Γ$ in the positive Weyl chamber $\mathfrak a^+$. We prove that if $Γ$ is a non-elementary relatively Borel Anosov group, then $ψ_Γ$ is strictly concave on non-collinear directions. We prove this by establishing the $\mathcal C^1$-smoothness of the Manhattan hypersurface, defined as the unit level set of the critical-exponent map $φ\mapstoδ^φ(Γ)$. More generally, for a non-elementary $θ$-transverse group, we prove local $\mathcal C^1$-regularity near every point of the $θ$-Manhattan hypersurface that is positive on the $θ$-limit cone and has a critical gap at infinity. In particular, the $θ$-Manhattan hypersurface is globally $\mathcal C^1$ for relatively $θ$-Anosov groups, and their $θ$-growth indicator functions are strictly concave on non-collinear directions.

2026-07-15T12:21:23Z 31 pages. Comments welcome! Dongryul M. Kim Hee Oh Andrew Zimmer http://arxiv.org/abs/2607.13736v1 2026-07-15T11:50:54Z

For 2-complexes with trivial first Betti number, we study quantitative connections between filling inequalities for 1-cycles, the complexity of the second homology, and the size of the torsion part of the first homology. For 2-complexes whose fundamental groups have property $(τ)$ with respect to all finite index normal subgroups, we prove a geometric lower bound on the logarithm of the size of the first homology of finite covers.

2026-07-15T11:50:54Z Cameron Gates Rudd http://arxiv.org/abs/2607.13730v1 2026-07-15T11:43:40Z

We establish several results about Patterson--Sullivan measures for relatively Anosov groups. First, we prove that these measures are exact dimensional with respect to visual metrics induced by Gromov models in the Groves--Manning quasi-isometry class. Under the additional assumption that the group is relatively Morse, we show that the associated scalar Cartan metric is Gromov hyperbolic and that the corresponding boundary premetric is a visual metric to which the exact-dimensionality theorem applies. Second, we prove that their Manhattan manifolds are $C^1$-regular, from which we deduce that the growth indicator is $C^1$-regular and strictly concave on the interior of the limit cone. This extends the case of Anosov representations by Kim--Oh--Wang. Our methods are dynamical, and we exploit the fact due to Kim--Oh and Blayac--Canary--Zhu--Zimmer that Bowen--Margulis--Sullivan measures for relatively Anosov groups are finite and mixing.

2026-07-15T11:43:40Z 30 pages Eduardo Reyes Tianqi Wang