[論文レビュー] Derived Hall algebras for stable homotopy theories

Julia E. Bergner|arXiv (Cornell University)|Oct 9, 2009

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

ひとこと要約

この論文は、安定ホモトピー理論へのトゥエンの導来ハル algebra の構成を拡張し、特に有限性条件を課した安定完全セガール空間を用いる。導来ハル数の公式をホモトピー・ファイバー積と Ext 群を用いて確立し、モデル圏を超えてより広範なホモトピー的設定へと代数的構造を一般化する。

ABSTRACT

In this paper we extend Toën's derived Hall algebra construction, in which he obtains unital associative algebras from certain stable model categories, to one in which such algebras are obtained from more general stable homotopy theories, in particular stable complete Segal spaces satisfying appropriate finiteness assumptions.

研究の動機と目的

• 安定モデル圏からより一般的な安定ホモトピー理論へ、トゥエンの導来ハル代数構成を一般化すること。
• 既存の構成における有限性仮定の制限、特にルート圏のような非ファイナリティを持つ三角圏に対して解決すること。
• モデル圏が制限的すぎる設定、例えばモデル圏から生じない導来圏においてもホモトピー論的ツールを用いることを可能にすること。
• 将来的な導来ハル代数上のコールゲブラやホップ代数構造に関する研究の基盤を築くこと。
• 導来圏単体では捉えきれないより多くのホモトピー的情報を捉えることができる完全セガール空間を用いたフレームワークを提供すること。

提案手法

• $(∞,1)$-圏のモデルとして安定完全セガール空間を用い、安定ホモトピー理論を表現する。
• トゥエンのモデル圏のホモトピー・ファイバー積を、完全セガール空間のホモトピー・プルバックに置き換える。
• 写像空間のホモトピー・ファイバー、特に $F^z_{x,y}$（$\text{equiv}(W\downarrow z)$ の対象が $x' \to z$ かつ $x' \simeq x$ でそのコーンが $y$ であるような全単射部分圏のホモトピー型）を用いて導来ハル数を定義する。
• 写像空間のファイブレーションから導かれるホモトピー群の長完全系列を用い、$\pi_i(F^z_{x,y}, u)$ を $\text{Ext}^{-i}(x,z)$ および $\text{Ext}^{-i}(x,x)$ と関連付ける。
• ホモトピー群のオイラー特性を用いて導来ハル数の公式を導出する：$g^z_{x,y} = \sum_{[f] \in \pi_0(F^z_{x,y})} \prod_{i>0} |\pi_i(F^z_{x,y}, u)|^{(-1)^i}$。
• 重要な恒等式を確立する：$\prod_{i>0} |\pi_i(F^z_{x,y}, u)|^{(-1)^i} = |\text{Aut}(f/z)|^{-1} \cdot \prod_{i>0} |\text{Ext}^{-i}(x,z)|^{(-1)^i} \cdot |\text{Ext}^{-i}(x,x)|^{(-1)^{i+1}}$。

実験結果

リサーチクエスチョン

• RQ1 トゥエンの元々のモデル圏フレームワークで要求される有限性条件を満たさない三角圏に対し、導来ハル代数を構成することは可能か？
• RQ2 ホモトピー論的ツールは、安定完全セガール空間の文脈でどのようにしてハル代数を定義するために適応可能か？
• RQ3 完全セガール空間を用いる場合、ホモトピー群と Ext 群を用いた導来ハル数の明確な公式は何か？
• RQ4 この一般化された設定において、コールゲブラやホップ代数のような追加の代数的構造を導来ハル代数構造へ拡張することは可能か？
• RQ5 完全セガール空間は、モデル圏に比べて、導来ハル代数構成においてどれほど柔軟で情報豊かなフレームワークを提供するか？

主な発見

• 導来ハル数 $g^z_{x,y}$ は公式 $g^z_{x,y} = \frac{|[x,z]_y| \cdot \prod_{i>0} |\text{Ext}^{-i}(x,z)|^{(-1)^i}}{|\text{Aut}(x)| \cdot \prod_{i>0} |\text{Ext}^{-i}(x,x)|^{(-1)^i}}$ で与えられる。ここで $[x,z]_y$ はコーンが $y$ に同型であるような $x \to z$ の写像の集合である。
• 終点写像 $t: X^{(1)} \to X^{(0)}$ における $z$ でのホモトピー・ファイバー $F^z_{x,y}$ は、$\text{equiv}(W\downarrow z)$ のホモトピー型とホモトピー的同値であり、その $\pi_0$ は $[x,z]_y / \text{Aut}(x)$ を分類する。
• ホモトピー群 $\pi_i(F^z_{x,y}, u)$ は、写像空間のファイブレーションから導かれる長完全系列により $\text{Ext}^{-i}(x,z)$ および $\text{Ext}^{-i}(x,x)$ と関連づけられる。
• 写像 $f \in [x,z]_y$ に対する $\text{Aut}(x)$ による安定化 $\text{Aut}(f/z)$ は、公式において $|\text{Aut}(f/z)|^{-1}$ の形で現れ、自己同型の重複カウントを是正する。
• この公式で定義される乗法に関して、導来ハル代数は結合的であり、トゥエンの結果を完全セガール空間へ一般化する。
• この構成は適切な有限性仮定を満たす安定完全セガール空間に対して有効であり、モデル圏を超えて、モデル圏から生じない導来圏を含む範囲へとその適用範囲を拡張する。