Distortion and the automorphism group of a shift
JMD Home
This Volume
Symbolic dynamics for non-uniformly hyperbolic diffeomorphisms of compact smooth manifolds
2018, 13: 115-145. doi: 10.3934/jmd.2018014
The mapping class group of a shift of finite type
Mike Boyle 1, and Sompong Chuysurichay 2,
Department of Mathematics, University of Maryland, College Park, MD 20742-4015, USA
Algebra and Applications Research Unit, Department of Mathematics and Statistics, Prince of Songkla University, Songkhla, Thailand 90110
Dedicated to Roy Adler, in memory of his insight, humor, and kindness
Received April 27, 2017 Revised August 18, 2017 Published December 2018
Let $(X_A,σ_{A})$ be a nontrivial irreducible shift of finite type (SFT), with $\mathscr{M}_A$ denoting its mapping class group: the group of flow equivalences of its mapping torus $\mathsf{S} X_A$, (i.e., self homeomorphisms of $\mathsf{S} X_A$ which respect the direction of the suspension flow) modulo the subgroup of flow equivalences of $\mathsf{S} X_A$ isotopic to the identity. We develop and apply machinery (flow codes, cohomology constraints) and provide context for the study of $\mathscr M_A$, and prove results including the following. $\mathscr{M}_A$ acts faithfully and $n$-transitively (for every $n$ in $\mathbb{N}$) by permutations on the set of circles of $\mathsf{S} X_A$. The center of $\mathscr{M}_A$ is trivial. The outer automorphism group of $\mathscr{M}_A$ is nontrivial. In many cases, $\text{Aut}(σ_{A})$ admits a nonspatial automorphism. For every SFT $(X_B,σ_B)$ flow equivalent to $(X_A,σ_{A})$, $\mathscr{M}_A$ contains embedded copies of ${\rm{Aut}}({\sigma _B})/\left\langle {{\sigma _B}} \right\rangle $, induced by return maps to invariant cross sections; but, elements of $\mathscr M_A$ not arising from flow equivalences with invariant cross sections are abundant. $\mathscr{M}_A$ is countable and has solvable word problem. $\mathscr{M}_A$ is not residually finite. Conjugacy classes of many (possibly all) involutions in $\mathscr M_A$ can be classified by the $G$-flow equivalence classes of associated $G$-SFTs, for $G = \mathbb{Z}/2\mathbb{Z}$. There are many open questions.
Keywords: Shift of finite type, flow equivalence, mapping class group, automorphism group.
Mathematics Subject Classification: Primary: 37B10; Secondary: 20F10, 20F38.
Citation: Mike Boyle, Sompong Chuysurichay. The mapping class group of a shift of finite type. Journal of Modern Dynamics, 2018, 13: 115-145. doi: 10.3934/jmd.2018014
F. Blanchard and G. Hansel, Systèmes codés, Theoret. Comput. Sci., 44 (1986), 17-49. Google Scholar
R. Bowen and J. Franks, Homology for zero-dimensional nonwandering sets, Ann. of Math. (2), 106 (1977), 73-92. doi: 10.2307/1971159. Google Scholar
M. Boyle, Flow equivalence of shifts of finite type via positive factorizations, Pacific J. Math., 204 (2002), 273-317. doi: 10.2140/pjm.2002.204.273. Google Scholar
M. Boyle, Positive K-theory and symbolic dynamics, in Dynamics and Randomness (Santiago, 2000), Nonlinear Phenom. Complex Systems, 7, Kluwer Acad. Publ., 2002, 31-52. Google Scholar
M. Boyle, T. Carlsen and S. Eilers, Flow equivalence of G-SFTs, arXiv: 1512.05238, 2015. Google Scholar
M. Boyle, T. Carlsen and S. Eilers, Flow equivalence of sofic shifts, Israel J. Math., to appear; arXiv: 1511.03481, 2015. Google Scholar
M. Boyle, T. Carlsen and S. Eilers, Flow equivalence and isotopy for subshifts, Dyn. Syst., 32 (2017), 305-325. doi: 10.1080/14689367.2016.1207753. Google Scholar
M. Boyle and U.-R. Fiebig, The action of inert finite-order automorphisms on finite subsystems of the shift, Ergodic Theory Dynam. Systems, 11 (1991), 413-425. Google Scholar
M. Boyle and D. Handelman, Orbit equivalence, flow equivalence and ordered cohomology, Israel J. Math., 95 (1996), 169-210. doi: 10.1007/BF02761039. Google Scholar
M. Boyle and D. Huang, Poset block equivalence of integral matrices, Trans. Amer. Math. Soc., 355 (2003), 3861-3886. doi: 10.1090/S0002-9947-03-02947-7. Google Scholar
M. Boyle and W. Krieger, Periodic points and automorphisms of the shift, Trans. Amer. Math. Soc., 302 (1987), 125-149. doi: 10.1090/S0002-9947-1987-0887501-5. Google Scholar
M. Boyle and W. Krieger, Almost Markov and shift equivalent sofic systems, in Dynamical Systems (College Park, MD, 1986-87), Lecture Notes in Math., 1342, Springer, Berlin, 1988, 33-93. Google Scholar
M. Boyle, D. Lind and D. Rudolph, The automorphism group of a shift of finite type, Trans. Amer. Math. Soc., 306 (1988), 71-114. doi: 10.1090/S0002-9947-1988-0927684-2. Google Scholar
M. Boyle and S. Schmieding, Finite group extensions of shifts of finite type: K-theory, Parry and Livšic, Ergodic Theory Dynam. Systems, 37 (2017), 1026-1059. doi: 10.1017/etds.2015.87. Google Scholar
M. Boyle and M. C. Sullivan, Equivariant flow equivalence for shifts of finite type, by matrix equivalence over group rings, Proc. London Math. Soc. (3), 91 (2005), 184-214. doi: 10.1112/S0024611505015285. Google Scholar
M. Boyle and J. B. Wagoner, Positive algebraic K-theory and shifts of finite type, in Modern Dynamical Systems and Applications, Cambridge Univ. Press, Cambridge, 2004, 45-66. Google Scholar
V. Capraro and M. Lupini, Introduction to Sofic and Hyperlinear Groups and Connes' Embedding Conjecture, Lecture Notes in Mathematics, 2136, Springer, Cham, 2015. With an appendix by Vladimir Pestov. Google Scholar
S. Chuysurichay, Positive Rational Strong Shift Equivalence and the Mapping Class Group of a Shift of Finite Type, Thesis (Ph.D.)-University of Maryland, College Park, 2011, 95 pp, ProQuest LLC, Ann Arbor, MI. Google Scholar
E. M. Coven, A. Quas and R. Yassawi, Computing automorphism groups of shifts using atypical equivalence classes, Discrete Anal., (2016), Paper No. 3, 28pp. Google Scholar
V. Cyr, J. Franks, B. Kra and S. Petite, Distortion and the automorphism group of a shift, J. Mod. Dyn., 13 (2018), 147–161. doi: 10.3934/jmd.2018015. Google Scholar
V. Cyr and B. Kra, The automorphism group of a minimal shift of stretched exponential growth, J. Mod. Dyn., 10 (2016), 483-495. doi: 10.3934/jmd.2016.10.483. Google Scholar
S. Donoso, F. Durand, A. Maass and S. Petite, On automorphism groups of low complexity subshifts, Ergodic Theory Dynam. Systems, 36 (2016), 64-95. doi: 10.1017/etds.2015.70. Google Scholar
S. Eilers, G. Restorff, E. Ruiz and A. P. W. Sorensen, The complete classification of unital graph C*-algebras: Geometric and strong, Canad. J. Math., 70 (2018), 294-353. doi: 10.4153/CJM-2017-016-7. Google Scholar
B. Farb and D. Margalit, A Primer on Mapping Class Groups, Princeton Mathematical Series, 49, Princeton University Press, Princeton, NJ, 2012. Google Scholar
U.-R. Fiebig, Periodic points and finite group actions on shifts of finite type, Ergodic Theory Dynam. Systems, 13 (1993), 485-514. Google Scholar
R. J. Fokkink, The Structure of Trajectories, Thesis (Ph.D.)-Technische Universiteit Delft (The Netherlands), 1991, 112pp, ProQuest LLC, Ann Arbor, MI. Google Scholar
J. Franks, Flow equivalence of subshifts of finite type, Ergodic Theory Dynam. Systems, 4 (1984), 53-66. Google Scholar
T. Giordano, I. F. Putnam and C. F. Skau, Topological orbit equivalence and $ C^*$-crossed products, J. Reine Angew. Math., 469 (1995), 51-111. Google Scholar
T. Giordano, I. F. Putnam and C. F. Skau, Full groups of Cantor minimal systems, Israel J. Math., 111 (1999), 285-320. doi: 10.1007/BF02810689. Google Scholar
R. I. Grigorchuk and K. S. Medinets, On the algebraic properties of topological full groups, Mat. Sb., 205 (2014), 87-108. Google Scholar
G. A. Hedlund, Endomorphisms and automorphisms of the shift dynamical system, Math. Systems Theory, 3 (1969), 320-375. doi: 10.1007/BF01691062. Google Scholar
M. Hochman, On the automorphism groups of multidimensional shifts of finite type, Ergodic Theory Dynam. Systems, 30 (2010), 809-840. doi: 10.1017/S0143385709000248. Google Scholar
K. Juschenko and N. Monod, Cantor systems, piecewise translations and simple amenable groups, Ann. of Math. (2), 178 (2013), 775-787. doi: 10.4007/annals.2013.178.2.7. Google Scholar
K. H. Kim and F. W. Roush, On the automorphism groups of subshifts, Pure Math. Appl. Ser. B, 1 (1990), 203-230 (1991). Google Scholar
K. H. Kim and F. W. Roush, Free $ Z_p$ actions on subshifts, Pure Math. Appl., 8 (1997), 293-322. Google Scholar
K. H. Kim, F. W. Roush and J. B. Wagoner, Automorphisms of the dimension group and gyration numbers, J. Amer. Math. Soc., 5 (1992), 191-212. doi: 10.1090/S0894-0347-1992-1124983-3. Google Scholar
K. H. Kim, F. W. Roush and S. G. Williams, Duality and its consequences for ordered cohomology of finite type subshifts, in Combinatorial & Computational Mathematics (Pohang, 2000), World Sci. Publ., River Edge, NJ, 2001, 243-265. Google Scholar
Y.-O. Kim, J. Lee and K. K. Park, A zeta function for flip systems, Pacific J. Math., 209 (2003), 289-301. doi: 10.2140/pjm.2003.209.289. Google Scholar
D. A. Lind, The entropies of topological Markov shifts and a related class of algebraic integers, Ergodic Theory Dynam. Systems, 4 (1984), 283-300. Google Scholar
D. Lind and B. Marcus, An Introduction to Symbolic Dynamics and Coding, Cambridge University Press, Cambridge, 1995. Google Scholar
N. Long, Fixed point shifts of inert involutions, Discrete Contin. Dyn. Syst., 25 (2009), 1297-1317. doi: 10.3934/dcds.2009.25.1297. Google Scholar
K. Matsumoto and H. Matui, Continuous orbit equivalence of topological Markov shifts and Cuntz-Krieger algebras, Kyoto J. Math., 54 (2014), 863-877. doi: 10.1215/21562261-2801849. Google Scholar
H. Matui, Topological full groups of one-sided shifts of finite type, J. Reine Angew. Math., 705 (2015), 35-84. Google Scholar
M. Nasu, Topological conjugacy for sofic systems and extensions of automorphisms of finite subsystems of topological Markov shifts, in Dynamical Systems (College Park, MD, 1986-87), Lecture Notes in Math., 1342, Springer, Berlin, 1988, 564-607. Google Scholar
W. Parry and D. Sullivan, A topological invariant of flows on 1-dimensional spaces, Topology, 14 (1975), 297-299. doi: 10.1016/0040-9383(75)90012-9. Google Scholar
V. G. Pestov, Hyperlinear and sofic groups: A brief guide, Bull. Symbolic Logic, 14 (2008), 449-480. doi: 10.2178/bsl/1231081461. Google Scholar
G. Restorff, Classification of Cuntz-Krieger algebras up to stable isomorphism, J. Reine Angew. Math., 598 (2006), 185-210. Google Scholar
M. Rørdam, Classification of Cuntz-Krieger algebras, K-Theory, 9 (1995), 31-58. doi: 10.1007/BF00965458. Google Scholar
J. Patrick Ryan, The shift and commutivity. Ⅱ, Math. Systems Theory, 8 (1974/75), 249-250. doi: 10.1007/BF01762673. Google Scholar
V. Salo, Groups and monoids of cellular automata, in Cellular Automata and Discrete Complex Systems, Lecture Notes in Comput. Sci., 9099, Springer, Heidelberg, 2015, 17-45. Google Scholar
V. Salo and I. Törmä, Block maps between primitive uniform and Pisot substitutions, Ergodic Theory Dynam. Systems, 35 (2015), 2292-2310. doi: 10.1017/etds.2014.29. Google Scholar
M. Schraudner, On the algebraic properties of the automorphism groups of countable-state Markov shifts, Ergodic Theory Dynam. Systems, 26 (2006), 551-583. doi: 10.1017/S0143385705000507. Google Scholar
S. Schwartzman, Asymptotic cycles, Ann. of Math. (2), 66 (1957), 270-284. doi: 10.2307/1969999. Google Scholar
J. B. Wagoner, Strong shift equivalence theory and the shift equivalence problem, Bull. Amer. Math. Soc. (N.S.), 36 (1999), 271-296. doi: 10.1090/S0273-0979-99-00798-3. Google Scholar
J. B. Wagoner, Strong shift equivalence and $ K_2$ of the dual numbers, J. Reine Angew. Math., 521 (2000), 119-160, with an appendix by K. H. Kim and F. W. Roush. Google Scholar
B. Weiss, Sofic groups and dynamical systems, Ergodic Theory and Harmonic Analysis (Mumbai, 1999), Sankhyā Ser. A, 62 (2000), 350-359. Google Scholar
Hongyan Guo. Automorphism group and twisted modules of the twisted Heisenberg-Virasoro vertex operator algebra. Electronic Research Archive, , () : -. doi: 10.3934/era.2021008
Qiao Liu. Local rigidity of certain solvable group actions on tori. Discrete & Continuous Dynamical Systems - A, 2021, 41 (2) : 553-567. doi: 10.3934/dcds.2020269
Kien Trung Nguyen, Vo Nguyen Minh Hieu, Van Huy Pham. Inverse group 1-median problem on trees. Journal of Industrial & Management Optimization, 2021, 17 (1) : 221-232. doi: 10.3934/jimo.2019108
Meihua Dong, Keonhee Lee, Carlos Morales. Gromov-Hausdorff stability for group actions. Discrete & Continuous Dynamical Systems - A, 2021, 41 (3) : 1347-1357. doi: 10.3934/dcds.2020320
Ivan Bailera, Joaquim Borges, Josep Rifà. On Hadamard full propelinear codes with associated group $ C_{2t}\times C_2 $. Advances in Mathematics of Communications, 2021, 15 (1) : 35-54. doi: 10.3934/amc.2020041
Shudi Yang, Xiangli Kong, Xueying Shi. Complete weight enumerators of a class of linear codes over finite fields. Advances in Mathematics of Communications, 2021, 15 (1) : 99-112. doi: 10.3934/amc.2020045
Li Cai, Fubao Zhang. The Brezis-Nirenberg type double critical problem for a class of Schrödinger-Poisson equations. Electronic Research Archive, , () : -. doi: 10.3934/era.2020125
Imam Wijaya, Hirofumi Notsu. Stability estimates and a Lagrange-Galerkin scheme for a Navier-Stokes type model of flow in non-homogeneous porous media. Discrete & Continuous Dynamical Systems - S, 2021, 14 (3) : 1197-1212. doi: 10.3934/dcdss.2020234
Manuel del Pino, Monica Musso, Juncheng Wei, Yifu Zhou. Type Ⅱ finite time blow-up for the energy critical heat equation in $ \mathbb{R}^4 $. Discrete & Continuous Dynamical Systems - A, 2020, 40 (6) : 3327-3355. doi: 10.3934/dcds.2020052
Álvaro Castañeda, Pablo González, Gonzalo Robledo. Topological Equivalence of nonautonomous difference equations with a family of dichotomies on the half line. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2020278
Nicola Pace, Angelo Sonnino. On the existence of PD-sets: Algorithms arising from automorphism groups of codes. Advances in Mathematics of Communications, 2021, 15 (2) : 267-277. doi: 10.3934/amc.2020065
Kengo Matsumoto. $ C^* $-algebras associated with asymptotic equivalence relations defined by hyperbolic toral automorphisms. Electronic Research Archive, , () : -. doi: 10.3934/era.2021006
Shuxing Chen, Jianzhong Min, Yongqian Zhang. Weak shock solution in supersonic flow past a wedge. Discrete & Continuous Dynamical Systems - A, 2009, 23 (1&2) : 115-132. doi: 10.3934/dcds.2009.23.115
Shuang Liu, Yuan Lou. A functional approach towards eigenvalue problems associated with incompressible flow. Discrete & Continuous Dynamical Systems - A, 2020, 40 (6) : 3715-3736. doi: 10.3934/dcds.2020028
Pablo D. Carrasco, Túlio Vales. A symmetric Random Walk defined by the time-one map of a geodesic flow. Discrete & Continuous Dynamical Systems - A, 2020 doi: 10.3934/dcds.2020390
Joan Carles Tatjer, Arturo Vieiro. Dynamics of the QR-flow for upper Hessenberg real matrices. Discrete & Continuous Dynamical Systems - B, 2021, 26 (3) : 1359-1403. doi: 10.3934/dcdsb.2020166
Petr Pauš, Shigetoshi Yazaki. Segmentation of color images using mean curvature flow and parametric curves. Discrete & Continuous Dynamical Systems - S, 2021, 14 (3) : 1123-1132. doi: 10.3934/dcdss.2020389
PDF downloads (115)
Mike Boyle Sompong Chuysurichay