Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.20024

Maximal subgroups of topological full groups of shifts of finite type

Hiroki Matui
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study maximal subgroups of topological full groups of irreducible one-sided shifts of finite type whose associated groupoids have Cantor unit space. For each wide open subgroupoid of such a groupoid, we construct a subgroupoid graph and identify the subgroupoid with a full compact open reduction of the corresponding countable graph groupoid. Every minimal wide open subgroupoid is either AF or purely infinite. A proper wide open subgroupoid is prime if it admits no proper intermediate wide open subgroupoid. We prove a trichotomy for prime subgroupoids: they are minimal, arise from a clopen bipartition, or have a unique nonempty proper closed invariant set, which is nowhere dense. For a prime subgroupoid, the normalizer of its topological full group is maximal in the ambient topological full group precisely when it maps onto the ambient abelianization. An analogous criterion holds in every subgroup containing the ambient commutator subgroup. For a minimal prime subgroupoid, its topological full group is maximal precisely when it equals its normalizer and the inclusion induces a surjection on first groupoid homology. We also describe all fully amplified maximal subgroups, namely those closed under local agreement. For Thompson's group $V$, the stabilizer of every simple type system is maximal, extending results of Belk, Bleak, Quick and Skipper for finite type systems and certain classes of infinite ones. Finally, every subgroup containing the ambient commutator subgroup has continuum many pairwise nonisomorphic maximal subgroups acting minimally on the unit space.

Explore related subjects

math.GRmath.DSmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hiroki Matui. 2026-10-14. Maximal subgroups of topological full groups of shifts of finite type. https://arxiv.org/abs/2610.20024

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Compressed primitivity problem in free groups

For a fixed integer $r\ge 2$, we prove that the \emph{compressed primitivity problem} in the free group $F_r=F(x_1,\dots,x_r)$ is decidable in non-deterministic polynomial time. That is, for a \emph{straight-line program} $\mathcal A$ over $\{x_1,\dots,x_r\}^{\pm1}$ representing an element $g\in F_r$, the problem of deciding whether $g$ is primitive in $F_r$ belongs to $\mathsf{NP}$, with input measured by the size of $\mathcal A$. For $r=2$, we prove that this problem is decidable in deterministic polynomial time. We also show that, in every fixed rank $r\ge 2$, automorphic minimality of the conjugacy class of a compressed word in $F_r$ is decidable in deterministic polynomial time.

math.GR↗
arXiv2026

Property $(T)$ and nonlinearity of mapping class group quotients

We give a general method for proving Kazhdan's property $(T)$ for quotients $G/K_{[c+1]}$, where $G$ is countable, $K$ is a normal subgroup and $K_{[j]}$ denotes its lower central series. The method combines an affine realization of $G/[K,K]$, a contraction argument, and permanence for nilpotent normal subgroups. We apply this method to several classes of groups by means of homological representations. For the Torelli lower-central series quotients $\operatorname{Mod}(Σ_g)/(\mathcal{T}_g)_{[c+1]}$ for $g\ge3$ we show that they have property $(T)$ for every $c\ge1$. We also prove property $(T)$ for $\operatorname{Aut}(F_3)/(\mathrm{IA}_3)_{[c+1]}$ for every $c\ge1$, relating these groups to the tame nilpotent images studied by Lubotzky and Pak. Several other classes of examples are discussed as well. We also prove that the Torelli lower-central series quotients for $c\ge2$ are not residually finite, and thus non-linear.

math.GR↗
arXiv2026

Classes of Subgroups of a finite group with isomorphic quotient groups

In this paper, we study the poset QIso(G) of classes of subgroups of a finite group G having isomorphic quotients. Particularly, we study it for finite abelian groups and for some classes of non-abelian metacyclic groups, namely dihedral groups Dn, the group U2np and affine groups Aff(F) over finite field F. In the case of abelian groups G, we show that there exists a duality from QIso(G) to Iso(G). We show that cyclic groups are the only groups for which QIso(G), up to duality is isomorphic to its subgroup lattice. We also show that cyclic groups are the only nilpotent groups for which QIso(G), up to duality is isomorphic to its lattice of normal subgroups. We characterize finite 2-groups all of whose subgroups are q-self dual with QIso(G) being a chain. We also characterize all p-groups G of order at most p4 whose QIso(G) is a chain.

math.GR↗