[論文レビュー] Syzygies of Veronese embeddings

Giorgio Ottaviani, Raffaella Paoletti|ArXiv.org|Nov 23, 1998

graph theory and CDMA systems参考文献 1被引用数 10

ひとこと要約

この論文は、射影空間 P^n の Veronese 埋め込み（次数 d）の連接的性質を調査し、n ≥ 2 および d ≥ 3 のとき、p ≥ 3d−2 ならば、Green および Lazarsfeld の性質 N_p を満たさないことを証明する。著者らは、逆が成り立つと予想し、n=2 および n=d=3 の場合にそれを検証し、Veronese 多様体のシジージ・モジュールに関する代数幾何学の基礎的結果を提供する。

ABSTRACT

We prove that the Veronese embedding of P^n of degree d with n\ge 2, d\ge 3 does not satisfy property N_p (according to Green and Lazarsfeld) if p\ge 3d-2. We conjecture that the converse holds. This is true for n=2 and for n=d=3.

研究の動機と目的

• P^n の次数 d の Veronese 埋め込みが Green および Lazarsfeld の性質 N_p を満たす条件を特定すること。
• Veronese 埋め込みのシジージ・モジュールとその消滅性を調査すること。
• n ≥ 2 および d ≥ 3 のとき、Veronese 埋め込みにおける性質 N_p の失敗に対する鋭い境界を確立すること。
• 境界 p ≥ 3d−2 が鋭い、すなわち p < 3d−2 のとき埋め込みが N_p を満たすという予想を述べること。
• 特殊な場合、n=2 および n=d=3 における予想の検証を行うこと。

提案手法

• 著者らは、表現論とコホモロジー的技法を用いて、Veronese 埋め込みの斉次座標環のシジージ・モジュールを分析する。
• Koszul コホモロジーの理論と多項式環上の次数付きモジュールの構造を用いて、シジージの消滅を研究する。
• 証明は、Veronese 埋め込みの最小自由分解の計算と、関連する次数におけるベッチ数の分析に依拠する。
• 特に、d 次の一次形式のべきによって生成されるイデアルの構造に関する可換代数の結果を応用する。
• 議論は、双対性と標準的な完全系列を用いて、特定のコホモロジー群の消滅を確認することに還元される。
• n=2 および n=d=3 の検証には、低次元の場合のシジージ・モジュールおよびベッチ数の明示的計算が含まれる。

実験結果

リサーチクエスチョン

• RQ1 P^n の次数 d の Veronese 埋め込みが性質 N_p を満たすのは、どの p の値に対してか？
• RQ2 Veronese 埋め込みにおける性質 N_p の失敗に関して、境界 p ≥ 3d−2 が鋭いかどうか？
• RQ3 n ≥ 2 および d ≥ 3 のとき、Veronese 埋め込みのシジージ・モジュールの正確な構造は何か？
• RQ4 著者らの予想によれば、p < 3d−2 のすべての p に対して Veronese 埋め込みが N_p を満たすのか？
• RQ5 特殊ケース n=2 および n=d=3 における Veronese 埋め込みのシジージ的性質は、どのように振る舞うか？

主な発見

• n ≥ 2 および d ≥ 3 のとき、P^n の次数 d の Veronese 埋め込みは、すべての p ≥ 3d−2 に対して性質 N_p を満たさない。
• 著者らは、Veronese 埋め込みがすべての p < 3d−2 に対して性質 N_p を満たすと予想し、その境界が鋭いとされる。
• この予想は、n=2 の場合および n=d=3 の場合に検証された。
• p = 3d−2 における性質 N_p の失敗は、次数 p における非自明なシジージの存在に起因することが示された。
• Veronese 埋め込みのシジージ・モジュールは、次数 d と次元 n に依存する明確な消滅パターンを示す。
• 結果は、コホモロジー的計算と定義イデアルの表現論的解析を通じて得られた。