arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

New this week

New in math.GR Group Theory

77 papers in math.GR from 6 November to 12 November 2026.

Includes papers cross-listed here; the counts on the field chips are by primary category.

More fields

Whole archives

showing 1–25 of 77, newest first RSS

$C^*$-selflessness for free Burnside groups

Anna Cascioli

math.OA · · cited 0× · arXiv ↗ · more like this ·

The free Burnside group $B(m,n)$ is obtained from the free group of rank $m$ by imposing the relations $w^n=1$ for all words $w$. We prove that $B(m,n)$ is completely $C^*$-selfless for every $m\geq2$ and every odd exponent $n\geq557$. Consequently, its reduced group $C^*$-algebra has stable rank one and strict comparison of positive elements by its canonical trace. This answers the question of whether $C^*$-selfless groups can satisfy a nontrivial group law. The proof establishes Ozawa's property $P_{PHP}$ by combining a combinatorial construction with a relative power-avoidance argument based on the canonical forms of Atkarskaya-Rips-Tent.

Quasi-isometry classes of automorphism groups of K3 surfaces via Sierpiński spaces

Kohei Kikuta

math.AG · · cited 0× · arXiv ↗ · more like this ·

We study quasi-isometry classes of automorphism groups of K3 surfaces using Sierpiński spaces. We introduce K3 surfaces of Sierpiński type and prove that their limit sets are round Sierpiński spaces. For such K3 surfaces, the quasi-isometry class of the automorphism group is equivalent to the rational isometry class of the Néron--Severi lattice together with its integral roots. As an application of this rigidity, we construct infinitely many quasi-isometry classes of hyperbolic automorphism groups in Picard rank 4. This reveals a new phenomenon in Picard rank 4, sharply contrasting with the finiteness of quasi-isometry classes in Picard ranks at most 3 and at least 6.

Mathematical foundations for symmetric programming and reasoning

Ohad Kammar, Matija Pretnar

cs.PL · · cited 0× · arXiv ↗ · more like this ·

We develop a mathematical abstraction for uniformly exploiting symmetries in programming and reasoning based on the mathematical proof principle `without-loss-of-generality' (w.l.o.g.). Given: group actions that describe symmetries of the input and the output; and a canoniser, which captures how arbitrary inputs get sent to canonical ones, our construction extends any function from the canonical inputs to the whole domain. We characterise the conditions on the canonisers which guarantee that the construction gives the unique equivariant (i.e. symmetry-preserving) extension. Furthermore, we adapt the construction to a dependently-typed setting, where it captures traditional symmetric w.l.o.g. arguments via the Curry-Howard correspondence. Finally, we extend the construction to algebraic data types, where the symmetries of the constructors both uniquely determine the symmetries of the…

The structure of the finite subgroups of the braid groups of the real projective plane

Daciberg Lima Gonçalves, John Guaschi

math.GR · · cited 0× · arXiv ↗ · more like this ·

In this paper we study the structure of the finite subgroups of the braid groups $B_n(RP^2)$ of the real projective plane $RP^2$. It is known that the isomorphism classes of these subgroups are comprised of cyclic, dicyclic and binary polyhedral groups. Using specific elements of $B_n(RP^2)$, we construct embeddings of the cyclic and dicyclic subgroups, we show that there is a single conjugacy class of the maximal dicyclic groups, and for small values of n, we also construct embeddings of the bin- ary tetrahedral and octahedral groups. One interesting phenomenon that occurs is the existence of isomorphism classes of finite subgroups that admit embeddings in $B_n(RP^2)$ as both maximal finite and non-maximal subgroups. Up to conjugacy, we describe completely the lattice of the finite subgroups of $B_n(RP^2)$ for n = 3, 4, 5. Some of our results regarding the number of conjugacy classes…

Rohrbach's Conjecture for Finite Groups

Yong Yang

math.GR · · cited 0× · arXiv ↗ · more like this ·

Rohrbach's conjecture holds for finite groups. In fact, there is an absolute constant $C$ such that, for every finite group $G$, every positive integer $h$, and all nonnegative real numbers $α_1,\ldots,α_h$ with $α_1+\cdots+α_h=1$, there are subsets $A_1,\ldots,A_h\subseteq G$ satisfying \[ G=A_1\cdots A_h, \qquad |A_1|\leq |G|^{α_1}, \qquad |A_i|\leq C|G|^{α_i}\quad(2\leq i\leq h). \] Consequently, for every $h$ there is a constant $c_h$ such that every finite group $G$ has a subset $A$ with \[ A^h=G\qquad\text{and}\qquad |A|\leq c_h|G|^{1/h}. \]

A new proof of nonamenability for free Burnside groups of odd exponent

Anna Cascioli, Sam Shepherd, Katrin Tent

math.GR · · cited 1× · arXiv ↗ · more like this ·

We prove that the free Burnside group $B(m,n)$ is nonamenable for every $m\ge 2$ and every odd exponent $n\ge 557$. This improves Adian's bound $n\ge 665$ and matches the infiniteness bound of Atkarskaya, Rips and Tent. Our proof combines their canonical form construction with a counting argument to obtain an explicit isoperimetric inequality.

Matrix Waring Problem in finite fields with coefficients from $\mathrm{GL}(2, \mathbb{F}_p)$

Sutirtha Datta, Sourav Ghosh, Aniruddha Maji +1 more

math.GR · · cited 0× · arXiv ↗ · more like this ·

Let $k$ be a fixed positive integer and $p$ be an odd prime such that $\gcd(p-1,k)=1$. For sufficiently large primes $p$, we show that the equation $AX^k+BY^k=C$ has solutions $X,Y \in \mathrm{GL}(2, \mathbb{F}_p)$, where $A$ and $B$ are fixed matrices in $\mathrm{GL}(2, \mathbb{F}_p)$, and $C$ is a fixed matrix in $\mathrm{M}(2,\mathbb{F}_p).$ Our proof relies on Fourier analysis over $\mathrm{GL}(2, \mathbb{F}_p).$

Coarse geometry of stable mixed commutator length II: coarse kernels for nilpotent quotients

Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama +2 more

math.GR · · cited 0× · arXiv ↗ · more like this ·

This paper studies the global difference between the stable commutator length ${\rm scl}_G$ and the stable mixed commutator length ${\rm scl}_{G,N}$ from the perspective of coarse geometry, as well as the space ${\rm W}(G,N)$ of non-extendable quasimorphisms modulo invariant homomorphisms. Our main theorem concerns a finitely generated group $G$ and its normal subgroup $N$ such that the quotient group $ Γ= G/N$ is nilpotent. In this setting, we prove that the natural inclusion map of coarse groups from $[G,N]$ to $[G,G]$, equipped with the metrics induced by ${\rm scl}_{G,N}$ and ${\rm scl}_G$, respectively, is coarsely surjective. Moreover, this map has a splitting coarse kernel that is coarsely isomorphic to $(\mathbb{Z}^n, \| \cdot \|_1)$, where $n$ is the dimension of ${\rm W}(G,N)$. As a consequence, $[G,N]$ is isomorphic to $\mathbb{Z}^n \times [G,G]$ as a coarse group.

The spectrum of free projective geometries over finite chain rings

Yishai Lavi

math.CO · · cited 0× · arXiv ↗ · more like this ·

Let $\mathcal{O}$ be a Dedekind domain, $\mathfrak{p}$ a prime ideal of residue order $q$, and $\mathcal{O}_r=\mathcal{O}/\mathfrak{p}^r$ which is a finite chain ring; the motivating example is $\mathbb{Z}/p^r$. The free projective geometry $\mathbb{P}^{d-1}_{fr}(\mathcal{O}_r)$ is the graph whose vertices are the nontrivial free submodules of $\mathcal{O}_r^{d}$, two of them adjacent when one strictly contains the other. For every $d$, $q$ and $r$ we reduce its adjacency matrix to explicit symmetric matrices (blocks) of size at most $d-1$. There is one block for each signature (a partition with at most $d/2$ parts, each at most $r$) and we show that every block, at every depth, is a single universal matrix $L(s,σ)$ evaluated at the number $s$ of parts of the signature $λ$ and at $σ=2rs-|λ|$. The same blocks give the spectrum of the subgraph induced on any set of levels, and for two…

Polynomial Swap Coboundary Expansion with Applications to LTCs and PCPs

Yotam Dikstein, Izhar Oppenheim, Inga Valentiner-Branth

math.CO · · cited 0× · arXiv ↗ · more like this ·

Swap coboundary expansion, introduced independently by Bafna--Minzer and Dikstein--Dinur, is a local-to-global property that underlies agreement tests in the low-acceptance regime and recent constructions of succinct PCPs. Previous works obtained bounds of $\exp(-O(\sqrt{r}))$ for the $r$-swap coboundary expansion of Chapman--Lubotzky complexes. We establish the first inverse-polynomial bounds for bounded-degree complexes: suitable skeleta of Kac--Moody--Steinberg (KMS) complexes have $r$-swap coboundary expansion at least $r^{-O(1)}$. Our theorem supplies a key ingredient in forthcoming work of Ben Yaacov--Dikstein--Liu, which obtains local tests for sparse algebraic codes with guarantees even at arbitrarily small acceptance probability. These tests use $\exp(\operatorname{poly}(1/\varepsilon))$ queries and guarantee that any word accepted with probability at least $\varepsilon$ agrees…

On the reduction of GAP Conjecture to certain classes of groups and around

Rostislav Grigorchuk

math.GR · · cited 0× · arXiv ↗ · more like this ·

In this note we revise our approach from [Rostislav Grigorchuk. On the gap conjecture concerning group growth. Bull. Math. Sci., 4(1):113--128, 2014] to the reduction of the Gap Conjecture on Group Growth to the class of just-infinite groups. For this purpose we introduce the class of groups that we call \emph{(GAPSY)} as well as some other classes. The properties of these classes are discussed in the relation with growth, elementary amenability, and just-infiniteness. Additionally, we discuss the GAP type problems for cancellative semigroups. A number of (old and new) open problems and few historical remarks is included in the note as well.

Subgroup distortion in free-by-cyclic groups with linearly growing monodromy

Hoang Thanh Nguyen

math.GR · · cited 0× · arXiv ↗ · more like this ·

Let $G=F\rtimes_ϕ\mathbb Z$ be the mapping torus of a linearly growing UPG automorphism $ϕ$ of a finitely generated free group $F$. We compute the distortion of every finitely generated subgroup $H$ of $G$, and we show that it is linear, quadratic or exponential. In contrast, for each $d\ge2$, Dison and Riley constructed an automorphism of polynomial degree $d$ whose mapping torus contains a free subgroup with distortion equivalent to the Ackermann function $A_{d+1}$, which grows faster than every iterated exponential function. Using the natural splitting of $G$ over $\mathbb Z^2$ subgroups and its topological representative, we associate to $H$ a family of \emph{horizontal components}, together with \emph{dilation homomorphisms} defined from slopes along these components. We prove that $H$ is undistorted in $G$ if and only if every horizontal component of $H$ consists of only one…

Finiteness properties of Bestvina-Brady kernels for graph products with torsion

Eduardo Flores Martínez, Luis Jorge Sánchez Saldaña

math.GR · · cited 0× · arXiv ↗ · more like this ·

We study Bestvina-Brady kernels associated to graph products whose vertex groups are either infinite cyclic or finite. Using a $\mathrm{CAT}(0)$ cubical complex constructed by Ruane and Witzel, on which the graph product with defining graph $Γ$ acts, together with an equivariant Morse function, we establish sufficient conditions for homological finiteness properties in terms of the topology of the flag complex $Γ^\blacktriangle$, the subcomplex $Γ^\blacktriangle_\infty$ spanned by the infinite vertices, and the ascending and descending links of certain vertices. We also prove a partial converse, showing that, under additional vanishing hypotheses on homology in the next degree, non-vanishing homology of these complexes obstructs higher finiteness properties of the Bestvina-Brady kernel. The main new features are the presence of finite stabilizers and the resulting additional link…

Second homology of some quandles

Mohamad Maassarani

math.GT · · cited 0× · arXiv ↗ · more like this ·

We derive formulas from Eisemann's formula for the second quandle homology of quandles. We prove that for a finite injective quandle $Q$, the second quandle homology $H_2(Q)$ can be computed in a representation group of $Q$, which is a finite quotient of the enveloping group of $Q$, by giving a formula for that. We use this to compute $H_2(Q)$ for $Q$ the subquandle of $k$-cycles of $S_n$ and $Q$ the quandle corresponding to the conjugacy class of a diagonalizable element of $SL(n,q)$, with some exceptions. For $G$ a finite group with trivial Bogomolov multiplier, as many classical groups, simple groups and (with exceptions) quasi-simple groups, we derive a formula for $H_2(Conj(G))$ that can be computed in $G$ alone. The formula relies on conjugacy classes of $G$, centralizers in $G$ of representative of such classes and the derived group of $G$. If $G$ is moreover perfect this formula…

Categorical orbifold theory

Chongying Dong, Siu-Hung Ng, Li Ren +1 more

math.QA · · cited 0× · arXiv ↗ · more like this ·

We investigate the orbifold theory for condensable algebras in fusion categories $\mathcal{C}$. We prove that the algebra automorphism group of a condensable algebra $A$ is finite and explicitly characterize its elements in terms of the fusion action and indecomposable $\mathcal{C}_{A}^0$-bimodule decomposition of $\mathcal{C}_{A}$. We further show that a finite group action on $A$ gives rise to a group extension of the category $\mathcal{C}_{A}^0$ in $\mathcal{C}_{A}$. Conversely, every such group extension arises from a finite group of algebra automorphisms of $A$. Finally, we also construct a canonical maximal group extension of $\mathcal{C}_{A}^0$, thereby providing a categorical framework for the classical correspondence among finite group actions, fixed-point algebras, and twisted modules.

Solutions of the set-theoretic quantum Yang-Baxter equation arising from posets

Gigel Militaru

math.QA · · cited 0× · arXiv ↗ · more like this ·

Victoria Lebed observed that the map $(x, \, y) \mapsto (\min\{x, \, y\}, \, \max\{x, \, y\})$ on a totally ordered set is an idempotent solution of the braid equation. We extend this example in several directions, by constructing four families of solutions of the braid equation associated to posets. First, for a given poset $P$, the map $R_P$ which sorts the comparable pairs and fixes the incomparable ones is an idempotent solution of the braid equation whose automorphism group is the automorphism group of the poset $P$. Combined with the classical theorem of Birkhoff, this shows that every group is isomorphic to the automorphism group of an idempotent solution of the braid equation of the form $(P, \, R_P)$, for some poset $P$. Moreover, $R_P \cong R_Q$ if and only if $P \cong Q$, and the solutions of the form $R_P$ are exactly the idempotent solutions of the braid equation which…

Extremal disc packings in compact hyperbolic surfaces of minimal genus

Ernesto Girondo, Cristian Reyes-Monsalve

math.GT · · cited 0× · arXiv ↗ · more like this ·

A compact hyperbolic surface is $k$-extremal if it contains $k$ disjoint embedded discs of the largest possible radius; such surfaces are uniformized by surface subgroups of the triangle groups $Δ^{\pm}(2,3,N)$. We determine all extremal $k$-packings in every $k$-extremal surface of minimal genus, orientable of genus $2$ and non-orientable of genus $3$: $373$ surface groups in total, all treated in a unified way; $264$ of them had never been studied before. The computation is automatic and verified in exact arithmetic, each packing being certified by an element $α\in\mathrm{PGL}_2$ over an explicit number field with $α^{-1}Kα<Δ^{\pm}(2,3,N)$. We also obtain the full isometry groups of these surfaces. In every surface but one, all the extremal packings are related by isometries. The exception is the genus two surface $X_6$ of Girondo and González-Diez, which has exactly five extremal…

Coset Geometries and Tameness of Certain Classes of Shephard Groups

Claudio Alexandre Piedade, Travis Scrimshaw, Philippe Tranchida

math.GR · · cited 0× · arXiv ↗ · more like this ·

For the class of Shepard groups (which contain Coxeter groups, Artin-Tits groups, and many finite complex reflection groups), we investigate the structure of the coset incidence systems defined using the standard parabolic subgroups. For the class of tame Shephard groups, which is when all the standard parabolic subgroups are equal to the corresponding Shephard groups, then the intersection of standard parabolic subgroups is also a standard parabolic subgroup. We show that when the Shephard group is either finite, right-angled, or rank two, then it is tame; this is further evidence that all Shephard groups are tame. Finally, we mix the Burau and the geometric representations to produce a representation for all Shephard groups, but we show it is not faithful in rank two unless the Shephard group is finite or an Artin-Tits group.

On the orders of irreducible subgroups of finite classical groups

Timothy C. Burness, Lei Wang

math.GR · · cited 0× · arXiv ↗ · more like this ·

Let $G$ be a finite almost simple classical group over $\mathbb{F}_q$ with socle $G_0$ and natural module $V$ of dimension $n$. Let $H$ be a core-free maximal subgroup of $G$. By a well-known theorem of Aschbacher, either $H$ is contained in one of eight subgroup collections that are defined in terms of the geometry of $V$, or $H$ is almost simple and the embedding of $H$ in $G$ arises from an absolutely irreducible representation of a covering group of the socle of $H$. We write $\mathcal{S}$ for the latter collection of irreducibly embedded almost simple subgroups. Determining the subgroups in $\mathcal{S}$ is an intractable problem, in general, which has only been fully resolved in low dimensions. However, many applications require some control on the subgroups in $\mathcal{S}$, expressed in terms of their order, or properties of their elements, for example. Extending a theorem of…

Quadratic Elements in Finite $p$-Groups and Applications to Oliver's $p$-Group Conjecture

Jingjing Duan, Lijian An

math.GR · · cited 0× · arXiv ↗ · more like this ·

We establish a property of quadratic elements in faithful modules for finite $p$-groups. Let $p$ be an odd prime, and suppose that $a$ is a quadratic element of an abelian subgroup $L$ normalized by $b$. Writing $a_0=a$ and $a_i=[a_{i-1},b]$, we prove that if, for some $r$ with $2\leq r\leq(p+1)/2$, one has $a_{r-1}\neq1$ and $a_r=1$, then $a_{r-1}$ is quadratic. As an application, we prove that every finite $p$-group of nilpotency class at most $(p+5)/2$ satisfies the Quadratic Conjecture. Consequently, Oliver's $p$-group conjecture holds for a finite $p$-group $S$ whenever $S/\mathfrak X(S)$ has nilpotency class at most $(p+5)/2$.

Abelian covers and the index of the centre in a group

Guillaume Lecomte

math.GR · · cited 0× · arXiv ↗ · more like this ·

Let $h(n)$ be the largest number of abelian subgroups needed to cover a group in which every set of more than $n$ elements contains two distinct elements that commute, and let $ζ(n)$ be the largest index of the centre under the same constraint. Erdős asked for the growth of $h$, Neumann proved that both quantities are finite, and Pyber bounded both $ζ$ and $h$ exponentially. We determine $h(n)$ for every positive integer $n$ and prove that $h(n)=1+\sqrt{ζ(n)}$ whenever the constraint admits a nonabelian group. The covers are built directly from the commutator geometry of a scalar quotient, and the comparison with $ζ$ is made afterwards. Beyond finitely many small cases, both maxima are attained by the same groups, those isoclinic to an extraspecial $2$-group of order $2^{1+2\lfloor(n-1)/2\rfloor}$, confirming Pyber's prediction for the central index in this range.

Positivity in symplectic groups and electrical networks

V. Gorbounov, A. Kazakov

math.CO · · cited 0× · arXiv ↗ · more like this ·

We study the relation between electrical positivity introduced by Lam and Pylyavskyy $[9]$ and total positivity of symplectic matrices arising from circular planar electrical networks. A particularly convenient framework for our purpose is provided by a construction of an embedding of electrical network into the positive Lagrangian Grassmannian, see Section $1.1$. Employing this technique, we demonstrate that mentioned below two types of positivity do not coincide, see Theorem $2.2$. In Section $3$ we also derive explicit rational formulas recovering the parameters of the factorization from our symplectic matrix entries and minors, and prove uniqueness under explicit nonvanishing conditions.

A regular free action on the integral plane and a problem on left braces

Lü Gong

math.GR · · cited 0× · arXiv ↗ · more like this ·

We construct a free subgroup of countably infinite rank in $\ZZ^2\rtimes\SL_2(\ZZ)$ that acts regularly on $\ZZ^2$. At each stage we adjoin an affine transformation taking the origin to the least point of a prescribed orbit. Disjoint domains for reduced words ensure that the stabilizer of the origin remains trivial. The orbit map gives a left brace with additive group $\ZZ^2$ and multiplicative group free of countably infinite rank. This group contains a nonabelian free subgroup and is therefore nonsolvable, answering both parts of Problem 20.126 of the Kourovka Notebook.

Geometric Combinatorics of Polynomials with Rotationally Symmetric Roots

Benedict Lee

math.GT · · cited 0× · arXiv ↗ · more like this ·

In a recent paper by Dougherty and McCammond, the authors introduced a piecewise Euclidean cell structure for the space of monic centered polynomials. This was achieved by studying the relationship between the polynomials and their critical values, using the Lyashko-Looijenga (LL) map, as well as the noncrossing combinatorics of the polynomials. In this paper, we extend their results to the space of polynomials with rotationally symmetric roots by studying an appropriate generalisation of the LL map, which relates the polynomials and their reduced critical values. The combinatorics of the polynomials are noncrossing partitions of type $B_d$. This give us a piecewise Euclidean cell structure built using the order complex of the noncrossing partition of type $B_d$. Along the way, we also give a compactification of this space of polynomials.

Progression-free sets in class $2$ and arbitrary finite groups

Luca Sabatini

math.GR · · cited 0× · arXiv ↗ · more like this ·

We study progression-free sets in arbitrary finite groups. We transfer sharp upper bounds from abelian groups to nilpotent groups of class $2$, and from nilpotent groups to arbitrary groups. Combining a recent result of Raghavan with the author's theorem on large subgroups of class $2$ gives \[ r_3(G) \, \leq \, C \, |G|\exp\left( -c\frac{(\log|G|)^{1/6}}{(\log\log|G|)^{1/3}}\right) \] for every finite group as $|G|\to\infty$. This improves the estimates obtained by using the abelian subgroup supplied by Pyber's theorem.