Geometric Extensions
Abstract
We prove that the derived direct image of the constant sheaf with field coefficients under any proper map with smooth source contains a canonical summand. This summand, which we call the geometric extension, only depends on the generic fibre. For resolutions we get a canonical extension of the constant sheaf. When our coefficients are of characteristic zero, this summand is the intersection cohomology sheaf. When our coefficients are finite we obtain a new object, which provides interesting topological invariants of singularities and topological obstructions to the existence of morphisms. The geometric extension is a generalization of a parity sheaf. Our proof is formal, and also works with coefficients in modules over suitably finite ring spectra.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2023
- DOI:
- 10.48550/arXiv.2309.11780
- arXiv:
- arXiv:2309.11780
- Bibcode:
- 2023arXiv230911780H
- Keywords:
-
- Mathematics - Representation Theory;
- Mathematics - Algebraic Geometry
- E-Print:
- 33 pp, preliminary version, comments welcome