Cohomology support loci of local systems

DOI10.1307/MMJ/1490639819MaRDI QIDQ2363554zbMATH OpenOpenAlexFDO

Authors Nero Budur, Yongqiang Liu, Luis Saumell, Botong Wang

Publication date 20 July 2017

Published in Michigan Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.08013, https://projecteuclid.org/euclid.mmj/1490639819

zbMATH Keywords

Bernstein-Sato idealcohomology support locilocal systemspecialization complex

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Homotopy theory and fundamental groups in algebraic geometry (14F35) Relations with arrangements of hyperplanes (32S22) Deformations of complex singularities; vanishing cycles (32S30) Monodromy; relations with differential equations and (D)-modules (complex-analytic aspects) (32S40)

Abstract: The support S of Sabbah's specialization complex is a simultaneous generalization of the set of eigenvalues of the monodromy on Deligne's nearby cycles complex, of the support of the Alexander modules of an algebraic knot, and of certain cohomology support loci. Moreover, it equals conjecturally the image under the exponential map of the zero locus of the Bernstein-Sato ideal. Sabbah showed that S is contained in a union of translated subtori of codimension one in a complex affine torus. Budur-Wang showed recently that S is a union of torsion-translated subtori. We show here that S is always a hypersurface, and that it admits a formula in terms of log resolutions. As an application, we give a criterion in terms of log resolutions for the (semi-)simplicity as perverse sheaves, or as regular holonomic D-modules, of the direct images of rank one local systems under an open embedding. For hyperplane arrangements, this criterion is combinatorial.

Review text

Sabbah's specialization complex is a simultaneous generalization of Deligne's nearby cycle complex and of the Alexander modules of an algebraic knot. The authors show that the support \(S\) of this complex is a hypersurface, which admits a precise description in terms of log resolutions. As an application, they give a criterion for the semisimplicity of the direct image of a rank one local system under an open embedding. The details are worked out in the case of a hyperplane arrangement.

Recommendations

• Bernstein-Sato ideals and local systems
• Local systems on analytic germ complements
• Geometry of cohomology support loci for local systems I
• Rank One Local Systems and Forms of Degree One
• Arrangements and local systems

Cited in

(17)

• Zero loci of Bernstein-Sato ideals. II
• Zero loci of Bernstein-Sato ideals
• Monodromy conjecture for log generic polynomials
• On the length of perverse sheaves on hyperplane arrangements
• Torsion points on cohomology support loci: from \(\mathcal{D}\)-modules to Simpson's theorem
• On cohomologies with coefficients in a local system close to a trivial one
• Geometry of cohomology support loci for local systems I
• Decomposition of perverse sheaves on plane line arrangements
• Bernstein-Sato Polynomials in Commutative Algebra
• Bernstein-Sato varieties and annihilation of powers
• Cohomological support loci of varieties of Albanese fiber dimension one
• On Bernstein–Sato ideals for central line arrangements
• Cohomology of semisimple local systems and the decomposition theorem
• A note on Bernstein-Sato varieties for tame divisors and arrangements
• Multiplicative Thom-Sebastiani for Bernstein-Sato polynomials
• Introduction to the monodromy conjecture
• Local systems on analytic germ complements

This page was built for publication: Cohomology support loci of local systems

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