[論文レビュー] Boij-Söderberg theory: Introduction and survey

Gunnar Fløystad|arXiv (Cornell University)|Jun 2, 2011

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

ひとこと要約

この論文は、多項式環上の次数付き加群のベッチ図を有理数倍の意味で分類するBoij-Söderberg理論を紹介し、調査する。その理論は、純粋な分解に対応する極値的線（純粋な図が生成する有理数の錐）に、すべてのベッチ図が含まれることを示すことによって成立する。主な貢献は、任意のベッチ図が、これらの純粋な図の正の有理数係数線形結合として一意に分解できることであり、特に次数列の部分順序に基づいた洗練された単体的ファン構造が得られる。

ABSTRACT

Boij-Söderberg theory describes the Betti diagrams of graded modules over the polynomial ring up to multiplication by a rational number. Analog Eisenbud-Schreyer theory also describes the cohomology tables of vector bundles on projective spaces up to rational multiple. We give an introduction and survey of these newly developed areas.

研究の動機と目的

• 可換代数および代数幾何学における基礎的枠組みであるBoij-Söderberg理論の包括的な紹介とサーベイを提供すること。
• 特にその有理数錐分解に関して、多項式環上のコhen＝マカウル・加群のベッチ図の構造を明確にすること。
• 純粋自由分解と超自然的ベクトル束の存在を確立し、それらを理論の構成要素とする。
• コhen＝マカウル加群を超えて非コhen＝マカウル加群および両面的層へ理論を拡張し、分野における未解決問題を検討すること。
• Boij-Söderberg枠組みを用いて、ベッチ図およびコホモロジー表の分解に使用できる計算ツールとアルゴリズムを提示すること。

提案手法

• 次数付きベッチ数における線形制約を特徴付けるために、Herzog-Kühl方程式の使用。
• 特にPieri写像とSchurファンクターを介した$GL(V)$の表現論を用いて、$GL(n)$-不変な純粋自由分解の構成。
• 超自然的バンドルとそのコホモロジーの理論を応用し、純粋な図をコホモロジー表として実現すること。
• ベッチ図の錐上に単体的ファン構造を定義し、各面が次数列の部分順序で整列された純粋な図の鎖に対応すること。
• 双対性とTate分解を用いて、射影空間上の両面的層のコホモロジー表とベッチ図を関連させること。
• Macaulay2におけるBoijSoederbergおよびPieriMapsパッケージを用いた実装により、純粋な図、分解、面方程式の計算を実行すること。

実験結果

リサーチクエスチョン

• RQ1 多項式環上の次数付き加群のベッチ図の有理数錐の構造は何か？
• RQ2 どのベッチ図がコhen＝マカウル加群のものとして実現可能であり、それらはどのように次数列の鎖の下で一意に純粋な図の和に分解可能か？
• RQ3 射影空間上のベクトルバンドルのコホモロジー表は、ベッチ図の双対理論とどのように関係するか？
• RQ4 理論は非コhen＝マカウル加群および両面的層へ拡張可能か？その図に課される制約は何か？
• RQ5 ベッチ図およびコホモロジー図の分解を支配する基本的不変量と組合せ的構造（例えば、posetや面方程式）は何か？

主な発見

• コhen＝マカウル加群のベッチ図の錐は、各ホモロジー次数にちょうど1つの非ゼロベッチ数を持つ分解に対応する純粋な図によって生成される。
• 任意の次数付き加群のベッチ図は、純粋な図の正の有理数係数線形結合として表され、次数列が部分順序で鎖をなす場合には一意の分解が存在する。
• すべての可能な次数列に対して純粋な分解が存在し、その存在は$GL(n)$-不変構成および一般行列からの分解を介して証明される。
• 理論は射影空間上のベクトルバンドルのコホモロジー表へ拡張可能であり、その場合、双対的なファン構造がすべての可能な表（有理数倍を除く）を記述する。
• 射影空間$\mathbb{P}^n$上の両面的層のコホモロジー表は未解決問題のままであるが、理論は、適切なウィンドウ内での有限組合せ的データによって記述可能である可能性を示唆している。
• Macaulay2における`decompose`や`pureBettiDiagram`などの計算ツールにより、Boij-Söderbergファンを用いてベッチ図を純粋成分に明示的に分解できる。