[論文レビュー] Tannaka duality over ring spectra

James Wallbridge|arXiv (Cornell University)|Apr 25, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 6

ひとこと要約

この論文は、可換環スペクトル上の$(\infty,1)$-圏に対するタンナカ双対性定理を確立し、古典的タンナカ双対性を導来代数幾何に一般化する。導来群スタック（またはゲルベ）の圏が、ファイバー関手を備えたリジッドな対称モノイダル$(\infty,1)$-圏の圏と同値であることを証明し、$E_\infty$-環スペクトルおよび安定ホモトピー論の文脈へ古典的結果を拡張する。

ABSTRACT

We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular structure. This duality theorem is defined over commutative ring spectra and subsumes the classical statement. We show how the classical theory, and its extension over arbitrary rings, arises as a special case of our more general theory. The application to perfect complexes is explored.

研究の動機と目的

• 可換環スペクトル上の$(\infty,1)$-圏の文脈へ古典的タンナカ双対性を拡張すること。
• アフィン群スキームとタンカニアン圏の間の双対性を導来的およびスペクトル的文脈へ一般化すること。
• 古典的理論が、リジッド$(\infty,1)$-圏とファイバー関手を通じて新しいフレームワークの特別な場合として得られることを示すこと。
• 導来群スタックとリジッドな対称モノイダル$(\infty,1)$-圏（ファイバー関手を備える）との間の完全忠実な随伴を確立すること。
• スペクトル代数的技法を用いて、完全複体および導来代数幾何への応用を探索すること。

提案手法

• $(\infty,1)$-圏および対称モノイダル構造の枠組みを用いて、古典的タンナカ双対性を一般化する。
• グロタンディークの、基本群の族をファイバー関手の自己同型群として捉える哲学を、導来的文脈へ適用する。
• すべての対象が双対可能であるリジッド$(\infty,1)$-圏の概念を用い、有限次元ベクトル空間の安定ホモトピー論的類似をモデル化する。
• 対称モノイダル$(\infty,1)$-圏から自由なリジッド圏を構成するためのリジディフィケーション関手$(\bullet)^{\text{rig}}$を定義する。
• ファイバー関手と完全複体の間の随伴$\textup{Fib}_* \dashv \textup{Perf}_*$を用いて双対性を確立する。
• $(\infty,1)$-圏的文脈におけるスタック、ゲルベ、およびホプフ代数の理論を含む、導来代数幾何の結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 古典的タンナカ双対性は、$E_\infty$-環スペクトル上の$(\infty,1)$-圏の文脈へどのように一般化できるか？
• RQ2 対称モノイダル$(\infty,1)$-圏にファイバー関手を備えると、どのような条件下で導来群スタックが再構成可能か？
• RQ3 古典的タンナカ双対性（体上のアフィン群スキームについて）は、新しいスペクトル的フレームワークの特別な場合としてどのように現れるか？
• RQ4 リジディティは、$(\infty,1)$-圏的文脈におけるタンナカ双対性の一般化において果たす役割は何か？
• RQ5 環スペクトル上の完全複体は、導来ゲルベとリジッド圏の間の双対性とどのように関係するか？

主な発見

• 論文は、ポイント付きタンナカ双対性定理を証明する：導来群スタックからリジッドな対称モノイダル$(\infty,1)$-圏（ファイバー関手を備える）への関手$\textup{Perf}_*$は完全忠実である。
• 随伴$\textup{Fib}_* \dashv \textup{Perf}_*$は、導来群スタックの圏とリジッドな対称モノイダル$(\infty,1)$-圏（ファイバー関手を備える）の圏との間の同値性を誘導する。
• $E_\infty$-環が体で、トポスが自明な場合に、古典的タンナカ双対性（体上のアフィン群スキームについて）が特別な場合として回復される。
• $(\infty,1)$-圏内の対象の双対可能性は、ホモトピー圏における双対の存在に一致し、安定的かつ整合的な双対構造を保証する。
• リジディフィケーション関手$(-)^{\text{rig}}$は、与えられた対称モノイダル$(\infty,1)$-圏上での自由なリジッド圏を構成する方法を提供し、双対可能な対象の構成を可能にする。
• リジッド圏における転置写像の構成は、同値$C(x,y) \simeq C(y^\vee, x^\vee)$を誘導する。これは、テンソル圏における古典的双対性を一般化する。