×

Johnson filtration and Torelli group, modulo \(p,p\) a prime. (Filtration de Johnson et groupe de Torelli modulo \(p,p\) premier.) (English) Zbl 1147.57020

Summary: Let \(S(g,1)\) be a connected, compact, oriented surface of genus \(g\), with one boundary component and Mod\((g,1)\) its mapping class group. Let \(p\) be an integer, either equal to 0, or a prime \(\geq 2\). We construct a central \(p\)-filtration of Mod\((g,1)\), denoted \(\{M(k, p): k \in\mathbb N^* = \mathbb N-\{0\}\}\), generalizing the Johnson filtration (which corresponds to \(p =0\)) such that \(M(1, g) =\text{Mod}(g,1)\), \(M(k, p) M(k +1, p)\) \((k\geq 2)\) is a finite dimensional \(\mathbb Z/p\mathbb Z\)-vector space and \(M(2,p)\) is the Torelli group \(\pmod p\) (e.g. the subgroup of Mod\((g,1)\) of homeomorphisms which induce the identity on \(H_1(S(g,1)\); \(\mathbb Z/p\mathbb Z))\). We announce the following results: the Torelli group \(\pmod p\) is generated by the usual Torelli group and the \(p\)-th powers of all Dehn twists. We compute the abelianization of the Torelli group \(\pmod p\), up to finite 2-torsion. Any \(\mathbb Q\)-homology sphere \(\Sigma^3\) is obtained by gluing two handlebodies by an element of the Torelli group \(\pmod p\), for any prime \(p\geq 3\) dividing \((n-1)\), where \(n\) is the cardinal of \(H_1(\Sigma^3;\mathbb Z)\). Finally we propose a conjectural invariant for these \(\mathbb Q\)-homology spheres.

MSC:

57M99 General low-dimensional topology
Full Text: DOI

References:

[1] Bass, H.; Milnor, J.; Serre, J.-P., Solution of the congruence subgroup problem for \(SL_n(n \geqslant 3)\) and \(Sp_{2 n}(n \geqslant 2)\), Inst. Hautes Études Sc. Publ. Math., 33, 59-137 (1967) · Zbl 0174.05203
[2] A. Casson, Lectures at MSRI, 1985; A. Casson, Lectures at MSRI, 1985
[3] Fox, R., Free differential calculus I, Ann. of Math., 57, 547-560 (1953) · Zbl 0142.22303
[4] Guillou, L.; Marin, A., Notes sur l’invariant de Casson des sphères d’homologie de dimension 3, Enseign. Math., 38, 233-290 (1992) · Zbl 0776.57008
[5] Johnson, D., An abelian quotient of the mapping class group \(I_g\), Math. Ann., 249, 225-242 (1980) · Zbl 0409.57009
[6] Johnson, D., A survey of the Torelli group, Contemp. Math., 20, 165-179 (1983) · Zbl 0553.57002
[7] Morita, S., Casson’s invariant for homology 3-spheres and characteristic classes of surface bundles I, Topology, 28, 305-323 (1989) · Zbl 0684.57008
[8] Morita, S., Abelian quotients of subgroups of the mapping class group of surfaces, Duke Math. J., 70, 699-726 (1993) · Zbl 0801.57011
[9] Perron, B., Homomorphic extensions of Johnson homomorphisms via Fox calculus, Ann. Inst. Fourier, 54, 1073-1106 (2004) · Zbl 1109.57013
[10] Perron, B., Mapping class group and the Casson invariant, Ann. Inst. Fourier, 54, 1107-1138 (2004) · Zbl 1110.57011
[11] B. Perron, Johnson filtration and Torelli group \((\operatorname{mod} p)\); B. Perron, Johnson filtration and Torelli group \((\operatorname{mod} p)\)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.