2015/11/25 by Nero Budur, Budur, Nero, Yongqiang Liu +5
Mathematics · #Advanced Algebra and Geometry #Advanced Combinatorial Mathematics #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic Topology (math.AT) #Complex Variables (math.CV) #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.1511.08013
openalex publication_date 2015/11/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.