Which weakly ramified group actions admit a universal formal deformation?

Byszewski, Jakub; Cornelissen, Gunther

Annales de l'Institut Fourier, Tome 59 (2009) no. 3, pp. 877-902.

Nous considérons une répresentation d’un groupe fini $G$ d’automorphismes d’un anneau de séries formelles $k\left[\right[t\left]\right]$ sur un corps parfait $k$ de caractéristique positive. Soit $D$ le foncteur associé des déformations formelles en caractéristique mixte. Supposons que l’action de $G$ est faiblement ramifiée, c.-à-d. que le second groupe de ramification est trivial. Exemple : pour une action d’un groupe sur une courbe ordinaire, l’action d’un groupe de ramification sur l’anneau local complèté d’un point quelconque est faiblement ramifiée.

On démontre que les seuls tels foncteurs $D$ qui ne sont pas pro-répresentables se produisent lorsque $k$ est de caractéristique $2$ et $G$ est ou bien d’ordre $2$, ou bien isomorphe au groupe de Klein. On démontre également que seulement le premier de ces groupes a un foncteur de déformations equicaractéristiques non-pro-répresentable.

Consider a representation of a finite group $G$ as automorphisms of a power series ring $k\left[\right[t\left]\right]$ over a perfect field $k$ of positive characteristic. Let $D$ be the associated formal mixed-characteristic deformation functor. Assume that the action of $G$ is weakly ramified, i.e., the second ramification group is trivial. Example: for a group action on an ordinary curve, the action of a ramification group on the completed local ring of any point is weakly ramified.

We prove that the only such $D$ that are not pro-representable occur if $k$ has characteristic two and $G$ is of order two or isomorphic to a Klein group. Furthermore, we show that only the first of those has a non-pro-representable equicharacteristic deformation functor.

Classification : 14B12, 11G20, 14D15
Keywords: Local group action, weak ramification, formal deformation, universality, Nottingham group
Mot clés : action locale de groupe, ramification faible, déformation formelle, universalité, groupe de Nottingham

[1] Barr, Michael; Wells, Charles Toposes, triples and theories, Repr. Theory Appl. Categ. (2005) no. 12, pp. x+288 pp. (electronic) (Corrected reprint of the 1985 original [MR0771116]) | MR | Zbl

[2] Bertin, José; Mézard, Ariane Déformations formelles des revêtements sauvagement ramifiés de courbes algébriques, Invent. Math., Volume 141 (2000) no. 1, pp. 195-238 | DOI | MR | Zbl

[3] Bourbaki, N. Éléments de mathématique. Part I. Les structures fondamentales de l’analyse. Livre II. Algèbre. Chapitre I. Structures algébriques, Actual. Sci. Ind., no. 934, Hermann et Cie., Paris, 1942 | MR | Zbl

[4] Byszewski, Jakub Dévissage for local deformation functors (preprint 2008)

[5] Cornelissen, Gunther; Kato, Fumiharu Equivariant deformation of Mumford curves and of ordinary curves in positive characteristic, Duke Math. J., Volume 116 (2003) no. 3, pp. 431-470 | DOI | MR | Zbl

[6] Cornelissen, Gunther; Kato, Fumiharu Zur Entartung schwach verzweigter Gruppenoperationen auf Kurven, J. Reine Angew. Math., Volume 589 (2005), pp. 201-236 | DOI | MR | Zbl

[7] Cornelissen, Gunther; Mézard, Ariane Relèvements des revêtements de courbes faiblement ramifiés, Math. Z., Volume 254 (2006) no. 2, pp. 239-255 | DOI | MR | Zbl

[8] Dokchitser, Tim Quotients of functors of Artin rings (Preprint arXiv:math/0511514, 2005, to appear in Proc. Cam. Phil. Soc)

[9] Fantechi, Barbara; Manetti, Marco Obstruction calculus for functors of Artin rings. I, J. Algebra, Volume 202 (1998) no. 2, pp. 541-576 | DOI | MR | Zbl

[10] Grothendieck, Alexander Technique de descente et théorèmes d’existence en géométrie algébrique. II. Le théorème d’existence en théorie formelle des modules, Séminaire Bourbaki, Vol. 5, Soc. Math. France, Paris, 1995, pp. Exp. No. 195, 369-390 | Numdam | Zbl

[11] Mazur, Barry An introduction to the deformation theory of Galois representations, Modular forms and Fermat’s last theorem (Boston, MA, 1995), Springer, New York, 1997, pp. 243-311 | MR | Zbl

[12] Nakajima, Shōichi $p$-ranks and automorphism groups of algebraic curves, Trans. Amer. Math. Soc., Volume 303 (1987) no. 2, pp. 595-607 | MR | Zbl

[13] du Sautoy, Marcus; Segal, Dan; Shalev, Aner New horizons in pro-$p$ groups, Progress in Mathematics, 184, Birkhäuser Boston Inc., Boston, MA, 2000 | MR | Zbl

[14] Schlessinger, Michael Functors of Artin rings, Trans. Amer. Math. Soc., Volume 130 (1968), pp. 208-222 | DOI | MR | Zbl

[15] Sernesi, Edoardo Deformations of algebraic schemes, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 334, Springer-Verlag, Berlin, 2006 | MR | Zbl