Profinite complexes of curves, their automorphisms and anabelian properties of moduli stacks of curves

arXiv0706.0859MaRDI QIDQ6205834FDOQ6205834

Publication date: 6 June 2007

Abstract: Let

{c a l M}_{g, [n]}

, for

2 g - 2 + n > 0

, be the D-M moduli stack of smooth curves of genus

g

labeled by

n

unordered distinct points. The main result of the paper is that a finite, connected 'etale cover

{c a l M}^{l}

of

{c a l M}_{g, [n]}

, defined over a sub-

p

-adic field

k

, is "almost" anabelian in the sense conjectured by Grothendieck for curves and their moduli spaces. The precise result is the following. Let

p i_{1} ({c a l M}_{o l k}^{l})

be the geometric algebraic fundamental group of

{c a l M}^{l}

and let

{O u t}^{*} (p i_{1} ({c a l M}_{o l k}^{l}))

be the group of its exterior automorphisms which preserve the conjugacy classes of elements corresponding to simple loops around the Deligne-Mumford boundary of

{c a l M}^{l}

(this is the "

a s t

-condition" motivating the "almost" above). Let us denote by

{O u t}_{G_{k}}^{*} (p i_{1} ({c a l M}_{o l k}^{l}))

the subgroup consisting of elements which commute with the natural action of the absolute Galois group

G_{k}

of

k

. Let us assume, moreover, that the generic point of the D-M stack

{c a l M}^{l}

has a trivial automorphisms group. Then, there is a natural isomorphism:

{Aut}_k({cal M}^l)cong{Out}^*_{G_k}(pi_1({cal M}^l_{ol{k}})).

This partially extends to moduli spaces of curves the anabelian properties proved by Mochizuki for hyperbolic curves over sub-

p

-adic fields.

Mathematics Subject Classification ID

Galois theory (11R32) General low-dimensional topology (57M99) Fine and coarse moduli spaces (14D22)

This page was built for publication: Profinite complexes of curves, their automorphisms and anabelian properties of moduli stacks of curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6205834)