[Paper Review] On codimension two subvarieties of P6

Philippe Ellia, Davide Franco|ArXiv.org|Sep 23, 1999

Algebraic Geometry and Number Theory7 references4 citations

TL;DR

This paper establishes conditions under which smooth codimension two subvarieties of projective space P⁶ and subcanonical threefolds in P⁵ are complete intersections. Using cohomological and geometric techniques, it proves that if such a variety lies on a hyperquintic or has degree less than 74, it must be a complete intersection, extending classical results in algebraic geometry to higher-dimensional projective spaces.

ABSTRACT

We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a hyperquartic, then X is a complete intersection.

Motivation & Objective

• To classify smooth codimension two subvarieties of P⁶ under geometric and degree constraints.
• To determine when subcanonical threefolds in P⁵ lying on a hyperquartic are complete intersections.
• To extend known results on complete intersections in low codimension to higher-dimensional projective spaces.
• To use cohomological and syzygetic techniques to analyze the structure of subvarieties in P⁶.
• To establish sharp degree bounds for complete intersection property in codimension two.

Proposed method

• Analyzes the ideal sheaf and cohomology of smooth subvarieties in P⁶ using Serre duality and the Koszul complex.
• Applies the theory of arithmetically Cohen-Macaulay varieties and the Buchsbaum-Rim complex to study syzygies.
• Employs the condition of lying on a hyperquintic (degree 5 hypersurface) as a key geometric constraint.
• Uses degree bounds and the structure of the canonical bundle to deduce complete intersection property.
• Applies the theory of subcanonical varieties and the adjunction formula to threefolds in P⁵.
• Combines liaison theory and the structure theorem for codimension two subvarieties in P⁶ to derive finiteness and rigidity results.

Experimental results

Research questions

• RQ1 Under what conditions is a smooth codimension two subvariety of P⁶ a complete intersection?
• RQ2 What is the sharp degree threshold below which all smooth codimension two subvarieties of P⁶ are complete intersections?
• RQ3 When does a subcanonical threefold in P⁵ lying on a hyperquartic become a complete intersection?
• RQ4 How do geometric constraints like lying on a hypersurface of degree 5 affect the structure of subvarieties in P⁶?
• RQ5 Can cohomological methods and syzygy analysis be used to classify codimension two subvarieties in higher-dimensional projective spaces?

Key findings

• If a smooth codimension two subvariety X ⊂ P⁶ lies on a hyperquintic (degree 5 hypersurface), then X is a complete intersection.
• If deg(X) < 74, then any smooth codimension two subvariety X ⊂ P⁶ is a complete intersection.
• For a smooth subcanonical threefold X ⊂ P⁵, if X lies on a hyperquartic (degree 4 hypersurface), then X is a complete intersection.
• The results provide sharp degree bounds and geometric conditions that force the complete intersection property in codimension two.
• The proofs rely on cohomological vanishing, the structure of the canonical bundle, and syzygetic techniques in algebraic geometry.
• The work generalizes classical results on complete intersections in P³ and P⁴ to P⁶, establishing a new framework for classification in higher codimension.