https://arxiv.org/api/7jVd0O8fc84p7BhxogsxKTT1III 2026-07-25T13:43:59Z 25936 240 15 http://arxiv.org/abs/2607.02102v1 2026-07-02T12:37:21Z

Graph neural networks (GNNs) have recently been shown to learn algebraic properties of finite groups from their Cayley graphs [1,2]. In this work, we investigate whether such models generalize to infinite finitely generated groups. Motivated by Gromov's theorem [3], a GNN is trained and validated exclusively on finite complete and truncated Cayley graphs, and then evaluated, without retraining, on truncated Cayley graphs of unseen infinite groups. The evaluation includes free abelian groups of various ranks, the discrete Heisenberg group, the infinite dihedral group, free groups, and direct products with both infinite abelian and finite groups. The results show strong generalization across these families, suggesting that finite Cayley graphs encode sufficient local geometric information to transfer to the infinite setting. Overall, this provides evidence that GNNs trained solely on finite groups can capture geometric features related to the growth of infinite finitely generated groups.

2026-07-02T12:37:21Z Tal Weissblat http://arxiv.org/abs/2607.02048v1 2026-07-02T11:18:16Z

The total character $τ_G$ of a finite group $G$ is the sum of all irreducible complex characters of $G$, and the total degree of $G$ is $T(G) := τ_G(1)$. A proper subgroup $H$ of $G$ is rich if $τ_G$ is ''contained'' in the permutation character $(1_H)^G$. In the first part of this paper, we investigate rich subgroups whose index is a product of two primes. We also consider rich subgroups of symmetric and alternating groups. In the second part we establish a formula for $T(G)$ in the case where the order of $G$ is a prime power. This result is analogous to a formula for the class number of $G$ proved by P. Hall, and it confirms a conjecture by Heffernan and MacHale from 2008. In the last part of the paper, we investigate finite groups $G$ where $T(G)$ is small, in a certain sense.

2026-07-02T11:18:16Z 34 pages, 3 tables Thomas Breuer László Héthelyi Burkhard Külshammer Magdolna Szőke http://arxiv.org/abs/2607.01879v1 2026-07-02T08:34:34Z

Let $W$ be an even Coxeter group. We prove that among all Coxeter systems generating $W$ the unique even Coxeter system realizes the minimal exponential growth. Our proof relies on comparing the exponential growth rates in the explicit algorithm of Mihalik which from any Coxeter system of an even Coxeter group eventually produces the unique even one. The main new ingredient is that blow downs along pseudo-transpositions do not increase the exponential growth rate.

2026-07-02T08:34:34Z Véra Bossart Michelle Bucher http://arxiv.org/abs/2607.01872v1 2026-07-02T08:27:39Z

We show that the language of geodesic words representing elements of a stable subgroup $H$ of a group $G$ with finite generating set $A$ is regular, and that there is a sublanguage which bijects $H$. Consequently, the growth function of $H$ with respect to $A$ is rational, and in many cases, one can deduce a growth rate gap between $H$ and $G$. In particular, this applies to convex cocompact subgroups of $\mathrm{Out}(F_n)$, handlebody groups, and Torelli groups of surfaces of sufficient complexity. We also provide an example of a finitely presented, relatively hyperbolic, and Morse local-to-global group which contains a stable subgroup with unsolvable membership problem, answering a question of Cordes, Russell, Spriano, and Zalloum.

2026-07-02T08:27:39Z 12 pages. Comments welcome. arXiv admin note: text overlap with arXiv:2008.06379 by other authors Kaitlin Ragosta http://arxiv.org/abs/2607.01826v1 2026-07-02T07:48:16Z

Let $Γ$ be a complex reflection group acting on the complex affine or hyperbolic space $X$ with the set of reflecting hyperplanes $\mathcal{H}$. We define an augmented rack $(G, \mathcal{K}, p)$ associated to the orbifold fundamental group $G := π_1^{\operatorname{orb}}( Γ\backslash (X - \mathcal{H}))$ which plays the role of the fundamental rack of a framed link complement as defined by Fenn and Rourke. This yields representations of the orbifold fundamental group $G$ on the cohomology of the associated rack space.

2026-07-02T07:48:16Z 8 pages, 2 figures, submitted for publication Tathagata Basak http://arxiv.org/abs/2607.01716v1 2026-07-02T05:12:14Z

Mineyev's taiko construction, in Garg--Mineyev's finite support-size formulation, gives a concrete route from finite support data to zero divisors and units in group rings of torsion-free CAT(0) groups over $\mathbb{F}_2$. We prove that this triple-girth product-structure route is globally closed: no product structure, even or odd, with support sizes $m,n\ge2$ admits a coherent orientation for which the no-fold and triple-girth conditions both hold. Consequently the Garg--Mineyev triple-girth product-structure assembly route produces neither zero-divisor nor unit counterexamples over $\mathbb{F}_2$ for any such support-size pair. The obstruction is structural, not a bounded-search artifact. High middle-link girth forces signed colors into a balanced near-disjoint rectangle decomposition of the board, with the single odd defect omitted. The product identity, pressure inequalities, Fisher inequalities, and a dual Fisher bound force the middle link to have girth $4$ or $6$; in the girth-six case, the minimum of the two horizontal-link girths is at most $5$. This dichotomy rules out every triple-girth branch. A weighted dual Fisher inequality and an exact finite certificate sharpen the frontier: if the middle link has girth $6$, the horizontal girth is at most $4$, and characteristic-two affine-plane constructions attain equality. Thus the Garg--Mineyev finite failures reflect a structural barrier in the taiko geometry itself. The finite certificate is used only for this sharper frontier, not for the no-$T_4$ obstruction.

2026-07-02T05:12:14Z 44 pages, 2 figures; includes an exact finite certificate Henry Shin http://arxiv.org/abs/2607.01706v1 2026-07-02T04:58:17Z

Several refinements of (the normality part of) the celebrated Itô--Michler theorem were obtained during the last two decades, in which the condition of having $p'$-degree, for a fixed prime $p$, is imposed only on some subsets of complex irreducible characters of a finite group $G$. We prove further extensions of these results, where this condition is now imposed on the irreducible characters which lie above the principal character of a Sylow $p$-subgroup and are either $p$-rational, or strongly real when $p=2$.

2026-07-02T04:58:17Z Silvio Dolfi Pham Huu Tiep Yu Zeng http://arxiv.org/abs/2607.01652v1 2026-07-02T03:25:01Z

Let $Γ$ be a finite simplicial graph of girth at least five. In this short note, we give a proof that if $M$ is a finite volume hyperbolic $3$--manifold, then the right-angled Artin group $A(Γ)$ cannot contain $π_1(M)$ as a subgroup; the argument is elementary, modulo the resolution of the Virtual Fibering Conjecture and a splitting theorem due to Belegradek. In particular, if $C_n$ denotes the $n$--cycle then $A(C_n)$ cannot contain a finite volume hyperbolic $3$--manifold group for any $n\geq 3$, thus answering a question of A.~Reid.

2026-07-02T03:25:01Z 7 pages Thomas Koberda http://arxiv.org/abs/2607.01411v1 2026-07-01T19:15:21Z

We prove a general theorem giving constraints on maps from certain topological groups to inverse limits of bounded torsion groups. From this we obtain some automatic continuity and ultraproduct results. For example, every homomorphism from a Polish group to a countable torsion-free residually finite group has open kernel. Also, the Grigorchuk group is a homomorphic image of a nonprincipal ultraproduct of groups if and only if there exists a measurable cardinal.

2026-07-01T19:15:21Z Gregory R. Conner Samuel M. Corson Curtis Kent http://arxiv.org/abs/1402.5541v4 2026-07-01T18:45:45Z

We solve the double coset problem for all parabolic subgroups of braid groups. The solution provides an effective reduction of this problem to the simultaneous conjugacy problem, and resolves the ambiguity introduced by the center of the group via the double centralizer theorem. We also prove that the subgroup-restricted conjugacy problem is unsolvable in braid groups of at least 5 strands.

2014-02-22T18:48:23Z 12 pages Arkadius Kalka Mina Teicher Boaz Tsaban http://arxiv.org/abs/2607.01196v1 2026-07-01T17:30:34Z

Towards developing the tools of geometric group theory for non-locally compact topological groups, we give one of the first complete classifications of a family of such groups up to coarse equivalence, and when possible, up to quasi-isometry. In a previous paper, we placed the homeomorphism groups of countable Stone spaces into three classes: coarsely bounded, unbounded yet generated by a coarsely bounded set, and unbounded but not generated by any coarsely bounded set. Now we show that these are the coarse equivalence classes: Any two groups within one of these classes are in fact coarsely equivalent. Furthermore, we show that groups in the second class are quasi-isometric to the Hamming cube, the space comprising infinite binary sequences with finitely many nonzero entries equipped with the Hamming distance. As part of the proof, we show that infinite Hamming graphs over finite alphabets are all bi-Lipschitz equivalent.

2026-07-01T17:30:34Z 21 pages, 4 figures George Domat Hannah Hoganson Robert Alonzo Lyman http://arxiv.org/abs/2607.01028v1 2026-07-01T14:59:14Z

We study a weak form of formality for differential graded algebras, called $A_3$-formality, and show that the differential graded $\mathbb{F}_2$-algebras of continuous cochains of all pro-$2$ Demushkin groups are $A_3$-formal. We prove this result by an explicit computation of the Benson--Krause--Schwede canonical class using the classification of pro-$2$ Demushkin groups by Demushkin, Serre, and Labute. Compared to the case of odd primes, the new idea is to interpret the data of the canonical class as defining systems of higher Massey products.

2026-07-01T14:59:14Z 41 pages, comments very welcome Ambrus Pál Gereon Quick http://arxiv.org/abs/2606.31459v2 2026-07-01T14:24:42Z

In their recent paper, Bergfalk and Smythe prove that the isometry equivalence relation on hyperbolic surfaces with finitely-generated fundamental group is concretely classifiable, and ask whether the same result holds true for 2-dimensional hyperbolic orbifolds, or equivalently, whether the action of $\text{PSL}_2(\mathbb{R})$ on its space of finitely-generated discrete subgroups is concretely classifiable. In this note we answer this question in the affirmative. We then use the result to prove that a nonsingular ergodic $\text{PSL}_2(\mathbb{R})$-space with nonelementary finitely-generated stabilizers is homogeneous, in similarity with a result of Stuck-Zimmer for lattices in semisimple lie groups. The main ingredients of our proof are Selberg's lemma and a result of Greenberg on commensurators.

2026-06-30T10:36:09Z Fixed reference list George Peterzil http://arxiv.org/abs/2607.00963v1 2026-07-01T13:59:18Z

We prove that, for every bounded-degree graph $Λ$ admitting a finitely cobounded coarse quasi-action by a group, there is a finitely generated group which does not coarsely embed into $Λ$. More generally, for every countable family $(Λ_i)$ of such graphs, there is a finitely generated group that does not coarsely embed into any $Λ_i$. This resolves two conjectures of Simon Thomas: neither a universal Cayley graph nor a universal quasi-isometry class of finitely generated groups exists. As another consequence, we show that no locally compact second countable group coarsely contains every finitely generated group. The proof uses an exponential upper bound on the number of finite graphs admitting an $(L,M)$-regular map into $Λ$, together with a superexponential supply of high-girth $3$-regular graphs, yielding a sequence of finite high-girth obstruction graphs. A graphical small-cancellation labeling, using a variation of Osajda's labeling theorem following Esperet and Giocanti, then realizes this sequence isometrically inside the Cayley graph of a finitely generated group.

2026-07-01T13:59:18Z Robin Tucker-Drob http://arxiv.org/abs/2607.00781v1 2026-07-01T11:11:45Z

We study directional expansion for probability-measure-preserving actions of countable groups through a representation-theoretic group property, the cyclic escape property. An infinite countable group has the cyclic escape property if every totally ergodic unitary representation has arbitrarily small fixed-vector projections along infinite cyclic subgroups. This property implies directional expansivity for all totally ergodic actions. We prove that all infinite finitely generated nilpotent groups have the cyclic escape property, and conjecture the same for all infinite finitely generated polycyclic groups. We also prove the cyclic escape property for higher-rank simple lattices whose finite-dimensional unitary representations all have finite image; in particular, for $SL_n(\mathbb Z)$, $PSL_n(\mathbb Z)$, and $PGL_n(\mathbb Z)$, $n\geq 3$. By contrast, free groups of rank at least two do not have the cyclic escape property. The proofs exhibit two independent mechanisms: central spectral structure in nilpotent groups and stationary character rigidity in higher-rank lattices.

2026-07-01T11:11:45Z 31 pages Michael Björklund Alexander Fish