[論文レビュー] The monochromatic Hopf invariant

Guozhen Wang|arXiv (Cornell University)|Oct 27, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 3

ひとこと要約

この論文は、モラバE理論にボウスフィールド＝クーンファンクターを適用した後、ジェームズ＝ホフプ法の影響をE₂コホロロジーに分析することにより、クロマティック高さ2におけるβ族の単色安定ホフプ不変量を計算する。β要素が期待どおりにデサスペンション可能である場合、その安定ホフプ不変量はβ_{i-j/k}であると示す。そうでない場合には、クロマティック高さが3以上であることが示され、ベンダースキー他による予想が解決される。

ABSTRACT

In this paper we will compute the effect of the James-Hopf map after applying the Bousfield-Kuhn functor on Morava E-theory, and then compute the monochromatic Hopf invariant of the $β$ family using this cohomological information.

研究の動機と目的

• クロマティック高さ2における奇数球面の不安定なホモトピーを理解すること。
• ボウスフィールド＝クーンファンクターからのコホロロジー的データを用いて、β族の単色安定ホフプ不変量を計算すること。
• β_{i/j,k}のホフプ不変量がデサスペンションの下でβ_{i-j/k}であるという予想を解明すること。
• 期待されるホフプ不変量が成立する条件と、より高いクロマティック高さが生じる条件を明確にすること。

提案手法

• ジェームズ＝ホフプ写像にボウスフィールド＝クーンファンクターを適用し、モラバE理論のE₂コホロロジーへのその影響を計算する。
• アダムズ＝ノビコフスペクトル系列（ANSS）を用いて、モノクロマチック層M₂V(1)およびM₂P₁のE₂項を分析する。
• 球面スペクトルとΣ^∞BΣ_pの間のK(1)-局所同型を活用し、EHP系列とp-ボクシュタインスペクトル系列を関連付ける。
• ANSSおよびAHSSにおけるフィルトレーション構造を分析し、p ≥ 5の場合に高次の微分が存在しないことを除外する。
• クロマティックスペクトル系列と不安定なクロマティックフィルトレーションを用いて、モノクロマチック不変量と実際の安定ホフプ不変量を関連付ける。
• V(1)上のv₂自己写像を用いて明示的なデサスペンション写像を構成し、好都合な場合にホフプ不変量を検証する。

実験結果

リサーチクエスチョン

• RQ1 β_{i/j,k}のモノクロマチックホフプ不変量は、要素がデサスペンション可能である場合、β_{i-j/k}に等しいか？
• RQ2 デサスペンションが失敗した場合、安定ホフプ不変量のクロマティック高さは何か？
• RQ3 ボウスフィールド＝クーンファンクターのE₂コホロロジー計算は、モノクロマチックホフプ不変量にどのように寄与するか？
• RQ4 クロマティックスペクトル系列を用いて、モノクロマチック不変量を実際の安定ホフプ不変量に持ち上げることは可能か？
• RQ5 ANSSおよびAHSSにおけるフィルトレーションは、ホフプ不変量の主要項を決定する上で果たす役割は何か？

主な発見

• p ≥ 5の場合、L_{K(2)}P₁のANSSはE₂で収束するため、すべてのAHSS微分は代数的d₁微分に起因する。
• β₁のモノクロマチックホフプ不変量はβ₀であり、1/(p v₁)によって表され、既知の安定ホフプ不変量α₁と一致する。
• β₁がS^{2p-1}にデサスペンション可能である場合、実際の安定ホフプ不変量はα₁であり、モノクロマチック計算と一致する。
• k ≥ 2の場合、β_kはS^{2p+3}にデサスペンション可能であり、その安定ホフプ不変量はβ_{k-1}である。これは既知の結果と整合する。
• β₁がV(1)に拡張できない場合、例えばS^{2p-1}、S^{2p+1}、S^{2p+2}上ではホフプ不変量はβ₀でないため、より高いクロマティック高さを示す。
• 本手法により、ホフプ不変量の元となる球面の下界が得られ、実際の不変量はモノクロマチック計算と一致するか、またはクロマティック高さ≥3を示す。