[論文レビュー] Geometric approach towards stable homotopy groups of spheres. The Hopf invariant

Петр Михайлович Ахметьев|ArXiv.org|Oct 31, 2007

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿は、Pontrjagin-Thom理論と浸漬のコボルディズムを用いて、アダムズのホップ不変量1定理の幾何的証明を提示する。$ n = 2^l - 1 $ かつ $ n \geq 63 $ の場合、安定ホモトピー群 $ \Pi_n $ にはホップ不変量1をもつ元が存在しないことを示している。証明は、自己交線多様体の正規バンドル構造を単純化するための幾何的制御原理に依拠しており、この範囲では浸漬多様体の第1ステイフェル＝ブライトン類が消えることを確立している。

ABSTRACT

We develop a geometric approach to stable homotopy groups of spheres in the spirit of the work of Pontrjagin and Rokhlin. A new proof of the Hopf Invariant One Theorem by J.F.Adams is obtained in all dimensions except 15 and 31. To prove that the stable Hopf invariant H: Π_n o Z/2 vanishes for n>31, we apply methods of geometric topology. The Pontrjagin-Thom construction along with Hirsch's compression lemma identify every α\in Π_n with the framed bordism class of a framed immersion of a closed n-manifold into R^{n+k}, for any given k>0. Its self-intersection M projects to an immersion f: M o R^n which is framed by k copies of a line bundle κ. It is well-known that H(α) = . The self-intersection N of f is framed by k copies of a plane bundle with structure group D_4. We observe that H(α) = , where i immerses the double cover \bar N of N into M. The hardest part of the proof is to show that, after modifying f in its skew-framed bordism class, the classifying map g: N o K(D_4,1) factors through K(Z/4,1), provided that n=2^l-1, l>5 and n-2k=15. This is achieved by analyzing immersions in the regular homotopy class of f that approximate the composition of the classifying map M o RP^{n-k}, the projection of RP^{n-k} onto the join of copies of S^1/(Z/4) (the standard sphere), and an embedding of this join in R^n. The last step is proved with the quaternions.

研究の動機と目的

• ホップ不変量1定理の幾何的・位相的証明を提供すること、ただし次元15および31を除く。
• 自己交線多様体の浸漬を分析することで、ホップ不変量問題に対する従来の幾何的アプローチを拡張すること。
• 安定ホモトピー群 $ \Pi_n $ において $ n \geq 63 $、$ n = 2^l - 1 $ の場合に、ホップ不変量1をもつ元が存在しないことを確立すること。
• ウォレス＝ポンツリャーギン＝トム同型を応用し、安定ホモトピー群を浸漬のコボルディズム類によって表現すること。
• 幾何的制御を用いて、自己交線多様体の正規バンドル構造を単純化し、コhomological計算を可能にすること。

提案手法

• Pontrjagin-Thom構成を用いて、$ \Pi_n $ の元を $ \mathbb{R}^n $ への $ (n-1) $-多様体の浸漬のコボルディズム類として表現する。
• Wallaceの定理を適用し、$ \Pi_n $ を $ \mathbb{R}P^\infty $ への浸漬のコボルディズム群の2進成分と同一視する。
• ホップ不変量を自己交線多様体の第1ステイフェル＝ブライトン類のmod 2評価として表現する：$ \langle w_1(M)^{n-1}; [M] \rangle $。
• 幾何的制御原理を用いて、与えられたコボルディズム類に属する浸漬のうち、自己交線多様体の正規バンドルが単純化された構造を持つものを特定する。
• 浸漬の正規バンドルを、$ \left(\frac{n+1}{4} - 8\right) $ 個の、浸漬多様体上のタウトロジカルラインバンドル $ \kappa $ の直和として表現する。
• 特性類理論を適用し、$ n \geq 63 $ の条件下で $ \langle w_1(\kappa)^{\dim M}; [M] \rangle = 0 $ を計算する。これによりホップ不変量が自明であることが示される。

実験結果

リサーチクエスチョン

• RQ1 幾何的手段を用いて、$ n = 2^l - 1 $、$ l \geq 6 $ のすべての $ n $ に対してホップ不変量1定理が成り立つかどうか。
• RQ2 ホップ不変量が、浸漬の自己交線多様体の特性類として計算可能か。
• RQ3 浸漬コボルディズムにおける自己交線多様体の正規バンドル構造を単純化するための幾何的制御機構は存在するか。
• RQ4 安定ホモトピー群の文脈において、$ n = 2^l - 1 $、$ n \geq 63 $ の場合に $ \langle w_1(M)^{n-1}; [M] \rangle $ の値は何か。
• RQ5 浸漬コボルディズムおよび特性類を用いて、$ \Pi_n $ にホップ不変量1をもつ元が存在しないことを示せるか。

主な発見

• $ n = 2^l - 1 $ かつ $ n \geq 63 $ の場合、安定ホモトピー群 $ \Pi_n $ にはホップ不変量1をもつ元が存在しない。
• 与えられた条件下で、浸漬多様体の第1ステイフェル＝ブライトン類は $ \langle w_1(M)^{n-1}; [M] \rangle = 0 $ を満たす。
• $ \Pi_n $ の元のホップ不変量は、代表的浸漬の自己交線多様体 $ M $ に対して $ w_1(M)^{n-1} $ のmod 2評価に等しい。
• 幾何的制御原理により、与えられたコボルディズム類に属する浸漬のうち、自己交線多様体の正規バンドルが制御された構造を持つものが構成可能であり、特性類の計算が単純化される。
• この結果は、$ n \geq 63 $ の安定範囲においてホップ不変量1問題の非自明性を確認しており、アダムズの元々の定理と整合的である。
• 証明は、浸漬コボルディズムおよび特性類を用いたホップ不変量の新しい幾何的解釈を提供し、エクルス、コシュォルケ、シュツルツの先行研究を拡張している。