On the first cohomology group of cofinite subgroups in surface mapping class groups (Q5930187): 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/s0040-9383(99)00066-x / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2133790605 / rank | |||
Normal rank |
Latest revision as of 09:12, 30 July 2024
scientific article; zbMATH DE number 1587572
Language | Label | Description | Also known as |
---|---|---|---|
English | On the first cohomology group of cofinite subgroups in surface mapping class groups |
scientific article; zbMATH DE number 1587572 |
Statements
On the first cohomology group of cofinite subgroups in surface mapping class groups (English)
0 references
17 April 2001
0 references
In this paper the author proves two theorems about the first cohomology group of the mapping class group \(M_g\) of a compact Riemann surface \(S\) of genus \(g\). The first theorem is, that if \(g>2\) then, for any subgroup \(\Gamma\) of \(M_g\) of finite index then \(H^1(\Gamma, \mathbb{Z})=0\). The proof uses the known structure theory of the mapping class group, particularly that based on Torelli's theorem, and the knowledge that the congruence subgroup property holds for \(Sp(2g, \mathbb{Z})\) for \(g\geq 2\). The condition \(g>2\) arises from the existence of a particular set of generators for \(M_g\) in this case. The second theorem shows if \(g=2\) the contrary is true, namely that there always exists \(\Gamma\) for which the group \(H^1(\Gamma, \mathbb{Z})\) is non-trivial. This is the more delicate and subtle argument.
0 references
Torelli group cohomology
0 references
first cohomology group
0 references
mapping class group
0 references
compact Riemann surface
0 references