Roots of Bernstein-Sato polynomials of certain homogeneous polynomials with two-dimensional singular loci

DOI10.4310/PAMQ.2020.V16.N4.A13MaRDI QIDQ2214909zbMATH OpenOpenAlexFDO

Authors Morihiko Saito

Publication date 10 December 2020

Published in Pure and Applied Mathematics Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1703.05741

zbMATH Keywords

Bernstein-Sato polynomialshyperplane arrangementsKoszul cohomologiesmodified spectramonodromynonisolated hypersurface singularitiesnonreduced plane curvespole order filtrationstrongly free divisorssymmetryweighted homogeneous singularities

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Sheaves of differential operators and their modules, (D)-modules (32C38) Relations with arrangements of hyperplanes (32S22) Monodromy; relations with differential equations and (D)-modules (complex-analytic aspects) (32S40)

Abstract: For a homogeneous polynomial of $n$ variables, we present a new method to compute the roots of Bernstein-Sato polynomial supported at the origin, assuming that general hyperplane sections of the associated projective hypersurface have at most weighted homogeneous isolated singularities. Calculating the dimensions of certain $E_r$-terms of the pole order spectral sequence for a given integer $rin[2,n]$, we can detect its degeneration at $E_r$ for certain degrees. In the case of strongly free, locally positively weighted homogeneous divisors on ${mathbbP}^3$, we can prove its degeneration almost at $E_2$ and completely at $E_3$ together with a symmetry of a modified pole-order spectrum for the $E_2$-term. These can be used to determine the roots of Bernstein-Sato polynomials supported at the origin, except for rather special cases.

Review text

Let \(Z\subset \mathbb P^{n-1}\), \(n\geqslant 3\), be the hypersurface determined by a homogeneous polynomial \(f\) of degree \(d\geqslant 3\). Suppose that \(\dim\mathrm{Sing} Z \leqslant 1\) (i.e. the singular locus of the affine cone \(f^{-1}(0)\) has dimension at most 2), and that general hyperplane sections of \(Z\) have at most weighted homogeneous isolated singularities. The second condition holds if \(n = 3\) (in particular, \(Z\) may be a nonreduced curve), while for \(n = 4\) it is valid for reduced hyperplane arrangements, locally positively weighted homogeneous reduced divisors, etc. Under these assumptions the author describes an approach for computing the roots of Bernstein-Sato polynomial supported at the origin. First he studies in detail the pole order spectral sequence (see, e.g., [\textit{A. Dimca}, Singularities and topology of hypersurfaces. New York etc.: Springer-Verlag (1992; Zbl 0753.57001)]) and shows that for a given integer \(r\in [2, n]\) this sequence degenerates at \(E_r\)-term for certain degrees. Furthermore, in the case of strongly free and locally positively weighted homogeneous divisors on \(\mathbb P^3\) he proves that the sequence degenerates almost at \(E_2\) and completely at \(E_3\) and establishes a symmetry of a modified pole-order spectrum for the \(E_2\)-term (cf. [\textit{L. Narváez Macarro}, Adv. Math. 281, 1242--1273 (2015; Zbl 1327.14090)]). In fact, the author describes an algorithm for calculating the dimension of \(E_r\)-terms and the corresponding differentials, including a number of procedures implemented in algebra computer systems Macaulay, Singular and RISA/ASIR. Moreover, the section 5 contains many examples with different kinds of degeneration of the spectral sequence; all of them are examined in detail with the use of a computer similarly to [\textit{A. Dimca} and \textit{G. Sticlaru}, J. Symb. Comput. 91, 98--115 (2019; Zbl 1416.32014)]. The author remarks also that, in general, the computational process takes more than several hours (up to 10) to perform all necessary computations even in the case \(n = 4\), \(d = 5\). Finally, in the Appendix it is proved that in the case of strongly free divisors on \(\mathbb P^3\) there is a double symmetry of the modified pole-order spectrum for the \(E_2\)-term.

Recommendations

• Algorithms for checking rational roots of b-functions and their applications
• Algorithms for Bernstein-Sato polynomials and multiplier ideals
• Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial
• Bernstein polynomials of a smooth function restricted to an isolated hypersurface singularity
• Polynômes de Bernstein associés à une fonction sur une intersection complète à singularité isolée. (Bernstein polynomials associated with a function on an isolated complete intersection singularity)
• Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves
• Local generic Bernstein-Sato polynomial
• Multiplier ideals, b-function, and spectrum of a hypersurface singularity
• A computational approach to Milnor fiber cohomology
• Resolution of an algebraic singularity by power geometry algorithms

Cited in

(11)

• Decompositions of Bernstein-Sato polynomials and slices
• A duality approach to the symmetry of Bernstein-Sato polynomials of free divisors
• Bernstein-Sato polynomials and spectral numbers
• Briançon-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials
• Computing Milnor fiber monodromy for some projective hypersurfaces
• Polynômes de Bernstein-Sato associés à une intersection complète quasi-homogène à singularité isolée
• Local Cohomology—An Invitation
• scientific article; zbMATH DE number 5238377 (Why is no real title available?)
• Higher Du Bois singularities of hypersurfaces
• Twisted logarithmic complexes of positively weighted homogeneous divisors
• Roots of Bernstein-Sato polynomials for monomial ideals: a positive characteristic approach

Describes a project that uses

Uses Software

• SINGULAR
• Macaulay2
• Risa/Asir

This page was built for publication: Roots of Bernstein-Sato polynomials of certain homogeneous polynomials with two-dimensional singular loci

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2214909)