[論文レビュー] Gorenstein Modules of Finite Length

Michael Kunte|ArXiv.org|Jul 18, 2008

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

ひとこと要約

この論文は、重み付き多項式環上の有限長のゴレンシュタイン加群を、分割冪における対称行列を用いて特徴づけ、その最小自由分解が強く自己双対的であることを証明する。主な貢献は、奇数の特徴標において、奇数個の変数を持つ場合に、ゴレンシュタイン性と特定の対称性条件を満たす中間写像を持つ自己双対的分解の完全な同値性を確立することにある。

ABSTRACT

In Commutative Algebra structure results on minimal free resolutions of Gorenstein modules are of classical interest. We define Gorenstein modules of finite length over the weighted polynomial ring via symmetric matrices in divided powers. We show that their graded minimal free resolution is selfdual in a strong sense. Applications include a proof of the dependence of the monoid of Betti tables of Cohen-Macaulay modules on the characteristic of the base field. Moreover we give a new proof of the failure of the generalization of Green's Conjecture to characteristic 2 in the case of general curves of genus $2^n -1$.

研究の動機と目的

• 分割冪における対称行列を用いて、重み付き多項式環上の有限長のゴレンシュタイン加群を特徴づける。
• このような加群の最小自由分解が強い自己双対性を有することを確立する。
• クーマカウル加群のBettiテーブルのモノイドが、底体の特徴標に依存することを証明する。
• 一般の種数 $2^n - 1$ の曲線において、特徴標 2 におけるグリーンの予想の失敗について、新たな証明を提供する。
• 特徴標 ≠ 2 の下で、対称的分解を持つ有限長加群は、必ずゴレンシュタイン的であることを示す。

提案手法

• 写像 $\tau: M \to \operatorname{Hom}_k(M,k)(-s)$ が満たすグレード付き同型 $\tau = \operatorname{Hom}_k(\tau,k)(-s)$ を用いて、有限長のゴレンシュタイン加群を定義する。
• 行列 $P$ が分割冪における対称行列であるとき、$M(P) = \bigoplus_{j=1}^p R(b_j)/\operatorname{Ann}_R(P)$ としてそのような加群を商として実現する。
• ニエルセンの分解構成を用いて、自己双対構造を持つ最小自由分解を構築する。
• 双対化ファンクター $(-)^\vee = \operatorname{Hom}_R(\cdot, R(-\sum d_l - s))$ を定義し、分解の双対性を表現する。
• ファンクター的同型 $r_M: M^* \to \operatorname{Ext}^n_R(M, R(-d))$ および $s_M: M \to \operatorname{Ext}^n_R(\operatorname{Ext}^n_R(M), -s)$ を用いて、双対性と対称性を関連付ける。
• 奇数 $m = (n-1)/2$ のパリティによって定まる対称性を示すことにより、分解が自己双対であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 分割冪における対称行列が、関連する商加群をゴレンシュタイン的にするために満たすべき条件は何か？
• RQ2 ゴレンシュタイン加群の最小自由分解の自己双対性は、中間写像の対称性タイプによって特徴づけられるか？
• RQ3 クーマカウル加群のBettiテーブルのモノイドは、底体の特徴標に依存するか？
• RQ4 なぜ、特徴標 2 において、一般の種数 $2^n - 1$ の曲線に対してグリーンの予想は失敗するのか？
• RQ5 有限長加群が対称的分解を持つならば、それは必ずゴレンシュタイン的であるか？

主な発見

• グレード付き $R$-加群 $M$ が有限長であるとき、$M$ がゴレンシュタイン的であるための必要十分条件は、ある分割冪における対称行列 $P$ に対して $M \cong M(P)$ と表せることである。
• 奇数 $n \geq 3$ の場合、ゴレンシュタイン加群の最小自由分解は強く自己双対的である：$0 \leftarrow M \leftarrow F_0 \leftarrow \cdots \leftarrow F_m \leftarrow (F_m)^\vee \leftarrow \cdots \leftarrow (F_0)^\vee \leftarrow 0$ を満たす。
• 中間写像 $\phi_{m+1}$ は $m$ が奇数のときは反対称的、$m$ が偶数のときは対称的であり、双対性のもとでも分解構造が保たれる。
• 特徴標 $\neq 2$ の体上では、自己双対的分解構造がゴレンシュタイン加群を特徴付ける：$M$ がゴレンシュタイン的であることと、指定された自己双対形で正しい対称性を持つ最小分解を持つことは同値である。
• クーマカウル加群のBettiテーブルのモノイドは、底体の特徴標に依存する。これは、$\operatorname{char} k$ に敏感な分解対称性を持つゴレンシュタイン加群の構成により示された。
• ゴレンシュタイン加群の対称的分解構造を用いて、特徴標 2 における一般の種数 $2^n - 1$ の曲線に対するグリーンの予想の失敗が再証明された。