[論文レビュー] The structure of the Boij-Söderberg posets

David Cook|arXiv (Cornell University)|Jun 10, 2010

Commutative Algebra and Its Applications参考文献 2被引用数 4

ひとこと要約

本稿は、グレード付き加群のベティ図の理論において中心的役割を果たすBoij-Söderbergの順序集合の組合せ的構造を調査する。これらの順序集合が有界で完全なラティスであることを証明し、その順序複体が頂点分解可能（vertex-decomposable）であることを示す。これにより、Cohen-Macaulayかつsquarefree glicciであることが導かれる。この証明は、原子の辞書式順序に基づく再帰的原子順序付けを用いる。

ABSTRACT

Boij and Söderberg made a pair of conjectures, which were subsequently proven by Eisenbud and Schreyer and then extended by Boij and Söderberg, about the structure of Betti diagrams of Graded modules. In the theory, a particular family of posets, and their associated order complexes, play an integral role. We explore the structure of this family. In particular, we show the posets are bounded complete lattices and the order complexes are vertex-decomposable, hence Cohen-Macaulay and squarefree glicci.

研究の動機と目的

• グレード付き加群のベティ図の分類において根幹をなすBoij-Söderberg順序集合の内在的組合せ的構造を分析すること。
• これらの順序集合が有界性および完全性といったラティス的性質を有するかどうかを特定すること。
• それらに関連する順序複体の位相的性質、特に頂点分解可能性およびCohen-Macaulay性を調査すること。
• 順序複体の構造的および位相的性質を導くために、再帰的原子順序付けを確立すること。
• Boij-Söderberg理論および加群論の広範な文脈における、これらの順序集合の代数的および組合せ的意義を明確にすること。

提案手法

• Boij-Söderberg順序集合 $\Pi_{\underline{d},\overline{d}}$ を、$\mathbb{Z}^{p+1}$ 内で $\underline{d}$ と $\overline{d}$ の間の厳密に増加する列の集合と定義し、成分ごとの部分順序を導入する。
• 任意の部分集合が下界（meet）と上界（join）をもつこと、および最小元と最大元が一意に存在することを示し、順序集合が有界で完全なラティスであることを証明する。
• 原子を小さい順から大きい順に辞書式順序で並べ、BjörnerとWachsの条件を満たす再帰的原子順序付けを構成する。
• 再帰的原子順序付けを用いて、順序複体 $\Delta(\Pi_{\underline{d},\overline{d}})$ が頂点分解可能であることを導く。
• 組合せ的可換環論における既知の結果を適用し、頂点分解可能な複体がCohen-Macaulayかつsquarefree glicciであることを結論づける。
• 原子の差異を持つ位置の数に関する帰納法を用いて再帰的構造を検証し、被覆関係および原子の結合について分析する。

実験結果

リサーチクエスチョン

• RQ1 Boij-Söderberg順序集合は有界で完全なラティスであるか？
• RQ2 Boij-Söderberg順序集合の順序複体は再帰的原子順序付けを有するか？
• RQ3 Boij-Söderberg順序集合の順序複体は頂点分解可能であるか？その場合、その位相的不変量にどのような意味があるか？
• RQ4 原子の辞書式順序に基づいて再帰的原子順序付けを明示的に構成できるか？
• RQ5 頂点削除に対して、順序複体の位相的性質（例：Cohen-Macaulay性）は保持されるか？また、その結果得られる複体は再びBoij-Söderberg順序集合であるか？

主な発見

• Boij-Söderberg順序集合 $\Pi_{\underline{d},\overline{d}}$ は、任意の部分集合が下界と上界をもち、最小元と最大元が一意に存在するため、有界で完全なラティスである。
• 原子を小さい順から大きい順に辞書式順序で並べた場合、定理3.1により再帰的原子順序付けが存在する。
• 再帰的原子順序付けの結果、各Boij-Söderberg順序集合の順序複体は頂点分解可能である。
• 頂点分解可能な順序複体は、補題3.2に従いCohen-Macaulayかつsquarefree glicciである。
• 任意のスヘディング頂点（shedding vertex）をBoij-Söderberg順序集合から削除しても、その結果得られる順序集合は自身がBoij-Söderberg順序集合ではない（注記3.3による）。
• 再帰的分解プロセスにおいて、順序複体の位相的および組合せ的構造が保たれ、そのシェーリング性およびホモロジー的性質が確認される。