[論文レビュー] Duality and Tilting for Commutative DG Rings

Amnon Yekutieli|arXiv (Cornell University)|Dec 22, 2013

Algebraic structures and combinatorial models参考文献 32被引用数 19

ひとこと要約

本稿は、可換微分付き可換環（DG環）における双対性とティルティングに関する基礎的結果を確立し、完全、ティルティング、双対化、コhen＝マカウレイ、および剛性のあるDG加群を導入し、それらを分析する。幾何的完全DG加群は代数的完全DG加群に一致すること、DG環の導来Picard群はその零次コホモロジー環のそれへ双対的に写像されること、そして剛性のある双対化DG加群は唯一の剛性同型を除いて一意的であること、これらは導来代数的幾何におけるグローテンディーク双対性のための主要な道具を提供する。

ABSTRACT

We consider commutative DG rings (better known as nonpositive strongly commutative associative unital DG algebras). For such a DG ring $A$ we define the notions of perfect, tilting, dualizing, Cohen-Macaulay and rigid DG $A$-modules. Geometrically perfect DG modules are defined by a local condition on $\operatorname{Spec} \bar{A}$, where $\bar{A} := \operatorname{Spec} \, \operatorname{H}^0(A)$. Algebraically perfect DG modules are those that can be obtained from $A$ by finitely many shifts, direct summands and cones. Tilting DG modules are those that have inverses w.r.t. the derived tensor product; their isomorphism classes form the derived Picard group $\operatorname{DPic}(A)$. Dualizing DG modules are a generalization of Grothendieck's original definition (and here $A$ has to be cohomologically pseudo-noetherian). Cohen-Macaulay DG modules are the duals (w.r.t. a given dualizing DG module) of finite $\bar{A}$-modules. Rigid DG $A$-modules, relative to a commutative base ring $K$, are defined using the squaring operation, and this is a generalization of Van den Bergh's original definition. The techniques we use are the standard ones of derived categories, with a few improvements. We introduce a new method for studying DG $A$-modules: Cech resolutions of DG $A$-modules corresponding to open coverings of $\operatorname{Spec} \bar{A}$. Here are some of the new results obtained in this paper:... [truncated] The functorial properties of Cohen-Macaulay DG modules that we establish here are needed for our work on rigid dualizing complexes over commutative rings, schemes and Deligne-Mumford stacks. We pose several conjectures regarding existence and uniqueness of rigid DG modules over commutative DG rings.

研究の動機と目的

• 可換DG環に対する双対性とティルティングの包括的な理論を構築し、可換代数の古典的概念をDG設定に一般化すること。
• 完全、ティルティング、双対化、コhen＝マカウレイ、および剛性のあるDG加群に関する基礎的結果を、特にグローテンディーク双対性の文脈で確立すること。
• 特に底環が体でない算術的状況において、可換DG環上での剛性のある双対化複体のフレームワークを提供すること。
• DG加群の局所的および大域的性質を研究するための新しい技術的道具として、$ar{A} = ext{H}^0(A)$ 上の開被覆に対応するČech分解を導入すること。
• 標準的写像$ ext{DPic}(A) o ext{DPic}(ar{A})$ の全単射性と、剛性のある双対化DG加群が剛性同型を除いて一意的であることの証明。

提案手法

• DG環$ ext{Spec}ar{A}$ 上の局所的条件により幾何的完全DG加群を定義し、有限個のシフト、直和成分、およびコーンの組み合わせにより代数的完全DG加群を定義する。
• 導来テンソル積における逆元を持つDG加群としてティルティングDG加群を導入し、導来Picard群$ ext{DPic}(A)$ を形成する。
• コホモロジー的に擬ノエター的DG環に対して、グローテンディークの元来の定義を一般化して双対化DG加群を定義する。
• 固定された双対化DG加群に関して、有限$ar{A}$-加群の双対としてコhen＝マカウレイDG加群を定義する。
• $ ilde{A} o A$ をK-平坦解体とするとき、$ ext{Sq}_{A/b{K}}(M) = ext{RHom}_{ ilde{A} ensor ilde{A}}(A, M ensor^{b{L}}_{b{K}} M)$ を用いて、底環$b{K}$ に関する剛性DG加群を定義する。
• DG加群のČech分解を、$ ext{Spec}ar{A}$ の開被覆に対応させる新しい技術的道具として用い、局所から大域への性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 可換DG環上での幾何的完全DG加群は、代数的完全DG加群と同値か？
• RQ2 可換DG環$A$に対して、標準的群準同型$ ext{DPic}(A) o ext{DPic}(ar{A})$ は全単射か？
• RQ3 導来Picard群$ ext{DPic}(A)$ は、双対化DG$A$-加群の同型類の集合に単純推移的に作用するか？
• RQ4 コホモロジー的全射DG環準同型に関して、コhen＝マカウレイDG加群は不変か？
• RQ5 可換DG環上での剛性のある双対化DG加群は、唯一の剛性同型を除いて一意的か？

主な発見

• 幾何的完全DG加群は代数的完全DG加群に一致し、DG設定における重要な同値性を確立する。
• 標準的写像$ ext{DPic}(A) o ext{DPic}(ar{A})$ は全単射であり、DG環の導来Picard群とその零次コホモロジー環のそれとを結びつける。
• 導来Picard群$ ext{DPic}(A)$ は、双対化DG$A$-加群の同型類の集合に単純推移的に作用する。
• コhen＝マカウレイDG加群は、コホモロジー的全射DG環準同型に関して不変であり、特定の写像の下でも安定であることを示す。
• 剛性のある双対化DG加群は、唯一の剛性同型を除いて一意的である。これは基礎的な一意性結果である。
• 予想9.8では、剛性のある双対化DG加群がコホモロジー的本質的に滑らかまたは有限型の準同型に沿って持ち上げられることを提案し、既知の結果をDG設定に拡張する。