[論文レビュー] Stable Cohomotopy Seiberg-Witten Invariants of Connected Sums of Four-Manifolds with Positive First Betti Number

Masashi Ishida, Hirofumi Sasahira|ArXiv.org|Apr 22, 2008

Geometric Analysis and Curvature Flows参考文献 55被引用数 8

ひとこと要約

本稿は、正の最初のベッチ数を持つ4次元多様体の直和における安定コhomotopyセイバーグ＝ワトソン不変量の新しい非消滅定理を確立し、バウアーの結果を $b_1 = 0$ の場合から超える。主な貢献は、$b_1 \neq 0$、$b^+ \geq 2$、かつ2を法として奇数であるセイバーグ＝ワトソン不変量をもつほぼ複素4次元多様体の直和における不変量の非消滅を証明することであり、$\ell = 2$ の場合の予想を強く肯定的に解決し、非ゼロの単体体積と非可換な滑らかさ構造をもつ4次元多様体の新しい例を提供する。

ABSTRACT

We shall prove a new non-vanishing theorem for the stable cohomotopy Seiberg-Witten invariant of connected sums of 4-manifolds with positive first Betti number. The non-vanishing theorem enables us to find many new examples of 4-manifolds with non-trivial stable cohomotopy Seiberg-Witten invariants and it also gives a partial, but strong affirmative answer to a conjecture concerning non-vanishing of the invariant. Various new applications of the non-vanishing theorem are also given. For example, we shall introduce variants $\barλ_k$ of Perelman's $\barλ$ invariants for real numbers $k$ and compute the values for a large class of 4-manifolds including connected sums of certain K{ä}hler surfaces. The non-vanishing theorem is also used to construct the first examples of 4-manifolds with non-zero simplicial volume and satisfying the strict Gromov-Hitchin-Thorpe inequality, but admitting infinitely many distinct smooth structures for which no compatible Einstein metric exists. Moreover, we are able to prove a new result on the existence of exotic smooth structures.

研究の動機と目的

• バウアーの安定コhomotopyセイバーグ＝ワトソン不変量の非消滅定理を、$b_1 = 0$ の4次元多様体の状況から、最初のベッチ数が正である場合へと拡張すること。
• 文献[79]の予想2に対して、$\ell = 2$ 個の直和成分をもつ場合に強く肯定的な答えを与えること。
• 非ゼロの単体体積と無限に多くの異なる滑らかさ構造をもつ4次元多様体の新しい例を構成すること。これらの多様体は、アインシュタイン計量を伴わない。
• Kähler多様体の直和を含む広いクラスの4次元多様体において、実数 $k$ に対するペレラの $\overline{\lambda}$-不変量の変種を計算すること。
• 非消滅不変量を用いた、非可換な滑らかさ構造の存在に関する新しい結果を確立すること。

提案手法

• S^1-可換安定コhomotopy群 $\pi^{b^+}_{S^1,\mathcal{B}}(\mathrm{Pic}^0(X), \mathrm{ind}D)$ における安定コhomotopyセイバーグ＝ワトソン不変量 $BF_X$ を定義するため、セイバーグ＝ワトソン写像の有限次元近似を開発すること。
• 直和の設定において非自明性を確立するために、スピンコボルディズムセイバーグ＝ワトソン不変量を主要な道具として用いること。
• 4次元多様体の直和について、$b^+ \equiv 3 \pmod{4}$、$b_1 \neq 0$、$SW \equiv 1 \pmod{2}$ を満たすとき、スピンコボルディズム不変量が非ゼロであることを証明すること。
• $BF_X$、スピンコボルディズム不変量 $\widehat{SW}^{\mathrm{spin}}_X$、標準的セイバーグ＝ワトソン不変量 $SW_X$ の間の可換図式を確立すること。
• 非消滅定理を適用して、ペレラの $\mathcal{F}$-汎関数の変種および $\overline{\lambda}_k$-不変量の新しい微分幾何的不変量を計算すること。
• 非消滅不変量を用いて、非ゼロの単体体積と無限に多くの非可換な滑らかさ構造をもつ4次元多様体を構成すること。これらの多様体はアインシュタイン計量を伴わない。

実験結果

リサーチクエスチョン

• RQ1 最初のベッチ数 $b_1 > 0$ をもつ4次元多様体の直和において、安定コhomotopyセイバーグ＝ワトソン不変量は非消滅のままであるか？
• RQ2 文献[79]の予想2は、$b_1 \neq 0$ をもつ4次元多様体の $\ell = 2$ 個の直和成分に対して証明可能か？
• RQ3 非消滅定理は、非ゼロの単体体積と無限に多くの異なる滑らかさ構造をもつ4次元多様体の構成に用いることができるか？ これらの多様体は、相性のとれるアインシュタイン計量をもたない。
• RQ4 Kähler多様体の直和および他の $b_1 \neq 0$ をもつ4次元多様体に対して、$\overline{\lambda}_k$-不変量の値は何か？
• RQ5 $\ell \geq 4$ 個の直和成分をもつ場合に、スピンコボルディズム不変量が消えるとき、非消滅の安定コhomotopyセイバーグ＝ワトソン不変量を検出する新しい方法はあるか？

主な発見

• 安定コhomotopyセイバーグ＝ワトソン不変量 $BF_X$ は、各 $X_i$ が $b_1(X_i) \neq 0$、$b^+(X_i) \equiv 3 \pmod{4}$、$SW_{X_i}(\Gamma_{X_i}) \equiv 1 \pmod{2}$ を満たすほぼ複素4次元多様体である直和 $X = X_1 \# X_2$ において非消滅であり、$\ell = 2$ の場合の予想2を証明する。
• 本稿は、非ゼロの単体体積と無限に多くの異なる滑らかさ構造をもつ4次元多様体の最初の例を構成する。これらの多様体は、いずれも相性のとれるアインシュタイン計量をもたない。
• $\overline{\lambda}_k$-不変量は、Kähler多様体の直和を含む広いクラスの4次元多様体について、非消滅定理を用いて計算された。
• 非消滅定理により、ペレラの $\mathcal{F}$-汎関数の変種の計算が可能となり、モノポールクラスを用いた曲率の上限が得られる。
• $\ell \geq 4$ 個の直和成分では、この手法は失敗する。これはスピンコボルディズムセイバーグ＝ワトソン不変量が消えるためであり、新しいアプローチの必要性を示唆する。
• 本稿は、$b^+ \geq 2$、$b_1 \neq 0$、$SW \equiv 1 \pmod{2}$ を満たし、必要な条件を満たすほぼ複素4次元多様体の明示的例を提供する。例として、奇数 $g,h$ に対する $\Sigma_g \times \Sigma_h$ や、一次元のコダイラ表面が含まれる。