# Bernstein-Sato Varieties and Annihilation of Powers

## TL;DR

This paper investigates Bernstein-Sato varieties and their relation to cohomology support loci for complex divisors, proving conjectures in tame hyperplane arrangements and characterizing local systems via D-module properties.

## Contribution

It establishes that the annihilator of F^S is generated by derivations for a large class of germs, independent of factorization, and proves a conjecture of Budur for tame arrangements.

## Key findings

- Annihilator of F^S is generated by derivations.
- Bernstein-Sato variety relates to cohomology support loci.
- Verification of Budur's conjecture for tame hyperplane arrangements.

## Abstract

Given a complex germ $f$ near the point $\mathfrak{x}$ of the complex manifold $X$, equipped with a factorization $f = f_{1} \cdots f_{r}$, we consider the $\mathscr{D}_{X,\mathfrak{x}}[s_{1}, \dots, s_{r}]$-module generated by $ F^{S} := f_{1}^{s_{1}} \cdots f_{r}^{s_{r}}$. We show for a large class of germs that the annihilator of $F^{S}$ 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 $\mathscr{D}_{X,\mathfrak{x}}$-map $\nabla_{A}$. This is related to multiplication by $f$ on certain quotient modules. We show that for our class of divisors the injectivity of $\nabla_{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 $\nabla_{A}$ using techniques pioneered by Narv\'aez-Macarro. As an application of our results we establish a conjecture of Budur in the tame case: if $\text{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 $\mathfrak{x}$ in terms of the simplicity of modules derived from $F^{S}.$