[論文レビュー] A triangulated category without models

Fernando Muro|arXiv (Cornell University)|Mar 11, 2007

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

この論文は、ℤ/4ℤ 上の有限生成射影加群のカテゴリ P(ℤ/4ℤ) に三角系列構造を構成し、それが代数的でもトポロジカルでもないことを証明する。コホロロジー的障害理論と H³ における特定のトーダブラケットの非消滅性を用いて、このカテゴリが任意の安定モデル圏のホモトピー圏の完全な三角系列部分圏として現れえないことを示し、代数的またはトポロジカルな意味でのモデルを持たない最初の例を提供する。

ABSTRACT

We exhibit a triangulated category which is neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category.

研究の動機と目的

• P(ℤ/4ℤ)、すなわち有限生成射影 ℤ/4ℤ-加群のカテゴリに三角系列構造を構成すること。
• 乗法 by 2 を含む非自明なトーダブラケットの存在を示すことにより、この三角系列カテゴリが代数的でないことを証明すること。
• カテゴリが任意の安定モデル圏 M のホモトピー圏 Ho(M) の完全な三角系列部分圏に同値でない、すなわちトポロジカルでないことを確立すること。
• そのコホロロジーにおける普遍的トーダブラケットが与えられた完全三角系列を支持しないことを示すことにより、カテゴリがコホロロジー的に三角系列でないことを証明すること。
• 三角系列カテゴリ理論における基礎的問題を解決すること：すべての三角系列カテゴリが代数的またはトポロジカルなモデルから生じるのかどうか。

提案手法

• ホーラーのフロベニウスカテゴリ上の前三角系列構造理論を用いて、P(ℤ/4ℤ) に一意な三角系列構造を構成する。
• 各写像が 2 倍写像である ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ の列が完全三角系列をなすこと、かつ代数的三角系列カテゴリに必要な 2- torsion 条件を破ることを示す。
• マックレーンコホロロジーおよび移動コホロロジー理論を用いて、H³(𝒫(ℤ/4ℤ), Hom(Σ, –)) における類によって可能な三角系列構造を分類する。
• H³(𝒫(ℤ/4ℤ), Hom(–, ℤ/2ℤ ⊗ –)) を明示的に計算し、それが ℤ/2ℤ に同型であることを示すが、対応するトーダブラケットの群は自明であることを示す。
• [BD89] の普遍的トーダブラケット構成を適用し、Ho(𝒫(ℤ/4ℤ)) 内の任意のトーダブラケットが消える必要があることを示すが、これは非自明な 2- torsion 三角系列の存在と矛盾する。
• コホロロジー類の引き戻しと押し出しの図式的推論を用いて、2–2–2 列に関連するトーダブラケットが任意のトポロジカル実現において消えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 P(ℤ/4ℤ) 上に、代数的でもトポロジカルでもない三角系列カテゴリを構成できるか？
• RQ2 P(ℤ/4ℤ) 内で乗法 by 2 を含む非自明なトーダブラケットの存在が、そのカテゴリが安定モデル圏のホモトピー圏の部分カテゴリとして実現できないことを妨げるか？
• RQ3 マックレーンコホロロジーによるコホロロジー的障害理論は、三角系列カテゴリがモデルを持たないことを検出できるか？
• RQ4 任意の安定モデル圏のホモトピー圏に実現できないトーダブラケット構造を持つ三角系列カテゴリは存在するか？
• RQ5 三角系列カテゴリのコホロロジーにおける普遍的トーダブラケットを用いて、トポロジカル実現可能性を遮断できるか？

主な発見

• カテゴリ P(ℤ/4ℤ) は、恒等関手を移動関手とする一意な三角系列構造を備え、各写像が 2 倍写像である ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ の列が完全三角系列をなす。
• このカテゴリは代数的でない。なぜなら、乗法 by 2 に関連するトーダブラケットが非ゼロであり、代数的三角系列カテゴリでは 2·1_Y = 0 でなければならないという条件を破るからである。
• このカテゴリはトポロジカルでない：任意の安定モデル圏 M のホモトピー圏 Ho(M) に完全忠実な埋め込みができない。
• コホロロジー群 H³(𝒫(ℤ/4ℤ), Hom(–, ℤ/2ℤ ⊗ –)) は ℤ/2ℤ に同型であるが、2–2–2 列に関連するトーダブラケットは任意のトポロジカル実現において消える。
• 矛盾は、カテゴリ内でのトーダブラケットが非ゼロである一方、Ho(𝒫(ℤ/4ℤ)) 内の任意のトーダブラケットは普遍的トーダブラケットの引き戻しでなければならないが、その関数は関連する準同型のもとで消えることから生じる。