On the Jacobian ring of a complete intersection

DOI10.1016/J.JALGEBRA.2006.06.039MaRDI QIDQ855360zbMATH OpenOpenAlexFDO

Authors Alan Adolphson, Steven Sperber

Publication date 7 December 2006

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

complete intersectionHodge numbersJacobian ring

Mathematics Subject Classification ID

Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) de Rham cohomology and algebraic geometry (14F40) Jacobians, Prym varieties (14H40) Complete intersections (14M10)

Abstract: Let f_1,...,f_r be homogeneous polynomials in K[x_1,...,x_n], K a field. Put F=y_1f_1+...+y_rf_r in K[x,y] and let I be the ideal of K[x,y] generated by the partials of F relative to the x_i and y_j. The Jacobian ring of F is the quotient J:=K[x,y]/I. We describe J by computing the cohomology of a certain complex whose top cohomology group is J.

Review text

Let \(f_1,\dots,f_r\in K[x]\) be homogeneous polynomials with coefficients in the field \(K\) and define \[ F=\sum^r_{i=1}y_if(x)\in K[x,y]. \] The quotient \(J=K [x,y]/I\), where \(I\) is the ideal generated by all the partial derivatives \(\frac{\partial F}{\partial x_j}\), \(\frac{\partial F}{\partial y_i}\) of \(F\) is the Jacobian ring of \(F\). This ring plays a key role in the Hodge theory associated to the smooth projective complete intersection given by \(f_1=\dots= f_r=0\) (when \(K=\mathbb{C})\) and in obtaining lower bounds for the Newton polygons associated to some zeta-functions. In this second direction, the case \(r=1\) was treated by Dwork, the general case by Mazur and a new proof was obtained by Adolphson and Sperber (under a stronger hypothesis). The results of the present paper are purely algebraic and they will serve to give a proof of Mazur's theorem in full generality in a subsequent paper.

Recommendations

• Generalized Jacobian rings for open complete intersections
• A note on a Griffiths-type ring for complete intersections in Grassmannians
• On the zeta function of a projective complete intersection
• On the zeta function of a complete intersection
• On the jacobian equation J(f, g) = 0 for Polynomials in k[x, y]

Cites work

• Frobenius and the Hodge filtration (estimates)
• scientific article; zbMATH DE number 3828040 (Why is no real title available?)
• scientific article; zbMATH DE number 9342 (Why is no real title available?)
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• scientific article; zbMATH DE number 3494540 (Why is no real title available?)
• scientific article; zbMATH DE number 3634395 (Why is no real title available?)
• Infinitesimal variation of Hodge structures and the weak global Torelli theorem for complete intersections
• On a generalization of de Rham lemma
• On a Theorem of Ax
• On the periods of certain rational integrals. I, II
• On the zeta function of a complete intersection
• On the zeta function of a hypersurface. I
• On the zeta function of a hypersurface. II
• On the Zeta Function of an Algebraic Variety
• Residues and cohomology of complete intersections

Cited in

(7)

• Jacobians and differents of projective varieties
• Distinguished-root formulas for generalized Calabi-Yau hypersurfaces
• The local cohomology of the Jacobian ring
• On the L-function of multiplicative character sums
• Generalized Jacobian rings for open complete intersections
• Twisted de Rham complex for toric Calabi-Yau complete intersections and flat F-manifold structures
• On the zeta function of a projective complete intersection

This page was built for publication: On the Jacobian ring of a complete intersection

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