[論文レビュー] The cone of Betti diagrams of bigraded artinian modules of codimension two

Mats Boij, Gunnar Fløystad|arXiv (Cornell University)|Jan 19, 2010

Algebraic structures and combinatorial models参考文献 4被引用数 3

ひとこと要約

本稿は、2重次数多項式環上の余次元2のアーティン加群の2重次数ベッチ図の正錐を特徴づける。$e_1$ と $e_2$ が互いに素であるとき、この錐の極小線は、$e_1x + e_2y < (e_1-1)(e_2-1)$ の領域内にある $\mathbb{N}^2$ の順序イデアルによってパラメトライズされ、それぞれのイデアルが一意な純粋分解に対応することが示される。この構成は、等変分解と単項式商分解を一般化し、この設定における極小線の完全な分類を提供する。

ABSTRACT

We describe the positive cone generated by bigraded Betti diagrams of artinian modules of codimension two, whose resolutions become pure of a given type when taking total degrees. If the differences of these total degrees, p and q, are relatively prime, the extremal rays are parametrised by order ideals in N^2 contained in the region px + qy &lt; (p-1)(q-1). We also consider some examples concerning artinian modules of codimension three.

研究の動機と目的

• 2重次数のアーティン加群のベッチ図が、全次数をとった際に純粋分解になるような、余次元2の正錐を記述すること。
• 全次数差 $e_1$ と $e_2$ が互いに素である場合、この錐の極小線を分類すること。
• 純粋分解の構成を、等変分解および単項式商分解を越えて一般化し、すべての極小線が $\mathbb{N}^2$ の特定の領域内の順序イデアルから生じることを示すこと。
• 同様の分類結果が余次元3の加群へも拡張可能かどうかを検討すること、特に極小線の有限性および構造について。

提案手法

• 著者たちは、2重次数のエルツォグ＝クーリング方程式を用いて、2重次数アーティン加群の可能なベッチ図を制約する。
• 全次数差 $e_1$ と $e_2$ に対して、$e_1x + e_2y < (e_1-1)(e_2-1)$ で境界づけられる $\mathbb{N}^2$ 内の領域 $R(e_1,e_2)$ を定義し、これに含まれるすべての関連する順序イデアルを含む。
• 各順序イデアル $\lambda \subset R(e_1,e_2)$ に対して、特定の2重次数ベッチ数を持つ形の純粋分解 $S^{e_2} \leftarrow S^{e_2 + e_1} \leftarrow S^{e_1}$ を構成する。
• 一般行列の退化法と核解析を用いて、$\mathbf{a} \in \mathbb{Z}^2$ に対するベッチ図 $\beta_\lambda(\mathbf{a})$ が正錐 $P(e_1,e_2)$ の極小線を生成することを証明する。
• 行列の退化を用いて明示的な複体を構成し、エルツォグ＝クーリング方程式を満たすことを検証することで、これらの図が実際に分解に対応することを確認する。
• 余次元3の場合、$P(1,2,1)$ の錐を解析し、緩めた錐 $P'(1,2,1)$ に含まれるすべての図が実際に加群から生じるわけではないことを示す。これは、余次元2の場合よりも洗練された構造を持つことを示唆する。

実験結果

リサーチクエスチョン

• RQ1 固定された全次数差を持つ余次元2の2重次数アーティン加群のベッチ図の正錐において、極小線は有限個に限られるか？
• RQ2 余次元2のベッチ図の正錐の極小線は、$\mathbb{N}^2$ 内の順序イデアルといった組合せ的対象によってパラメトライズ可能か？
• RQ3 $\gcd(e_1,e_2) = 1$ のとき、$R(e_1,e_2)$ 内の順序イデアルによる純粋分解の構成は、正錐 $P(e_1,e_2)$ のすべての極小線を生成するか？
• RQ4 余次元3の場合、正錐 $P(\mathbf{e})$ は緩めた錐 $P'(\mathbf{e})$ と同型か？ あるいは、$P'(\mathbf{e})$ に実際に加群から生じない図が存在するか？
• RQ5 余次元3の場合、極小線は有限個の平行移動類によって生成され、その順序集合に最大または最小の元が一意に存在するか？

主な発見

• $e_1$ と $e_2$ が互いに素であるとき、正錐 $P(e_1,e_2)$ の極小線は、領域 $R(e_1,e_2) = \{ (x,y) \in \mathbb{N}^2 \mid e_1x + e_2y < (e_1-1)(e_2-1) \}$ に含まれる順序イデアル $\lambda$ と一対一対応する。
• 最大の順序イデアルは等変分解に対応し、空の順序イデアルは[1]で構成された単項式イデアルの商の分解に対応する。
• 各順序イデアル $\lambda$ は、型 $S^{e_2} \leftarrow S^{e_2 + e_1} \leftarrow S^{e_1}$ の純粋分解を生じさせ、その2重次数ベッチ数は $\lambda$ の形状に依存し、これらが $P(e_1,e_2)$ の極小線を生成する。
• 余次元3の場合、錐 $P(1,2,1)$ には実際に加群から生じない図が含まれる。例えば、非負線形結合 $[(2,1,0)+(0,2,1)+(1,0,2)-(1,1,1)]\beta$ はエルツォグ＝クーリング方程式を満たすが、加群から生じない。これは $P(1,2,1) \subsetneq P'(1,2,1)$ を示している。
• 図 $\alpha = [(2,1,0)+(2,0,1)+(1,2,0)+(0,2,1)+(1,0,2)+(0,1,2)-(1,1,1)]\beta$ が、非可約アーティン加群の分解のベッチ図であり、$P(1,2,1)$ において等変図 $\beta$ とは異なる極小線を生成することを示した。
• 単一の線の倍数でないような図の存在は、余次元3における正錐の構造が余次元2の場合よりも複雑であり、極小線の完全な分類が現在のところ不明であることを示している。