The characteristic cycle and the singular support of a constructible sheaf

DOI10.1007/S00222-016-0675-3zbMATH Open1437.14016arXiv1510.03018OpenAlexW3104756461MaRDI QIDQ510167FDOQ510167

Takeshi Saito

Publication date: 16 February 2017

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Abstract: We define the characteristic cycle of an etale sheaf as a cycle on the cotangent bundle of a smooth variety in positive characteristic using the singular support recently defined by Beilinson. We prove a formula a la Milnor for the total dimension of the space of vanishing cycles and an index formula computing the Euler-Poincare characteristic, generalizing the Grothendieck-Ogg-Shafarevich formula to higher dimension. An essential ingredient of the construction and the proof is a partial generalization to higher dimension of the semi-continuity of the Swan conductor due to Deligne-Laumon. We prove the index formula by establishing certain functorial properties of characteristic cycles.

Full work available at URL: https://arxiv.org/abs/1510.03018

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Euler-Poincar%EF%BF%BD%EF%BF%BD+characteristic&go=Go Euler-Poincar�� characteristic]index formulacharacteristic classcharacteristic cyclessingular supports

Mathematics Subject Classification ID

Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Étale and other Grothendieck topologies and (co)homologies (14F20) Sheaves in algebraic geometry (14F06)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Chern classes for singular algebraic varieties
• Ramification of local fields with imperfect residue fields. II
• Ramification theory for varieties over a perfect field
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• Characteristic cycle and the Euler number of a constructible sheaf on a surface
• Wild ramification and the cotangent bundle
• Constructible sheaves are holonomic
• The characteristic class and ramification of an \(\ell\)-adic étale sheaf
• Smoothness, semi-stability and alterations
• Characteristic varieties and vanishing cycles
• Modifications et cycles proches sur une base generale
• La formule de dualite globale
• Faisceaux constructibles Cohomologie d'une courbe algebrique
• \(\varepsilon\)-factor of a tamely ramified sheaf on a variety
• Logarithmic version of the Milnor formula
• Characteristic cycle of the external product of constructible sheaves
• Etale Cohomology Theory
• Around the Thom-Sebastiani theorem, with an appendix by Weizhe Zheng
• Theoreme de finitude pour un morphisme propre ; Dimension cohomologique des schemas algebriques affines
• Morphismes acycliques
• Théorème de changement de base par un morphisme lisse, et applications

Cited In (39)

• Characteristic cycle of a rank one sheaf and ramification theory
• Künneth formulas for motives and additivity of traces
• Unipotent nearby cycles and nearby cycles over general bases
• Wild ramification determines the characteristic cycle
• Characteristic cycles of constructible sheaves
• Exceptional loci in Lefschetz theory
• GEOMETRIC LOCAL -FACTORS IN HIGHER DIMENSIONS
• Wild ramification, nearby cycle complexes, and characteristic cycles of \(\ell\)-adic sheaves
• Characteristic cycle of the external product of constructible sheaves
• Wild ramification and \(K(\pi , 1)\) spaces
• Cotangent bundle and microsupports in the mixed characteristic case
• Relative singular support and the semi-continuity of characteristic cycles for étale sheaves
• Characteristic cycles and the conductor of direct image
• Singular supports for character sheaves on a group compactification.
• Categorical traces and a relative Lefschetz–Verdier formula
• Local Euler obstructions and Chern–Mather classes of determinantal varieties
• The characteristic cycles and semi-canonical bases on type \(A\) quiver variety
• On the relative twist formula of \(\ell\)-adic sheaves
• A resolution of singularities of Drinfeld compactification with an Iwahori structure
• Bounds for the stalks of perverse sheaves in characteristic \(p\) and a conjecture of Shende and Tsimerman
• The characteristic cycle of a non-confluent \(\ell\)-adic GKZ hypergeometric sheaf
• Wild ramification and restrictions to curves
• Characteristic cycle and wild ramification for nearby cycles of étale sheaves
• Geometric realisations of the unipotent enveloping algebra of a quiver
• Characteristic class and the 𝜖-factor of an étale sheaf
• Wild ramification and the cotangent bundle
• Having the same wild ramification is preserved by the direct image
• Duality and nearby cycles over general bases
• Equality of two non-logarithmic ramification filtrations of abelianized Galois group in positive characteristic
• Moduli of Stokes torsors and singularities of differential equations
• Singularities and vanishing cycles in number theory over function fields
• Characteristic cycles and the microlocal geometry of the Gauss map, I
• Purely inseparable extensions and ramification filtrations
• The singular support of an \(\ell\)-adic sheaf
• Semi-continuity of conductors, and ramification bound of nearby cycles
• The derived category of the abelian category of constructible sheaves
• Grothendieck and vanishing cycles
• Quantitative sheaf theory
• Graded quotients of ramification groups of local fields with imperfect residue fields

This page was built for publication: The characteristic cycle and the singular support of a constructible sheaf

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q510167)