Relative perversity

DOI10.1090/CAMS/21MaRDI QIDQ6052399zbMATH OpenWikidataFDO

Authors

Publication date 17 October 2023

Published in Communications of the American Mathematical Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08)

Abstract: We define and study a relative perverse $t$-structure associated with any finitely presented morphism of schemes $f:XoS$, with relative perversity equivalent to perversity of the restrictions to all geometric fibres of $f$. The existence of this $t$-structure is closely related to perverse $t$-exactness properties of nearby cycles. This $t$-structure preserves universally locally acyclic sheaves, and one gets a resulting abelian category $mathrm{Perv}^{mathrmULA}(X/S)$ with many of the same properties familiar in the absolute setting (e.g., noetherian, artinian, compatible with Verdier duality). For $S$ connected and geometrically unibranch with generic point $eta$, the functor $mathrm{Perv}^{mathrmULA}(X/S)omathrmPerv(X_{e}ta)$ is exact and fully faithful, and its essential image is stable under passage to subquotients. This yields a notion of "good reduction" for perverse sheaves.

Recommendations

• Perverse coherent sheaves
• scientific article; zbMATH DE number 3851256
• Artin perverse sheaves
• Perverse sheaves. Proceedings of the colloquium ``Analysis and topology on singular spaces, Luminy, France, July 6--10, 1981. Part I
• Perverse \(t\)-structure on Artin stacks

Cites work

• scientific article; zbMATH DE number 981434 (Why is no real title available?)
• scientific article; zbMATH DE number 732147 (Why is no real title available?)
• A topological property of Runge pairs
• Affine analog of the proper base change theorem
• Around the Thom-Sebastiani theorem, with an appendix by Weizhe Zheng
• Categorical traces and a relative Lefschetz-Verdier formula
• Cohomologie étale. Seminaire de géométrie algébrique du Bois-Marie SGA 4 1/2 par P. Deligne, avec la collaboration de J. F. Boutot, A. Grothendieck, L. Illusie et J. L. Verdier
• Constructible sheaves on schemes
• Perversity and variation
• Projectivity of the Witt vector affine Grassmannian
• Rigid geometry, Lefschetz-Verdier trace formula and Deligne's conjecture
• Submersions and effective descent of étale morphisms
• The \(\operatorname{arc}\)-topology
• The decomposition theorem, perverse sheaves and the topology of algebraic maps
• The pro-\'etale topology for schemes
• Transformation de Fourier et majoration de sommes exponentielles. (Fourier transformation and majoration of exponential sums.)
• Twisted geometric Satake equivalence via gerbes on the factorizable Grassmannian

Cited in

(11)

• Geometric Langlands duality for periods
• Comparison of the two notions of characteristic cycles
• Artin perverse sheaves
• Representations of p-adic groups. Abstracts from the workshop held December 1--6, 2024
• Cohomological Milnor formula and Saito's conjecture on characteristic classes
• Character sheaves on reductive Lie algebras in positive characteristic
• Nori motives (and mixed Hodge modules) with integral coefficients
• Nearby cycles commute with proper direct image on stacks of shtukas
• Symmetric monoidal categories and the relative Lefschetz-Verdier trace formula
• The singular support of an \(\ell\)-adic sheaf
• On the Serre conjecture for Artin characters in the geometric case

This page was built for publication: Relative perversity

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