[論文レビュー] The cone of Betti tables over a rational normal curve

Manoj Kummini, Steven V Sam|arXiv (Cornell University)|Jan 29, 2013

Algebraic structures and combinatorial models参考文献 11被引用数 7

ひとこと要約

本稿は、有理正規曲線の斉次座標環上の有限長モジュールのベッチ表のコーンを特徴づけ、特定の次数列を持つ純分離型がそれらのベッチ表を決定することを示している。主な結果は、シンジーガ構造と層論的技法から導かれる不等式を用いて、このコーンの完全な記述がなされたものであり、正則環における既知の結果を、特異的で有限コhen–Macaulay表現型をもつ設定にまで拡張している。

ABSTRACT

We describe the cone of Betti tables of Cohen-Macaulay modules over the homogeneous coordinate ring of a rational normal curve.

研究の動機と目的

• 有理正規曲線の斉次座標環上の有限長モジュールのベッチ表のコーンを記述すること。
• 正則でないグレーディング付き環で有限コhen–Macaulay表現型をもつものへ、ボイア＝ゾーダーベル枠組みを拡張すること。
• これらの環上での純分離型とシンジーガモジュールを用いて、ベッチ表の構造を特徴づけること。
• このようなモジュールの全ベッチ数列の漸近的挙動を分析し、多面体的コーン記述を導出すること。

提案手法

• グレーディング付き環 $B$ 上のモジュールと $\mathbb{P}^1$ 上の両立層の間の対応関係を、$\Gamma_*^{(d)}$ 関手を用いて確立する。
• 最大コhen–Macaulay $B$-モジュールを、$\ell = 0, \dots, d-1$ に対して $M^{(\ell)} = \bigoplus_{n \geq 0} S_{nd + \ell}$ の直和として特徴づける。ここで $S = \Bbbk[x,y]$ である。
• 有限長 $B$-モジュールの純分離型を、各モジュールが単一の次数で生成される最小自由分離型として定義し、次数列 $(d_0, d_1, d_2; \ell)$ を関連付ける。
• 再帰式 $\beta_i = (d-1)^{i-3} \beta_2 \frac{d\ell}{\ell+1}$ を用いて、最初の3つのベッチ数とパrameter $\ell$ で表されるベッチ数の明示的公式を導出する。$i \geq 3$ に対して成り立つ。
• $\Gamma_*^{(d)}$ 関手を層化された分離型に適用し、$B$-分離型を $S$-分離型へ持ち上げる。$N$ が最大コhen–Macaulayのとき、$\Gamma_*^{(d)}(\widetilde{N})$ が自由であることに着目する。
• 分離型の部分オイラー特性を用いて、全ベッチ数のコーンを定義する不等式系を導出し、4本の極値線をもつ凸多面体コーンが得られる。

実験結果

リサーチクエスチョン

• RQ1 有理正規曲線の座標環上の有限長モジュールのベッチ表のコーンの構造は何か？
• RQ2 このような環上の有限長モジュールの純分離型は、ベッチ数とシンジーガモジュールとどのように関係するか？
• RQ3 ボイア＝ゾーダーベル枠組みは、有理正規曲線のような特異環で有限コhen–Macaulay表現型をもつものへ拡張可能か？
• RQ4 このようなモジュールの全ベッチ数列の漸近的挙動は何か？ そして、それらはどのようにコーンを生成するか？
• RQ5 なぜこの手法は他のヴェロネーゼ埋め込み、例えば $\mathbb{P}^2(2)$ の場合に失敗するのか？

主な発見

• 有限長 $B$-モジュールのベッチ表のコーンは、純分離型の部分オイラー特性から導かれる不等式系によって完全に記述される。
• タイプ $(d_0, d_1, d_2; \ell)$ の純分離型に対して、ベッチ数は最初の3つのベッチ数によってスカラー倍を除き一意に定まる。$\beta^{B}(d_0,d_1,d_2;\ell) = (d(d_2 - d_1) - \ell, d(d_2 - d_0) - \ell, d(d_1 - d_0)(\ell + 1))$ が成り立つ。
• $i \geq 3$ に対して、ベッチ数は $\beta_i = (d-1)^{i-3} \beta_2 \frac{d\ell}{\ell+1}$ を満たし、$\beta_i / \beta_2$ の比が指数関数的に減少することが示される。
• 全ベッチ数のコーン $\mathbb{B}_{\mathrm{tot}}(B)$ は、$\mathbb{Q}^4$ 内の不等式 $b_3 \geq 0$, $b_2 \geq \frac{b_3}{d-1}$, $b_1 \geq b_2 - \frac{b_3}{d}$, および $b_0 \geq b_1 - b_2 + \frac{b_3}{d}$ によって定義される凸多面体コーンである。
• $\mathbb{B}_{\mathrm{tot}}(B)$ の閉包は、$(1,0,0,0)$, $(1,1,0,0)$, $(0,1,1,0)$, および $(0,1,d,d(d-1))$ の4本の線が生成する。後者の2本は、純分離型をもつモジュールの列の極限として得られる。
• この手法はヴェロネーゼ埋め込み $\mathbb{P}^2(2)$ に対して失敗する。なぜなら、$\Gamma_*^{(2)}(\widetilde{M^{(3)}})$ が $S = \Bbbk[x,y,z]$ 上で最大コhen–Macaulayでないため、持ち上げられた複体が自由でない可能性があるからである。