https://arxiv.org/api/eM+X2HZ6PJkH9OwBIMcJPtTsR2E 2026-07-24T09:53:01Z 25936 195 15 http://arxiv.org/abs/2606.29037v3 2026-07-07T05:47:19Z

A finite group $G$ is said to be semi-rational if the set of generators of each cyclic subgroup of $G$ is contained in at most two $G$-conjugacy classes. This is equivalent to the following condition: for every column of the character table of $G$, the values appearing in the column are contained in a quadratic extension of the field of rational numbers (possibly a different one for each column). When the analogous condition holds for the rows, that is, when the field of values of every irreducible character is contained in a quadratic extension of the rationals, we say that the group is character-quadratic (these groups are often called quadratic rational in the literature). We obtain several results concerning the structure of the Gruenberg-Kegel graph of a finite solvable group that is either character-quadratic or semi-rational. More precisely, we first provide a complete classification of such graphs in the disconnected case. Also, we prove that if the graph has at most three vertices and the group is nontrivial, then it belongs to an explicit list of $20$ graphs (in the semi-rational case, this result is proved under the additional assumption that the order of the group is not divisible by $17$), and all of them are realizable except perhaps one. Finally, we show that if the graph has four vertices, then it must have at least four edges.

2026-06-27T18:11:16Z Irene Crispi Sara C. Debón Emanuele Pacifici Ángel del Río Marco Vergani http://arxiv.org/abs/2607.05826v1 2026-07-07T04:41:00Z

Let $n\geq5$ and $m\geq3$. Let $Φ\colon\mathrm{B}_n\to\mathrm{B}_m$ be a homomorphism of braid groups. We prove that if the image of $Φ$ is irreducible and not cyclic, then $m=n$ and $Φ$ agrees with an automorphism modulo the center $Z(\mathrm{B}_m)$. This resolves in the affirmative a conjecture of Chen, Kordek, and Margalit. It also provides a partial resolution to a problem on the K3 problem list. As a consequence, we prove that every holomorphic map $\mathrm{UConf}_n(\mathbb{C})\to\mathrm{UConf}_m(\mathbb{C})$ for $n\geq5$ and $m\geq3$ is affine equivalent to either a constant map or the identity map. This resolves a conjecture of Farb for $n\neq4$.

2026-07-07T04:41:00Z 63 pages, 18 figures Rodrigo De Pool Peter Huxford Daniel Minahan Jeroen Schillewaert http://arxiv.org/abs/2607.05713v1 2026-07-07T00:56:36Z

We show that finite twin-width does not imply accessibility for finitely generated groups, which answers a question of Esperet. That is, we prove that there exists a finitely generated group $Γ$ that has finite uniform twin-width but is not accessible. In particular, for every finite generating set $S$ of $Γ$, the Cayley graph $Cay(Γ; S)$ has finite twin-width but is not accessible. The example is obtained by combining Wilkes construction of a finitely generated inaccessible residually $p$-finite groups with a result of Bonnet, Geniet, Tessera and Thomasse regarding the twin-width of groups acting faithfully on regular rooted trees.

2026-07-07T00:56:36Z 8 pages George Kontogeorgiou Bobby Miraftab http://arxiv.org/abs/2607.05700v1 2026-07-06T23:39:51Z

In this note, we give some conditions of solvability of a finite group $G$ based on its number of conjugacy classes of subgroups $Con(G)$. We classify all finite groups $G$ with $Con(G)\leq 5$. A new characterization of $A_5$ is also given.

2026-07-06T23:39:51Z Accepted for publication in Comm. Algebra Marius Tărnăuceanu http://arxiv.org/abs/2607.05283v1 2026-07-06T16:28:02Z

In this paper we use ideas introduced earlier by Moody, Long, Long-Paton, and Bigelow to prove the theorem of the title, that the Burau representation of the classical braid group is faithful for n = 4. An immediate corollary is that the Jones representation of the braid group is also faithful for n = 4.

2026-07-06T16:28:02Z 26 pages, 28 figures Vasudha Bharathram Joan S. Birman Tara E. Brendle http://arxiv.org/abs/2607.05219v1 2026-07-06T15:34:03Z

We investigate random freeness of semigroups in the solvable non-virtually nilpotent setting. We focus on a correlated affine model, namely semigroups generated by the two components of a finitely supported random walk $L_n=(L_{n,1},L_{n,2})$ on $\operatorname{Aff}(K)^2$ whose two components share a common linear part. In this model, we show that the long-term behavior of freeness is completely governed by an abelian shadow, namely the projected random walk on the multiplicative group $A\subset K^\times$ generated by the common multipliers. If this walk is transient, then {the semigroup} $\langle L_{n,1},L_{n,2}\rangle_+$ is eventually free almost surely. If it is recurrent, then freeness does not stabilize: the set of non-free times is almost surely infinite, yet has almost sure density zero. Moreover, the obstructions to freeness depends solely on the common linear part and admits an explicit arithmetic description in terms of roots of Littlewood polynomials. The proof combines a local contraction theorem for affine random walks over arbitrary local fields, developed in the appendix and related to the theory of critical affine random walks, with a ping-pong argument played at a time-dependent place.

2026-07-06T15:34:03Z 21 pages Richard Aoun Keivan Mallahi-Karai http://arxiv.org/abs/2607.05212v1 2026-07-06T15:29:58Z

Over an arbitrary field $\mathbb{F}$, we construct $n+1$ maximal tori $T_1,\dots,T_{n+1}$ in $\operatorname{PGL}_n(\mathbb{F})$ so that the product $T_1\dots T_{n+1}$ is almost the whole $\operatorname{PGL}_n(\mathbb{F})$ and every $g\in T_1\dots T_{n+1}$ can be expressed uniquely as $g=t_1\dots t_{n+1}$ where $t_i\in T_i$. The construction is optimal, as the number of tori with this property attains a general upper bound for connected reductive groups over an algebraically closed field, as well as over finite fields. We also show that $n+2$ suitably chosen maximal tori $T_1,\dots,T_{n+2}$ are enough to cover the whole group, i.e. $\operatorname{PGL}_n(\mathbb{F})=T_1\dots T_{n+2}$, provided $|\mathbb{F}|>n^2$. This is optimal over a finite field and is conjecturally optimal over algebraically closed fields, i.e. the number of such tori is as small as possible.

2026-07-06T15:29:58Z First draft, 17 pages Dávid R. Szabó http://arxiv.org/abs/2603.01679v2 2026-07-06T15:22:00Z

We provide two alternative ways to determine the number of bi-twisted conjugacy classes in a finite group: one using irreducible characters and one using ordinary conjugacy classes. In addition, we show various equalities and (sharp) inequalities for Reidemeister numbers, as well as relations between bi-twisted conjugacy, representation theory, and fixed-point free automorphisms.

2026-03-02T10:09:39Z 17 pages Pieter Senden Sam Tertooy http://arxiv.org/abs/2607.05067v1 2026-07-06T13:35:45Z

$2$-designs admitting a flag-transitive automorphism group $G$ with socle $PSL(2,q)$, where $q=p^{f}\geq 4$, are investigated in both the point-primitive and point-imprimitive cases. In the latter case, a complete classification is achieved, and three known examples occur, namely: the complementary designs of $PG(3,2)$ and $PG(3,4)$, and the $2$-$(36,8,4)$ design constructed by Devillers and Praeger in [14]. In the point-primitive case, apart from the Witt-Bose-Shrikhande linear spaces of even order $q$, $48$ sporadic examples are classified. Surprisingly, one of these numerical examples is the linear space with $v=496$ and $k=4$ admitting $PΓL(2,2^{5})$ as a flag-transitive automorphism group, which was missing in the 1990 classification by Buekenhout et al. [7,36,12].

2026-07-06T13:35:45Z Hongxue Liang Mario Galici Zhihui Liu Filip Martinović Alessandro Montinaro Eleonora Romano http://arxiv.org/abs/2404.12057v2 2026-07-06T10:31:04Z

We give a general procedure for constructing metric spaces from systems of partitions. This generalises and provides analogues of Sageev's construction of dual CAT(0) cube complexes for the settings of hyperbolic and injective metric spaces. As applications, we produce a ``universal'' hyperbolic action for groups with strongly contracting elements, and show that many groups with ``coarsely cubical'' features admit geometric actions on injective metric spaces. In an appendix with Davide Spriano, we show that a large class of groups have an infinite-dimensional space of quasimorphisms.

2024-04-18T10:12:19Z 48 pages. v2: Accepted version. Main article by Petyt and Zalloum, appendix co-authored with Spriano Harry Petyt Abdul Zalloum Davide Spriano http://arxiv.org/abs/2607.05466v1 2026-07-06T05:31:24Z

The reflection subgroups of a reflection group have a natural lattice structure given by the reflections that they contain. By considering the conjugation action orbits of the reflection subgroups for a given root line, we are able to give an essentially combinatorial way to calculate the lattice of all the normal reflection subgroups of a given (finite irreducible) reflection group, and natural generators for them. Moreover, we observe that every complex reflection group is a normal subgroup of the unique maximal reflection group which shares its collineation group. Hence, we are able to present the Shephard-Todd classification of the complex reflection groups as a collection of maximal reflection groups, together with appropriate (collineation preserving) normal reflection subgroups. We investigate the quotients by the normal reflection subgroups, which are known to be reflection groups. We also consider the action of the collineation group on some appropriate small systems of lines, and how these results extend to quaternionic reflection groups. Some novel techniques are introduced, including the notion of a "hidden reflection", a combinatorial-geometric description of the reflection subgroups and the size of their conjugacy class, and the role played by the abelianisation of the reflection group.

2026-07-06T05:31:24Z Shayne Waldron http://arxiv.org/abs/2607.04580v1 2026-07-06T01:14:40Z

We study subgroups generated by prescribed unipotent elements. For $n\geq 3$, let \[ Γ(Q)=\langle E_{ij}(q_{ij}):i\neq j\rangle \] be the subgroup of $\operatorname{SL}(n,\mathbb R)$ generated by elementary matrices with nonzero rational parameters $q_{ij}$. We prove that $Γ(Q)$ is always $S$-arithmetic, extending classical integral-parameter results to arbitrary rational parameters. Our method is effective: it determines the relevant ring of $S$-integers, a diagonal conjugating matrix, and an explicit description of the resulting subgroup by congruence conditions. We then study the rank-one family \[ Γ_q= \left\langle \begin{pmatrix} 1&1\\ 0&1 \end{pmatrix}, \begin{pmatrix} 1&0\\ q&1 \end{pmatrix} \right\rangle, \qquad q=\tfrac{s}{t}\in\mathbb Q. \] For $q\neq0,\pm3$, we prove that \[ Γ_q=Γ_1^{(t)}(s) \] if and only if its upper-triangular subgroup strictly contains \[\left\langle\begin{pmatrix}1&1\\0&1\end{pmatrix}\right\rangle.\] Thus the congruence-subgroup problem is reduced to constructing a single upper-triangular element outside this cyclic subgroup. As applications, we reinterpret several constructions from the study of non-freeness as constructions of arithmetic groups. We verify the criterion for all rational parameters $q=\tfrac{s}{t}\in(-4,4)$ with $1\leq |s|\leq21$, and obtain new infinite families of congruence subgroups from indefinite binary quadratic forms and Pell-type equations.

2026-07-06T01:14:40Z Yanlong Hao http://arxiv.org/abs/2607.04530v1 2026-07-05T22:24:51Z

We strengthen a result of Liu from his papers arXiv:2011.09412, arXiv:2105.01022, by proving that profinite isomorphisms of hyperbolic 3-manifolds are regular in the sense of Boileau and Friedl arXiv:1505.07799

2026-07-05T22:24:51Z 7 pages Liam Hanany http://arxiv.org/abs/2404.07321v2 2026-07-05T18:15:04Z

We prove a concentration result for the leading eigenvalue of the non--backtracking matrix of the configuration model under the assumption of uniformly bounded degrees. Let $P$ denote the limiting degree distribution. Assuming polynomial approximation, we show that as the number of vertices tends to infinity, the leading eigenvalue of the non--backtracking matrix concentrates around \[ \frac{\mathbb{E}[P(P-1)]}{\mathbb{E}[P]}. \] This quantity corresponds to the mean offspring number of the excess--degree branching process associated with the local limit of the configuration model. As a byproduct of our work we explain how this result can be applied to prove the density of the growth rates of the subgroups of the free group.

2024-04-10T19:49:25Z Michail Louvaris Daniel T. Wise Gal Yehuda http://arxiv.org/abs/2508.16356v2 2026-07-05T14:32:08Z

A group $G$ is said to be $k$-generated if it has a generating set with $k$ elements. A positive integer $n$ is called a \emph{2-generated number} if every group of order $n$ is 2-generated. In this article, we establish an arithmetic characterization of 2-generated numbers expressed in terms of the prime factorization of $n$.

2025-08-22T13:04:31Z 15 pages, accepted for publication in Proceedings-Mathematical Sciences Bireswar Das Kavita Samant Dhara Thakkar