The structure of the Torelli group. III: The abelianization of \({\mathcal S}\) (Q1061389): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0040-9383(85)90050-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1978702222 / rank | |||
Normal rank |
Latest revision as of 23:42, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The structure of the Torelli group. III: The abelianization of \({\mathcal S}\) |
scientific article |
Statements
The structure of the Torelli group. III: The abelianization of \({\mathcal S}\) (English)
0 references
1985
0 references
The author continues his profound study of the Torelli group \({\mathcal T}\), that is the subgroup of the mapping class group M of a compact surface which acts trivially on homology. From the introduction: ''In the first paper [Ann. Math., II. Ser. 113, 423-442 (1983; Zbl 0549.57006)] we treated the problem of finite generation of \({\mathcal T}\); the ideas and notation of that paper reoccur here, and we assume familiarity with them. In this paper we calculate two abelian quotients of \({\mathcal T}\), namely the universal abelian quotient \({\mathcal T}/{\mathcal T}'\) and the universal \({\mathbb{Z}}_ 2\)-vector space quotient \({\mathcal T}/{\mathcal T}^ 2\), where \({\mathcal T}^ 2\) is the subgroup generated by all squares in \({\mathcal T}\). If \(M_{g,1}\) is a surface of genus \(g\geq 3\) with one boundary component and \({\mathcal T}_{g,1}\) is its Torelli group, then the author has previously constructed two surjective homomorphisms \(\sigma\) : \({\mathcal T}_{g,1}/{\mathcal T}^ 2_{g,1}\to B^ 3_{g,1}\), where the target group is a certain \({\mathbb{Z}}_ 2\)-vector space of cubic polynomials and \(\tau\) : \({\mathcal T}_{g,1}/{\mathcal T}'\!_{g,1}\to \Lambda^ 3H_ 1(M_{g,1},{\mathbb{Z}})\) where the target is the 3rd exterior power of the homology of \(M_{g,1}.\) The principal results are as follows: (a) \(\sigma\) is an isomorphism, and hence, \({\mathcal T}^ 2=[{\mathcal M}^{(2)},{\mathcal T}]={\mathcal C}\), where \({\mathcal M}^{(2)}\) is the subgroup of \({\mathcal M}\) which acts trivially on \(H_ 1(M_{g,1},{\mathbb{Z}}_ 2)\) and \({\mathcal C}\) is the common kernel of all the Birman-Craggs homomorphims [\textit{J. S. Birman} and \textit{R. Craggs}, Trans. Am. Math. Soc. 237, 283-309 (1978; Zbl 0383.57006)]. (b) \({\mathcal T}'\!_{g,1}=Ker \sigma \cap Ker \tau\), and hence \({\mathcal T}_{g,1}/{\mathcal T}'\!_{g,1}\) is a certain pullback constructed from \(B^ 3_{g,1}\) and \(\Lambda^ 3H_ 1(M_{g,1},{\mathbb{Z}}).''\)
0 references
mapping class group of a compact surface
0 references
Torelli group
0 references
universal abelian quotient
0 references