Bernstein-Sato polynomials for projective hypersurfaces with weighted homogeneous isolated singularities (1609.04801v10)

Abstract: We present an efficient method to calculate the roots of the Bernstein-Sato polynomial $b_f(s)$ for a defining polynomial $f$ of a projective hypersurface $Z\subset{\bf P}^{n-1}$ of degree $d$ having only weighted homogeneous isolated singularities. The computation of roots can be reduced to that of the Hilbert series of the Jacobian ring of $f$ except some special case. For this we prove the $E_2$-degeneration of the pole order spectral sequence. Combined with the self-duality of the Koszul complex and also a theorem of Dimca and Popescu on the weak Lefschetz property of the "torsion part" of the Jacobian ring (with respect to a general linear function), it implies in the case $n=3$ the discrete connectivity of the absolute values of the roots of $b_f(s)$ supported at 0 modulo the roots coming from the singularities of $Z$, except some special case which does not contain any essential indecomposable central hyperplane arrangements in ${\bf C}^3$; more precisely, we have $R_f=\tfrac{1}{d}({\bf Z}\cap[3,k'])\cup R_Z$, where $R_f,R_Z$ are the roots of Bernstein-Sato polynomials of $f,Z$ up to sign, and $k'=\max(2d-3,k_{\rm max}+3)$ with $k_{\rm max}$ the maximal degree of the "torsion part" of the Jacobian ring.