Skip to main content
2 of 4
added 1475 characters in body
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

This is surely not the most direct answer. But $\mathrm{Out}(\Pi_{g,1}) \cong \mathrm{Out}(F_{2g})$ surjects onto $\mathrm{GL}(2g,\mathbf Z)$, and the image of $\Gamma_{g,1}$ lands in $\mathrm{Sp}(2g,\mathbf Z)$. So the index is infinite for $g \geq 2$.


In fact a more careful version of this argument shows that $(g,n)=(1,1)$ is the unique case where you get a finite index subgroup. Let me flesh out the argument. For all $n>0$ we have similarly that $\mathrm{Out}(\Pi_{g,n}) \cong \mathrm{Out}(F_{2g+n-1})$ surjects to $\mathrm{GL}(2g+n-1,\mathbf Z)$. The corresponding representation $H$ of $\Gamma_{g,n}$ is just the action of the mapping class group on the first homology of your favorite genus $g$ surface with $n$ punctures. But the action must be compatible with a lot of extra structure coming from geometry: after tensoring with $\mathbf Q$ there is Deligne's weight filtration $$ 0 \to W_{-2} H_{\mathbf{Q}} \to H_{\mathbf Q} \to \mathrm{Gr}^W_{-1}H_{\mathbf Q} \to 0 $$ and $\Gamma_{g,n}$ preserves it (since $H$ underlies a variation of mixed Hodge structure on the moduli space of curves); moreover, $\mathrm{Gr}^W_{-1}H_{\mathbf Q}$ is the first homology of the compact surface obtained by filling in the punctures, so it is of rank $2g$ and carries a symplectic form preserved by $\Gamma_{g,n}$; the action of $\Gamma_{g,n}$ on $W_{-2}H_\mathbf{Q} \cong \mathbf Q^{n-1}$ is trivial. But $\Gamma_{g,n}$ having finite index in $\mathrm{Out}(\Pi_{g,n})$ would imply that the image of the mapping class group has Zariski closure all of $\mathrm{GL}(2g+n-1)$ or $\mathrm{SL}(2g+n-1)$. This contradicts the above unless $n=1$ (so $W_{-2}H_{\mathbf Q}=0$) and $g=1$ (so $\mathrm{Sp}(2g)=\mathrm{SL}(2g)$).

Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201