[論文レビュー] Almost-Kahler Anti-Self-Dual Metrics

Inyoung Kim|arXiv (Cornell University)|Nov 24, 2015

Geometry and complex manifolds参考文献 16被引用数 7

ひとこと要約

この論文は、変形理論とセイバーグ・ワトソン不変量を用いて、コンpakな4次元多様体上における厳密なほぼケーラー反自己双対（ASD）計量の存在および非存在を確立する。$Χ\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$（$n \geq 10$）、$S^2 \times \Sigma_g$（$g \geq 2$）および関連する連結和に対して、このような計量が存在することを証明している一方、$n < 10$ に対しては、セイバーグ・ワトソン理論からの位相的障害によってその存在を否定している。

ABSTRACT

We show the existence of strictly almost-Kahler anti-self-dual metrics on certain 4-manifolds by deforming scalar-flat Kahler metrics. On the other hand, we prove the non-existence of such metrics on certain other 4-manifolds by means of Seiberg-Witten theory. In the process, we provide a simple new proof of the fact that any almost-Kahler anti-self-dual 4-manifold must have a non-trivial Seiberg-Witten invariant.

研究の動機と目的

• 厳密なほぼケーラー反自己双対計量と正のスカラー曲率計量を両方とも持つ滑らかでコンパクトな4次元多様体の分類を行うこと。
• 厳密なほぼケーラーASD計量を支持する4次元多様体にかかる位相的制約を特定すること。
• このような多様体が非自明なセイバーグ・ワトソン不変量を持つ必要があるという新たな証明を提供すること。
• 特に $\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$ に対して、存在の鋭い条件を確立すること。
• 正のスカラー曲率に関するリウの定理を、ほぼケーラーASD構造の設定に拡張すること。

提案手法

• スカラー平坦ケーラー計量の変形を用いて、厳密なほぼケーラーASD計量を構成すること。
• twistor理論の応用により、複素構造のコーディア・スペンサー理論を通じてASD計量の変形を解釈すること。
• 明示的な摂動形式を用いたセイバーグ・ワトソン理論を適用し、解の構造を分析すること。
• ほぼケーラーASD計量のセイバーグ・ワトソン不変量を計算し、それが非ゼロであることを示すこと。
• セイバーグ・ワトソンモジュライ空間内の良いペアの路連結性を用いて、摂動に対して不変であることを導出すること。
• 正のスカラー曲率に関するリウの定理とセイバーグ・ワトソン不変量を組み合わせ、微分同相型の制約を導出すること。

実験結果

リサーチクエスチョン

• RQ1 どの滑らかでコンパクトな4次元多様体が厳密なほぼケーラー反自己双対計量を持つのか？
• RQ2 特定の4次元多様体上でのこのような計量の存在を妨げる位相的障害は何か？
• RQ3 ほぼケーラーASD計量におけるセイバーグ・ワトソン不変量はどのように振る舞い、それらの構造に何を示唆するのか？
• RQ4 どの最小の数 $n$ に対して $\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$ がほぼケーラーASD計量を持つのか？
• RQ5 正のスカラー曲率計量の存在を用いて、ほぼケーラーASD計量も持つ4次元多様体を分類できるか？

主な発見

• $\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$ は、$n \geq 10$ である場合に限り、ほぼケーラー反自己双対計量を持つ。
• 厳密なほぼケーラーASD計量の存在は、セイバーグ・ワトソン不変量が非ゼロであることを示し、スカラー曲率およびリッチ曲率を用いてその不変量が明示的に評価可能である。
• $b_+ = 1$ の場合、ペア $(g, 0)$ と $(g, \epsilon)$（ただし $\epsilon = -\left(\frac{s}{6} + \frac{r^2}{4}\right)\omega$）は良いペアを通じて路連結しており、これにより同じセイバーグ・ワトソンチャネルが保証される。
• 厳密なほぼケーラーASD計量と正のスカラー曲率計量の両方を持つすべての4次元多様体は、$\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$（$n \geq 10$）、$S^2 \times \Sigma_g$（$g \geq 2$）、または $n \geq 1$（$S^2 \times T^2$ の場合は $n \geq 4$）の $\overline{\mathbb{CP}}^2$ との連結和に微分同相型である。
• $n \leq 9$ の場合、$\mathbb{CP}^2\#n\overline{\mathbb{CP}}^2$ 上にこのような計量が存在しないことは背理法により証明されている：もし存在すれば、スカラー平坦ケーラー計量であるはずであり、$c_1^2 < 0$ を意味するが、$n \leq 9$ の場合 $c_1^2 \geq 0$ であることに反する。
• 本論文は、明示的な摂動形式とモジュライ空間内の路連結性を用いて、任意のほぼケーラー反自己双対4次元多様体が非自明なセイバーグ・ワトソン不変量を持つことを示す、新たな簡単な証明を提供している。