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

Петр Михайлович Ахметьев|arXiv (Cornell University)|May 6, 2010

Geometric and Algebraic Topology参考文献 33被引用数 3

ひとこと要約

この論文は、ポンティャーギン＝トムの構成を用いて、球面の安定ホモトピー群に対する幾何的位相的アプローチを開発し、ホープ・インバリアントに注目する。アーディンズの定理（安定ホープ・インバリアントの消失）に対して、埋め込みのコボルディズム理論と二重点多様体の特性類を用いて、新たな幾何的証明を提示する。$ n = 2^\ell - 1 $ かつ $ \ell \geq 8 $ のすべての次元で、安定ホープ・インバリアントが消えることを示し、たかだか有限個の例外を除いて成立する。

ABSTRACT

A geometric approach to the stable homotopy groups of spheres is developed in this paper, based on the Pontryagin-Thom construction. The task of this approach is to obtain an alternative proof of the Hill-Hopkins-Ravenel theorem [H-H-R] on Kervaire invariants in all dimensions, except, possibly, a finite number of dimensions. In the framework of this approach, the Adams theorem on the Hopf invariant is studied, for all dimensions with the exception of 15, 31, 63, 127. The new approach is based on the methods of geometric topology.

研究の動機と目的

• ポンティャーギン＝トムの構成に基づく、球面の安定ホモトピー群に対する幾何的アプローチの開発。
• キーレア・インバリアントに関するヒル＝ホプキンズ＝レイバーネルの定理に対して、有限個の次元を除き、代替的証明の提供。
• 特に $ n = 2^\ell - 1 $ かつ $ \ell \geq 8 $ の次元について、幾何位相的手法（特にコボルディズムと特性類）を用いて、アーディンズの定理（安定ホープ・インバリアント）の再証明。
• 埋め込みにおける二重点多様体の特性数とホープ・インバリアントとの関係の確立。
• K理論を用いないで、埋め込みのコボルディズムとスティーフェル＝ブライトン類を用いて、ホープ・インバリアントの幾何的理解を拡張すること。

提案手法

• 安定ホモトピー群の元を、埋め込みのコボルディズム類として表現するため、ポンティャーギン＝トムの構成を用いる。
• 安定ホモトピー群を、$ \mathbb{R}^n $ への codimension 1 の埋め込みを用いて表現するため、ポンティャーギン＝トム定理のウェルズ形を適用する。
• 安定ホープ・インバリアントを、埋め込みの二重点多様体の特性数として表現する。
• ヒルシュの幾何的制御原理を用いて、自己交差構造が制御されたコボルディズム類に属する埋め込みを見つける。
• 二重点多様体に巡回的またはクaternion的構造が存在することを用いて、スティーフェル＝ブライトン類を制約する。
• オイラー類や特性類のプッシュバックを含むコhomological 技法を用い、特定の特性数が 2 を法として消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 安定ホープ・インバリアントは、埋め込みの二重点多様体を用いて幾何的に特徴付けられるか？
• RQ2 どの次元 $ n = 2^\ell - 1 $ に対して $ \ell \geq 8 $ のとき、安定ホープ・インバリアントが消えるか？
• RQ3 指定された正規バンドルをもつ埋め込みのコボルディズム類を用いて、ホープ・インバリアントはどのように計算できるか？
• RQ4 埋め込みおよびその二重点多様体のスティーフェル＝ブライトン類は、ホープ・インバリアントを決定づける役割を果たすか？
• RQ5 K理論を用いないで、幾何的制御と特性類理論を用いて、アーディンズのホープ・インバリアント定理を再証明できるか？

主な発見

• 主結果として、$ n = 2^\ell - 1 $ かつ $ \ell \geq 8 $ のとき、任意の滑らかな埋め込み $ g: M^{(3n + n_\sigma)/4} \looparrowright \mathbb{R}^n $ に対して、正規バンドルが $ (n - n_\sigma)/4 $ 個のラインバンドル $ \kappa $ と同型である限り、ホープ・インバリアントが消えることが示された。ただし、$ w_1(M)^{\dim M} $ が 0 に評価されることを仮定する。
• 主系理では、$ n = 2^\ell - 1 $ かつ $ n \geq 255 $ のとき、特性数 $ \langle w_1(M)^{n-1}; [M] \rangle = 0 $ が成り立ち、これが安定ホープ・インバリアントの消失を示唆する。
• 特性数式における両成分 $ h_\lambda(L_{\mathbf{Q}}) $ と $ h_\lambda(L_{\mathbf{H}_{b \times \dot{b}}}) $ が 2 を法として 0 であることを示すことで、ホープ・インバリアントの消失を証明した。
• コhomological 恒等式を用いて、$ m_{\mathbf{Q}} e^2(\mu_a^*(\psi_+)) $ が 0 であることを確立し、$ h_\lambda(L_{\mathbf{Q}}) = 0 $ を得た。
• 2 枚の被覆上でのコhomology類のプッシュダウンと、双対クラスにおける基本類の自明性により、項 $ h_\lambda(L_{\mathbf{H}_{b \times \dot{b}}}) $ が消えることが示された。
• 証明は、コhomological 関係から導かれる恒等式 $ 2m_{\mathbf{Q}} e^2(\mu_a^*(\psi_+)) = 0 $ に依拠しており、これによりホープ・インバリアントの幾何的消失が確認された。