[論文レビュー] On the (non)vanishing of some "derived" categories of curved dg algebras

Bernhard Keller, Wendy Lowen+1 more|ArXiv.org|May 23, 2009

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

ひとこと要約

本稿は、曲がった微分 graded (dg) 代数に対する導来圏の非消滅を調査し、特定の変形された dg 代数—例えば、$k[u,u^{-1}]$ と初期の曲がった代数 $k[c]$、$k[c]/c^n$—に対して、元の通常の dg 代数の古典的導来圏を変形するような、意味のある導来圏を定義することはできないことを示している。主な結果は、体上では、バー導来圏および他の候補導来圏が、これらの代数に対して消えることであり、曲がった設定における導来変形理論に根本的な障害があることを示している。

ABSTRACT

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of "derived" categories have been introduced in the literature. In this note, we show that for some concrete curved dg algebras, these derived categories vanish. This happens for example for the initial curved dg algebra whose module category is the category of precomplexes, and for certain deformations of dg algebras.

研究の動機と目的

• 曲がった dg 代数に対して、その下位の通常の dg 代数の古典的導来圏を変形するような、意味のある導来圏が定義可能かどうかを特定すること。
• dg 代数の変形によって生じる曲がった代数の文脈における導来圏構成の失敗を調査すること。
• 非ゼロの曲がりが存在する状況において、曲がった dg 代数の導来圏が消える条件を明確にすること。
• バー導来圏や第二種導来圏といった代表的な導来圏構成が、曲がりと基底変換の下でどのように振る舞うかを分析すること。
• 曲がった dg 代数に対する普遍的な導来圏構成が、自然な公理を同時に満たし、かつ通常の dg 代数の古典的導来圏と一致するようなものであるとは言えないことを確立すること。

提案手法

• 著者たちは、曲がった dg 代数のホモトピー圏を分析し、『導来』圏に関する公理的条件に基づいて、消滅対象を定義する。
• ホモトピー圏における階数付き射影的および階数付き小対象の存在を、導来圏の非消滅の基準として検討する。
• [9] におけるバー導来圏構成を適用し、体上での非ゼロ曲がりを持つ曲がった代数に対してその消滅を証明する。
• 強い基底変換性質を用いて、初期の曲がった代数 $k[c]$ および $k[c]/c^n$ での消滅が、多くの変形についても成立することを示す。
• ポジーツェルスキーの枠組みと階数付き代数上のホモロジー代数を用いて、絶対的、反導来的、コドメイン、第二種導来圏といった異なる導来圏構成を比較する。
• 既知のホモトピー的射影性および階数付きホモロジー次元の結果を活用し、導来圏が非ゼロである条件を特定する。

実験結果

リサーチクエスチョン

• RQ1 曲がった dg 代数に対して、その下位の通常の dg 代数の古典的導来圏を変形する導来圏を定義できるか？
• RQ2 なぜ非ゼロ曲がりを持つ曲がった dg 代数において、バー導来圏が体上で消えるのか？
• RQ3 第二種導来圏は強い基底変換性質を満たすのか？ そして、これはその非消滅にどのように影響するか？
• RQ4 階数付き射影的および階数付き小対象が、導来圏が非ゼロであるかどうかを決定する上で果たす役割は何か？
• RQ5 なぜ $k[u,u^{-1}]$ に曲がりを加えたような一部の変形された曲がった dg 代数は、意味のある導来圏をもたないのか？

主な発見

• 任意の非ゼロ曲がりを持つ体上の曲がった dg 代数 $A$ に対して、バー導来圏 $D_{\mathrm{bar}}(A)$ は消える。
• $c$ を次数 2 に持つ初期の曲がった dg 代数 $k[c]$ に対して、任意の意味のある『導来』圏の公理的定義のもとで、導来圏 $D_{?}(k[c])$ は消える。
• $u$ を次数 2 に持ち、曲がりが $u$ である $A = k[u]$ の変形 $ar{A}$ は、第二種導来圏が非ゼロであるが、これは古典的導来圏 $D(A)$ を変形しない。
• 第二種導来圏は $k[c]$ では消えるが、一部の曲がった dg 代数に対して非ゼロである。これは、強い基底変換性質を満たさないためである。
• 階数付き代数 $A$ が有限ホモロジー次元を持つ場合、導来圏 $D(A)$ は階数付き射影的加群の完全な部分圏と同値であるが、曲がった状況ではこの同値性は成立しない。
• ホモトピー圏に非可縮の階数付き射影的または階数付き小対象が存在しない場合、導来圏が非ゼロであることは妨げられる。これは、多くの変形された曲がった代数で生じる。