[論文レビュー] Orthogonal complex structures on domains in R^4

Simon Salamon, Jeff Viaclovsky|ArXiv.org|Apr 25, 2007

Geometric Analysis and Curvature Flows参考文献 31被引用数 7

ひとこと要約

本稿はR⁴内の領域における直交複素構造（OCS）を調査し、低次元の特異点集合をもつ場合の、一意性および自己相反的分類に関する2つのリウビル型定理を証明する。非定数のOCSは、SO₀(1,5)作用下でのCP³内の非退化二次曲面から生じ、R⁴から輪状の立体トーラスを除いた領域にOCSを定める。また、コンパクトで局所的に自己相反的平坦なヘルミート曲面のポンテコルヴォ分類について、新たな証明を提示する。

ABSTRACT

An orthogonal complex structure on a domain in R^4 is a complex structure which is integrable and is compatible with the Euclidean metric. This gives rise to a first order system of partial differential equations which is conformally invariant. We prove two Liouville-type uniqueness theorems for solutions of this system, and use these to give an alternative proof of the classification of compact locally conformally flat Hermitian surfaces first proved by Pontecorvo. We also give a classification of non-degenerate quadrics in CP^3 under the action of the conformal group. Using this classification, we show that generic quadrics give rise to orthogonal complex structures defined on the complement of unknotted solid tori which are smoothly embedded in R^4.

研究の動機と目的

• R⁴内の領域における直交複素構造（OCS）が、低次元の特異点集合をもつ場合の、一意性および自己相反的分類を確立すること。
• twistor対応を介して、R⁴におけるOCSをCP³の複素超曲面へ関連付けること。
• 自己相反群SO₀(1,5)作用下でのCP³内の非退化二次曲面を分類し、それらがR⁴から輪状の立体トーラスを除いた領域におけるOCSに結びつくこと。
• OCSフレームワークおよびtwistor理論を用いて、コンパクトで局所的に自己相反的平坦なヘルミート曲面のポンテコルヴォ分類を再証明すること。

提案手法

• R⁴上の複素構造Jの可積分性および直交性条件から導かれる、1階の自己相反不変な偏微分方程式系を用いる。
• 解析的集合に関するシュフィマンおよびビショップの定理を応用し、特異点集合を制御し、解を拡張する。
• twistor幾何を活用：OCSをR⁴からCP³へのtwistor射影π: CP³ → S⁴を介して、CP³内の正則超曲面へ写像する。
• SO₀(1,5)による作用下でのCP³内非退化二次曲面の分類を、標準形および判別式集合の位相的解析により行う。
• R⁴における判別式集合Dの位相を、CP³へのその上への持ち上げを調べ、リーマン＝フルイツおよびホモロジー論法を用いて解析する。
• 反転および球面交差技術を用いて特異点を解消し、Dが二次曲面の種類に応じてピンチトーラスまたは輪状のトーラスとなることを示す。

実験結果

リサーチクエスチョン

• RQ1 R⁴内の領域における直交複素構造が、自己相反同値を除いて一意に定まる条件は何か？
• RQ2 CP³内の非退化二次曲面は、R⁴から輪状の立体トーラスを除いた領域における直交複素構造をどのように生じさせるか？
• RQ3 CP³内の二次曲面の判別式集合の位相的構造は何か？ そして、それがR⁴に誘導されるOCSに与える影響は？
• RQ4 OCSフレームワークおよびtwistor理論を用いて、コンパクトで局所的に自己相反的平坦なヘリミート曲面の分類を再証明できるか？
• RQ5 CP³内における二次曲面の補集合のグローバル位相は何か？ そして、それが誘導されるOCSの定義域とどのように関係するか？

主な発見

• R⁴から1-ハウスドルフ測度が0の集合を除いた領域におけるC¹直交複素構造は、定数であるか、1点の補集合に拡張可能であり、標準的OCSと自己相反的に同値である。
• 特異点集合が円周または直線である場合、OCSは符号を除き一意に定まり、最大に定義され、実二次曲面がCP³に由来する。
• SO₀(1,5)作用下でのCP³内の非退化二次曲面は、R⁴から輪状の立体トーラスを除いた領域にOCSを定める。判別式集合は滑らかな輪状のトーラスまたはピンチトーラスである。
• 一般の二次曲面の判別式集合Dは、R⁴内で滑らかな輪状のトーラス（位相的にS¹×S¹）であり、その補集合は立体トーラスの位相をもつ。
• 特異二次曲面の判別式集合は1点でピンチされたトーラスであり、グローバル位相はS²×S²から特異トーラスを除いたものであり、その補集合は2つのR⁴から直線を除いた空間に分解される。
• 本稿は、OCSフレームワークおよびtwistor理論を用いて、ポンテコルヴォのコンパクトで局所的に自己相反的平坦なヘルミート曲面の分類について、新たな証明を提示する。