On the stable cohomology algebra of extended mapping class groups for surfaces
Nariya Kawazumi
Abstract
Nariya Kawazumi
Abstract
<!-- *** Custom HTML *** --> Let $\Sigma_{g,1}$ be an oriented compact surface of genus $g$ with 1 boundary component, and $\Gamma_{g,1}$ the mapping class group of $\Sigma_{g,1}$. We determine the stable cohomology group of $\Gamma_{g,1}$ with coefficients in $H^1 (\Sigma_{g ,1} ; \mathbb{Z})^{\otimes n}$, $n \ge 1$, explicitly modulo the stable cohomology group with trivial coefficients. As a corollary the rational stable cohomology algebra of the semi-direct product $\Gamma_{g,1} \ltimes H_1 (\Sigma_{g,1} ; \mathbb{Z})$ (which we call the extended mapping class group) is proved to be freely generated by the generalized Morita-Mumford classes $\widetilde{m_{i,j}}$'s $(i \ge 0,\, j \ge 1,\, i+j \ge 2)$ [11] over the rational stable cohomology algebra of the group $\Gamma_{g,1}$.
OpenAlex reports 19 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
<!-- *** Custom HTML *** --> Let $\Sigma_{g,1}$ be an oriented compact surface of genus $g$ with 1 boundary component, and $\Gamma_{g,1}$ the mapping class group of $\Sigma_{g,1}$. We determine the stable cohomology group of $\Gamma_{g,1}$ with coefficients in $H^1 (\Sigma_{g ,1} ; \mathbb{Z})^{\otimes n}$, $n \ge 1$, explicitly modulo the stable cohomology group with trivial coefficients. As a corollary the rational stable cohomology algebra of the semi-direct product $\Gamma_{g,1} \ltimes H_1 (\Sigma_{g,1} ; \mathbb{Z})$ (which we call the extended mapping class group) is proved to be freely generated by the generalized Morita-Mumford classes $\widetilde{m_{i,j}}$'s $(i \ge 0,\, j \ge 1,\, i+j \ge 2)$ [11] over the rational stable cohomology algebra of the group $\Gamma_{g,1}$.
Key concepts: Cohomology, Mathematics, Group (periodic table), Modulo, Mapping class group, Group cohomology, Combinatorics, Sigma