[論文レビュー] The Cosmic Galois group as Koszul dual to Waldhausen's A(pt)

Jack Morava|arXiv (Cornell University)|Aug 23, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 3

ひとこと要約

本稿では、モチーフ的ガロア理論に由来する宇宙的ガロア群が、スペクトルの導来圏と位相的循環ホモロジーを用いて、ワルドハイムのA(*)-理論スペクトルとカルシューズ双対であると提唱する。位相的K理論の環スペクトルとそのカルシューズ双対との間に、THHおよびTCを介した双対性を確立し、モチーフ的構造とホモトピー論を結びつける。さらに、準対称関数や奇数のゼータ値との関係を明らかにする。

ABSTRACT

K. Hess's theory of homotopical descent, applied to the large categories of motives defined recently by Blumberg, Gepner, and Tabuada, suggests that the Koszul dual of Waldhausen's K-theory of the sphere spectrum, regarded as a supplemented algebra via the Dennis trace, plays a very general role as a kind of motivic group. After tensoring with the rationals, the resulting Hopf algebra has close relations to the ring of quasi-symmetric functions and work of Baker and Richter on one hand, and on the other to work of Deligne and others on the motivic group for mixed Tate motives.

研究の動機と目的

• モチーフ的圏の文脈において、宇宙的ガロア群とワルドハイムのA(*)-理論との関係を調査すること。
• K理論と位相的循環ホモロジー（TC）スペクトルとの間のカルシューズ双対性枠組みを確立すること。
• A(*)-理論に倣ったスペクトル圏を用いて、代数的幾何学のモチーフ的構造と安定ホモトピー論を統一すること。
• 代数的多様体のベティ実現が、このモチーフ的枠組みにどのように適合するかを調査すること。
• 有理化されたTCおよび線形化されたモチーフ的圏を用いて、多様体のモチーフとその底辺となる位相的空間の安定ホモトピー型を一致させること。

提案手法

• ワルドハイムのA(*)-理論スペクトルを基底とする、前モチーフの大きなスペクトル圏を、完全∞カテゴリー間の正確関手のK理論を用いて構成する。
• カルービ・ヴィラマヨール風の局所化を用いて、この圏の前三角的完備化を定義し、グロタンディークのモチーフの構成を一般化する。
• K理論スペクトル$K(\$)$にカルシューズ双対性を適用し、その双対を$\mathrm{RHom}_{K(\$)}(\$, \$)$として特定する。これは宇宙的ガロア群の群代数をモデル化する。
• 位相的循環ホモロジー（TC）およびTHHを用いて、$\$_\dagger{\rm TC}$-コモジュールにおける射対象を持つ、モチーフ的圏の巡回的変種を構築する。
• TCに基づくモチーフ的圏の線形化されたバージョンを導入し、有理化された射対象が有理化された安定ホモトピー群を回復することを示す。
• 循環的トレースを用いて$K(\$)$と$TC(\$)$を関連付け、奇数の正規素数において$TC(\$)$を$\$∨ \Sigma \mathbb{C}P^\infty_{-1}$と特定し、THHおよびTCを介した双対性構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 宇宙的ガロア群は、どのようにワルドハイムのA(*)-理論スペクトルのカルシューズ双対として実現可能か？
• RQ2 位相的循環ホモロジー（TC）は、K理論とその双対との間のモチーフ的双対性を実現するために果たす役割は何か？
• RQ3 代数的多様体のベティ実現は、A(*)-理論から構築されたモチーフ的圏とどのように関係するか？
• RQ4 TCから導かれる有理化されたモチーフ的圏は、有限スペクトルの有理化された安定ホモトピー圏を回復できるか？
• RQ5 この双対性枠組みに現れる準対称関数および奇数のゼータ値の意義は何か？

主な発見

• $K(\$)$のカルシューズ双対は$\$_\dagger{K(\$)} = \mathrm{RHom}_{K(\$)}(\$, \$)$として特定され、これは宇宙的ガロア群の群代数をモデル化する。
• 有理化されたカルシューズ双対$\$_\dagger{K(\$)} \otimes \mathbb{Q}$は、$\mathbb{Q}$上での準対称関数の代数と同型であり、自由リーリングをもつプロ-ユニポテンツ群に対応する。
• 循環的トレースにより、奇数の正規素数において$TC(\$)$が$\$∨ \Sigma \mathbb{C}P^\infty_{-1}$と特定され、THHおよびTCを介した双対性枠組みが可能になる。
• 線形化されたモチーフ的圏$\mathsf{Mot}^{\rm lin}_{{\rm TC}_\dagger}$の有理化された射対象は$[Y, X]_{\mathbb{Q}}$と同型であり、有理化された安定ホモトピー圏を回復する。
• この構成は、ホモトピー固定点のTHHからTCへのコアアセンブル写像$\mathrm{TC}(DX) \to [X_+, \mathrm{TC}(\$)]$の存在を示唆し、$\mathbb{T}$-可換構造を通じて関連づける。
• $\mathbb{T}$-作用が奇数次元における生成子のリーリングに作用する様子は、混合テイトモチーフのデリーニュのモチーフ的ガロア群と一致し、算術的ゼータ値と関連づけられる。