[論文レビュー] Bauer-Furuta invariants under Z_2-actions

Nobuhiro Nakamura|arXiv (Cornell University)|May 11, 2007

Geometric and Algebraic Topology参考文献 22被引用数 5

ひとこと要約

本稿は、特定の位相的および表現論的条件下における4次元多様体に滑らかなℤ₂作用が与えられたとき、Bauer-Furuta不変量の消滅定理を確立する。等長的Bredonコホロロジーとモノポール写像のℤ₂×S¹対称性を分析することで、仮想次元が1であり、あるインデックス条件を満たすとき、不変量が消えることを証明する。主な貢献は、不変量からの障害的制約を用いて、K3#K3およびK3に滑らかでない局所線形ℤ₂作用を構成することにある。

ABSTRACT

S.Bauer and M.Furuta defined a stable cohomotopy refinement of the Seiberg-Witten invariants. In this paper, we prove a vanishing theorem of Bauer-Furuta invariants for 4-manifolds with smooth Z/2-actions. As an application, we give a constraint on smooth Z/2-actions on homotopy K3#K3, and construct a nonsmoothable locally linear Z/2-action on K3#K3. We also construct a nonsmoothable locally linear Z/2-action on $K3$.

研究の動機と目的

• 滑らかなℤ₂作用を備えた4次元多様体におけるBauer-Furuta不変量の消滅定理を確立すること。
• 新しい消滅結果を用いて、ホモトピー的K3#K3に滑らかなℤ₂作用が存在する場合の位相的制約を導出すること。
• K3#K3およびK3に滑らかでない局所線形ℤ₂作用の明示的例を、いかなる滑らかな構造に対しても微分同相でないものとして構成すること。
• モノポール写像の文脈において、Pin(2)-等長性からℤ₂×S¹-等長性への障害的手法の拡張を行うこと。

提案手法

• Seiberg-Witten不変量の強化としてのBauer-Furuta不変量を、等長的安定コホモトピーにおける障害クラスとして用いる。
• Bredonコホロロジーによる等長的障害理論を適用し、Spin^c構造上のℤ₂作用が誘導するℤ₂×S¹作用の下でのモノポール写像を分析する。
• 仮想次元d(c) = 1およびディラック作用素のℤ₂インデックスk₊ℂ₊ + k₋ℂ₋ ∈ R(ℤ₂)を用いて不変量を制約する。
• Betti数（b₁=0, b₊≥2, b₊^ℤ₂≥1）、b₊−b₊^ℤ₂の奇数性、およびk₊,k₋に対する制限を課し、消滅を強制する。
• EdmondsとEwingの実現定理を用いて、所望の固定点データを持つK3#K3およびK3上の局所線形ℤ₂作用を構成する。
• 位相的スピン構造におけるAtiyah-Bott基準からの符号割り当て不変量を用い、滑らかでないことを検出する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなℤ₂作用を備えた4次元多様体に対して、Bauer-Furuta不変量が消える条件は何か？
• RQ2 不変量の消滅は、局所線形ℤ₂作用を備えた4次元多様体に対する滑らかな構造の障害として利用可能か？
• RQ3 Bauer-Furuta不変量およびℤ₂インデックスは、K3#K3およびK3に滑らかなℤ₂作用が存在する場合にどのような制約を課えるか？
• RQ4 K3#K3およびK3に滑らかでない局所線形ℤ₂作用を、いかなる滑らかな作用とも微分同相でないものとして構成可能か？

主な発見

• Bauer-Furuta不変量は、b₁=0, b₊≥2, b₊^ℤ₂≥1, b₊−b₊^ℤ₂が奇数、d(c)=1, および2k₊,2k₋<1+b₊^ℤ₂の条件下で消える。
• K3#K3には滑らかでない局所線形ℤ₂作用が存在し、滑らかでないことを示すために必要な条件∑ε(p)=±8を満たさない。
• K3にはb₊^ℤ₂=3で孤立した固定点を持つ滑らかでない局所線形ℤ₂作用が存在し、同様に∑ε(p)=±8の条件を満たさない。
• 構成は、K3の交差形式の3H成分におけるℤ₂作用と、ユニモジュラーな偶数形式Bを表すリンクに依存し、等長的ハンドル体技法によって実現可能である。
• 単連結な位相的4次元多様体に局所線形ℤ₂作用が存在する場合、符号割り当てε′(P,Q)はwell-definedであり、作用が滑らかであればε′(P,Q)=ε(P)ε(Q)を満たす。
• 滑らかでないことの障害は、符号割り当ての和と滑らかな作用に必要な値±8との不一致に起因する。