[論文レビュー] Topological cyclic homology via the norm

Vigleik Angeltveit, Andrew J. Blumberg+4 more|arXiv (Cornell University)|Jan 20, 2014

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

この論文は、Bökstedtの整合性機構を回避して、等変直交スペクトルにおけるHill-Hopkins-Ravenelの乗法的ノルムを用いて、トポロジカル循環ホモロジー（TC）およびその類縁を構成する。ノルムを用いて、トポロジカルホッフホルンホモロジー（THH）に巡回構造を確立し、環 $C_n$-スペクトルや循環的 $A$-代数をベースにした相対的TRおよびTC理論を定義し、スペクトル系列とTRおよびTC上のアダムズ作用の自然な定義を提供する。

ABSTRACT

We describe a construction of the cyclotomic structure on topological Hochschild homology ($THH$) of a ring spectrum using the Hill-Hopkins-Ravenel multiplicative norm. Our analysis takes place entirely in the category of equivariant orthogonal spectra, avoiding use of the Bökstedt coherence machinery. We are able to define versions of topological cyclic homology ($TC$) and TR-theory relative to a cyclotomic commutative ring spectrum $A$. We describe spectral sequences computing this relative theory $_ATR$ in terms of $TR$ over the sphere spectrum and vice versa. Furthermore, our construction permits a straightforward definition of the Adams operations on $TR$ and $TC$.

研究の動機と目的

• THHにおける巡回構造の新しい、内在的な構成を、Bökstedtの整合性機構に依存せずに乗法的ノルムを用いて行う。
• 環 $C_n$-スペクトルまたは循環的可換環スペクトル $A$ に関する代数から出発するTRおよびTC理論の相対的版を定義する。
• 相対的 $A$-TRが球体スペクトル上の絶対的TRと関係するスペクトル系列を確立する。
• 等変安定ホモトピー論におけるノルム構造を用いて、TRおよびTC上のアダムズ作用の自然で計算可能な定義を与える。

提案手法

• 等変直交スペクトルの圏におけるHill-Hopkins-Ravenelの乗法的ノルムを用いて、スペクトル上の $S^1$-ノルムを構成する。
• ノルムを用いて、必要な $S^1$--equivariant 同値 $t_n: ho_n^* L\tilde{\text{Fix}}^{C_p} X \to X$ を実現することで、THH(R) に巡回構造を定義する。
• 相対的THHおよびTRを、ベースとなる環 $C_n$-スペクトルまたは循環的 $A$-代数上の相対的 $S^1$-ノルムとして定義する。
• マッキー関手およびタマラ関手における代数的ノルムを用いて、スペクトルにおけるノルムのホモトピー論的性質をモデル化する。
• ノルムおよび固定点関手を用いて、球体スペクトル上のTRを用いて $A$-TRを計算するスペクトル系列を構成する。
• ノルム構造を用いて、$S^1$-equivariant および巡回的データを活用し、TRおよびTC上のアダムズ作用を定義する。

実験結果

リサーチクエスチョン

• RQ1 THHにおける巡回構造は、Bökstedtの整合性機構に依存せずに、乗法的ノルムによって純粋に構成可能か？
• RQ2 環 $C_n$-スペクトルまたは循環的可換環スペクトル上の代数から出発して、相対的TRおよびTC理論をどのように定義できるか？
• RQ3 循環的 $A$-代数上の相対的TR理論と球体スペクトル上の絶対的TRとの間には、どのようなスペクトル系列が成立するか？
• RQ4 等変安定ホモトピー論におけるノルム構造を用いて、TRおよびTC上のアダムズ作用を自然に定義できるか？

主な発見

• THH(R)における巡回構造は、等変直交スペクトルにおける乗法的ノルムを用いて構成され、Bökstedtの整合性機構に依存しない新しい内在的定義が得られた。
• 環 $C_n$-スペクトルおよび循環的可換環スペクトル上の代数を対象にしたTRおよびTC理論の相対的版が定義され、トレース法の適用範囲が拡張された。
• 球体スペクトル上のTRを用いて $A$-TRを計算するスペクトル系列が構成され、逆方向の関係についても同様に成立し、相対的理論への計算的アクセスが可能になった。
• TRおよびTC上のアダムズ作用はノルム構造を介して自然に定義され、これらの作用の体系的かつ計算可能なフレームワークが提供された。
• マッキー関手における代数的ノルムは、ホモトピー論的ノルムを正しくモデル化しており、$C_2$-等変的 $\mathbb{Z}[x]$ のような例において、単純なテンソル冪アプローチの失敗を解消した。
• ノルム $N_e^{C_2}(\mathbb{Z}[x])$ の固定点が $\mathbb{Z}[t,y,x\cdot gx]/(t^2-2t, ty-2y)$ であることが示され、単位元 $1$ がバーンサイド環を生成するが、$\mathbb{Z}$ を生成しないことから、単純なモデルの誤りが是正された。