Constructible sheaves are holonomic
Abstract
We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent bundle of X such that every (local) function on X with df(X) disjoint from SS(F) is locally acyclic relative to F.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2015
- DOI:
- 10.48550/arXiv.1505.06768
- arXiv:
- arXiv:1505.06768
- Bibcode:
- 2015arXiv150506768B
- Keywords:
-
- Mathematics - Algebraic Geometry
- E-Print:
- 21 pages. The previous version of the article was published in Selecta Mathematica 22 (2016), 1797--1819