6c9bb2cc4c011fbf.tex
1: \begin{abstract}
2:   Let $(X_A,\sigma_A)$ be a nontrivial irreducible
3:   shift of finite type (SFT), with
4:   $\mathcal{M}_A$ denoting its
5:   mapping class group:  the group of
6: flow equivalences of its mapping torus $\mapt X_A$, (i.e., self
7: homeomorphisms of
8: $\mapt X_A$
9:  which respect the direction of the
10: suspension flow) modulo the subgroup of flow equivalences of
11: $\mapt X_A$
12: isotopic to the identity.
13: We develop
14: and apply machinery (flow codes,
15:   cohomology constraints) and provide
16:  context
17: for the study of $\mathcal M_A$, and prove  results including
18: the following.
19:  $\mathcal{M}_A$ acts faithfully and
20:  $n$-transitively (for every $n$ in $\mathbb{N}$)
21:  by permutations on the set
22: of circles of $\mapt X_A$. The
23: center of $\mathcal{M}_A$ is trivial.
24: The outer automorphism group of $\mathcal{M}_A$ is nontrivial.
25: In many cases, $\text{Aut}(\sigma_A)$ admits a nonspatial automorphism. 
26: For every SFT
27: $(X_B,\sigma_B)$ flow equivalent to $(X_A,\sigma_A)$,
28: $\mathcal{M}_A$ contains
29: embedded copies of $\text{Aut}(\sigma_B)/\left<\sigma_B\right>$,
30: induced by return maps to invariant cross sections; but,
31: elements of $\mathcal M_A$
32: not arising from
33: flow equivalences with invariant cross sections are abundant.
34: $\mathcal{M}_A$ is countable and
35: has solvable word problem.
36: $\mathcal{M}_A$ is not residually finite.
37: Conjugacy classes of many (possibly all) involutions
38: in $\mathcal M_A$ can be classified by the $G$-flow equivalence
39: classes of associated $G$-SFTs, for $G=\Z/2\Z$.
40: There are many open questions.
41: \end{abstract}
42: