[論文レビュー] Homotopy fixed points for Lubin-Tate spectra

Gereon Quick|arXiv (Cornell University)|Nov 27, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 2

ひとこと要約

本論文は、プロフィニート群の連続作用を伴うプロフィニート対称スペクトルに安定モデル構造を構成し、拡張されたモラバ安定化子群がルビン＝タートスペクトルに作用する場合のホモトピー固定点スペクトルの簡素化および標準的構成を可能にする。得られる連続ホモトピー固定点はデイビンツとホプキンズのものと自然に同値であるが、はるかにスリムなフレームワークを提供する。

ABSTRACT

We construct a stable model structure on profinite symmetric spectra with a continuous action of an arbitrary profinite group. This provides a natural framework for the construction of homotopy fixed point spectra and of homotopy fixed point spectral sequences for the action of the extended Morava stabilizer group on Lubin-Tate spectra. These continuous homotopy fixed points are canonically equivalent to the homotopy fixed points of Devinatz and Hopkins but have a drastically simplified construction.

研究の動機と目的

• プロフィニート群の連続作用を伴うプロフィニート対称スペクトルに安定モデル構造を構築すること。
• チロノミックホモトピー理論におけるホモトピー固定点スペクトルの構成の自然な枠組みを提供すること。
• 拡張されたモラバ安定化子群がルビン＝タートスペクトルに作用する場合のホモトピー固定点の構成を著しく簡略化すること。
• 連続ホモトピー固定点とデイビンツおよびホプキンズのものとの間の標準的同値性を確立すること。
• この新しい、より取り扱いやすい設定においてホモトピー固定点スペクトル系列の使用を可能にすること。

提案手法

• プロフィニート群の連続作用を備えたプロフィニート対称スペクトルに安定モデル構造を構築すること。
• プロフィニート位相を用いて、等変スペクトルのホモトピー論を定義および制御すること。
• 新しいモデル構造を用いて連続ホモトピー固定点を定義し、従来の臨戦的構成を置き換えること。
• 拡張されたモラバ安定化子群がルビン＝タートスペクトルに作用する場合へのモデル構造の応用。
• 連続ホモトピー固定点がデイビンツとホプキンズの古典的ホモトピー固定点と自然に同値であることを示すこと。
• モデル構造を活用してホモトピー固定点スペクトル系列の構成を容易にすること。

実験結果

リサーチクエスチョン

• RQ1 任意のプロフィニート群に対して、連続作用を伴うプロフィニート対称スペクトルに安定モデル構造をどのように定義できるか。
• RQ2 連続ホモトピー固定点とデイビンツおよびホプキンズの古典的ホモトピー固定点との関係は何か。
• RQ3 この新しいフレームワークを用いることで、ルビン＝タートスペクトルのホモトピー固定点の構成を著しく簡略化できるか。
• RQ4 新しいモデル構造はホモトピー固定点スペクトル系列の計算をどのように容易にするか。
• RQ5 従来のアプローチと比較して、連続ホモトピー固定点を使うことの構造的利点は何か。

主な発見

• 連続プロフィニート群作用を伴うプロフィニート対称スペクトルに安定モデル構造が成功裏に構成された。
• ルビン＝タートスペクトルの連続ホモトピー固定点は、デイビンツおよびホプキンズのものと自然に同値である。
• この新しい構成によるホモトピー固定点の構成は、従来の方法よりも著しく簡素化されている。
• フレームワークはホモトピー固定点スペクトル系列の構成を自然にサポートする。
• モデル構造は、プロフィニートな文脈における等変安定ホモトピー論の体系的かつ強固な設定を提供する。
• 連続的および古典的ホモトピー固定点の同値性は、追加の仮定や複雑な道具を用いずに確立された。