4
$\begingroup$

Let $M_{g,1}$ be the mapping class group of surfaces of genus g $\geq 1$ with one boundary component. By $S_g$ we denote a closed surface of genus $g$.

In the paper "Families of jacobian manifolds and characteristic classes of surface bundles.I" S.Morita proved that the twisted cohomology $H^1(M_{g,1};H^1(S_g;\mathbb{Z}))$ is $\mathbb{Z}$ if $g \geq 2$.

My question is if there is the some result known for $g=1$ that is $H^1(M_{1,1};H^1(S_1;\mathbb{Z}))$ ?

$\endgroup$
0

2 Answers 2

5
$\begingroup$

This can be calculated from

1) the extension $\mathbb{Z} \to M_{1,1} \to SL_2(\mathbb{Z})$

and

2) the decomposition $SL_2(\mathbb{Z}) \cong \mathbb{Z}/4 *_{\mathbb{Z}/2} \mathbb{Z}/6$.

The extension shows that the group you want is isomoprhic to $H^1(SL_2(\mathbb{Z});\mathbb{Z}^2)$. You can the use the Mayer--Vietoris sequence for the amalgamated product decomposition, and the standard way of computing group cohomology with cyclic groups, to get the answer.

I don't know what the answer is, though.

$\endgroup$
2
  • $\begingroup$ Thanks, but it seems to me that you do not consider the twisting of the coefficients but just use that $H^1(S_1;\mathbb{Z})=\mathbb{Z}^2$. The action of $M_{1,1}$ on $H^1(S_1;\mathbb{Z})$ is not trivial but fixed point free. $\endgroup$
    – berl13
    Commented Nov 22, 2011 at 15:30
  • $\begingroup$ Everything I said works with twisted coefficients. $\endgroup$ Commented Nov 22, 2011 at 16:42
7
$\begingroup$

I think the answer is 0.

Indeed, $G=SL_2(\mathbb{Z})$ contains a normal $H=\mathbb{Z}/2\cong\{\pm I\}$. So if $V$ is set to be $\mathbb{Z}^2$ with the standard $G$-action, then the restriction of $H$ to $V$ is the direct sum of two non-trivial $H$-modules of rank 1. So $H^0(H,V)=0$ and $H^1(H,V)\cong\mathbb{Z}/2\oplus\mathbb{Z}/2$ with $G/H=PSL_2(\mathbb{Z})$ acting via the homomorphism $G/H\to SL_2(\mathbb{Z}/2)$. So $H^0(G/H,H^1(H,V))=0$ and from the Hochschild-Serre spectral sequence we get $H^1(G,V)=0$.

Now, depending on what one allows the elements of $M_{1,1}$ to do on the boundary, we have $M_{1,1}=G$ or a $\mathbb{Z}$-extension of $G$. In the second case we have using Hochschild-Serre again $H^1(M_{1,1},H^1(S_{1,1}))=H^1(G,V)=0$ as $H^0(G,V)=0$ and the action of $\mathbb{Z}$ on $H^1(S_{1,1})$ is trivial.

$\endgroup$
2
  • $\begingroup$ In the second case you also get 0: you have to take the invariants, giving $H^1(\mathbb{Z}; \mathbb{Z}^2)^{SL_2(\mathbb{Z})}=0$. $\endgroup$ Commented Nov 22, 2011 at 16:54
  • $\begingroup$ Oscar -- yes, of course. $\endgroup$
    – algori
    Commented Nov 22, 2011 at 17:01

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .