Topological full groups and stable rank one

2026-07-05T13:27:43Z

We establish stable rank one for the reduced group C$^*$-algebras of the C$^*$-simple topological full groups and dynamical alternating groups constructed by Kerr and Tucker-Drob. The proof relies on both type II$_1$ and type III phenomena, in the first case via the use of Følner towers and in the second via Ozawa's recent results on selflessness as applied to direct products of free products.

Extensions of invariant random orders on groups

2026-07-05T05:51:00Z

In this paper we study the action of a countable group $Γ$ on the space of orders on the group. In particular, we are concerned with the invariant probability measures on this space, known as invariant random orders. We show that for any countable group the space of random invariant orders is rich enough to contain an isomorphic copy of any free ergodic action, and characterize the non-free actions realizable. We prove a Glasner-Weiss dichotomy regarding the simplex of invariant random orders. We also show that the invariant partial order on $\mathrm{SL}_3(\mathbf{Z})$ corresponding to the semigroup of positive matrices cannot be extended to an invariant random total order. We thus provide the first example for a partial order (deterministic or random) that cannot be randomly extended.

Reconstructing Rational Functions on Finite Abelian Groups with Higher Autocorrelations

2026-07-04T23:55:02Z

The higher-order autocorrelations of integer-valued or rational-valued functions on finite Abelian groups appear naturally in X-ray crystallography, and have applications in computer vision systems, correlation tomography, correlation spectroscopy, and pattern recognition. In this paper, we consider the problem of reconstructing a rational-valued function on finite Abelian groups from its higher-order autocorrelations. We describe an explicit reconstruction algorithm, and prove that the autocorrelations up to order $3r+3$ are always sufficient to determine the data up to translation, where $r$ is the rank of the group. We also provide examples of rational-valued functions on finite Abelian group which are not determined by their autocorrelations up to order $3r+2$. In particular, we provide a sharp upper bound on the separating degree of the regular representation of a finite Abelian group in terms of its rank.

Finite generating sets for monoids of $G$-equivariant functions

2026-07-04T23:21:43Z

Given the action of a group $G$ on a set $X$, the set of all $G$-equivariant functions, i.e., those satisfying $f(g\cdot x)=g\cdot f(x)$ for all $g\in G$ and $x\in X$, forms a monoid under composition. In this work we study their generating sets. First, we propose bounds for the cardinalities of the generating sets of their group of units, denoted by $\operatorname{Aut}_{G}(X)$. Subsequently, using so-called orbital infiltrations, certain transformations that turn out to be indispensable and provide relevant structural information about the monoid, we determine conditions on the group $G$, the set $X$, and the action that prevent the whole monoid $\operatorname{End}_{G}(X)$ from admitting a finite generating set.

Higman--Thompson groups $F_n$ all the way down

2026-07-04T21:53:37Z

We prove that for every $n\ge 2$ the Higman--Thompson group $F_n$ has a maximal subgroup of infinite index isomorphic to itself. In fact, we construct a chain of subgroups $F_n=H_0>H_1>H_2>\cdots$, all isomorphic to $F_n$ and with trivial intersection, such that for every $i$ the only subgroups of $F_n$ containing $H_i$ are $H_i,H_{i-1},\ldots,H_0=F_n$; in particular, each $H_{i+1}$ is maximal in $H_i$. We prove that for all $n\ge m\ge 2$, every closed maximal subgroup of $F_m$ isomorphic to $F_n$ arises from a homeomorphism between the $n$-ary and $m$-ary Cantor spaces given by a finite semi-synchronizing transducer--a variation of the synchronizing transducers of Bleak, Cameron, Maissel, Navas and Olukoya. We characterize the homeomorphisms of Cantor spaces conjugating $F_n$ into $F_m$ as the order-preserving or order-reversing rational homeomorphisms whose minimal transducer is semi-synchronizing. At the heart of the paper is a machinery bridging transducers and Stallings $2$-cores of subgroups, which reduces the conjugation of finitely generated closed subgroups by such homeomorphisms to an algorithmic procedure. As applications, we prove that Jones' ternary oriented subgroup $\vec F_3\le F_3$ is isomorphic to $F_4$, answering questions of Aiello, and that all known maximal subgroups of infinite index of Thompson's group $F$ which act minimally on $(0,1)$ are isomorphic to Higman--Thompson groups. That raises the problem of whether all maximal subgroups of infinite index of $F$ which act minimally on $(0,1)$ are isomorphic to Higman--Thompson groups. We briefly discuss related results regarding fast groups of homeomorphisms and maximal subgroups of Thompson groups.

A Classification of the Isomorphism Types of Indecomposable and Simple Modules that Refines the Green Theory in Finite Group Modular Representation Theory

2026-07-04T20:24:29Z

In Finite Group Modular Representation Theory, the basic objects are the indecomposable and simple modules. This paper offers a new classification of these objects that refines the Green Theory Classification of indecomposable and simple modules. The sets of isomorphism tyes of these modules is decomposed into disjoint, non-empty subsets such that any two elements in any subset share Green Theory Invariants. We also prove a new formula for the number of isomorphism types of absolutely simple modules of finite groups in prime characteristic.

How (not) to prove (un)distortion for diffeomorphisms of one-manifolds

2026-07-04T19:51:08Z

This article addresses the following general question: Given a one-dimensional manifold $M$ and $1 \le r < s \le \infty$, does there exist a $C^s$ orientation preserving compactly supported diffeomorphism of $M$ that is undistorted in the group $\mathrm{Diff}_{c,+}^s(M)$ of such diffeomorphisms while distorted in the bigger group of $C^r$ diffeomorphisms? Interestingly, the answer is known to be positive in the case $(r,s)=(1,2)$ and negative in the case $(r,s)=(2,\infty)$, according to arXiv:2004.07055 and arXiv:2507.13770, respectively. The first part of this note originates from a failed attempt to extend the ideas of arXiv:2004.07055 to the case $(r,s)=(2,3)$. More precisely, in regularities $C^1$ and $C^2$, obstructions to distortion are provided by drifts of cocycles for isometric actions of $\mathrm{Diff}_{c,+}^r(M)$ on Banach spaces for $r=1$ and $r=2$ (namely, the logarithmic and projective derivatives $f\mapsto \log Df$ and $f\mapsto D\log Df$, respectively). On $\mathrm{Diff}_{c,+}^3(M)$, the so-called Liouville cocycle is a natural candidate when looking for new obstructions, but we show that its drift vanishes for $C^2$-distorted diffeomorphisms (and this holds more generally for any "similar" cocycle). This does not rule out the existence of $C^2$-distorted diffeomorphisms that are $C^3$-undistorted. However, at least in the case of the real line, such a diffeomorphism should have very low regularity. Indeed, extending the methods and results of arXiv:2507.13770, in the second part of this article, we show that every compactly supported $C^2$-distorted diffeomorphism of the real line is $C^r$-distorted provided its differentiability class is larger than $C^{2r+2}$.

Quasi-geodesics in the Cannon-Thurston metric

2026-07-04T18:51:38Z

A closed fibered 3-manifold admits a complete hyperbolic metric if and only if it has a fibration with a pseudo-Anosov monodromy. The stable and the unstable laminations associated to the pseudo-Anosov homeomorphism on the fiber surface give rise to a natural metric on the 3-manifold, the Cannon-Thurston metric, which is quasi-isometric to the hyperbolic metric. In this paper, we describe a specific family of quasi-geodesics in the Cannon-Thurston metric. We use the main results of this article in a companion paper to obtain statistics for typical geodesics with respect to various natural measures on the 2-sphere, thus giving a geometric criterion for singularity between some of these measure classes.

Hayashi property for conjugation quandles over finite Coxeter groups

2026-07-04T15:34:26Z

In this article, we show that for all finite irreducible Coxeter groups $G$ with a conjugation closed subset $C$, the conjugation quandle $\rm{Conj}(G,C)$ satisfies the Hayashi property.

Set theory, logic, and homeomorphism groups of manifolds

2026-07-04T03:13:45Z

We investigate the relationship between axiomatic set theory and the first-order theory of homeomorphism groups of manifolds in the language of group theory, concentrating on first-order rigidity and type versus conjugacy. We prove that under the axiom of constructibility (i.e.~{V=L}), homeomorphism groups of arbitrary connected manifolds are first-order rigid, and that the conjugacy class of a homeomorphism of a manifold is determined by its type. In contradistinction, under the regularity hypothesis that every projective set of reals has the Baire property, we show that in all dimensions greater than one there exist pairs of noncompact, connected manifolds whose homeomorphism groups are elementarily equivalent but which are not homeomorphic. We also show, under the same Baire-property hypothesis, that every manifold of positive dimension admits pairs of homeomorphisms with the same type which are not conjugate to each other. Projective determinacy implies the Baire-property hypothesis, so the corresponding consequences under PD follow immediately. Finally, we show that infinitary formulas do determine conjugacy classes of homeomorphisms and homeomorphism types of manifolds; specifically, the conjugacy class of a homeomorphism of an arbitrary manifold is determined by a single $L_{ω_1ω}$ formula. Similarly, the homeomorphism type of an arbitrary connected manifold is determined by a single $L_{ω_1ω}$ sentence.

Random surfaces with large systoles

2026-07-03T17:29:19Z

We present two constructions, both inspired by ideas from graph theory, of sequences random surfaces of growing area, whose systoles grow logarithmically as a function of their area. This also allows us to prove a new lower bound on the maximal systole of a closed orientable hyperbolic surface of a given genus.

Distinguishing Gromov-Thurston manifolds using algebraic Dehn fillings

2026-07-03T16:21:51Z

We develop criteria to distinguish the homotopy types of Gromov-Thurston manifolds. Our approach is based on a description of their fundamental groups as virtual Dehn fillings of relatively hyperbolic groups.

On the regularity of irreducible subgroups of finite classical groups

2026-07-03T13:19:53Z

Let $G$ be a finite group and let $τ= (H_1, \ldots, H_t)$ be a $t$-tuple of core-free subgroups of $G$. We say that $τ$ is regular if $G$ contains elements $g_1, \ldots, g_t$ such that $\bigcap_i H_i^{g_i} = 1$, which is equivalent to the existence of a regular $G$-orbit on the Cartesian product $G/H_1 \times \cdots \times G/H_t$. Regular tuples were first investigated by Anagnostopoulou-Merkouri and Burness in a paper from 2024, partly motivated by the aim of seeking a natural generalisation of the classical and widely studied concept of a base for a transitive permutation group, which aligns with the special case where the $H_i$ are pairwise conjugate subgroups. In this paper, we focus on the case where $G$ is a finite almost simple classical group and each $H_i$ is a maximal subgroup contained in Aschbacher's collection $\mathcal{S}$ of irreducibly embedded subgroups. Our main theorem determines all the non-regular $t$-tuples of this form with $t \geqslant 2$, which extends earlier work by Burness, Guralnick and Saxl in the base size setting. In particular, we deduce that every pair of maximal subgroups in $\mathcal{S}$ is regular if $n \geqslant 15$, where $n$ is the dimension of the natural module for the socle of $G$, and this lower bound is best possible.

On varieties where $\mathrm{CS}\mathfrak{X}$ implies $\mathfrak{X}\mathrm{T}$

2026-07-03T12:48:35Z

In our previous work \cite{Omar-Shah2}, we initiated the study of $\CSX$- and $\XT$-groups associated with a fixed variety $\X$. A group belongs to the former class if all of its maximal $\X$-subgroups are malnormal, and to the latter if any two $\X$-subgroups with nontrivial intersection generate an $\X$-subgroup. In general, $\CSX$ does not imply $\XT$, however as shown in \cite{Omar-Shah2}, some varieties do satisfy this implication. In this article, we provide additional examples of varieties for which $\CSX$ implies $\XT$.

Unsolved Problems in Group Theory. The Kourovka Notebook

2026-07-03T12:42:39Z

This is a collection of open problems in group theory proposed by hundreds of mathematicians from all over the world. It has been published every 2--4 years since 1965. This is the 21st edition, which contains 150 new problems and a number of comments on problems from the previous editions.