[論文レビュー] Twisted Parametrized Stable Homotopy Theory

Christopher L. Douglas|ArXiv.org|Aug 3, 2005

Homotopy and Cohomology in Algebraic Topology被引用数 7

ひとこと要約

本稿は、半無限のホモトピー型を記述する枠組みとして、ねじれたパラメータ付き安定ホモトピー論を導入し、バンドルのスペクトルのセクションとしてフローリングや他の無限次元ホモトピー不変量をモデル化する。逆可換な層とスペクトルの圏の局所系を用いて、ねじれたパラメータ付きスペクトルを分類し、弱い仮定のもとで、それらが循環的グレーディング付きホモロジー、K理論、複素バーンズドマンフォールド不変量を有することを示す。また、極化されたヒルバート多様体上の半無限にインデックスされたスペクトルを用いた、ねじれの推測的実現について述べる。

ABSTRACT

We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams of simplicial categories. We present a classification of bundles of categories of spectra and of the associated twisted parametrized spectra. Though twisted parametrized spectra do not have global homotopy types and therefore do not have generalized homology invariants in the usual sense, they do admit generalized-homology-type invariants for certain commutative ring spectra. We describe this invariant theory and in particular note that under mild hypotheses, a twisted parametrized spectrum will have cyclically graded homology invariants and will also have K-theory and complex bordism invariants, as expected for a Floer or semi-infinite homotopy type. We discuss the association of a twist of parametrized homotopy theory to a polarized infinite-dimensional manifold and present a conjectural, explicit realization of this twist in terms of parametrized semi-infinitely indexed spectra.

研究の動機と目的

• 通常のパラメータ付きスペクトルでは記述できない半無限またはフローリング型のホモトピー型を記述するホモトピー論的枠組みを構築すること。
• 無限次元設定におけるグローバルホモトピー型の欠如に応じて、スペクトルのバンドルのセクションとしてねじれたパラメータ付きスペクトルを導入すること。
• 可換環スペクトルのモジュールとしての構造スタック上のモジュールを用いて、スペクトルの圏のバンドルとそれに関連するねじれたパラメータ付きスペクトルの分類を行う。
• 弱い仮定のもとで、これらのねじれたスペクトルに対して一般化されたホモロジー型不変量（K理論や複素バーンズドマンフォールドなど）が存在することを確立すること。
• 極化されたヒルバート多様体上のパラメータ付き半無限にインデックスされたスペクトルを用いた、ねじれの幾何的実現の推測を提示すること。

提案手法

• パラメータ付きスペクトルの構造スタック上の逆可換な層と、単体的圏の局所系の2通りの同等な方法を用いて、ねじれたパラメータ付きスペクトルを、そのファイバーがスペクトルの圏であるバンドルのセクションとして定義する。
• 構造スタック上のモジュールとして、このようなバンドルの分類を特徴づけ、分類対象として「はんと」（haunts）と「スペクター」（specters）の概念を導入する。
• ホモトピー理論のホモトピー理論と単体的圏の図式を用いて、スペクトルの圏の局所系を形式化する。
• 可換環スペクトルの $ R $-ホモロジーを用いて、スペクターの不変量を構成し、循環的グレーディングおよびK理論と複素バーンズドマンフォールド不変量の存在を示す。
• ヒルバートバンドル内の半無限部分空間の制限グラスマンニアンを介して、パラメータ付きホモトピー理論におけるねじれを、極化された無限次元多様体に関連付ける。
• 制限写像による $ Gr({oldsymbol{ m H}}^+) $-スペクトルおよび $ Gr({oldsymbol{ m R}}^\infty) $-スペクトルへの制限が、パラメータ付き半無限にインデックスされたスペクトルとスペクター（ねじれたパラメータ付きスペクトル）のホモトピー圏の同値を誘導すると推測し、幾何学とホモトピー論を結びつける。

実験結果

リサーチクエスチョン

• RQ1 通常のパラメータ付きスペクトルでは記述できない半無限またはフローリング型のホモトピー型を記述できる、ねじれたパラメータ付き安定ホモトピー論をどのように定義できるか？
• RQ2 スペクトルの圏のバンドルとそれに関連するねじれたパラメータ付きスペクトルの分類は何か？
• RQ3 ねじれたパラメータ付きスペクトルは、K理論や複素バーンズドマンフォールドといった一般化されたホモロジー不変量を有するか？また、どのような条件下でそうなるか？
• RQ4 極化されたヒルバート多様体上の半無限にインデックスされたスペクトルを用いて、ねじれの幾何的実現を構成できるか？
• RQ5 極化されたヒルバートバンドル上のパラメータ付き半無限にインデックスされたスペクトルの圏と、スペクター（ねじれたパラメータ付きスペクトル）の圏との間にホモトピー論的同値が存在するか？

主な発見

• ねじれたパラメータ付きスペクトルは、古典的な意味でのグローバルホモトピー型を持たないが、特定の可換環スペクトルに対して一般化されたホモロジー型不変量を有する。
• 弱い仮定のもとで、ねじれたパラメータ付きスペクトルは、半無限またはフローリング型不変量の期待に一致する循環的グレーディング付きホモロジー不変量を有する。
• この理論は、フローリングまたは半無限ホモトピー型として期待されるように、ねじれたパラメータ付きスペクトルに対してK理論と複素バーンズドマンフォールド不変量を支持する。
• 本稿は、逆可換な層と単体的圏の局所系を用いて、スペクトルの圏のバンドルとそれに関連するねじれたパラメータ付きスペクトルの分類を提供する。
• 制限写像が $ Gr_{\textrm{res}}({\mathcal{H}}) $-スペクトルから $ Gr({\mathcal{H}}^+) $-スペクトルおよび $ Gr({\mathbb{R}}^\infty) $-スペクトルへの写像が、ホモトピー圏の同値を誘導すると推測され、幾何学的およびホモトピー的構造を結びつける。
• この枠組みは、通常のパラメータ付きスペクトルの自然な一般化を提供し、ループ空間上のチョンスペクトルといった古典的不変量についても、新たな視点を提供する。