On the rigidity of moduli of curves in arbitrary characteristic
The stack of stable curves and its coarse moduli space are defined over , and therefore over any field. Over an algebraically closed field of characteristic zero, Hacking showed that is rigid (a conjecture of Kapranov). Bruno and Mella for , and the second author for showed that its automorphism group is the symmetric group , permuting marked points unless . The methods used in the papers above do not extend to positive characteristic. We show that in characteristic , the rigidity of , with the same exceptions as over , implies that its automorphism group is . We prove that, over any perfect field, is rigid and deduce that, over any field, for . Going back to characteristic zero, we prove that for , the coarse moduli space is rigid, extending a result of Hacking who had proven it has no locally trivial deformations. Finally, we show that is not rigid, although it does not admit locally trivial deformations, by explicitly computing his Kuranishi family.