[論文レビュー] Anti-Self-Dual 4-Manifolds, Quasi-Fuchsian Groups, and Almost-Kaehler Geometry

Christopher J. Bishop, Claude LeBrun|arXiv (Cornell University)|Aug 12, 2017

Geometry and complex manifolds参考文献 10被引用数 3

ひとこと要約

本稿では、4次元多様体上のほぼケーラー反自己双対計量の集合が一般に変形に関して閉じていないことを示しており、モジュリ空間の全連結成分をカバーしない可能性があることを示している。双曲的3次元多様体上の調和関数と関連する4次元多様体上の自己双対調和2形式との関係を確立し、準フクシアン群とトンネルビジョン関数を用いて具体的な例を構成することで、ほぼケーラー領域の非閉性を示す臨界点の存在を証明している。

ABSTRACT

It is known that the almost-Kaehler anti-self-dual metrics on a given 4-manifold sweep out an open subset in the moduli space of anti-self-dual metrics. However, we show here by example that this subset is not generally closed, and so need not sweep out entire connected components in the moduli space. Our construction hinges on an unexpected link between harmonic functions on certain hyperbolic 3-manifolds and self-dual harmonic 2-forms on associated 4-manifolds.

研究の動機と目的

• 反自己双対な計量のモジュリ空間におけるほぼケーラー反自己双対計量の開部分集合が、常に閉じているかどうかを調査すること。
• 双曲的3次元多様体上の調和関数と4次元多様体上の自己双対調和2形式の間の幾何学的・解析的関係を調査すること。
• スカラー平坦ケーラー多様体の変形であるにもかかわらず、共形的にほぼケーラーでない反自己双対4次元多様体の具体的な例を構成すること。
• 準フクシアン3次元多様体上のトンネルビジョン関数を分析し、ほぼケーラー領域が閉じていないことを示す臨界点を同定すること。
• 非退化臨界点が関連する4次元多様体の共形幾何に与える役割を検討すること。

提案手法

• 表面群のPSL(2,ℂ)への表現から生じる準フクシアン3次元多様体に基づく幾何的構成を用いる。これらは双曲的表面をファイバーとする円周上へのファイブレーションを持つ。
• 境界無限遠における領域の視界の広がりを測るトンネルビジョン関数を双曲的3次元多様体上に定義し、モース理論を用いてその臨界点を研究する。
• -twistor構成とホッジ理論を介して、3次元多様体上の調和関数と関連4次元多様体上の自己双対調和2形式との間の核心的関係を確立する。
• トンネルビジョン関数の臨界点の存在が、計量が共形的にほぼケーラーでないことを示すことに対応しており、ヘッシアンを用いて横断性を検出することでこれを示す。
• 『ドッグボーン』領域を細い通路で近似することで、レベル集合の位相的変化が臨界点を示唆することを示し、微小摂動に対してもその性質が保たれることを示す。
• 4次元における2形式に対してホッジスターが共形不変であることに着目し、定数ノルム√2の調和形式から反自己双対計量を構成できることを示す。

実験結果

リサーチクエスチョン

• RQ1 反自己双対な計量のモジュリ空間におけるほぼケーラー反自己双対計量の開部分集合は、必然的に閉じているのか？
• RQ2 双曲的3次元多様体上の調和関数を用いて、関連4次元多様体上の自己双対調和2形式を構成できるか？
• RQ3 準フクシアン3次元多様体上のトンネルビジョン関数の臨界点は、非ほぼケーラー反自己双対計量に対応するか？
• RQ4 スカラー平坦ケーラー多様体の変形であるにもかかわらず、共形的にほぼケーラーでない反自己双対4次元多様体を構成できるか？
• RQ5 トンネルビジョン関数に臨界点を持たない準フクシアン3次元多様体は存在するか？ その場合、関連4次元多様体にはどのような意味が生じるか？

主な発見

• 4次元多様体上のほぼケーラー反自己双対計量の集合は、反自己双対な共形構造のモジュリ空間において一般に閉じていない。
• Σ×CP¹の形をした4次元多様体上の反自己双対な共形クラスのモジュリ空間の次元は30(g−1)であるが、スカラー平坦ケーラー計量から生じるのは12(g−1)次元の部分空間に限る。
• 準フクシアン3次元多様体上のトンネルビジョン関数の臨界点は、共形的にほぼケーラーでない計量に対応し、モース理論的議論によりその存在を示せる。
• 極めて細い通路を持つ準フクシアン多様体の極限において、トンネルビジョン関数は非退化ヘッシアンを持つ臨界点を発生させ、微小摂動に対しても安定であることが示される。
• 構成により、ほぼケーラー領域がモジュリ空間の全連結成分を含まない可能性があることが示され、スカラー平坦ケーラー計量から出発しても同様である。
• 通路を十分に細くすることで、トンネルビジョン関数に少なくとも1つの非退化臨界点を配置できることが保証され、非ほぼケーラー反自己双対計量を構成するためのメカニズムが得られる。