The complete family of Arnoux-Yoccoz surfaces (Q1953091)

A translation surface is a pair \((X, \omega)\) of a Riemann surface \(X\) and a holomorphic \(1\)-form \(\omega\not=0\) on \(X\). In [C.R.\ Acad. Sci. Paris, Sér. I. Math. 292, 75--78 (1981; Zbl 0478.58023)], \textit{P. Arnoux} and \textit{J.-C. Yoccoz} discovered an important family of translation surfaces \((X_g,\omega_g)\), \(g\geq 3\): \(X_g\) is a closed Riemann surface of genus \(g\) and admits a pseudo-Anosov diffeomorphism \(\psi_g\) with expansion factor the inverse of the Pisot number. Here the Pisot number is the unique positive root of \(x^g+x^{g-1}+\cdots+x-1\). Later \textit{P. Hubert} et al. [Geom. Funct. Anal. 18, No. 6, 1988--2016 (2009; Zbl 1179.32004)] showed that there exists another pseudo-Anosov diffeomorphism \(\psi\) on \((X_3,\omega_3)\) such that \(\psi\) and \(\psi_3\) do not have a common power. In the first part of the paper the author gives a triangulation of the Arnoux-Yoccoz surface \(X_g\). This triangulation facilitates us to see that the group of affine homeomorphisms of \((X_g,\omega_g)\) contains a ``glide reflection'' symmetry \(\rho_g\) which commutes with the pseudo-Anosov homeomorphism \(\psi_g\). The author proves also that \(X_g\) for \(g\geq 4\) is not hyperelliptic. The second half of the paper treats a translation surface \((X_{\infty},\omega_{\infty})\) which is a limit of \((X_g,\omega_g)\). The surface \(X_{\infty}\) has infinite genus and finite area with respect to the metric induced by \(\omega_{\infty}\). The surface \((X_{\infty},\omega_{\infty})\) inherits several properties of \((X_g,\omega_g)\). In particular, the group \(\text{Aff}(X_{\infty},\omega_{\infty})\) of affine homeomorphisms of \((X_{\infty},\omega_{\infty})\) includes an orientation-reversing isometric involution \(\rho_{\infty}\) without fixed points and a pseudo-Anosov homeomorphism \(\psi_{\infty}\) with expansion factor \(2\). These two homeomorphisms \(\rho_{\infty}\) and \(\psi_{\infty}\) commute. The vertical foliation of \((X_{\infty},\omega_{\infty})\) induces a map \(f_{\infty}:[0,1)\to[0,1)\) which exchanges infinitely many intervals. As a consequence of a close look at the dynamical system of \(f_{\infty}\) and its effects on critical trajectories in the vertical foliation, the author proves that \(\text{Aff}(X_{\infty},\omega_{\infty})\) is precisely the group generated by \(\psi_{\infty}\) and \(\rho_{\infty}\). In the appendix, the author proposes Arnoux-Yoccoz surfaces \((X_g,\omega_g)\) for \(g=1, 2\), although \((X_2,\omega_2)\) is a disconnected pair of tori. The triangulation of the surface \((X_g,\omega_g)\) is the essential part of the paper. A more detailed explanation of the triangulation would be desirable.