Log-concavity conjecture for Milnor algebra local cohomology

Let SS be the graded polynomial ring defining a projective hypersurface V(f):f=0V(f):f=0, and let M(f)=S/JfM(f)=S/J_f be its Milnor algebra, where JfJ_f is the Jacobian ideal. Let N(f)=Hm0(M(f))=J^f/JfN(f)=H^0_{\mathbf m}(M(f))=\widehat J_f/J_f, with m\mathbf m the maximal ideal and J^f\widehat J_f the saturation of JfJ_f. Assume that V(f)V(f) has only isolated singularities, so that HP(N(f))(t)HP(N(f))(t) is a polynomial. Log-concavity conjecture. The series HP(N(f))(t)HP(N(f))(t) is a log-concave polynomial with no internal zeros. In particular, HP(N(f))(t)HP(N(f))(t) is a unimodal polynomial. This conjecture strengthens Dimca's conjecture and concerns the replacement of smooth-hypersurface properties of the Milnor algebra by properties of the local cohomology module N(f)N(f); the isolated-singularity hypothesis ensures that its Hilbert–Poincaré series is finite.

Sources & referencesView supporting material

Primary source

Gabriel Sticlaru, “Log-concavity of Milnor algebras for projective hypersurfaces”, arXiv:1310.0506 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.