skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on April 1, 2026

Title: Type systems and maximal subgroups of Thompson’s group 𝑉
We introduce the concept of a type system  P \mathcal {P} , that is, a partition on the set of finite words over the alphabet  { 0 , 1 } \{0,1\} compatible with the partial action of Thompson’s group  V V , and associate a subgroup  Stab V ⁡<#comment/> ( P ) \operatorname {Stab}_{V}(\mathcal {P}) of  V V . We classify the finite simple type systems and show that the stabilizers of various simple type systems, including all finite simple type systems, are maximal subgroups of  V V . We also find an uncountable family of pairwise nonisomorphic maximal subgroups of  V V . These maximal subgroups occur as stabilizers of infinite simple type systems and have not been described in previous literature: specifically, they do not arise as stabilizers in V V of finite sets of points in Cantor space. Finally, we show that two natural conditions on subgroups of V V (both related to primitivity) are each satisfied only by V V itself, giving new ways to recognise when a subgroup of V V is not actually proper.  more » « less
Award ID(s):
2343739
PAR ID:
10580964
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
American Mathematical Society (AMS)
Date Published:
Journal Name:
Transactions of the American Mathematical Society, Series B
Volume:
12
Issue:
13
ISSN:
2330-0000
Format(s):
Medium: X Size: p. 417-469
Size(s):
p. 417-469
Sponsoring Org:
National Science Foundation
More Like this
  1. We determine for which exotic tori T \mathcal {T} of dimension d ≠<#comment/> 4 d\neq 4 the homomorphism from the group of isotopy classes of orientation-preserving diffeomorphisms of T \mathcal {T} to S L d ( Z ) \mathrm {SL}_d(\mathbf {Z}) given by the action on the first homology group is split surjective. As part of the proof we compute the mapping class group of all exotic tori T \mathcal {T} that are obtained from the standard torus by a connected sum with an exotic sphere. Moreover, we show that any nontrivial S L d ( Z ) \mathrm {SL}_d(\mathbf {Z}) -action on T \mathcal {T} agrees on homology with the standard action, up to an automorphism of S L d ( Z ) \mathrm {SL}_d(\mathbf {Z}) . When combined, these results in particular show that many exotic tori do not admit any nontrivial differentiable action by S L d ( Z ) \mathrm {SL}_d(\mathbf {Z})
    more » « less
  2. We show that if L 1 \mathcal {L}_1 and L 2 \mathcal {L}_2 are linear transformations from Z d \mathbb {Z}^d to Z d \mathbb {Z}^d satisfying certain mild conditions, then, for any finite subset A A of Z d \mathbb {Z}^d , | L 1 A + L 2 A | ≥<#comment/> ( | det ( L 1 ) | 1 / d + | det ( L 2 ) | 1 / d ) d | A | −<#comment/> o ( | A | ) . \begin{equation*} |\mathcal {L}_1 A+\mathcal {L}_2 A|\geq \left ( |\det (\mathcal {L}_1)|^{1/d}+|\det (\mathcal {L}_2)|^{1/d} \right )^d|A|- o(|A|). \end{equation*} This result corrects and confirms the two-summand case of a conjecture of Bukh and is best possible up to the lower-order term for certain choices of L 1 \mathcal {L}_1 and L 2 \mathcal {L}_2 . As an application, we prove a lower bound for | A + λ<#comment/> ⋅<#comment/> A | |A + \lambda \cdot A| when A A is a finite set of real numbers and λ<#comment/> \lambda is an algebraic number. In particular, when λ<#comment/> \lambda is of the form ( p / q ) 1 / d (p/q)^{1/d} for some p , q , d ∈<#comment/> N p, q, d \in \mathbb {N} , each taken as small as possible for such a representation, we show that | A + λ<#comment/> ⋅<#comment/> A | ≥<#comment/> ( p 1 / d + q 1 / d ) d | A | −<#comment/> o ( | A | ) . \begin{equation*} |A + \lambda \cdot A| \geq (p^{1/d} + q^{1/d})^d |A| - o(|A|). \end{equation*} This is again best possible up to the lower-order term and extends a recent result of Krachun and Petrov which treated the case λ<#comment/> = 2 \lambda = \sqrt {2}
    more » « less
  3. We consider minimizing harmonic maps u u from Ω<#comment/> ⊂<#comment/> R n \Omega \subset \mathbb {R}^n into a closed Riemannian manifold N \mathcal {N} and prove: 1. an extension to n ≥<#comment/> 4 n \geq 4 of Almgren and Lieb’s linear law. That is, if the fundamental group of the target manifold N \mathcal {N} is finite, we have\[ H n −<#comment/> 3 ( sing ⁡<#comment/> u ) ≤<#comment/> C ∫<#comment/> ∂<#comment/> Ω<#comment/> | ∇<#comment/> T u | n −<#comment/> 1 d H n −<#comment/> 1 ; \mathcal {H}^{n-3}(\operatorname {sing} u) \le C \int _{\partial \Omega } |\nabla _T u|^{n-1} \,\mathrm {d}\mathcal {H}^{n-1}; \]2. an extension of Hardt and Lin’s stability theorem. Namely, assuming that the target manifold is N = S 2 \mathcal {N}=\mathbb {S}^2 we obtain that the singular set of u u is stable under small W 1 , n −<#comment/> 1 W^{1,n-1} -perturbations of the boundary data. In dimension n = 3 n=3 both results are shown to hold with weaker hypotheses, i.e., only assuming that the trace of our map lies in the fractional space W s , p W^{s,p} with s ∈<#comment/> ( 1 2 , 1 ] s \in (\frac {1}{2},1] and p ∈<#comment/> [ 2 , ∞<#comment/> ) p \in [2,\infty ) satisfying s p ≥<#comment/> 2 sp \geq 2 . We also discuss sharpness. 
    more » « less
  4. We show that for primes N , p ≥<#comment/> 5 N, p \geq 5 with N ≡<#comment/> −<#comment/> 1 mod p N \equiv -1 \bmod p , the class number of Q ( N 1 / p ) \mathbb {Q}(N^{1/p}) is divisible by p p . Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when N ≡<#comment/> −<#comment/> 1 mod p N \equiv -1 \bmod p , there is always a cusp form of weight 2 2 and level Γ<#comment/> 0 ( N 2 ) \Gamma _0(N^2) whose ℓ<#comment/> \ell th Fourier coefficient is congruent to ℓ<#comment/> + 1 \ell + 1 modulo a prime above p p , for all primes ℓ<#comment/> \ell . We use the Galois representation of such a cusp form to explicitly construct an unramified degree- p p extension of Q ( N 1 / p ) \mathbb {Q}(N^{1/p})
    more » « less
  5. We introduce a topological intersection number for an ordered pair of SL 3 \operatorname {SL}_3 -webs on a decorated surface. Using this intersection pairing between reduced ( SL 3 , A ) (\operatorname {SL}_3,\mathcal {A}) -webs and a collection of ( SL 3 , X ) (\operatorname {SL}_3,\mathcal {X}) -webs associated with the Fock–Goncharov cluster coordinates, we provide a natural combinatorial interpretation of the bijection from the set of reduced ( SL 3 , A ) (\operatorname {SL}_3,\mathcal {A}) -webs to the tropical set A PGL 3 , S ^<#comment/> + ( Z t ) \mathcal {A}^+_{\operatorname {PGL}_3,\hat {S}}(\mathbb {Z}^t) , as established by Douglas and Sun in [Forum Math. Sigma 12 (2024), p. e5, 55]. We provide a new proof of the flip equivariance of the above bijection, which is crucial for proving the Fock–Goncharov duality conjecture of higher Teichmüller spaces for SL 3 \operatorname {SL}_3
    more » « less