Lifts of pseudo-Anosov homeomorphisms of nonorientable surfaces have vanishing SAF invariant

DOI10.4310/MRL.2018.V25.N2.A17MaRDI QIDQ1990276zbMATH OpenWikidataFDO

Authors Balázs Strenner

Publication date 25 October 2018

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1604.05614

zbMATH Keywords

interval exchange mapspseudo-Anosov homeomorphism

Mathematics Subject Classification ID

Dynamical systems involving homeomorphisms and diffeomorphisms of planes and surfaces (37E30) General geometric structures on low-dimensional manifolds (57M50)

Abstract: We show that any pseudo-Anosov map that is a lift of pseudo-Anosov homeomorphism of a nonorientable surface has vanishing SAF invariant. We also provide a criterion to certify that a pseudo-Anosov map is not such a lift.

Review text

Associated to a pseudo-Anosov homeomorphism \(\psi\) of an oriented surface, there are the (singular) stable and unstable foliations, which provide the surface with a structure of a translation surface. The vertical flow of this translation surface defines an interval exchange map of a horizontal line which is transverse to the foliations. For an interval exchange map, which is a translation by \(t_i\) on the intervall \((a_{i-1},a_i)\), its SAF-invariant is defined as \(\sum_i (a_i-a_{i-1})\wedge t_i\in {\mathbf R}\wedge_{\mathbf Q}{\mathbf R}\). If the stable and unstable foliation of \(\psi\) are transversely orientable, then the interval exchange map associated to \(\psi\) is defined up to scale and thus vanishing or nonvanishing of its SAF-invariant is well defined. The paper considers the case when \(\psi\) is a pseudo-Anosov homeomorphism of a nonorientable surface and \(\tilde{\psi}\) the lift to its orientable double cover. It proves that under these assumption the SAF-invariant of \(\tilde{\psi}\) vanishes. The proof goes in three steps. First, it is shown that for the stretch factor \(\lambda\) of a pseudo-Anosov homeomorphism on a nonorientable surface, \(\lambda\) and \(\frac{1}{\lambda}\) are not Galois conjugate. This implies that \({\mathbf Q}(\frac{1}{\lambda})\) agrees with \({\mathbf Q}(\lambda+\frac{1}{\lambda})\). (Otherwise it would be a field extension of degree \(2\).) By the work of \textit{K. Calta} and \textit{T. A. Schmidt} [J. Mod. Dyn. 7, No. 2, 239--254 (2013; Zbl 1322.30015)] this implies that the SAF-invariant vanishes. In Section 3 the author outlines another more geometric argument. Finally it is shown that several examples considered in the literature satisfy the assumptions of the theorem.

Recommendations

• New infinite families of pseudo-Anosov maps with vanishing Sah-Arnoux-Fathi invariant
• Pseudo-Anosov homeomorphisms not arising from branched covers
• Infinitely many lattice surfaces with special pseudo-Anosov maps
• A Construction of Pseudo-Anosov Homeomorphisms
• Minimal pseudo-Anosov stretch factors on nonoriented surfaces

Cited in

(9)

• New infinite families of pseudo-Anosov maps with vanishing Sah-Arnoux-Fathi invariant
• Algebraic degrees of pseudo-Anosov stretch factors
• Minimal pseudo-Anosov stretch factors on nonoriented surfaces
• The Arnoux-Yoccoz mapping classes via Penner's construction
• Orientability of invariant foliations of pseudo-Anosov homeomorphisms and branched coverings
• Triangle tiling billiards and the exceptional family of their escaping trajectories: circumcenters and Rauzy gasket
• Trace field degrees of abelian differentials
• Interval exchange transformations with vanishing Sah-Arnoux-Fathi invariant
• Distinctness of two pseudo-Anosov maps

This page was built for publication: Lifts of pseudo-Anosov homeomorphisms of nonorientable surfaces have vanishing SAF invariant

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1990276)