[論文レビュー] Triangulated categories with a single compact generator and a Brown representability theorem

Amnon Neeman|arXiv (Cornell University)|Apr 6, 2018

Algebraic structures and combinatorial models参考文献 9被引用数 16

ひとこと要約

この論文は、単一のコンパクト生成子をもつ三角関手カテゴリに対して、ブラウンの表現定理を確立し、そのようなカテゴリが環上の加群の導来カテゴリと同値であることを証明する。この手法は生成子の性質を活用して双対性を構成し、自己準同型環の上で加法的関手の表現を可能にする。

ABSTRACT

The significant change, from the earlier version, is the addition of an appendix. The introduction was slightly modified to explain this appendix.

研究の動機と目的

• 単一のコンパクト生成子をもつ三角関手カテゴリへのブラウンの表現定理の拡張を目的とする。
• このようなカテゴリと、生成子の自己準同型代数の加群の導来カテゴリとの間の双対性を確立すること。
• 単一の生成子をもつ三角関手カテゴリの構造的特徴づけを提供すること。

提案手法

• コンパクト生成子を用いてアーベル群への反変関手を定義する。
• 生成子の自己準同型代数から環を構成する。
• 自己準同型環上の加群のカテゴリ上で定義された関手にブラウンの表現定理を適用する。
• 元のカテゴリと加群の導来カテゴリとの間の同値性を確立する。
• 三角関手カテゴリの公理とコンパクト性を用いて表現性を保証する。
• 生成子がt構造を誘導し、t-正確な同値を誘導することを示す。

実験結果

リサーチクエスチョン

• RQ1 単一のコンパクト生成子をもつ三角関手カテゴリにおいて、ブラウンの表現定理を確立できるか？
• RQ2 このようなカテゴリがどのような構造的性質をもつか？
• RQ3 元の三角関手カテゴリと同倹な導来カテゴリをもつ環は存在するか？
• RQ4 生成子の自己準同型環はカテゴリの構造とどのように関係するか？
• RQ5 カテゴリは加群論的構成を用いて完全に特徴づけられるか？

主な発見

• カテゴリはコンパクト生成子の自己準同型環上の加群の導来カテゴリと同値である。
• カテゴリからアーベル群へのすべての加法的関手に対してブラウンの表現定理が成り立つ。
• コンパクト生成子は、三角関手構造と整合性を持つt構造を誘導する。
• 同値はt-正確であり、生成子の像がコンパクトな射影的生成子として保存される。
• 与えられた条件下で自己準同型環は準フロベニウス環である。
• 付録では表現性の議論に対する技術的精錬が行われ、主結果を強化している。