×

Wild ramification and a vanishing cycles formula. (English) Zbl 1060.14052

K. Kato proved a formula which compares the dimension of the space of vanishing cycles in a finite morphism between formal germs of curves over a complete discrete valuation ring [Duke Math. J. 55, 629–659 (1987; Zbl 0665.14005)]. Kato’s formula is explicit only in the case where the morphism in question is generically separable on the level of special fibres.
In the paper under review, using formal patching techniques à la Harbater, the author proves an analogous explicit formula in the case of a Galois cover of degree \(p\) between formal germs of curves over a complete discrete valuation ring of unequal characteristic \((0,p)\). This formula includes the case when one has inseparability on the level of special fibres and has applications in the study of semi-stable reduction of Galois covers of curves.

MSC:

14J10 Families, moduli, classification: algebraic theory
14H10 Families, moduli of curves (algebraic)
14B05 Singularities in algebraic geometry

Citations:

Zbl 0665.14005

References:

[1] Bosch, S.; Lütkebohmert, W., Formal and rigid geometry, Math. Ann., 295, 291-317 (1993) · Zbl 0808.14017
[2] Bosch, S.; Lütkebohmet, W., Stable reduction and uniformization of abelian varieties I, Math. Ann., 270, 349-379 (1985) · Zbl 0554.14012
[3] Bourbaki, N., Algèbre Commutative (1983), Masson, Chapitre 9 · Zbl 0579.13001
[4] Green, B.; Matignon, M., Order \(p\)-automorphisms of the open disk of a \(p\)-adic field, J. Amer. Math. Soc., 12, 1, 269-303 (1999) · Zbl 0923.14007
[5] Grothendieck, A., Séminaire de géométrie algébrique SGA-1, Lecture Notes in Math., vol. 224 (1971), Springer-Verlag
[6] Y. Henrio, Arbres de Hurwitz et automorphismes d’ordre \(p\) des disques et couronnes \(p\)-adiques formels, Thèse de doctorat, Bordeaux, France, 1999; Y. Henrio, Arbres de Hurwitz et automorphismes d’ordre \(p\) des disques et couronnes \(p\)-adiques formels, Thèse de doctorat, Bordeaux, France, 1999 · Zbl 0971.14013
[7] Hyodo, O., Wild Ramification in the Imperfect Residue Field Case, Adv. Stud. Pure Math., vol. 12 (1987) · Zbl 0649.12011
[8] Kato, K., Vanishing cycles, ramification of valuations, and class field theory, Duke Math. J., 55, 629-659 (1987) · Zbl 0665.14005
[9] M. Matignon, T. Youssefi, Prolongement de morphismes de fibres formelles, Manuscript, 1992; M. Matignon, T. Youssefi, Prolongement de morphismes de fibres formelles, Manuscript, 1992
[10] Oort, F.; Sekiguchi, T.; Suwa, N., On the deformation of Artin-Schreier to Kummer, Ann. Sci. École Norm. Sup., 22, 345-375 (1989) · Zbl 0714.14024
[11] Pries, R. J., Construction of covers via formal and rigid geometry, (Bost, J.-B.; Loeser, F.; Raynaud, M., Courbes semi-stables et groupe fondamental en géométrie algébrique. Courbes semi-stables et groupe fondamental en géométrie algébrique, Progr. Math., vol. 187 (2000)) · Zbl 0978.14018
[12] Raynaud, M., Revêtements de la droite affine en caractéristique \(p>0\) et conjecture d’Abhyankar, Invent. Math., 116, 425-462 (1994) · Zbl 0798.14013
[13] Raynaud, M., \(p\)-Groupes et réduction semi-stable des courbes, (The Grothendieck Festschrift, vol. 3 (1990), Birkhäuser), 179-197 · Zbl 0722.14013
[14] Raynaud, M., Spécialisation des revêtements en caractéristique \(p>0\), Ann. Sci. École Norm. Sup., 22, 345-375 (1989)
[15] Saı̈di, M., Torsors under finite and flat group schemes of rank \(p\) with Galois action · Zbl 1055.14048
[16] Saı̈di, M., Galois covers of degree \(p\): semi-stable reduction and Galois action · Zbl 1140.14027
[17] Saito, T., Vanishing Cycles and Differentials of Curves over a Discrete Valuation Ring, Adv. Stud. Pure Math., vol. 12 (1987) · Zbl 0673.14015
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.