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

Riemann-Hilbert correspondencelocal systemperverse sheaf\(\mathscr{D}\)-module

Mathematics Subject Classification ID

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

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)

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

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)