Automorphisms of the Torelli complex for the one-holed genus two surface (Q2339625)

Let \(S_{g,p}\) be a compact orientable surface of genus \(g\) with \(p\) boundary components. The extended mapping class group of \(S_{g,p}\), denoted by \(Mod^*(S_{g,p})\), is the group of isotopy classes of self-homeomorphisms of \(S_{g,p}\). If \(p\leq 1\), the subgroup \(\mathcal{I}(S_{g,p})\) of \(Mod^*(S_{g,p})\) consisting of all elements acting trivially on \(H_1(S_{g,p},\mathbb{Z})\) is called the Torelli group of \(S_{g,p}\) (There is a different definition for the Torelli group when \(p>1\), see [\textit{Y. Kida}, J. Math. Soc. Japan 63, No. 2, 363--417 (2011; Zbl 1378.57027); Osaka J. Math. 50, No. 2, 309--337 (2013; Zbl 1282.20033)]). The authors prove that any isomorphism between any two finite index subgroups of \(\mathcal{I}(S_{2,1})\) is the conjugation by an element of \(Mod^*(S_{2,1})\). Same conclusions for other \(S_{g,p}\) have been proved before (\(S_{g,0}\) with \(g\geq 5\) by Farb-Ivanov; \(S_{g,0}\) with \(g\geq 3\) by Brendle-Margalit; \(S_{1,p}\) with \(p\geq 3\), \(S_{2,p}\) with \(p\geq 2\), \(S_{3,p}\) with \(p\geq 0\) by the first author of this paper). The above result can be proved by the following theorem in this paper: {Theorem 7.12} Any superinjective map \(\phi\) from \(\mathcal{T}(S_{2,1})\) into itself is induced by an element of \(Mod^*(S_{2,1})\). Here \(\mathcal{T}(S_{2,1})\) is the Torelli complex on which \(Mod^*(S_{2,1})\) acts naturally. Then Theorem 7.12 is proved by showing \(\phi\) is induced by an automorphism \(\Phi\) of the curve complex \(\mathcal{C}(S_{2,1})\) and by the following theorem in this paper (also in [\textit{N. V. Ivanov}, Int. Math. Res. Not. 1997, No.14, 651--666 (1997; Zbl 0890.57018)]): {Theorem 2.1} If \(S=S_{g,p}\) is a surface with \(g\geq 2\) and \(p\geq 0\), then any automorphism of \(\mathcal{C}(S)\) is induced by an element of \(Mod^*(S)\).