Absolute sets and the decomposition theorem

DOI10.24033/ASENS.2426MaRDI QIDQ5110361zbMATH OpenOpenAlexFDO

Authors Botong Wang, Nero Budur

Publication date 18 May 2020

Published in Annales Scientifiques de l?tcole Normale Sup�rieure (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1702.06267, https://lirias.kuleuven.be/handle/123456789/625687

zbMATH Keywords

\(\mathscr{D}\)-modulelocal systemperverse sheafRiemann-Hilbert correspondence

Mathematics Subject Classification ID

Structure of families (Picard-Lefschetz, monodromy, etc.) (14D05) Algebraic moduli problems, moduli of vector bundles (14D20) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Topological properties in algebraic geometry (14F45) Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) Derived categories, triangulated categories (18G80) Sheaves of differential operators and their modules, (D)-modules (32C38)

Abstract: We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived) functor on constructible sheaves on smooth complex algebraic varieties can be used to construct a special kind of constructible sets, called absolute sets, generalizing a notion introduced by Simpson in presence of moduli. We conjecture that the absolute sets of local systems satisfy a "special varieties package", among which is an analog of the Manin-Mumford, Mordell-Lang, and Andr'e-Oort conjectures. The conjecture gives a simple proof of the Decomposition Theorem for all semi-simple perverse sheaves, assuming the Decomposition Theorem for the geometric ones. We prove the conjecture in the rank one case by showing that the closed absolute sets in this case are finite unions of torsion-translated affine tori. This extends a structure result of the authors for cohomology jump loci to any other natural jump loci. For example, to jump loci of intersection cohomology and Leray filtrations. We also show that the Leray spectral sequence for the open embedding in a good compactification degenerates for all rank one local systems at the usual page, not just for unitary local systems.

Recommendations

• Note on absolute sets of rigid local systems
• The decomposition theorem, perverse sheaves and the topology of algebraic maps
• Cohomology jump loci and absolute sets for singular varieties
• From the decomposition theorem to local purity
• scientific article; zbMATH DE number 6784936

Cited in

(20)

• Mellin transformation, propagation, and abelian duality spaces
• Perverse sheaves on semi-abelian varieties
• Zero loci of Bernstein-Sato ideals. II
• Alexander modules, Mellin transformation and variations of mixed Hodge structures
• Cohomology jump loci and absolute sets for singular varieties
• Note on absolute sets of rigid local systems
• Absoluteness of the Solovay set \(\Sigma \)
• Perverse sheaves on semi-abelian varieties -- a survey of properties and applications
• scientific article; zbMATH DE number 1192380 (Why is no real title available?)
• A decomposition theorem for closed sets
• Constructible sheaf complexes in complex geometry and applications
• Correction to "Absolute sets and the decomposition theorem"
• On indecomposable sets with applications
• Absolute sets of rigid local systems
• Cohomology of semisimple local systems and the decomposition theorem
• Local systems with quasi-unipotent monodromy at infinity are dense
• L^2-type invariants and cohomology jump loci for complex smooth quasi-projective varieties
• Hodge theory of abelian covers of algebraic varieties
• L^2-type invariants for complex smooth quasi-projective varieties: a survey
• The homology growth for finite abelian covers of smooth quasi-projective varieties

This page was built for publication: Absolute sets and the decomposition theorem

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