[論文レビュー] Quadratic functions in geometry, topology,and M-theory

Michael J. Hopkins, I. M. Singer|ArXiv.org|Nov 13, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 32

ひとこと要約

この論文は、微分コhomologyおよびM理論を用いて、高次元多様体における二次関数の幾何的・位相的枠組みを確立し、リーマンの二次形式とポントリャーギンの特徴類を一般化する。本論文は、スピン構造の変更に伴う整数ウー構造の変動を記述する、ねじれ付き微分コycle構成を導入し、主な結果として、ボクシュタイン準同型とmod 2コhomology作用素を通じて、スピン構造の変更に伴う全ウー類の変化を記述する公式を提示する。

ABSTRACT

We describe an interpretation of the Kervaire invariant of a Riemannian manifold of dimension $4k+2$ in terms of a holomorphic line bundle on the abelian variety $H^{2k+1}(M)\otimes R/Z$. Our results are inspired by work of Witten on the fivebrane partition function in $M$-theory (hep-th/9610234, hep-th/9609122). Our construction requires a refinement of the algebraic topology of smooth manifolds better suited to the needs of mathematical physics, and is based on our theory of "differential functions." These differential functions generalize the differential characters of Cheeger-Simons, and the bulk of this paper is devoted to their study.

研究の動機と目的

• 複素幾何におけるリーマンの二次関数を、位相的・幾何的道具を用いて高次元多様体へと拡張すること。
• 4k次元多様体における交差形式の二次的修正の幾何的解釈を、微分コhomologyを用いて提示すること。
• 微分コycleおよび特徴類を用いて、スピン構造の変更に伴う整数ウー構造の変動を記述すること。
• ねじれ付き微分コhomologyを介して、M理論の分配関数と位相的不変量との間の関係を確立すること。
• 特徴類およびボクシュタイン作用素を用いて、インデックス理論の公式を高次元へ一般化すること。

提案手法

• 論文は、スピン構造の文脈において特徴類およびねじれ付き微分コycleをモデル化するため、チエーガー＝シモンズの微分コhomologyを用いる。
• スピン構造 $ s $ および接続 $ \nabla $ に関連する整数ウー構造を符号化する、ねじれ付き微分コycle $ \bar{\nu}(s,\nabla) $ を導入する。
• スピン構造のずれ $ s \mapsto s + \alpha $ に伴う全ウー類の変化を、スランプ積およびボクシュタイン準同型を用いて計算する。
• 重要な式には、$ \bar{\nu}(s+\alpha,\nabla) = \bar{\nu}(s,\nabla) + (2)\cdot\beta\left(\nu(V)\sum_{k\geq 1}\alpha^{2^k - 1}\right) $ が含まれる。ここで $ \beta $ はボクシュタイン写像である。
• 微分コhomology理論の自然性およびホモトピー不変性に依拠し、単体的技法を用いてファイバー列をモデル化する。
• アンドリューズ双対性およびピックァル・カテゴリを用いて、微分コhomology類およびその自己同型の分類を記述する。

実験結果

リサーチクエスチョン

• RQ1 複素幾何におけるリーマンの二次関数は、どのように高次元多様体へ一般化できるか？
• RQ2 4k次元多様体における交差形式の二次的修正の幾何的・位相的意味は何か？
• RQ3 スピン構造の変更が関連する整数ウー構造に与える影響は何か？ そして、これをコhomology的言語でどのように記述できるか？
• RQ4 M理論におけるファイブブレーン分配関数の変動は、微分コhomologyおよび特徴類を用いて記述可能か？
• RQ5 ボクシュタイン準同型は、mod 2コhomology類とウー類の整数的上昇との関係をどのように規定するか？

主な発見

• 論文は、スピン構造のずれに伴う全整数ウー類の変化を記述する公式を導出する：$ \bar{\nu}(s+\alpha,\nabla) = \bar{\nu}(s,\nabla) + (2)\cdot\beta\left(\nu(V)\sum_{k\geq 1}\alpha^{2^k - 1}\right) $。
• この公式は、ねじれ付き微分コycle変換として解釈され、係数 (2) は $ \prod \check{H}^{2k}(S) $ が $ \nu $-ねじれ付き微分コycleの同型類に作用することを示している。
• スカラー関数の変化 $ \lambda \mapsto \lambda - 2x $ が、$ \operatorname{Spin}^c $ ディラック作用素のインデックスの変化に対応することを示し、4次元の場合の一般化を達成した。
• この方法により、ミルナーの全射性結果 $ \pi_1 B_0 \to \pi_0 G_0 $ が、$ S \times S^1 $ 上に指定されたステイフェル＝ブライトクラスをもつ安定ベクトル束 $ W $ を構成することで証明された。
• 論文は、特性要素のノルムの8を法とする合同性に基づいて、$ \kappa $-不変量の整数性の明確な代数的説明を確立した。
• 論文は、ねじれ付き微分コycle $ \bar{\nu}(s,\nabla) $ を用いて、ファイブブレーン分配関数の微分コhomological解釈を提供し、M理論およびインデックス理論と結びつけた。