2019/07/11 by Bath, Daniel
#14B05 #14F10 #14J17 #14N20 #32C38 #32S05 #32S22 #32S40 #55N25 #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Commutative Algebra (math.AC) #Complex Variables (math.CV) #FOS: Mathematics
paper · doi:10.48550/arxiv.1907.05301
Given a complex germ f near the point \mathfrakx of the complex manifold X, equipped with a factorization f = f1 ⋯ fr, we consider the \mathscrD_X,\mathfrakx[s1, …, sr]-module generated by FS := f1^s1 ⋯ fr^sr. We show for a large class of germs that the annihilator of FS is generated by derivations and this property does not depend on the chosen factorization of f. We further study the relationship between the Bernstein-Sato variety attached to F and the cohomology support loci of f, via the \mathscrD_X,\mathfrakx-map ∇A. This is related to multiplication by f on certain quotient modules. We show that for our class of divisors the injectivity of ∇A implies its surjectivity. Restricting to reduced, free divisors, we also show the reverse, using the theory of Lie-Rinehart algebras. In particular, we analyze the dual of ∇A using techniques pioneered by Narváez-Macarro. As an application of our results we establish a conjecture of Budur in the tame case: if V(f) is a central, essential, indecomposable, and tame hyperplane arrangement, then the Bernstein-Sato variety associated to F contains a certain hyperplane. By the work of Budur, this verifies the Topological Mulivariable Strong Monodromy Conjecture for tame arrangements. Finally, in the reduced and free case, we characterize local systems outside the cohomology support loci of f near \mathfrakx in terms of the simplicity of modules derived from FS.