Abstract
We define generalizations of classical invariants of wild ramification for coverings on a variety of arbitrary dimension over a local field. For an ℓ-adic sheaf, we define its Swan class as a 0-cycle class supported on the wild ramification locus. We prove a formula of Riemann-Roch type for the Swan conductor of cohomology together with its relative version, assuming that the local field is of mixed characteristic.
We also prove the integrality of the Swan class for curves over a local field as a generalization of the Hasse-Arf theorem. We derive a proof of a conjecture of Serre on the Artin character for a group action with an isolated fixed point on a regular local ring, assuming the dimension is 2.
Similar content being viewed by others
References
A. Abbes, The Grothendieck-Ogg-Shafarevich formula for arithmetic surfaces, J. Algebr. Geom., 9 (2000), 529–576.
A. Abbes, Cycles on arithmetic surfaces, Compos. Math., 122 (2000), 23–111.
S. Bloch, Cycles on arithmetic schemes and Euler characteristics of curves, in Algebraic Geometry (Bowdoin, 1985). Proc. Symp. Pure Math., vol. 46, pp. 421–450, Am. Math. Soc., Providence, 1987 Part 2.
P. Berthelot, Immersions réguliérès et calcul du K • d’un schema éclaté, in Exp. VII, SGA 6, Lect. Notes Math., vol. 225, pp. 416–465, Springer, Berlin, 1971.
N. Bourbaki, Algèbre commutative, Hermann, Paris, 1964.
A. J. de Jong, Smoothness, semi-stability and alterations, Publ. Math. IHÉS, 83 (1996), 51–93.
P. Deligne, Lemme de Gabber, Séminaire sur les pinceaux arithmétiques: la conjecture de Mordell, Astérisque, 127 (1985), 131–150.
P. Deligne and D. Mumford, The irreducibility of the space of curves of given genus, Publ. Math. IHÉS, 36 (1969), 75–109.
K. Fujiwara and F. Kato, Rigid geometry and applications, Adv. Stud. Pure Math., 45 (2006), 327–386.
W. Fulton, Intersection Theory, 2nd ed., Ergeb. Math. Ihrer Grenzgeb, vol. 3, Springer, Berlin, 1998 Folge 2.
A. Grothendieck, avec la collaboration de J. Dieudonné, Éléments de géométrie algébrique III (Seconde partie), Publ. Math. IHÉS, 17 (1963).
A. Grothendieck, avec la collaboration de J. Dieudonné, Éléments de géométrie algébrique IV (Premiére partie), Publ. Math. IHÉS, 24 (1964).
A. Grothendieck, avec la collaboration de J. Dieudonné, Éléments de géométrie algébrique IV (Quatrième partie), Publ. Math. IHÉS, 32 (1967).
L. Illusie, Complexe cotangent et déformations I, Lect. Notes Math., vol. 239, Springer, Berlin, 1971.
L. Illusie, Existence de résolutions globales, in Exp. II, SGA 6, Lect. Notes Math., vol. 225, pp. 160–221, Springer, Berlin, 1971.
L. Illusie, Conditions de finitude relatives, in Exp. III, SGA 6, Lect. Notes Math., vol. 225, pp. 222–273, Springer, Berlin, 1971.
L. Illusie, Appendice à “P. Deligne, Théorème de finitude en cohomologie ℓ-adique”, Cohomologie étale, in SGA \(4\frac{1}{2}\), Lect. Notes Math., vol. 569, pp. 252–261, Springer, Berlin, 1977.
L. Illusie, Théorie de Brauer et caractéristique d’Euler-Poincaré, Astérisque, 82–83 (1981), 161–172.
L. Illusie, An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic étale cohomology, Astérisque, 279 (2002), 271–322.
K. Kato, Residue homomorphisms in Milnor K-theory, Galois groups and their representations, Adv. Stud. Pure Math., 2 (1983), 153–172.
K. Kato, Swan conductors for characters of degree one in the imperfect residue field case, in Contemporary Mathematics, vol. 83, pp. 101–131, 1989.
K. Kato, Logarithmic structures of Fontaine-Illusie, in J.-I. Igusa (ed.) Algebraic Analysis, Geometry, and Number Theory, pp. 191–224, Johns Hopkins University Press, Baltimore, 1989.
K. Kato, Generalized class field theory, in Proceedings of ICM, Vol. I (Kyoto, 1990), pp. 419–428, Math. Soc. Japan, Tokyo, 1991.
K. Kato, Class field theory, \({\mathcal{D}}\)-modules, and ramification of higher dimensional schemes, Part I, Am. J. Math., 116 (1994), 757–784.
K. Kato, Toric singularities, Am. J. Math., 116 (1994), 1073–1099.
K. Kato and T. Saito, On the conductor formula of Bloch, Publ. Math. IHÉS, 100 (2005), 5–151.
K. Kato and T. Saito, Ramification theory for varieties over a perfect field, Ann. Math., 168 (2008), 33–96.
K. Kato, S. Saito, and T. Saito, Artin characters for algebraic surfaces, Am. J. Math., 109 (1987), 49–76.
F. Knudsen, The projectivity of the moduli space of stable curves. II. The stacks M g,n , Math. Scand., 52 (1983), 161–199.
D. Mumford, J. Fogarty, and F. Kirwan, Geometric Invariant Theory, 3rd ed., Ergeb. Math. Ihrer Grenzgeb, vol. 34, Springer, Berlin, 1994.
M. Nagata, A generalization of the imbedding problem of an abstract variety in a complete variety, J. Math. Kyoto Univ., 3 (1963), 89–102.
C. Nakayama, Logarithmic etale cohomology, Math. Ann., 308 (1997), 365–404.
C. Nakayama, Nearby cycles for log smooth families, Compos. Math., 112 (1998), 45–75.
T. Oda, Convex Bodies and Algebraic Geometry, Ergeb. Math. Ihrer Grenzgeb, Springer, Berlin, 1988.
M. Rapoport-T. Zink, Über die lokale Zetafunktion von Shimuravarietäten, Monodromiefiltration und verschwindende Zyklen in ungleicher Characteristik, Invent. Math., 68 (1982), 21–201.
M. Raynaud and L. Gruson, Critères de platitude et de projectivité, Techniques de “platification” d’un module, Invent. Math., 13 (1971), 1–89.
Mme M. Raynaud (d’après notes inédites de A. Grothendieck), Propreté cohomologique des faisceaux d’ensembles et des faisceaux de groupes non commutatifs, exposé XIII, in SGA 1, Lect. Notes Math., vol. 224, Springer, Berlin, 1971. Édition recomposée SMF (2003).
T. Saito, The Euler numbers of ℓ-adic sheaves of rank 1 in positive characteristic, in ICM90 Satellite Conference Proceedings, Arithmetic and Algebraic Geometry, pp. 165–181, Springer, Berlin, 1991.
J.-P. Serre, Corps Locaux, 4th ed., Hermann, Paris, 1968.
J.-P. Serre, Représentations linéaires des groupes finis, Hermann, Paris, 1968.
J.-P. Serre, Sur la rationalité des représentations d’Artin, Ann. Math., 72 (1960), 406–420.
T. Tsushima, On localizations of the characteristic classes of ℓ-adic sheaves and conductor formula in characteristic p>0, Math. Z., 269 (2011), 411–447.
I. Vidal, Theorie de Brauer et conducteur de Swan, J. Algebr. Geom., 13 (2004), 349–391.
O. Zariski and P. Samuel, Commutative Algebra II, Grad. Texts Math., vol. 29, Springer, Berlin, 1975.
Author information
Authors and Affiliations
Corresponding author
About this article
Cite this article
Kato, K., Saito, T. Ramification theory for varieties over a local field. Publ.math.IHES 117, 1–178 (2013). https://doi.org/10.1007/s10240-013-0048-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10240-013-0048-z