Skip to main content
2 of 2
+latex (perhaps someone can fix the use of det on the maps)
Myshkin
  • 17.6k
  • 5
  • 71
  • 137

First of all, this question came to me (or someone else with my initials) via Mark Kisin, so I can't claim credit (and for all I know it came to him from elsewhere.)

Second: there's one obvious obstruction to surjectivity. Namely, the map

$$\widehat{\mathrm{Mod}(S)} \to \mathrm{Sp}_{2g}(\widehat{\mathbb{Z}}) -det \to \widehat{\mathbb{Z}}^\star$$

has image $\mathbb{Z}^\star$, which is to say $\pm1$. On the other hand,

$$\mathrm{Out}(\widehat \pi) \to \mathrm{Sp}_{2g}(\widehat{\mathbb{Z}}) -det \to \widehat{\mathbb{Z}}^\star$$

is surjective. So the map you ask about is definitely not surjective. The question is whether in some sense "this is the only way the map fails to be surjective." Since I don't have a precise meaning in mind for the phrase in quotes, one might just say "what is the closure of the image of the mapping class group in $\mathrm{Out}(\widehat \pi)$?"

By the way, is there a topological proof that $\mathrm{Out}(\widehat \pi) \to \widehat{\mathbb{Z}}^\star$ is surjective? The only proof I know is that if you write down an algebraic curve $X$ over $\mathbb{Q}$, the images of Frobenii in $\mathrm{Out}(\pi_1^{et}(X_\overline{\mathbb{Q}}))$ give you automorphisms of pihat with lots of different determinants. Other than this I don't know how to construct a single element of $\mathrm{Out}(\widehat \pi)$ whose determinant is not $\pm1$!

JSE
  • 19.2k
  • 6
  • 69
  • 134