Bernstein–Sato polynomials of locally quasi-homogeneous divisors in $\mathbb{C}^{3}$

Abstract We consider the Bernstein–Sato polynomial of a locally quasi-homogeneous polynomial $f \in R = \mathbb{C}[x_{1}, x_{2}, x_{3}]$ . We construct, in the analytic category, a complex of $\mathscr{D}_{X}[s]$ -modules that can be used to compute the $\mathscr{D}_{X}[s]$ -dual of $\mathscr{D}_{X}[s] f^{s-1}$ as the middle term of a short exact sequence where the outer terms are well understood. This extends a result by Narváez Macarro where a freeness assumption was required. We derive many results about the zeros of the Bernstein–Sato polynomial. First, we prove each nonvanishing degree of the zeroth local cohomology of the Milnor algebra $H_{\mathfrak{m}}^{0} (R / (\partial f))$ contributes a root to the Bernstein–Sato polynomial, generalizing a result of M. Saito (where the argument cannot weaken homogeneity to quasi-homogeneity). Second, we prove the zeros of the Bernstein–Sato polynomial admit a partial symmetry about $-1$ , extending a result of Narváez Macarro that again required freeness. We give applications to very small roots, the twisted logarithmic comparison theorem, and more precise statements when f is additionally assumed to be homogeneous. Finally, when f defines a hyperplane arrangement in $\mathbb{C}^{3}$ we give a complete formula for the zeros of the Bernstein–Sato polynomial of f . We show all zeros except the candidate root $-2 + (2 / \deg(f))$ are (easily) combinatorially given; we give many equivalent characterizations of when the only noncombinatorial candidate root $-2 + (2/ \deg(f))$ is in fact a zero of the Bernstein–Sato polynomial. One equivalent condition is the nonvanishing of $H_{\mathfrak{m}}^{0}( R / (\partial f))_{\deg(f) - 1}$ .