[論文レビュー] Equivariant maps between sphere bundles over tori and KO-degree

Mikio Furuta, Yukio Kametani|ArXiv.org|Feb 24, 2005

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

ひとこと要約

この論文は、KO∗-次数の概念を用いて、実トーラス上の球体バンドル間の特定のPin⁻(2)-可換なファイバー保存写像の非存在結果を確立する。これをSeiberg-Witten理論に応用し、スピン4次元多様体に対して新たな位相的不等式を導出する：b₂⁺(X) ≥ −sign(X)/8 + |S| − 2d_S + ε(−sign(X)/16 + d_S, b₂⁺(X))（S ⊂ {1,…,n} でNS ≠ 0を満たすもの）。ここでd_Sは組合せ的不変量NSの2進付値であり、εはmod 4依存の補正項である。

ABSTRACT

We show a non-existence result for some class of equivariant maps between sphere bundles over tori. The notion of equivariant KO-degree is used in the proof. As an application to Seiberg-Witten theory, for a connected closed oriented spin 4-manifold with indefinite intersection form, we have a new bound of the second Betti number by the signature and a non-negative integer determined by the quadruple cup product on the first cohomology group and some maps in KO-theory induced from the Albanese map.

研究の動機と目的

• 実トーラス上の球体バンドル間のPin⁻(2)-可換なファイバー保存写像の存在に対する必要条件を確立すること。
• スピン4次元多様体上のディラック作用素のインデックスバンドルに関連するKO理論およびKsp理論における不変量の定義と計算を行うこと。
• 不定型交差形式をもつ連結で閉じた向き付け可能なスピン4次元多様体に対する新たな位相的不等式を導出すること。
• 高次のカップ積データとKO理論的不変量を組み込むことで、既存のSeiberg-Witten制約を精緻化すること。

提案手法

• 実トーラス上の球体バンドル間の可換写像にためのKO∗-次数不変量を導入し、シンプレクティックベクトルバンドルのグロテンディーク群Ksp(˜Tⁿ)を用いる。
• 生成関数を用いて、理想I = (X_i² − X_i)を法とする組合せ的不変量NSを定義し、|S| = 2,3,4でa_S ≠ 0であるような部分集合Sの寄与を捉える。
• Ksp理論におけるボット周期性を用いて、Ksp(˜RS)を|S| mod 8に応じてZまたはZ/2と同定し、d_SをNSの2進付値として定義する。
• スピン4次元多様体X上のディラック作用素のインデックスバンドルInd Dを、アレアベーゼ写像とTⁿ × ˜Tⁿ上のラインバンドルの引き戻しを介してKsp(˜Tⁿ)の類に結びつける。
• ファミリーのインデックス定理を適用し、|S|=4ではカップ積⟨∏_{i∈S} x_i, [X]⟩、|S|=2,3では式(3)を用いてch(V₁) − ch(W₁)を計算する。
• 可換写像の障害と4次元多様体の幾何的データ（特にb₂⁺(X), sign(X)，および不変量d_Sとε）を組み合わせることで、主不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、実トーラス上の球体バンドル間の適切なPin⁻(2)-可換なファイバー保存写像が存在するか？
• RQ2 KO∗-次数は、このような可換写像をどのように妨げるのか？また、この障害を制御する不変量は何か？
• RQ3 カップ積、アレアベーゼ写像、KO理論的不変量の相互作用から生じるスピン4次元多様体への位相的制約は何か？
• RQ4 高次のカップ積データと組合せ的不変量の2進付値を組み込むことで、Seiberg-Witten不変量の境界を改善できるか？
• RQ5 補正項ε(˜d, l)の正確な役割は何か？また、˜dのmod 4類とlの値にどのように依存するか？

主な発見

• すべての空でないSについて|S| ≡ 0 mod 8でa_S = 0であるとき、S(V₀ ⊕ V₁)からS(W₀ ⊕ W₁)へのPin⁻(2)-可換なファイバー保存写像は存在しないことが証明された。
• 任意のS ⊂ {1,…,n}で|S|が偶数かつNS ≠ 0を満たす場合、主不等式b₂⁺(X) ≥ −sign(X)/8 + |S| − 2d_S + ε(−sign(X)/16 + d_S, b₂⁺(X))が成り立つ。
• S = ∅の場合、不等式はb₂⁺(X) ≥ −sign(X)/8 + ε(−sign(X)/16, b₂⁺(X))に簡略化され、これにより以前の境界が改善される。
• 不変量d_Sは、非自明なa_Sをもつ2,3,4サイズの互いに素な部分集合へのSの分割を数える組合せ的和NSの2進付値である。
• 補正項ε(˜d, l)は、˜d = −sign(X)/16 + d_S mod 4とl = b₂⁺(X)に依存し、その値はそれぞれの剰余類に応じて{1,2,3}をとる。
• この結果は、ジャコビアントーラス上のディラック作用素ファミリーのインデックスバンドルをTⁿ × ˜Tⁿ上のラインバンドルの引き戻しに同定し、ファミリーのインデックス定理を用いてチャーン類を計算することで得られた。