The intersecting kernels of Heegaard splittings. (English) Zbl 1215.57007

Lei, Fengchun; Wu, Jie

Algebr. Geom. Topol. 11, No. 2, 887-908 (2011).

Let \(M=V\cup_{S}W\) be a Heegaard splitting, where \(V\) and \(W\) are handlebodies of genus \(n\) and \(S=\partial V=\partial W.\) The authors investigate the (possibly singular) curves on the Riemann surface \(S\) that can be extended to (possibly singular) disks in \(V\) and \(W,\) respectively. The inclusion-induced homomorphisms \(\pi_{1}(S)\rightarrow\pi_{1}(V)\) and \(\pi_{1}(S)\rightarrow \pi_{1}(W)\) are both surjective. The paper is principally concerned with the kernels \(K=\text{Ker}(\pi_{1}(S)\rightarrow\pi_{1}(V)),\) \(L=\text{Ker}(\pi_{1} (S)\rightarrow\pi_{1}(W)),\) their intersection \(K\cap L\) and the quotient \((K\cap L)/[K,L].\) The module \((K\cap L)/[K,L]\) is of special interest because it is isomorphic to the second homotopy module \(\pi_{2}(M).\) In the paper there are two main results. 6.5mm

(1)

The authors present an exact sequence of \(\mathbb{Z}(\pi_{1} (M))\)-modules of the form \((K\cap L)/[K,L]\hookrightarrow R\{x_{1} ,\dots,x_{g}\}/J\overset{T^{\phi}}{\rightarrow}R\{y_{1},\dots,y_{g}\}\overset {\theta}{\rightarrow}R\twoheadrightarrow\mathbb{Z},\) where \(R=\mathbb{Z} (\pi_{1}(M)),\) \(J\) is a cyclic \(R\)-submodule of \(R\{x_{1},\dots,x_{g}\},\) \(T^{\phi}\) and \(\theta\) are explicitly described morphisms of \(R\)-modules and \(T^{\phi}\) involves Fox derivatives related to the gluing data of the Heegaard splitting \(M=V\cup_{S}W.\)

(2)

Let \(\mathcal{K}\) be the intersection kernel for a Heegaard splitting of a connected sum, and \(\mathcal{K}_{1},\) \(\mathcal{K}_{2}\) the intersection kernels of the two summands. The authors show that there is a surjection \(\mathcal{K\rightarrow K}_{1}\ast\mathcal{K}_{2}\) onto the free product with kernel being normally generated by a single geometrically described element.

Reviewer: Charalampos Charitos (Athens)

MSC:

57M27	Invariants of knots and \(3\)-manifolds (MSC2010)
57M99	General low-dimensional topology
20F38	Other groups related to topology or analysis
57M05	Fundamental group, presentations, free differential calculus
37E30	Dynamical systems involving homeomorphisms and diffeomorphisms of planes and surfaces

Keywords:

Heegaard splitting; intersecting kernel; 3-manifold; mapping class; Riemann surface

References:

[1]	A J Berrick, F R Cohen, Y L Wong, J Wu, Configurations, braids, and homotopy groups, J. Amer. Math. Soc. 19 (2006) 265 · Zbl 1188.55007
[2]	J S Birman, On the equivalence of Heegaard splittings of closed, orientable \(3\)-manifolds (editor L P Neuwirth), Ann. of Math. Studies 84, Princeton Univ. Press (1975) 137 · Zbl 0337.57002
[3]	J S Birman, The topology of \(3\)-manifolds, Heegaard distance and the mapping class group of a \(2\)-manifold (editor B Farb), Proc. Sympos. Pure Math. 74, Amer. Math. Soc. (2006) 133 · Zbl 1304.57033
[4]	W A Bogley, J H C Whitehead’s asphericity question (editors C Hog-Angeloni, W Metzler, A J Sieradski), London Math. Soc. Lecture Note Ser. 197, Cambridge Univ. Press (1993) 309 · Zbl 0811.57008
[5]	K S Brown, Cohomology of groups, Graduate Texts in Math. 87, Springer (1982) · Zbl 0584.20036
[6]	R Brown, J L Loday, Van Kampen theorems for diagrams of spaces, Topology 26 (1987) 311 · Zbl 0622.55009
[7]	F R Cohen, J Wu, On braid groups, free groups, and the loop space of the \(2\)-sphere (editors G Arone, J Hubbuck, R Levi, M Weiss), Progr. Math. 215, Birkhäuser (2004) 93 · Zbl 1066.55010
[8]	F R Cohen, J Wu, On braid groups and homotopy groups (editors N Iwase, T Kohno, R Levi, D Tamaki, J Wu), Geom. Topol. Monogr. 13, Geom. Topol. Publ. (2008) 169 · Zbl 1167.20022
[9]	J Hempel, \(3\)-Manifolds, Ann. of Math. Studies 86, Princeton Univ. Press (1976) · Zbl 0345.57001
[10]	W Jaco, Heegaard splittings and splitting homomorphisms, Trans. Amer. Math. Soc. 144 (1969) 365 · Zbl 0199.58601
[11]	W Jaco, Lectures on three-manifold topology, CBMS Regional Conference Ser. in Math. 43, Amer. Math. Soc. (1980) · Zbl 0433.57001
[12]	F Lei, Haken spheres in the connected sum of two lens spaces, Math. Proc. Cambridge Philos. Soc. 138 (2005) 97 · Zbl 1083.57027
[13]	J Li, J Wu, Artin braid groups and homotopy groups, Proc. Lond. Math. Soc. \((3)\) 99 (2009) 521 · Zbl 1241.20042
[14]	R C Lyndon, P E Schupp, Combinatorial group theory, Ergebnisse der Math. und ihrer Grenzgebiete 89, Springer (1977) · Zbl 0368.20023
[15]	J Milnor, A unique decomposition theorem for \(3\)-manifolds, Amer. J. Math. 84 (1962) 1 · Zbl 0108.36501
[16]	J Morgan, G Tian, Ricci flow and the Poincaré conjecture, Clay Math. Monogr. 3, Amer. Math. Soc. (2007) · Zbl 1179.57045
[17]	C D Papakyriakopoulos, A reduction of the Poincaré conjecture to group theoretic conjectures, Ann. of Math. \((2)\) 77 (1963) 250 · Zbl 0113.38505
[18]	M Scharlemann, Heegaard splittings of compact \(3\)-manifolds (editors R J Daverman, R B Sher), North-Holland (2002) 921 · Zbl 0985.57005
[19]	J Stallings, How not to prove the Poincaré conjecture, Ann. of Math. Study 60 (1966) 83 · Zbl 0152.22604
[20]	J Wu, Combinatorial descriptions of homotopy groups of certain spaces, Math. Proc. Cambridge Philos. Soc. 130 (2001) 489 · Zbl 0986.55013