[論文レビュー] Annihilation of cohomology and strong generation of module categories

Srikanth B. Iyengar, Ryo Takahashi|arXiv (Cornell University)|Apr 5, 2014

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

ひとこと要約

この論文は、noetherian環の加群圏におけるコhomologyアニュレーターと強い生成の間に深い関係を確立する。優れた局所環および体上有限型の環に対して、コhomologyアニュレーターに正則因子を含むことは、有界導来圏の強い有限生成性を示し、Rouquier、Keller–Van den Bergh、Aihara–Takahashiらの先行研究を一般化する。

ABSTRACT

The cohomology annihilator of a noetherian ring that is finitely generated as a module over its center is introduced. Results are established linking the existence of non-trivial cohomology annihilators and the existence of strong generators for the category of finitely generated modules. Exploiting this link, results of Popescu and Roczen, and Wang concerning cohomology annihilators of commutative rings, and also results of Aihara and Takahashi, Keller and Van den Bergh, and Rouquier on strong finite generation of the corresponding bounded derived category, are generalized to cover excellent local rings and also rings essentially of finite type over a field.

研究の動機と目的

• noetherian環の加群圏におけるコhomologyアニュレーターと強い生成の関係を明確化すること。
• 有界導来圏の強い生成に関する既存の結果を、優れた局所環および体上有限型の環へ一般化すること。
• コhomologyアニュレーターを用いて、環の特異的集合が閉じている条件を確立すること。
• 導来圏におけるコhomologicalな消滅と生成性の性質を統一的に結びつける枠組みを提供すること。
• Popescu–Roczen、Wang、Aihara–Takahashi、Keller–Van den Bergh、Rouquierらの結果を、より広い環のクラスへ拡張すること。

提案手法

• 任意の有限生成 $\Lambda$-加群 $M,N$ に対して $\operatorname{Ext}^n_\Lambda(M,N)$ の annihilator の共通部分として、$\mathsf{ca}(\Lambda)$ を定義する。
• 任意の $\operatorname{mod}\Lambda$ において、$G$ が強生成子であるとは、任意の加群が $\operatorname{add} G$ の商と $G$ の syzygy を持つフィルトレーションを持つことである。
• noetherの微分と局所双対性を用いて、コhomologyアニュレーターと特異的集合 $\operatorname{Sing}\Lambda$ を関連付ける。
• 三角圏理論の結果、特に $\mathsf{D}_{\rm sg}(\Lambda)$ および $\mathsf{D}^b(\operatorname{mod}\Lambda)$ における厚い部分圏と生成性を応用する。
• $\Lambda$ がパラメータ $s$ を持つ強生成子を持つとき、$\mathcal{V}(\mathsf{ca}^{s+d+1}(\Lambda)) = \operatorname{Sing}\Lambda$ を示す。ここで $d$ は特異的集合外でのグローバル次元の上限である。
• 既知の導来圏の生成性およびコhomologicalアニュレーターに関する結果を活用し、体上有限型の環や等特徴的優れた局所環 $R$ に対して $\mathsf{D}^b(R)$ の強い有限生成性を証明する。

実験結果

リサーチクエスチョン

• RQ1 コhomologyアニュレーターイデアル $\mathsf{ca}(\Lambda)$ が正則因子を含む条件は何か？ そしてこれは $\Lambda$ の特異的集合にどのような意味を持つのか？
• RQ2 $\operatorname{mod}\Lambda$ に強生成子が存在するとき、コhomologyアニュレーターの構造はどのように関係するか？
• RQ3 コhomologyアニュレーターを用いて、優れた局所環および体上有限型の環に対して $\mathsf{D}^b(R)$ の強い有限生成性を確立できるか？
• RQ4 $\mathsf{ca}^n(\Lambda)$ と特異的集合 $\operatorname{Sing}\Lambda$ の正確な関係は何か？
• RQ5 導来圏の強い生成に関する結果は、既知の完全体および完全局所環のケースを超えて、どの程度一般化可能か？

主な発見

• noetherian環 $\Lambda$ が中心を含む有限生成 $\Lambda$-加群圏において、パラメータ $s$ を持つ強生成子を持つならば、$\mathcal{V}(\mathsf{ca}^{s+d+1}(\Lambda)) = \operatorname{Sing}\Lambda$ が成り立つ。ここで $d = \sup\{\operatorname{gldim}\Lambda_\mathfrak{p} \mid \mathfrak{p} \notin \operatorname{Sing}\Lambda\}$ である。
• 任意の等特徴的優れた局所環 $R$ または体上有限型の環に対して、導来圏 $\mathsf{D}^b(R)$ は強い有限生成である。
• この結果は、Rouquier（完全体の場合）、Keller–Van den Bergh（一般の体の場合）、Aihara–Takahashi（完全な残渣体を持つ完全局所環の場合）の先行研究を一般化する。
• 例として $R = k[[x,y,z,w]]/(x^2 - y^2, y^2 - z^2, z^2 - w^2)$ を考える。このとき $xyz$ は $\mathsf{ca}^2(R)$ 内の正則因子であり、$\dim \mathsf{D}^b(R) \geq 2$ が成り立ち、コドメイン条件と整合的である。
• 環 $R = k[[t^{16}, t^{17}, t^{18}, t^{20}, t^{24}]]$ は整域であり、$t^{64}R \subseteq \mathsf{ca}^2(R)$ であり、$\dim \mathsf{D}^b(R) \geq 3$ である。これは、高次のコhomologyアニュレーターが高次元の導来圏に対応しうることを示している。
• 論文は、$a \in \mathsf{ca}^n(\Lambda)$ が正則因子であるとき、$\mathsf{D}^b(\Lambda)$ が $a$- torsion 複体の部分圏と $\operatorname{thick}^n_\mathsf{D}(\Lambda)$ の積に分解されることを示し、コhomologyアニュレーターと導来圏の構造的分解との直接的な関係を確立している。