[論文レビュー] Witt Vectors and Equivariant Ring Spectra

Morten Brun|ArXiv.org|Nov 25, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 5

ひとこと要約

この論文は、有限群 $G$-作用をもつ $E_{\infty}$-ring スペクトラ $T$ の零次ホモトピー群の $G$-典型的ウィットベクトル環から、$T^G$ の零次ホモトピー群への標準的な環準同型 $\tau_{\widetilde{T}}: \mathbb{W}_G(\pi_0(T)) \to \pi_0(T^G)$ を確立する。主な結果として、周期的ユニタリコボルディズムスペクトラ $MP$ に対してこの準同型が単射であることが示され、等変ユニタリコボルディズム環にウィットベクトル構造が与えられる。

ABSTRACT

This paper establishes a connection between equivariant ring spectra and Witt vectors in the sense of Dress and Siebeneicher. Given a commutative ringspectrum T in the highly structured sense, that is, an E-infinity-ringspectrum, with action of a finite group G we construct a ringhomomorphism from the ring of G-typical Witt vectors of the zeroth homotopy group of T to the zeroth homotopy group of the G-fixed point spectrum of T. In the particular case, where T is the periodic unitary cobordism spectrum introduced by Strickland, we show that this ringhomomorphism is injective, and we interpret this in terms of equivariant cobordism.

研究の動機と目的

• 有限群 $G$-作用をもつ $E_{\infty}$-ring スペクトラ $T$ に対して、$\mathbb{W}_G(\pi_0(T))$ から $\pi_0(T^G)$ への自然な環準同型を確立すること。
• この準同型を特に周期的ユニタリコボルディズムスペクトラ $MP$ に対して等変コボルディズムの観点から解釈すること。
• $G$-等変 $MP$ に対して、準同型 $\tau_{\widetilde{MP}}$ が単射であるが全射でないことを示すこと。
• タマラファンクターを用いて、古典的ウィットベクトル構成を等変安定ホモトピー圏へ一般化すること。
• スモールプロダクトとワッジ和の相互作用をモデル化するため、バイモノイダル圏と部分擬関手を用いた圏論的枠組みを提供すること。

提案手法

• 有限 $G$-集合 $X$ に対して $[\Sigma^\infty X_+, T]_G$ を用いて、$G$-作用をもつ $E_{\infty}$-ring スペクトラ $T$ からタマラファンクター $\widetilde{T}$ を構成する。
• ドリュースとツィーベネイヒャーの $G$-典型的ウィットベクトル理論をタマラファンクター $\widetilde{T}$ に適用し、環準同型 $\tau_{\widetilde{T}}: \mathbb{W}_G(\pi_0(T)) \to \pi_0(T^G)$ を得る。
• ラプラザのバイモノイダル圏の整合性理論を、部分擬関手を介して再定式化し、スモールプロダクトとワッジ和の整合性を保証する。
• 直交スペクトラを用いて、スペクトラのスモールインダクションを分析し、置換作用をもつ $G$-回のスモール積 $X^{\wedge G}$ に注目する。
• コフェイブ解体とモノイダル関手におけるプッシュアウトの保存性によるホモトピー的制御を活用し、構成の安定性を保証する。
• 安定同値を介して、直交スペクトラ、等変対称スペクトラ、等変 $\Gamma$-空間へこの構成が適用可能であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 等変 $E_{\infty}$-ring スペクトラに対して、$G$-典型的ウィットベクトル環を自然に関連付ける方法は何か？
• RQ2 等変 $E_{\infty}$-ring スペクトラの $G$-固定点スペクトラとそのウィットベクトル構成との関係は何か？
• RQ3 特定のスペクトラ、たとえば $MP$ に対して、誘導された準同型 $\tau_{\widetilde{T}}: \mathbb{W}_G(\pi_0(T)) \to \pi_0(T^G)$ は単射か全射か？
• RQ4 球面スペクトラに対する古典的同型 $\tau_{\widetilde{\mathbb{S}}}$ は、他の等変環スペクトラへ拡張可能か？
• RQ5 等変ユニタリコボルディズム環 $\mathcal{U}^G_*$ と非等変コボルディズム環 $\mathcal{U}_*$ 上のウィットベクトル構成との関係は何か？

主な発見

• 任意の $G$-作用をもつ $E_{\infty}$-ring スペクトラ $T$ に対して、準同型 $\tau_{\widetilde{T}}: \mathbb{W}_G(\pi_0(T)) \to \pi_0(T^G)$ が自然に構成される。
• 球面スペクトラ $\mathbb{S}$ に対して、写像 $\tau_{\widetilde{\mathbb{S}}}$ は同型であり、ドリュースとツィーベネイヒャーの古典的結果が回復される。
• $G$ が巡回群であるとき、トポロジカルホッフド・ホモロジー $\mathrm{THH}(R)$ に対して $\tau_{\widetilde{\mathrm{THH}(R)}}$ も同型である。
• 周期的ユニタリコボルディズムスペクトラ $MP$ に対して、写像 $\tau_{\widetilde{MP}}$ は単射であるが全射でない。$G$ が素数位数の巡回群であっても同様である。
• 環 $\mathbb{W}_G(\mathcal{U}_*)$ は等変ユニタリコボルディズム環 $\mathcal{U}^G_*$ の部分環として埋め込まれ、等変コボルディズムにウィットベクトル構造を与える。
• モデル構造の変更に対して安定である：この構成は、安定同値を介して直交スペクトラ、等変対称スペクトラ、等変 $\Gamma$-空間へ適用可能である。