[論文レビュー] The suspended free loop space of a symmetric space

Marcel Bökstedt, Iver Ottosen|arXiv (Cornell University)|Nov 3, 2005

Geometric Analysis and Curvature Flows参考文献 12被引用数 3

ひとこと要約

本稿は、ランク1の対称空間 $M = \mathbb{C}P^n$, $\mathbb{H}P^n$, および $\mathbb{O}P^2$ に対して、自由ループ空間 $\Lambda M_+$ のスuspension スペクトルの安定的分解を確立する。これは、$M_+$ のスuspension スペクトルと、$M$ の単位接球面束上に取り付けられた無限個のチホム空間のワッジ和にホモトピー同値であることを示している。この結果は、ジラーのモース理論と等変同倫論によるホモロジー的分解を拡張し、先行研究におけるループ空間の mod 2 コホモロジーに関する予想を裏付ける。

ABSTRACT

Let M be one of the projective spaces CP^n, HP^n for n>1 or the Cayley projective plane OP^2, and let LM denote the free loop space on M. Using Morse theory methods, we prove that the suspension spectrum of (LM)_+ is homotopy equivalent to the suspension spectrum of M_+ wedge a family of Thom spaces of explicit vector bundles over the tangent sphere bundle of M.

研究の動機と目的

• ランク1の対称空間 $M$ に対して、自由ループ空間 $\Lambda M_+$ のスuspension スペクトルの安定的分解を証明すること。
• 先行研究における $\Lambda M$ の mod 2 コホモロジーがチホム空間のコホモロジーの和に分解されることを示す予想を確認すること。
• ジラーのホモロジー的分解結果をスペクトルのレベルにまで拡張し、群レベルの同型ではなくホモトピー同値を得ること。
• 分解に現れる明示的なチホム空間を同定すること、特に $M$ の接バンドルの単位球面束上に取り付けられたもの。
• スペクトル的分解がスティーナロード代数作用および安定同倫論的作用と整合していることを確認すること。

提案手法

• エネルギー汎関数と等変同倫論的等長群の作用を用いて、自由ループ空間 $\Lambda M$ にモース理論を適用する。
• 等変微分位相幾何学を用いて、$\Lambda M$ の部分空間を対称空間構造に付随する同調空間として同定する。
• 表現環の余核における障害を分析することで、これらの同調空間の等変同型分解を構成する。
• $\mathbb{C}P^n$, $\mathbb{H}P^n$, および $\mathbb{O}P^2$ に対して障害が消えることを示し、スuspension の後に安定的分解が可能になることを証明する。
• 分解の和成分を、$M$ の単位球面束上に引き戻された接バンドルの反復ホイットニー和のチホム空間として同定する。
• コファイバー列とチホム空間に関するホモトピー同値を用いて、以前の研究におけるコホモロジー的結果をスペクトル系列の言語に再定式化する。

実験結果

リサーチクエスチョン

• RQ1 ランク1の対称空間 $M$ に対して、自由ループ空間 $\Lambda M_+$ のスuspension スペクトルは安定的分解をもつか？
• RQ2 $\Lambda M$ の mod 2 コホモロジーに観察された分解は、スペクトルのレベルにまで持ち上げられるか？
• RQ3 スペクトルの分解に現れる明示的なチホム空間は何か？
• RQ4 分解はスティーナロード代数作用および他のコホモロジー作用と整合的か？
• RQ5 このような分解が存在するためには、表現環における障害にどのような条件が必要か？

主な発見

• $M = \mathbb{C}P^n$ に対して、ホモトピー同値 $\Sigma(\Lambda \mathbb{C}P^n)_+ \simeq \Sigma \mathbb{C}P^n_+ \vee \bigvee_{m=1}^\infty \Sigma \mathrm{Th}(\xi_m)$ が成り立つ。ここで $\xi_m$ は接バンドルの単位球面束上に取り付けられたバンドルである。
• $M = \mathbb{H}P^n$ に対して、分解には接バンドルと $S^3$ の随伴表現に付随する3次元バンドル $\eta$ を含むチホム空間が現れる。
• $M = \mathbb{O}P^2$ に対して、7次元バンドル $\eta$ のシュティーフェル＝ブライトン類の自明性により分解が成立する。
• スペクトル的分解はスティーナロード代数作用と整合しており、[4] における以前のコホモロジー的結果との比較によって確認された。
• 分解の障害は表現環間の写像の余核に位置し、考察された対称空間に対しては消える。
• この結果により、すべての一般化されたホモロジー理論における安定的分解が得られ、ジラーのホモロジー的レベルの分解よりも強い主張が得られる。