[論文レビュー] The geometry of the cyclotomic trace

David Ayala, Aaron Mazel-Gee+1 more|arXiv (Cornell University)|Oct 17, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 10

ひとこと要約

本稿は、1-次元多様体の幾何とGoodwillie微積分における線形化を用いて、トポロジカル循環ホモロジー（TC）および循環トレース写像の新しい幾何的構成を提示する。THH(C)における循環構造は、ループ空間L XにおけるT-不変関数であり、それがループ反復に関して整合的であることに起因することを同定し、ベクトル bundle のモノドロミーのトレースがこれらの条件を満たすことを示す。これにより、K(X) → TC(X) の概念的で、導来的幾何的解釈が得られる。

ABSTRACT

We provide a new construction of the topological cyclic homology $TC(C)$ of any spectrally-enriched $\infty$-category $C$, which affords a precise algebro-geometric interpretation of the cyclotomic trace map $K(X) o TC(X)$ from algebraic K-theory to topological cyclic homology for any scheme $X$. This construction rests on a new identification of the cyclotomic structure on $THH(C)$, which we find to be a consequence of (i) the geometry of 1-manifolds, and (ii) linearization (in the sense of Goodwillie calculus). Our construction of the cyclotomic trace likewise arises from the linearization of more primitive data.

研究の動機と目的

• スペクトル的に豊かに装備された∞-圏に対して、トポロジカル循環ホモロジー（TC）の新しい幾何的意味のある構成を提供すること。
• スキームXに対して、循環トレース写像K(X) → TC(X) の明確な代数幾何的解釈を与えること。
• THH(C)における循環構造が、1-次元多様体の幾何とGoodwillie微積分における線形化に起因することを同定すること。
• 循環トレースがより原始的なデータセットの線形化から生じることを示し、その概念的起源を明確にすること。
• 因子化ホモロジーを通じて、デニスのトレース、ループ空間、T-可換不変量の間の概念的リンクを確立すること。

提案手法

• 豊かに装備された因子化ホモロジーを用いて、THH(C) を自由ループ空間L X上の関数として実現する。すなわち、THH(C) ≃ O(L X) とすること。
• THH(C)における循環構造を、ループ回転のT作用と、Tate構成によるループ反復に関する整合性から生じると同定すること。
• THH×_Vにおける不安定な循環構造を、対角パッケージとカテゴリの族におけるファイバーワイズ余極限を用いて構成すること。
• Tateパッケージと余極限の普遍性を活用して、不安定な構造をTHHにおける完全な循環構造へと上げること。
• Goodwillie微積分とTate構成の微積分的性質の基本的特徴を用いて、不安定な構造から安定な循環構造へと移行すること。
• 安定∞-圏における代数的K理論の普遍性を用いて、循環前トレースを循環トレース写像K(C) → TC(C) に因数分解すること。

実験結果

リサーチクエスチョン

• RQ1 THH(C)における循環構造は、1-次元多様体の幾何を用いてどのように幾何的に理解できるか？
• RQ2 Goodwillie微積分における線形化が、循環トレースの構成において果たす明確な役割は何か？
• RQ3 X上のベクトル bundle のモノドロミーのトレースが、なぜTC類を定義する条件を満たすのか？
• RQ4 因子化ホモロジー枠組みは、THH(C) を自由ループ空間L X上の関数としてどのように実現するか？
• RQ5 T-不変性とループ反復に関する整合性を通じて、TCがTHHからどのように生じるのか、その概念的メカニズムは何か？

主な発見

• THH(C)における循環構造は、1-次元多様体の幾何と因子化ホモロジーのデータの線形化に起因することを同定した。
• 循環トレースK(X) → TC(X) が、T-不変性および繰り返し可能なループ構造を満たすベクトル bundle のモノドロミーのトレースを通じて因数分解されることを示した。
• TC(C) は、T作用のホモトピー固定点としてTHH(C) として構成され、循環構造はTateパッケージとFrobeniusの持ち上げにより符号化されている。
• 不安定な循環トレースは、フレームド1-次元多様体上の因子化ホモロジーを用いて構成され、スパインスペンションと普遍性を用いて安定化された。
• 自然変換Σ∞_+ ι ⇒ TC in Sp が得られ、これは代数的K理論の普遍性によりK(C) を通して因数分解される。
• 主な技術的ステップは、Tate構成の微積分的性質を用いて、不安定な循環構造を安定設定へと上げることであった。