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.


Title: The Stabilized Automorphism Group of a Subshift
Abstract For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group, study its algebraic properties, and use them to distinguish many of the stabilized automorphism groups. We also show that for a full shift, the subgroup of the stabilized automorphism group generated by elements of finite order is simple and that the stabilized automorphism group is an extension of a free abelian group of finite rank by this simple group.  more » « less
Award ID(s):
2054643
PAR ID:
10400265
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
International Mathematics Research Notices
Volume:
2022
Issue:
21
ISSN:
1073-7928
Page Range / eLocation ID:
17112 to 17186
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Resolvent degree is an invariant measuring the complexity of algebraic and geometric phenomena, including the complexity of finite groups. To date, the resolvent degree of a finite simple group G has only been investigated when G is a cyclic group; an alternating group; a simple factor of a Weyl group of type E6, E7, or E8; or PSL(2,F7). In this paper, we establish upper bounds on the resolvent degrees of the sporadic groups by using the invariant theory of their projective representations. To do so, we introduce the notion of (weak) RDk≤d-versality, which we connect to the existence of “special points” on varieties. 
    more » « less
  2. Abstract Prokhorov and Shramov proved that the BAB conjecture, which Birkar later proved, implies the uniform Jordan property for automorphism groups of complex Fano varieties of fixed dimension.This property in particular gives an upper bound on the size of finite semi-simple groups (i.e., those with no nontrivial normal abelian subgroups) acting faithfully on 𝑛-dimensional complex Fano varieties, and this bound only depends on 𝑛.We investigate the geometric consequences of an action by a certain semi-simple group: the symmetric group.We give an effective upper bound for the maximal symmetric group action on an 𝑛-dimensional Fano variety.For certain classes of varieties – toric varieties and Fano weighted complete intersections – we obtain optimal upper bounds.Finally, we draw a connection between large symmetric actions and boundedness of varieties, by showing that the maximally symmetric Fano fourfolds form a bounded family.Along the way, we also show analogues of some of our results for Calabi–Yau varieties and log terminal singularities. 
    more » « less
  3. Abstract We compare the algebras of the quantum automorphism group of finite-dimensional C$$^\ast $$-algebra $$B$$, which includes the quantum permutation group $$S_N^+$$, where $$N = \dim B$$. We show that matrix amplification and crossed products by trace-preserving actions by a finite Abelian group $$\Gamma $$ lead to isomorphic $$\ast $$-algebras. This allows us to transfer various properties such as inner unitarity, Connes embeddability, and strong $$1$$-boundedness between the various algebras associated with these quantum groups. 
    more » « less
  4. Abstract To each pair consisting of a saturated fusion system over a p -group together with a compatible family of Külshammer-Puig cohomology classes, one can count weights in a hypothetical block algebra arising from these data. When the pair arises from a genuine block of a finite group algebra in characteristic p , the number of conjugacy classes of weights is supposed to be the number of simple modules in the block. We show that there is unique such pair associated with each Benson-Solomon exotic fusion system, and that the number of weights in a hypothetical Benson-Solomon block is $12$ , independently of the field of definition. This is carried out in part by listing explicitly up to conjugacy all centric radical subgroups and their outer automorphism groups in these systems. 
    more » « less
  5. NA (Ed.)
    Recall that a non-singular planar quartic is a canonically embedded non-hyperelliptic curve of genus three. We say such a curve is symmetric if it admits non-trivial automorphisms. The classification of (necessarily finite) groups appearing as automorphism groups of non-singular curves of genus three dates back to the last decade of the 19th century. As these groups act on the quartic via projective linear transformations, they induce symmetries on the 28 bitangents. Given such an automorphism group G=Aut(C), we prove the G-orbits of the bitangents are independent of the choice of C, and we compute them for all twelve types of smooth symmetric planar quartic curves. We further observe that techniques deriving from equivariant homotopy theory directly reveal patterns which are not obvious from a classical moduli perspective. 
    more » « less