The Hessian polynomial and the Jacobian ideal of a reduced hypersurface in P^n

DOI10.1016/J.AIM.2021.108035zbMATH Open1478.14069arXiv1910.09195OpenAlexW3195842353MaRDI QIDQ2237408FDOQ2237408

Authors: Laurent Busé, Hal Schenck, Gabriel Sticlaru, Alexandru Dimca 

Publication date: 27 October 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: For a reduced hypersurface $V(f)subseteqmathbb{P}^n$ of degree $d$, the Castelnuovo-Mumford regularity of the Milnor algebra $M(f)$ is well understood when $V(f)$ is smooth, as well as when $V(f)$ has isolated singularities. We study the regularity of $M(f)$ when $V(f)$ has a positive dimensional singular locus. In certain situations, we prove that the regularity is bounded by $(d-2)(n+1)$, which is the degree of the Hessian polynomial of $f$. However, this is not always the case, and we prove that in $mathbb{P}^n$ the regularity of the Milnor algebra can grow quadratically in $d$.

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

Recommendations

• Hessian ideals of a homogeneous polynomial and generalized Tjurina algebras
• A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements.
• Syzygies of Jacobian ideals and defects of linear systems
• On Castelnuovo-Mumford regularity of projective curves
• On the Castelnuovo-Mumford regularity of ideals, in dimension 2

zbMATH Keywords

Castelnuovo-Mumford regularityhomogeneous polynomialJacobian idealHessian polynomial

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Local complex singularities (32S05) Relations with arrangements of hyperplanes (32S22) Complex surface and hypersurface singularities (32S25) Hypersurfaces and algebraic geometry (14J70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The Geometry of Syzygies
• Generalized exponents of a free arrangement of hyperplanes and Shepherd- Todd-Brieskorn formula
• Syzygies des variétés déterminantales
• Combinatorial construction of logarithmic differential forms
• On the periods of certain rational integrals. I, II
• Title not available (Why is that?)
• Determinantal hypersurfaces.
• Hypersurface complements, Milnor fibers and higher homotopy groups of arrangements
• Jumping coefficients of multiplier ideals
• Ideals generated by minors of a symmetric matrix
• A free resolution of the module of logarithmic forms of a generic arrangement
• Title not available (Why is that?)
• The module of logarithmic \(p\)-forms of a locally free arrangement
• The local cohomology of the Jacobian ring
• Solving over-determined systems by the subresultant method (with an appendix by Marc Chardin)
• The Jacobian module, the Milnor fiber, and the \(D\)-module generated by \(f^s\)
• Gorenstein-duality for one-dimensional almost complete intersections -- with an application to non-isolated real singularities
• Applications of some properties of the canonical module in computational projective algebraic geometry
• On the syzygies and Hodge theory of nodal hypersurfaces
• Free and nearly free curves vs. rational cuspidal plane curves
• Plus-one generated and next to free arrangements of hyperplanes
• Free and nearly free surfaces in \(\mathbb{P}^3\)
• Title not available (Why is that?)

Cited In (3)

• A note on free determinantal hypersurface arrangements in P¹⁴C
• Bounds for Betti numbers and the degrees of the generators of syzygies in graded resolutions
• Some Fano manifolds whose Hilbert polynomial is totally reducible over ℚ

Uses Software

• Macaulay2
• SINGULAR

This page was built for publication: The Hessian polynomial and the Jacobian ideal of a reduced hypersurface in \(\mathbb{P}^n\)

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