Gherardelli linkage and complete intersections.

DOI10.1307/MMJ/1030132718MaRDI QIDQ5954561zbMATH OpenOpenAlexFDO

Authors Davide Franco, Steven L. Kleiman, Alexandru T. Lascu

Publication date 4 February 2002

Published in Michigan Mathematical Journal (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Hypersurfaces and algebraic geometry (14J70) Linkage (14M06) Complete intersections (14M10)

Abstract: Our main theorem characterizes the complete intersections of codimension 2 in a projective space of dimension 3 or more over an algebraically closed field of characteristic 0 as the subcanonical and self-linked subschemes. In order to prove this theorem, we'll prove the Gherardelli linkage theorem, which asserts that a partial intersection of two hypersurfaces is subcanonical if and only if its residual intersection is, scheme-theoretically, the intersection of the two hypersurfaces with a third.

Review text

The authors characterize complete intersections \(X\subset \mathbb{P}^n_K\) (\(n\geq 3\) and \(K\) an algebraically closed field of characteristic 0) as locally Cohen-Macaulay subvarieties \(X\) which are subcanonical and self-linked. This generalizes a similar result NEWLINEof \textit{V. Beorchia} and \textit{P. Ellia} [Rend. Sem. Mat. Univ. Politec. Torino 48, No. 4, 553--562 (1990; Zbl 0779.14007)] where \(X\) was assumed to be smooth.NEWLINENEWLINEIn the first part, the Gheradelli linkage theorem is proved in a more general setup; namely, the dualizing sheafNEWLINE\(\omega_X\) of a subscheme \(X\subset P\), contained in a Gorenstein scheme \(P\) of pure dimension at least 2, is described if \(X\) is linked to a quasi-complete intersection \(Y\) (i.e., \(Y\) is defined scheme-theoretically by three polynomials). Then, the proof follows further the ideas of [loc. cit.], the main ingredient being the splitting of the normal bundle of \(X\). It is explicitely described how the self-linkage of \(X\) occurs.NEWLINENEWLINENEWLINE Finally, an example is given that the result does not hold if \(\mathbb{P}^n\) is replaced by a smooth hypersurface, and there is a counterexample in the characteristic two case due to \textit{J. Migliore} [Trans. Am. Math. Soc. 294, 177--185 (1986; Zbl 0596.14019)].

Recommendations

• A STRUCTURE THEOREM FOR COMPLETE INTERSECTIONS
• Topology of complete intersections
• On complete intersections
• scientific article; zbMATH DE number 824716
• Euler class and complete intersections
• The gonality of complete intersection curves
• Links of intervals and the Gassner representation
• Linkage and codes on complete intersections
• Galois cohomology of completed link groups

Cited in

(9)

• A speciality theorem for curves in \(\mathbb {P}^5\) contained in Noether-Lefschetz general fourfolds
• Quadratic sheaves and self-linkage.
• Self-duality of the local cohomology of the Jacobian ring and Gherardelli's theorem
• Algebraic linkage and homological algebra
• A speciality theorem for curves in \(\mathbb P^5\)
• ON TWO SIMPLE CRITERIA FOR RECOGNIZING COMPLETE INTERSECTIONS IN CODIMENSION 2
• On quasi-complete intersections of codimension 2
• On the syzygies of quasi-complete intersection space curves
• scientific article; zbMATH DE number 218317 (Why is no real title available?)

This page was built for publication: Gherardelli linkage and complete intersections.

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