[論文レビュー] A Step in Castelnuovo theory via Grobner bases

Ivan Petrakiev|ArXiv.org|Apr 24, 2006

Commutative Algebra and Its Applications参考文献 5被引用数 3

ひとこと要約

この論文は、射影空間内の高 genus の曲線に関する Castelnuovo 理論における Eisenbud-Harris 予想の、これまで未知であった最初のケースを、対称的配置にある 0 次元スキームに Gröbner 基底技法を適用することによって確立した。$ m = 3 $（$ n \geq 5 $）および $ m = 4 $（$ n \geq 7 $）の場合、$ d \geq 2n + 2m - 1 $ 個の点が対称的配置にあり、ヒルベルト関数が制御されているとき、それらは次数 $ \leq n + m - 2 $ の曲線上に存在しなければならないことを証明した。これにより、これらのケースで予想が確認され、Eisenbud-Harris 予想の $ \alpha = 2 $ ケースが解決された。

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 $Γ$.

研究の動機と目的

• 射影空間内の高 genus の曲線に関する Castelnuovo 理論における、Eisenbud-Harris 予想の最初の未知のケースを解消すること。
• このような曲線の超平面切断のヒルベルト関数を分析することで、Castelnuovo の古典的上限を拡張すること。
• ヒルベルト関数が制約された対称的配置にある点が、低次の曲線上に存在しなければならないことを、Gröbner 基底技法を用いて確立すること。
• Conjecture 2.10 が $ m = 3 $ および $ m = 4 $ の場合に成立することを示し、これにより Eisenbud-Harris 予想の $ \alpha = 2 $ ケースが確認されること。
• 対称的配置にある 0 次元スキームの斉次イデアルを分析するための構成的技法を提供すること。

提案手法

• 曲線の genus の上限問題を、対称的配置にある $ \Gamma \subset \mathbb{P}^{n-1} $ のヒルベルト関数を研究することに還元する。
• 特定の単項式順序の下で、$ I_\Gamma $ の初期イデアルの次数 2 に注目し、Gröbner 基底理論を適用する。
• $ \Gamma $ の対称性を用いて、Gröbner 基底の初期段階を構成し、初期イデアルに正確に $ \binom{m-1}{2} $ 個の欠落する二次式を同定する。
• 欠落する二次式の構造に関する予想を提示し、幾何的観察と線型系統の基底点集合に関する補題を根拠とする。
• Fulton による Bezout の定理の精密化を用いて、線型系統 $ |\mathcal{I}_\Gamma(2)| $ の基底点集合を分析する。特に、最初の無限小近傍の次数が $ 2^{\dim \mathbb{P}^{n-1}} $ を超える場合に注目する。
• 点 $ \Gamma $ からの射影と錐構成を用いて次元を低下させ、二次式系の基底点集合に対して帰納的議論を適用する。

実験結果

リサーチクエスチョン

• RQ1 射影空間 $ \mathbb{P}^{n-1} $ 内の対称的配置にある $ d \geq 2n + 2m - 1 $ 個の点が、$ h_\Gamma(2) \geq 2n + m - 2 $ を満たす場合、必ず次数 $ \leq n + m - 2 $ の曲線上にあると言えるか？
• RQ2 基底点集合がすぐに見えない場合でも、Gröbner 基底技法を用いて、このようなスキームが低次の曲線上にあることを証明できるか？
• RQ3 初期イデアルにおける欠落する二次式の構造は何か？また、対称性はそれらをどのように制約するか？
• RQ4 ヒルベルト関数の制約のもとで、「弱い予想」——$ |\mathcal{I}_\Gamma(2)| $ の基底点集合の各点におけるザリスキー接空間が 1 次元である——は成り立つか？
• RQ5 基底点曲線の次数を、二次式の数と次元から境界づけられるか？特に $ \deg \Gamma' \geq 2^{\dim \mathbb{P}^{n-1}} $ の場合に注目する。

主な発見

• 論文は $ m = 3 $、$ n \geq 5 $ の場合に Conjecture 2.10 を証明し、$ d \geq 2n + 4 $ 個の点が対称的配置にあり、$ h_\Gamma(2) \geq 2n + 1 $ であるとき、それらは次数 $ \leq n + 1 $ の曲線上にあることを示した。
• $ m = 4 $ および $ n \geq 7 $ の場合、$ d \geq 2n + 7 $ 個の点が対称的配置にあり、$ h_\Gamma(2) \geq 2n + 2 $ であるとき、それらは次数 $ \leq n + 2 $ の曲線上にあることが確認された。
• 著者らは $ n \geq 8 $ の場合に Eisenbud-Harris 予想の $ \alpha = 2 $ ケースを確立し、$ d \geq 2n + 3 $ かつ $ g > \pi_2(d,n) $ を満たす曲線が、次数 $ \leq n $ の曲面の上にあることを示した。
• 特に $ m = 4 $ の場合、$ I_\Gamma $ の Gröbner 基底は次数 2 で完全に構成され、正確に $ \binom{3}{2} = 3 $ 個の欠落する二次式があり、これらは明示的に分析された。
• $ \Gamma \subset \mathbb{P}^6 $ で $ d \geq 22 $ の場合、初期イデアルの次数 2 が三つの指定された形のいずれかであるならば、$ \Gamma $ は次数 $ \leq 10 $ の曲線上にある。
• 証明では、点 $ q_0 \in \Gamma $ からの錐構成を用い、$ \Gamma $ を $ \mathbb{P}^5 $ に射影し、次元を下げる。これにより、$ \Gamma' $ を含む次数 $ \leq 10 $ の錐曲面の存在が示された。