https://arxiv.org/api/emLhTNzAmmLxwbekaYCjfTvy4tU 2026-07-21T03:26:52Z 25905 30 15 http://arxiv.org/abs/2411.03221v3 2026-07-17T13:26:34Z

In this article, we study the space of subgroups of generalized Baumslag-Solitar groups (GBS groups), that is, groups acting cocompactly on an oriented tree without inversion and with infinite cyclic vertex and edge stabilizers. Our results generalize the study of Baumslag-Solitar groups in [CGLMS22]. Given a GBS group G defined by a graph of groups whose existence is given by Bass-Serre theory, we associate to any subgroup of G an integer, which is a generalization of the phenotype defined in [CGLMS22]. This quantity is invariant under conjugation and allows us to decompose the perfect kernel of G into pieces which are invariant under conjugation and on which G acts highly topologically transitively. To achieve this, we interpret graphs of subgroups of G as "blown up and shrunk" Schreier graphs of transitive actions of G. We also describe the topology of the pieces which appear in the decomposition.

2024-11-05T16:09:56Z Some typos corrected and more explanations added in the proof of Lemma 5.15. Proposition 3.8 and Definition 3.9 merged into Proposition-Definition 3.8. Some elements of Section 2.2 transferred in Section 2.3 Sasha Bontemps http://arxiv.org/abs/2602.08494v2 2026-07-17T13:01:53Z

We prove some results related to the classical Banach--Tarski paradox in the setting of a field $\mathbb{K}$ that is complete with respect to a discrete non-Archimedean valuation (e.g., when $\mathbb{K}$ is the field $\mathbb{Q}_p$ of $p$-adic numbers for a prime $p$). Namely, the field $\mathbb{K}$, as well as all balls and spheres in $\mathbb{K}$, admit a paradoxical decomposition with respect to the isometry group of $\mathbb{K}$. Such decompositions can be realized using pieces with the Baire property if $\mathbb{K}$ is separable. Under the additional assumption of local compactness of $\mathbb{K}$ (e.g., when $\mathbb{K}=\mathbb{Q}_p$), any two bounded subsets of $\mathbb{K}$ with nonempty interiors are equidecomposable with respect to the isometry group of $\mathbb{K}$. Our results complete the study of paradoxical decompositions in the non-Archimedean setting, addressing the one-dimensional case and building on earlier work for higher-dimensional normed spaces over $\mathbb{K}$ with respect to groups of affine isometries.

2026-02-09T10:45:40Z 18 pages, minor changes with respect to the previous version. Accepted for publication in Canadian Mathematical Bulletin Kamil Orzechowski http://arxiv.org/abs/2607.15917v1 2026-07-17T12:47:00Z

We classify skew braces with additive and multiplicative groups both isomorphic to the dihedral group $ D_{n} $. As a consequence, we obtain an alternative proof of the classification of Hopf-Galois structures of dihedral type on a dihedral Galois extension.

2026-07-17T12:47:00Z 20 pages Alan Koch Paul J. Truman http://arxiv.org/abs/2607.15811v1 2026-07-17T10:21:34Z

We construct quantitative almost laws for $SO(3)$. More precisely, there exist a constant $c>0$ and non-trivial words $W_n\in F_2$ such that, for every $A,B\in SO(3)$, \[ \|W_n(A,B)-I\| \le \exp\!\left(-c |W_n|^δ\right), \] where $δ=\log_2(x_0)=0.879146\ldots$ and $x_0>1$ is the real root of $x^3=x^2+x+1$. This improves the exponent $\log_2\varphi$ obtained from Elkasapy's lower-central-series construction. As an application, we show how this result improves the word-length threshold in Kuperberg's Solovay--Kitaev algorithm for single-qubit gates.

2026-07-17T10:21:34Z Gal Yehuda http://arxiv.org/abs/2504.21496v3 2026-07-17T09:21:26Z

It is shown that if a metric space exhibits certain finiteness and tree-like properties, then its group of bounded displacement does not include a subgroup isomorphic to the dyadic rational numbers. This extends a result of N. M. Suchkov, A. A. Shlepkin, and D. A. Taysnyov.

2025-04-30T10:30:33Z Samuel M. Corson http://arxiv.org/abs/2606.27993v2 2026-07-17T08:44:11Z

Let $G$ be a closed type-preserving subgroup of the automorphism group of a thick locally finite building $X$ of finite rank, and assume that $G$ acts Weyl-transitively. We prove that every unitary representation of $G$ is mixing, unless its restriction to a parabolic subgroup of minimal non-spherical type is amenable in the sense of Bekka. It follows that every unitary representation of $G$ that is weakly contained in the regular representation, is mixing. In case $X$ is of minimal non-spherical type and its thickness satisfies some modest lower bound, we deduce that $G$ has the Howe--Moore property provided its only compact quotient is trivial. We also obtain results on rigidity of invariant random subgroups for Kac--Moody lattices of compact hyperbolic type, yielding examples of infinite finitely presented Kazhdan groups with exactly two ergodic invariant random subgroups.

2026-06-26T11:43:02Z 21 pages, no figures; v2 completely rewritten with new co-author, 19 pages, no figures Pierre-Emmanuel Caprace Andreas Thom http://arxiv.org/abs/2507.06600v2 2026-07-17T08:15:16Z

This paper investigates the maximal subgroups of a free projection-generated regular $*$-semigroup $PG(P)$ over a projection algebra $P$, and their relationship to the maximal subgroups of the free idempotent-generated semigroup $IG(E)$ over the corresponding biordered set $E = E(P)$. In the first part of the paper we obtain a number of general presentations by generators and defining relations, in each case reflecting salient combinatorial/topological properties of the groups. In the second part we apply these to explicitly compute the groups when $P = P(P_n)$ and $E = E(P_n)$ arise from the partition monoid $P_n$. Specifically, we show that the maximal subgroup of $PG(P(P_n))$ corresponding to a projection of rank $r\leq n-2$ is (isomorphic to) the symmetric group $S_r$. In $IG(E(P_n))$, the corresponding subgroup is the direct product $Z \times S_r$. The appearance of the infinite cyclic group $Z$ is explained by a connection to a certain twisted partition monoid $P_n^Φ$, which has the same biordered set as $P_n$.

2025-07-09T07:19:14Z V2: 73 pages, 25 figures, referee comments incorporated, to appear in Proc LMS. V1: 72 pages, 25 figures James East Robert D. Gray P. A. Azeef Muhammed Nik Ruskuc http://arxiv.org/abs/2512.15909v3 2026-07-16T18:49:45Z

We introduce analogues of algebraic groups called algebraic racks, which are pointed rack objects in the category of schemes over a ground field. Addressing a problem of Loday, we construct functors assigning left and right Leibniz algebras to affine algebraic racks. These functors are compatible with closed subracks and ideals, and they recover the Lie algebras of linear algebraic groups (via conjugation quandles) and the Leibniz algebras of algebraic Lie racks. We also study properties of coordinate algebras and Leibniz algebras of affine algebraic racks. Finally, we use rack schemes to functorially construct (co-)nondegenerate Yang-Baxter operators in various categories.

2025-12-17T19:21:59Z Accepted manuscript. 31 pages + references. Added references; changed license according to journal policies Luc Ta 10.1016/j.algebra.2026.06.036 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