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

Andrew Snowden|arXiv (Cornell University)|Jun 28, 2010

Commutative Algebra and Its Applications参考文献 7被引用数 6

ひとこと要約

本稿では、Δ-加群の概念を導入することで、セグレ埋め込みにおけるシンジーギーの有限性を確立し、すべてのp-シンジーギーが有限個のマスターシンジーギーから生じることを示し、すべてのp-シンジーギーを符号化する生成関数f_pが有理関数であることを示した。この枠組みにより、すべてのセグレ埋め込みにおけるシンジーギー構造のアルゴリズム的計算が可能となり、代数的構造理論を通じてそれらの統一的取り扱いが可能になった。

ABSTRACT

We study syzygies of the Segre embedding of P(V_1) x ... x P(V_n), and prove two finiteness results. First, for fixed p but varying n and V_i, there is a finite list of from which all other p-syzygies can be derived by simple substitutions. Second, we define a power series f_p with coefficients in something like the Schur algebra, which contains essentially all the information of p-syzygies of Segre embeddings (for all n and V_i), and show that it is a rational function. The list of master p-syzygies and the numerator and denominator of f_p can be computed algorithmically (in theory). The central observation of this paper is that by considering all Segre embeddings at once (i.e., letting n and the V_i vary) certain structure on the space of p-syzygies emerges. We formalize this structure in the concept of a Delta-module. Many of our results on syzygies are specializations of general results on Delta-modules that we establish. Our theory also applies to certain other families of varieties, such as tangent and secant varieties of Segre embeddings.

研究の動機と目的

• 複素射影空間の積におけるセグレ埋め込みのシンジーギー構造を理解すること。
• 因子の数や次元が変化する際のp-シンジーギーの有限性を確立すること。
• シンジーギー的挙動を族全体にわたって統一的に捉えるための代数的構造—Δ-加群—を形式化すること。
• すべてのp-シンジーギーを符号化する生成関数f_pが有理関数であることを示すこと、かつその分子・分母を計算可能にすること。
• セグレ埋め込みの接多様体および接線多様体などの関連多様体への理論の拡張

提案手法

• シンジーギーの族に潜む代数的構造を形式化するため、Δ-加群の概念を導入すること。
• 固定されたpに対して、すべてのp-シンジーギーが単純な置換によって有限個のマスターパターンp-シンジーギーから生じることを証明すること。
• すべてのnおよびV_iにおけるセグレ埋め込みのすべてのp-シンジーギーを符号化する、シュール代数に類似た環上の係数をもつべきべき級数f_pを定義すること。
• f_pが有理関数であり、分子および分母がアルゴリズム的に計算可能であることを示すこと。
• Δ-加群の枠組みを用いてシンジーギーに関する一般論を導出し、それをセグレ埋め込みや関連多様体に特化した結果に応用すること。
• 表現論およびシュールファンクターの組合せ論を用いて、シンジーギー加群の構造を分析すること。

実験結果

リサーチクエスチョン

• RQ1 すべてのセグレ埋め込みにおけるp-シンジーギーの空間は、有限個の生成シンジーギーによって記述可能か？
• RQ2 n や V_i が変化する際、すべてのp-シンジーギーを捉える一様な生成関数が存在するか？
• RQ3 因子の数が増加する際、セグレ埋め込みのシンジーギー的挙動を支配する代数的構造は何か？
• RQ4 生成べき級数f_pの有理関数性を確立でき、その係数をアルゴリズム的に計算可能か？
• RQ5 セグレ埋め込みに関する結果は、接多様体や接線多様体などの関連多様体へどの程度拡張可能か？

主な発見

• 固定されたpに対して、すべての他のp-シンジーギーが単純な置換によって有限個のマスターパターンp-シンジーギーから導出可能である。
• すべてのnおよびV_iにおけるセグレ埋め込みのすべてのp-シンジーギーを符号化するべき級数f_pが、シュール代数に類似た環上の係数をもつ。
• べき級数f_pは有理関数であり、分子および分母がアルゴリズム的に計算可能である。
• これらの結果を可能にする中心的構造はΔ-加群であり、これは族全体にわたるシンジーギー的パターンを形式化するものである。
• この理論はセグレ埋め込みに限らず、その接多様体および接線多様体に対しても適用可能であり、適用範囲が拡張されている。
• すべての主要な不変量—マスターシンジーギーおよび有理関数の成分—は、提案された枠組みを用いて理論的に計算可能である。