https://arxiv.org/api/C5Pc5w2hRincAETecvvdPRQjBlo 2026-03-22T14:44:09Z 25194 90 15 http://arxiv.org/abs/2501.12321v2 2026-03-11T12:53:14Z

We study the speed of growth of iterates of outer automorphisms of virtually special groups, in the Haglund-Wise sense. We show that each automorphism grows either polynomially or exponentially, and that its stretch factor is an algebraic integer. For coarse-median preserving automorphisms, we show that there are only finitely many growth rates and we construct an analogue of the Nielsen-Thurston decomposition of surface homeomorphisms. These results are new already for right-angled Artin groups. However, even in this particular case, the proof requires studying automorphisms of arbitrary special groups in an essential way. As results of independent interest, we show that special groups are accessible over centralisers, and we construct a canonical JSJ decomposition over centralisers. We also prove that, for any virtually special group $G$, the outer automorphism group ${\rm Out}(G)$ is boundary amenable, satisfies the Tits alternative, and has finite virtual cohomological dimension.

2025-01-21T17:41:51Z 74 pages, abridged version without the appendices, which will be published separately; to appear in Duke Math. J Elia Fioravanti http://arxiv.org/abs/2603.10719v1 2026-03-11T12:50:35Z

A complex matrix is called \emph{coninvolutory} if $T\overline{T}=I$. In this paper, we study decompositions of affine transformations in $\mathrm{Aff}(n,\mathbb{C})=\mathrm{GL}(n,\mathbb{C})\ltimes \mathbb{C}^n$ into products of coninvolutions. We prove that an affine transformation $g$ is a product of two coninvolutions in $\mathrm{Aff}(n,\mathbb{C})$ if and only if its linear part $L(g)$ is $c$-reversible; that is, $L(g)$ is conjugate to $\overline{L(g)}^{-1}$ in $\mathrm{GL}(n,\mathbb{C})$. Equivalently, $g$ is conjugate to $\overline{g}^{-1}$ in $\mathrm{Aff}(n,\mathbb{C})$. We further characterize elements that are products of three coninvolutions via consimilarity and show that every $g=(A,v)\in \mathrm{Aff}(n,\mathbb{C})$ with $|\det(A)|=1$ can be expressed as a product of at most four coninvolutions.

2026-03-11T12:50:35Z 14 pages Sandipan Dutta Krishnendu Gongopadhyay Rahul Mondal http://arxiv.org/abs/2504.17831v3 2026-03-11T10:40:24Z

We give a cohomological criterion for certain decomposition of Borel graphs, which is an analog of Dunwoody's work on accessibility of groups. As an application, we prove that a Borel graph $(X,G)$ with uniformly bounded degrees of cohomological dimension one is Lipschitz equivalent to a Borel acyclic graph on $X$. This gives a new proof of a result of Chen-Poulin-Tao-Tserunyan on Borel graphs with components quasi-isometric to trees.

2025-04-24T10:47:47Z Introduction is updated Hiroki Ishikura http://arxiv.org/abs/2603.06174v2 2026-03-11T03:27:02Z

Haar measure is a fundamental structure in harmonic analysis on locally compact groups. Its existence reflects the compatibility between topology and the associative algebraic structure of groups. In this paper we propose a framework for Haar-type measures on topological quasigroups. Since associativity is absent, strict translation invariance is generally too strong to expect. We therefore introduce quasi-invariant measures whose defect is measured by a modular cocycle attached to translations. We then explain, in a detailed and cautious form, how Moufang-type identities may impose strong constraints on this cocycle. In particular, under additional quasi-invariance assumptions for right translations, the Moufang-type identity $(N1)$ leads naturally to a multiplicativity relation for the cocycle. This suggests a measure-theoretic interpretation of Kunen's theorem: the emergence of loop structure may be viewed as the collapse of a modular defect in the translation geometry of a quasigroup.

2026-03-06T11:31:16Z 25 pages. Minor revisions. Added a conceptual conjecture (Modular Collapse Conjecture), improved appendix diagrams, and clarified the interpretation of Kunen's theorem Takao Inoué http://arxiv.org/abs/2506.04437v4 2026-03-10T17:19:17Z

This article lays the foundations for an analogue of geometric group theory that studies actions on graphs by right quasigroups, including racks and quandles. We study markings of graphs that realize racks, and we introduce (di)graph invariants based on such markings. We show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs. This solves two problems of Valeriy Bardakov. Finally, we give graph-theoretic characterizations of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei.

2025-06-04T20:42:53Z 18 pages + references, 8 figures, 1 table. Rewrote introduction and abstract and made minor edits according to referee's recommemdations Luc Ta http://arxiv.org/abs/2501.01712v2 2026-03-10T16:10:36Z

We prove the continuity of asymptotic entropy as a function of the step distribution for non-degenerate probability measures with finite entropy on wreath products $ A \wr B = \bigoplus_B A \rtimes B $, where $A$ is any countable group and $B$ is a countable hyper-FC-central group that contains a finitely generated subgroup of at least cubic growth. As one step in proving the above, we show that on any countable group $G$ the probability that the $μ$-random walk on $G$ never returns to the identity is continuous in $μ$, for measures $μ$ such that the semigroup generated by the support of $μ$ contains a finitely generated subgroup of at least cubic growth. Finally, we show that among random walks on a group $G$ that admit a separable completely metrizable space $X$ as a model for their Poisson boundary, the weak continuity of the associated harmonic measures on $X$ implies the continuity of the asymptotic entropy. This result recovers the continuity of asymptotic entropy on known cases, such as Gromov hyperbolic groups and acylindrically hyperbolic groups, and extends it to new classes of groups, including linear groups and groups acting on $\mathrm{CAT}(0)$ spaces.

2025-01-03T09:13:32Z 47 pages. Accepted in J. Reine Angew. Math. (Crelle's journal) Eduardo Silva 10.1515/crelle-2026-0030 http://arxiv.org/abs/2310.10160v4 2026-03-10T16:06:50Z

We give a complete description of the Poisson boundary of wreath products $A\wr B= \bigoplus_{B} A\rtimes B$ of countable groups $A$ and $B$, for probability measures $μ$ with finite entropy where lamp configurations stabilize almost surely. If, in addition, the projection of $μ$ to $B$ is Liouville, we prove that the Poisson boundary of $(A\wr B,μ)$ is equal to the space of limit lamp configurations, endowed with the corresponding hitting measure. In particular, this answers an open question asked by Kaimanovich, and Lyons-Peres, for $B=\mathbb{Z}^d$, $d\ge 3$, and measures $μ$ with a finite first moment.

2023-10-16T08:00:25Z 35 pages. Accepted in Comment. Math. Helv Joshua Frisch Eduardo Silva http://arxiv.org/abs/2512.05004v3 2026-03-10T15:14:20Z

The first part of this paper deals with unipotent and reductive groups over finite fields with $q$ elements in which either $q$ goes to infinity or $G=GL_n(q)$ and $n$ goes to infinity. The second part of the paper deals with the symmetric group $S_n$. The main conclusion that we want to bring out in the case of reductive groups $G(q)$, $q$ varying, is that the dimension data, resp. the size of conjugacy classes, is in a statistical sense, ``roughly'' constant and the same (up to taking the squares). We introduce the notion of {\it asympototically constant}, and {\it asympototically log constant} to make precise these notions, which we apply to various groups discussed in this paper including the symmetric groups $S_n$.

2025-12-04T17:16:01Z 22 pages Arvind Ayyer Dipendra Prasad http://arxiv.org/abs/2603.09711v1 2026-03-10T14:21:17Z

It is well-known that Polish Roelcke precompact groups are the groups that can be represented as automorphism groups of $\aleph_0$-categorical structures in continuous logic and that there is a precise correspondence between properties of the group and properties of the structure. The goal of this paper is to extend this correspondence to the classes of locally Roelcke precompact groups and locally $\aleph_0$-categorical structures, the latter of which we define here. We characterise locally Roelcke precompact groups in terms of their isometric actions. We define locally $\aleph_0$-categorical theories and structures, prove an appropriate version of the Ryll-Nardzewski theorem, and identify the Polish locally Roelcke precompact groups as the automorphism groups of such structures. In all locally $\aleph_0$-categorical structures, there is a definable metric, which we call localising, and which captures the coarse geometric structure of the corresponding automorphism group. We show that two locally $\aleph_0$-categorical structures are bi-interpretable if and only if their automorphism groups are isomorphic. Finally, we show that (the unit ball of) a Banach space is $\aleph_0$-categorical if and only if the corresponding affine space is locally $\aleph_0$-categorical (as a metric space).

2026-03-10T14:21:17Z 32 pages Itaï Ben Yaacov Todor Tsankov http://arxiv.org/abs/2603.09640v1 2026-03-10T13:15:30Z

We show that a topologically generating set $S$ of a connected compact Lie group $G$ of size larger than a fixed polynomial in the rank of $G$ must be redundant (i.e., some proper subset of $S$ still topologically generates $G$). Similar results are obtained for amenable Lie groups and for reductive algebraic groups with the Zariski topology. The quantitative bounds produced by our method are controlled by corresponding bounds for finite simple groups of Lie type. We also treat redundancy up to Nielsen transformations, thereby partially answering a few conjectures of Gelander. We show that these conjectures are implied by the Wiegold conjecture.

2026-03-10T13:15:30Z Tal Cohen Itamar Vigdorovich http://arxiv.org/abs/2603.09575v1 2026-03-10T12:22:17Z

We investigate structural and combinatorial properties of Bi-Cayley graphs defined over cyclic groups of order $p^2q^2$, where $p$ and $q$ are distinct primes. We begin by describing their fundamental group-theoretic underpinnings. The main focus is on analyzing their connectivity, girth, clique number, chromatic number, diameter, and independence number. It is shown that these Bi-Cayley graphs are connected, biregular with explicitly determined degrees, and possess girth three. Furthermore, we prove that their diameter is equal to five. We further extend several results to Bi-Cayley graphs over arbitrary finite groups under suitable restrictions on the connecting set, with particular emphasis on the case where the connecting set consists of all its involutions. These results clarify structural similarities and differences between Cayley graphs and their Bi-Cayley generalizations.

2026-03-10T12:22:17Z 21 pages, 3 figures, partially presented in the Indonesian Algebra Society Seminar 2025 Iqbal Atmaja Yeni Susanti Ahmad Erfanian http://arxiv.org/abs/2603.09456v1 2026-03-10T10:11:55Z

Let $G$ be a compact Lie group. Let ${\mathsf{F}}_n$ be the free group of rank $n$. We describe the orbits of ${\mathsf{Aut}}(\mathsf{F}_n)$ on ${\mathsf{Hom}}(\mathsf{F}_n;G)$ when $n$ is sufficiently large. The dynamics stabilizes: orbit closures and invariant probability measures are algebraic, as in Ratner's theorems.

2026-03-10T10:11:55Z Serge Cantat IRMAR Christophe Dupont IRMAR Florestan Martin-Baillon MPI-MiS http://arxiv.org/abs/2511.20192v4 2026-03-10T09:49:46Z

The purpose of this paper is twofold. We explore higher property T as an abstract group-theoretic property. In particular, we provide new operator-algebraic characterizations of higher property T. Then we turn to lattices in semisimple Lie groups. We relate higher property T to other cohomological, rigidity and geometric phenomena below the real rank. The second part outlines a conjectural framework that unifies these aspects and reviews recent advances.

2025-11-25T11:18:25Z 45 pp; an abridged version will appear in the Proceedings of the ICM 2026; added new applications and clarified relations between Banach und unitary results; added alternative proof of Ozawa's criterion and additional references Uri Bader Roman Sauer http://arxiv.org/abs/2603.09369v1 2026-03-10T08:46:12Z

In 1962, Guido Zappa asked whether a non-trivial coset of a Sylow $p$-subgroup of a finite group could contain only elements whose orders are powers of $p$. Marston Conder gives a positive answer to this question in the case of $p=5$. It is known that the smallest group satisfying the conditions of this problem must be a non-abelian simple group. In this paper, we prove that the smallest group of the Zappa problem could not be an alternating simple group for any prime $p$.

2026-03-10T08:46:12Z Ru Zhang Rulin Shen http://arxiv.org/abs/2603.09363v1 2026-03-10T08:44:13Z

We investigate which invariants of groups are powerful in distinguishing non-isomorphic p-groups. We introduce the notations of siblings and twins for p-groups that are difficult to distinguish and we describe the siblings and twins among the groups of small prime-power order. We then use these ideas to device an effective group identification algorithm for the $10,494,213$ groups of order $2^9$.

2026-03-10T08:44:13Z 15 pages Bettina Eick Henrik Schanze