The local lifting problem for actions of finite groups on curves

Chinburg, Ted; Guralnick, Robert; Harbater, David

Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 44 (2011) no. 4, pp. 537-605.

Soit $k$ un corps algébriquement clos de caractéristique $p>0$. Nous étudions les obstructions au relèvement en caractéristique 0 d’une action fidèle et continue $\phi$ d’un groupe fini $G$ sur $k\left[\right[t\left]\right]$. Le théorème de Katz-Gabber associe à $\phi$ une action du groupe $G$ sur une courbe projective $Y$ lisse sur $k$. La KGB-obstruction de $\phi$ est dite nulle si $G$ agit sur une courbe projective lisse $X$ de caractéristique 0 avec égalité des genres de $X/H$ et $Y/H$ pour tout sous-groupe $H\subset G$. Nous déterminons les groupes $G$ pour lesquels la KGB-obstruction s’annule pour toute action $\phi$. Nous considérons également des situations analogues pour lesquelles il suffit d’annuler l’obstruction de Bertin à relever une action $\phi$ ou toutes actions $\phi$ suffisamment ramifiées. Ces résultats renforcent les convictions en faveur de la conjecture de Oort généralisée aux relèvements d’une action fidèle sur une courbe projective lisse ([8, Conj. 1.2).

Let $k$ be an algebraically closed field of characteristic $p>0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB obstruction of every $\phi$ vanishes. We also consider analogous problems in which one requires only that an obstruction to lifting $\phi$ due to Bertin vanishes for some $\phi$, or for all sufficiently ramified $\phi$. These results provide evidence for the strengthening of Oort’s lifting conjecture which is discussed in [8, Conj. 1.2].

[1] M. Aschbacher, Finite group theory, second éd., Cambridge Studies in Advanced Math. 10, Cambridge Univ. Press, 2000. | MR | Zbl

[2] J. Bertin, Obstructions locales au relèvement de revêtements galoisiens de courbes lisses, C. R. Acad. Sci. Paris Sér. I Math. 326 (1998), 55-58. | MR | Zbl

[3] J. Bertin & A. Mézard, Déformations formelles des revêtements sauvagement ramifiés de courbes algébriques, Invent. Math. 141 (2000), 195-238. | MR | Zbl

[4] I. I. Bouw & S. Wewers, The local lifting problem for dihedral groups, Duke Math. J. 134 (2006), 421-452. | MR | Zbl

[5] I. I. Bouw, S. Wewers & L. Zapponi, Deformation data, Belyi maps, and the local lifting problem, Trans. Amer. Math. Soc. 361 (2009), 6645-6659. | MR | Zbl

[6] L. H. Brewis, Liftable $D_4$-covers, Manuscripta Math. 126 (2008), 293-313. | MR | Zbl

[7] L. H. Brewis & S. Wewers, Artin characters, Hurwitz trees and the lifting problem, Math. Ann. 345 (2009), 711-730. | MR | Zbl

[8] T. Chinburg, R. Guralnick & D. Harbater, Oort groups and lifting problems, Compos. Math. 144 (2008), 849-866. | MR | Zbl

[9] J.-M. Fontaine, Groupes de ramification et représentations d'Artin, Ann. Sci. École Norm. Sup. 4 (1971), 337-392. | EuDML | Numdam | MR | Zbl

[10] D. Gorenstein, Finite groups, Harper & Row Publishers, 1968. | MR | Zbl

[11] B. Green, Automorphisms of formal power series rings over a valuation ring, in Valuation theory and its applications, Vol. II (Saskatoon, SK, 1999), Fields Inst. Commun. 33, Amer. Math. Soc., 2003, 79-87. | MR | Zbl

[12] B. Green & M. Matignon, Liftings of Galois covers of smooth curves, Compositio Math. 113 (1998), 237-272. | MR | Zbl

[13] A. Grothendieck (éd.), Revêtements étales et groupe fondamental. Séminaire de Géométrie Algébrique du Bois Marie 1960-1961 (SGA 1), Lect. Notes in Math. 224, Springer, 1971. | MR | Zbl

[14] A. Grothendieck & J. Dieudonné, Étude locale des schémas et des morphismes de schémas (EGA IV), Publ. Math. IHÉS 20 (1964), 24 (1965), 28 (1966), 32 (1967). | Numdam | Zbl

[15] D. Harbater, Fundamental groups and embedding problems in characteristic $p$, in Recent developments in the inverse Galois problem (Seattle, WA, 1993), Contemp. Math. 186, Amer. Math. Soc., 1995, 353-369. | MR | Zbl

[16] N. M. Katz, Local-to-global extensions of representations of fundamental groups, Ann. Inst. Fourier (Grenoble) 36 (1986), 69-106. | Numdam | MR | Zbl

[17] M. Matignon, $p$-groupes abéliens de type $(p,...,p)$ et disques ouverts $p$-adiques, Manuscripta Math. 99 (1999), 93-109. | MR | Zbl

[18] M. Matignon, Lifting ${(\mathbb{Z}/2\mathbb{Z})}^2$ actions, preprint http://www.math.u-bordeaux.fr/~matignon/chap5.ps. | MR

[19] A. Mézard, Quelques problèmes de déformations en caractéristique mixte, Thèse de doctorat, Université Joseph Fourier, Grenoble, 1998.

[20] J. S. Milne, Étale cohomology, Princeton Mathematical Series 33, Princeton Univ. Press, 1980. | MR | Zbl

[21] F. Oort, Lifting algebraic curves, abelian varieties, and their endomorphisms to characteristic zero, in Algebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985), Proc. Sympos. Pure Math. 46, Amer. Math. Soc., 1987, 165-195. | MR | Zbl

[22] G. Pagot, ${𝔽}_p$-espaces vectoriels de formes différentielles logarithmiques sur la droite projective, J. Number Theory 97 (2002), 58-94. | MR | Zbl

[23] G. Pagot, Relèvement en caractéristique zéro d’actions de groupes abéliens de type $(p,...,p)$, Thèse de doctorat, Université Bordeaux I, 2002.

[24] F. Pop, Étale Galois covers of affine smooth curves. The geometric case of a conjecture of Shafarevich. On Abhyankar's conjecture, Invent. Math. 120 (1995), 555-578. | MR | Zbl

[25] R. J. Pries, Wildly ramified covers with large genus, J. Number Theory 119 (2006), 194-209. | MR | Zbl

[26] T. Sekiguchi, F. Oort & N. Suwa, On the deformation of Artin-Schreier to Kummer, Ann. Sci. École Norm. Sup. 22 (1989), 345-375. | Numdam | MR | Zbl

[27] J-P. Serre, Sur la rationalité des représentations d'Artin, Ann. of Math. 72 (1960), 405-420. | MR | Zbl

[28] J-P. Serre, Corps locaux, Hermann, 1968, Deuxième édition, Publications de l'Université de Nancago, No. VIII. | MR | Zbl

[29] J-P. Serre, Linear representations of finite groups, Springer, 1977. | MR | Zbl

[30] J. H. Silverman, The arithmetic of elliptic curves, Graduate Texts in Math. 106, Springer, 1986. | MR | Zbl

[31] V. P. Snaith, Explicit Brauer induction, Cambridge Studies in Advanced Math. 40, Cambridge Univ. Press, 1994. | MR | Zbl