[論文レビュー] What makes a multi-complex exact?

Satoshi Mochizuki, Seidai Yasuda|arXiv (Cornell University)|May 29, 2013

Commutative Algebra and Its Applications参考文献 5被引用数 3

ひとこと要約

本稿では、有限集合Sのべき集合によってインデックス付けられた多複体（S-キューブ）の全複体が完全であるための十分条件を確立する。これは、可換環上の複体の完全性に関するBuchsbaum-Eisenbudの基準を一般化したものである。本稿では、帰納的な単射および余核条件を用いて「適切なキューブ」の概念を導入し、もしキューブが正則随伴行列を備えるならば、その全複体はFitting理想の階数条件を満たし、完全性が保証される。

ABSTRACT

In this paper, we give a sufficient condition which makes the total complex of a cube exact. This can be regarded as a variant of the Buchsbaum-Eisenbud theorem which gives a characterization of what makes a complex of finitely generated free modules exact in terms of the grade of the Fitting ideals of boundary maps of the complex.

研究の動機と目的

• 可換環上の複体の完全性に関するBuchsbaum-Eisenbud基準を、特にS-キューブの文脈に一般化すること。
• 「適切なキューブ」を定義し、多複体的文脈における0-球的複体のカテゴリカルな類似物として特徴付けること。
• S-キューブの全複体が完全であるための十分条件を、Fitting理想の階数条件を用いて確立すること。
• S-キューブが正則随伴行列を備えるならば、その全複体がBuchsbaum-Eisenbud条件を満たすことを示すこと。
• Koszul型キューブに結果を適用し、要素の積の族が正則列をなすならば、元の族に対しても正則列が成り立つことを証明すること。

提案手法

• S-キューブを、有限集合Sのべき集合からアーベル圏への反変関手として定義する。
• 適切なキューブを帰納的に定義する：各境界写像において単射であり、余核が低次元における適切なキューブを形成する。
• 正則随伴行列を、特定の整合性および単射条件を満たす要素の族として定義する。
• 全複体の境界写像に対するFitting理想を構成し、その階数がキューブの適切性と関連することを示す。
• S-キューブが正則随伴行列を備えるならば、全複体がBuchsbaum-Eisenbudの階数条件を満たすことを証明する。
• 主定理を、可換環内の要素の族に付随する典型的なキューブ構成に適用し、Koszul複体および正則列と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 S-キューブの全複体が完全であることを保証する条件は何か。これはBuchsbaum-Eisenbud基準の一般化である。
• RQ2 0-球的複体の概念を、適切なキューブの概念を用いて多複体的文脈へとどのように拡張できるか。
• RQ3 正則随伴行列がS-キューブの全複体の完全性を保証するために果たす役割は何か。
• RQ4 Fitting理想の階数条件は、多複体的文脈におけるキューブの適切性とどのように関係するか。
• RQ5 積の族が正則列をなすとき、元の要素の族が正則列をなすための条件は何か。

主な発見

• S-キューブが正則随伴行列を備えるための必要十分条件は、その全複体がBuchsbaum-Eisenbudの階数条件を満たすことである。
• S-キューブが適切であるならば、その全複体は完全である。
• 可換環内の要素の族に付随する典型的なキューブの全複体は、Koszul複体と同型である。
• 積の族{f_s g_s}がA-列をなすとき、かつ各f_sが正則でないならば、元の族{f_s}もA-列である。
• 自由加群からなるS-キューブの全複体について、Fitting理想の階数条件は、正則随伴行列が存在するとき、キューブが適切であることと同値である。