Intermediate extensions of perverse constructible \mathbbF_p-sheaves commute with smooth pullbacks

2016/12/12 by Stäbler, Axel
#Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Mathematics

paper · doi:10.48550/arxiv.1612.03830

Abstract

We prove that intermediate extensions of perverse constructible \mathbbF_p-sheaves commute with smooth pullbacks for schemes admitting a closed embedding into a smooth scheme over a field of characteristic p (embeddable schemes for short). Along the way we also prove that the equivalence of categories of Cartier crystals with unit R[F]-modules commutes with f^! for a smooth morphism f: X → Y of embeddable schemes.

Related

• Cartier crystals and perverse constructible étale p-torsion sheaves
• Duality between Cartier crystals and perverse \mathbbF_p-sheaves, and application to generic vanishing
• A Riemann-Hilbert correspondence for Cartier crystals
• Applications of perverse sheaves in commutative algebra
• Serre functor and ℙ-objects for perverse sheaves on ℙⁿ