[Paper Review] A Step in Castelnuovo theory via Grobner bases

Ivan Petrakiev|ArXiv.org|Apr 24, 2006

Commutative Algebra and Its Applications5 references3 citations

TL;DR

This paper establishes the first previously unknown cases of the Eisenbud-Harris conjecture in Castelnuovo theory for curves of high genus in projective space by applying Gröbner basis techniques to zero-dimensional schemes in symmetric position. It proves that for $ m = 3 $ ($ n /geq 5 $) and $ m = 4 $ ($ n \geq 7 $), sets of $ d \geq 2n + 2m - 1 $ points in symmetric position with controlled Hilbert functions must lie on curves of degree at most $ n + m - 2 $, thereby confirming the conjecture in these cases and settling the $ \alpha = 2 $ case of the Eisenbud-Harris conjecture.

ABSTRACT

We establish the first previously unknown case of the Eisenbud-Harris conjecture in Castelnuovo theory concerning algebraic curves of high genus in ${\bf P}^n$. The problem is reduced to a question about zero-dimensional schemes $Γ\subset {\bf P}^{n-1}$ in symmetric position with certain constrains on the Hilbert function. The method of Gröbner bases is then applied to study the homogeneous ideal of $Γ$.

Motivation & Objective

• To resolve the first previously unknown cases of the Eisenbud-Harris conjecture in Castelnuovo theory concerning high-genus curves in $ \mathbb{P}^n $.
• To extend Castelnuovo's classical bound by analyzing the Hilbert function of hyperplane sections of such curves.
• To establish that points in symmetric position with constrained Hilbert functions must lie on low-degree curves, using Gröbner basis techniques.
• To confirm Conjecture 2.10 for $ m = 3 $ and $ m = 4 $, which implies the $ \alpha = 2 $ case of the Eisenbud-Harris conjecture.
• To provide a constructive method via Gröbner bases to analyze the homogeneous ideal of zero-dimensional schemes in symmetric position.

Proposed method

• Reduces the problem of curve genus bounds to studying the Hilbert function of zero-dimensional schemes $ \Gamma \subset \mathbb{P}^{n-1} $ in symmetric position.
• Applies Gröbner basis theory to the homogeneous ideal $ I_\Gamma $, focusing on the initial ideal in degree 2 under a specific monomial order.
• Uses the symmetry of $ \Gamma $ to construct the beginning of a Gröbner basis, identifying exactly $ \binom{m-1}{2} $ missing quadrics in the initial ideal.
• Makes a conjecture about the structure of the missing quadrics, supported by geometric observations and lemmas on base loci of linear systems.
• Employs Fulton’s refinement of Bezout’s theorem to analyze the base locus of the linear system $ |\mathcal{I}_\Gamma(2)| $, especially when the degree of the first infinitesimal neighborhood exceeds $ 2^{\dim \mathbb{P}^{n-1}} $.
• Uses projection and cone constructions from a point in $ \Gamma $ to reduce dimension and apply inductive arguments on the base locus of quadric systems.

Experimental results

Research questions

• RQ1 Does a set of $ d \geq 2n + 2m - 1 $ points in symmetric position in $ \mathbb{P}^{n-1} $ with $ h_\Gamma(2) \geq 2n + m - 2 $ necessarily lie on a curve of degree at most $ n + m - 2 $?
• RQ2 Can Gröbner basis techniques be used to prove that such schemes lie on low-degree curves, even when the base locus is not immediately visible?
• RQ3 What is the structure of the missing quadrics in the initial ideal of $ \Gamma $, and how does symmetry constrain them?
• RQ4 Does the Weak Conjecture—that the base locus of $ |\mathcal{I}_\Gamma(2)| $ has 1-dimensional Zariski tangent space at each point—hold under the given Hilbert function constraints?
• RQ5 Can the degree of the base locus curve be bounded using the number of quadrics and dimension, especially when $ \deg \Gamma' \geq 2^{\dim \mathbb{P}^{n-1}} $?

Key findings

• The paper proves Conjecture 2.10 for $ m = 3 $ when $ n \geq 5 $, showing that $ d \geq 2n + 4 $ points in symmetric position with $ h_\Gamma(2) \geq 2n + 1 $ lie on a curve of degree at most $ n + 1 $.
• For $ m = 4 $ and $ n \geq 7 $, the paper confirms that $ d \geq 2n + 7 $ points in symmetric position with $ h_\Gamma(2) \geq 2n + 2 $ lie on a curve of degree at most $ n + 2 $.
• The authors establish the $ \alpha = 2 $ case of the Eisenbud-Harris conjecture for $ n \geq 8 $, showing that curves of genus $ g > \pi_2(d,n) $ with $ d \geq 2n + 3 $ lie on surfaces of degree at most $ n $.
• In the case $ m = 4 $, the Gröbner basis for $ I_\Gamma $ is fully completed in degree 2, with exactly $ \binom{3}{2} = 3 $ missing quadrics, which are explicitly analyzed.
• For $ \Gamma \subset \mathbb{P}^6 $ with $ d \geq 22 $, if the initial ideal of $ I_\Gamma $ in degree 2 has one of three specified forms, then $ \Gamma $ lies on a curve of degree at most 10.
• The proof uses a cone construction from a point $ q_0 \in \Gamma $, projecting $ \Gamma $ to $ \mathbb{P}^5 $, and applying the same argument in lower dimension to show the existence of a degree-\leq 10 surface cone containing $ \Gamma' $.