[論文レビュー] Completing perfect complexes

Tobias Barthel, Bernhard Keller+1 more|arXiv (Cornell University)|May 28, 2018

Algebraic structures and combinatorial models参考文献 27被引用数 8

ひとこと要約

本稿は、コーシー列を用いた三角圏の完成法を提案し、右コherentな環上の有限生成加群の有界導来圏がその完全複体の圏の完成であることを確立する。主な結果は、完全複体の圏の完成と有限生成加群の有界導来圏との間に自然な三角同値が存在することであり、これはネーター的スキームへと拡張可能で、特異圏の直接的な構成を可能にする。

ABSTRACT

This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented modules over a right coherent ring is the completion of the category of perfect complexes. The result extends to non-affine noetherian schemes and gives rise to a direct construction of the singularity category. The parallel theory of completion for abelian categories is compatible with the completion of derived categories. There are three appendices. The first one by Tobias Barthel discusses the completion of perfect complexes for ring spectra. The second one by Tobias Barthel and Henning Krause refines for a separated noetherian scheme the description of the bounded derived category of coherent sheaves as a completion. The final appendix by Bernhard Keller introduces the concept of a morphic enhancement for triangulated categories and provides a proper foundation for completing a triangulated category.

研究の動機と目的

• 有理数から実数を構成するのと類似した方法で、コーシー列を用いた三角圏のカテゴリカルな完成法の構築。
• 右コherent環 Λ に対して、有界導来圏 D^b(mod Λ) が完全複体の圏 D^per(Λ) の完成として得られることの証明。
• 非アフィンなネーター的スキームに対しても完成構成を拡張し、特異圏を完成化された完全複体の圏のヴェルディエ商として直接記述可能にすること。
• アーベル圏の完成（例えば、有限長加群）と、それに対応する三角圏の導来完成との整合性の確立。
• 特に環スペクトルやネーター的スキームの文脈において、morphic強化とepivalent塔が完成の文脈で果たす役割の解明。

提案手法

• 三角圏 C の逐次的完成  を、インダクティブ完成のフル部分圏として、コーシー列の余極限からなるものとして定義する。
• 幻影射影とミルナーの完全系列を用い、圏が幻影なし条件を満たす場合に、完成が三角圏構造を保つことを保証する。
• 完成 から周囲のコンパクト生成三角圏 T への完全かつ忠実な三角関手を構成し、コーシー列をそのホモトピー余極限へ送る。
• morphic強化の概念を用いて、三角圏の各段階を介して完成プロセスを段階的に持ち上げ、epivalent塔を通じた反復的完成を可能にする。
• マトリス双対性を用いて、有限長加群の完成と導来圏内での双対性を関連付け、三角同値を得る。
• 分離ネーター的スキーム上で、完全複体の圏の完成が有界なコherent層の導来圏を回復することを検証する。

実験結果

リサーチクエスチョン

• RQ1 右コherent環上の有限生成加群の有界導来圏は、コーシー列による完成によって完全複体の圏の完成として実現可能か？
• RQ2 ネーター的スキーム上の完全複体の圏の完成は、コherent層の有界導来圏に一致するか？また、その完成から特異圏をヴェルディエ商として直接構成可能か？
• RQ3 三角圏の完成が、特に正確な三角形の余極限として、三角圏構造をどのように保つか？
• RQ4 アーベル圏の完成（例えば、有限長加群）と、それに対応する三角圏の導来完成との関係は何か？
• RQ5 morphic強化とepivalent塔を通じて、完成プロセスを反復可能か？特に環スペクトルやネーター的スキームの文脈で。

主な発見

• 任意の右コherent環 Λ に対して、D^per(Λ) の完成と D^b(mod Λ) の間には自然な三角同値が存在し、完成関手はコーシー列をその余極限へ送る。
• ネーター的スキーム X 上のコherent層の有界導来圏は、X 上の完全複体の圏の完成と同型であり、直接的なカテゴリカルな構成を与える。
• ネーター的スキーム X の特異圏は、完成化された完全複体の圏を元の完全複体の圏で割ったヴェルディエ商として自然に実現される。
• 完全局所環上のネーター代数 Λ に対して、有限長 Λ-加群の圏の完成は、アーティン的 Λ-加群の圏と一致する。
• マトリス双対性を用いて、D^b(mod Λ)^op、D^b(ĥfl Γ)、および D^b(fl Γ) の完成との間で三角同値を確立し、双対性と完成を結びつける。
• 右コherent環 Λ の完全導来圏の、有界コーシー列による完成は、mod Λ の有界導来圏に対応し、morphic強化とepivalent塔を通じて環スペクトルやネーター的スキームへと拡張可能である。