On genus $2$ Heegaard diagrams for the $3$-sphere
HTML articles powered by AMS MathViewer
- by Takeshi Kaneto PDF
- Trans. Amer. Math. Soc. 276 (1983), 583-597 Request permission
Abstract:
Let $D$ be any genus $2$ Heegaard diagram for the $3$-sphere and $\left \langle {{a_1}, {a_2}; {{\tilde r}_1}, {{\tilde r}_2}} \right \rangle$ be the cyclically reduced presentation associated with $D$. We shall show that ${{\tilde {r}}_1}$ contains ${{\tilde {r}}_2}$ or ${\tilde {r}}_2^{-1}$ as a subword in cyclic sense if $\left \{{\tilde r}_1, {\tilde r}_2 \right \} \ne \left \{{a_1}^{\pm 1}, {a_2}^{\pm 1} \right \}$ holds, and that, using this property, $\left \langle {a_1}, {a_2};{r_1}, {r_2} \right \rangle$ can be transformed to the trivial one $\left \langle {{a_1}, {a_2};{a_1}^{\pm 1}, a_2^{\pm 1}} \right \rangle$. By the recent positive solution of genus $2$ Poincaré conjecture, our result implies the purely algebraic, algorithmic solution to the decision problem; whether a given $3$-manifold with a genus $2$ Heegaard splitting is simply connected or not, equivalently, is homeomorphic to the $3$-sphere or not.References
-
J. S. Birman, Heegaard splitting, diagrams and sewings for closed orientable $3$-manifolds, Lecture notes for CBMS conference, October 8-12, 1977.
- Joan S. Birman and Hugh M. Hilden, Heegaard splittings of branched coverings of $S^{3}$, Trans. Amer. Math. Soc. 213 (1975), 315–352. MR 380765, DOI 10.1090/S0002-9947-1975-0380765-8 T. Homma, On presentations of fundamental groups of $3$-manifolds of genus $2$, Res. Rep. Inf. Sci. Ser. A. Math. Sci. Tokyo Inst. of Tech. No. A-58 (1978).
- Tatsuo Homma, Mitsuyuki Ochiai, and Moto-o Takahashi, An algorithm for recognizing $S^{3}$ in $3$-manifolds with Heegaard splittings of genus two, Osaka Math. J. 17 (1980), no. 3, 625–648. MR 591141
- Takeshi Kaneto, On presentations of the fundamental group of the $3$-sphere associated with Heegaard diagrams, J. Math. Soc. Japan 33 (1981), no. 1, 147–158. MR 597485, DOI 10.2969/jmsj/03310147
- Osamu Morikawa, A counterexample to a conjecture of Whitehead, Math. Sem. Notes Kobe Univ. 8 (1980), no. 2, 295–298. MR 601897
- Moto-o Takahashi, An alternative proof of Birman-Hilden-Viro’s theorem, Tsukuba J. Math. 2 (1978), 27–34. MR 531959, DOI 10.21099/tkbjm/1496158503
- O. Ja. Viro and V. L. Kobel′skiĭ, The Volodin-Kuznecov-Fomenko conjecture on Heegaard diagrams is false, Uspehi Mat. Nauk 32 (1977), no. 5(197), 175–176 (Russian). MR 0467757 I. A. Volodin, V. E. Kuznetsov and A. T. Fomenko, The problem of discriminating algorithmically the standard three-dimensional sphere, Russian Math. Surveys 29 (1974), 71-172. J. H. C. Whitehead, On certain sets of elements in a free group, Proc. London Math. Soc. 41 (1936), 48-56.
Additional Information
- © Copyright 1983 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 276 (1983), 583-597
- MSC: Primary 57M40; Secondary 20F05, 57M05
- DOI: https://doi.org/10.1090/S0002-9947-1983-0688963-5
- MathSciNet review: 688963