[論文レビュー] Enumerative invariants of stongly semipositive real symplectic six-manifolds

Jean-Yves Welschinger|ArXiv.org|Sep 6, 2005

Geometric and Algebraic Topology参考文献 14被引用数 9

ひとこと要約

本稿では、強い半正則な実シンプレクティック6次元多様体に対して、スピンル状態に基づいて実有理的J-ホロモーフィック曲線に符号重み（+1 または -1）を割り当てることで、整数値をとる数え上げ不変量を導入する。これらの不変量は変形不変であり、実配置の点を通過する実有理的曲線の数の下界を与える。これは、次元4から6次元への、実の下での曲線数の単純な数え上げの非不変性を克服し、実局所の位相的制約の下で、以前の不変量を拡張するものである。

ABSTRACT

Following the approach of Gromov and Witten, we define invariants under deformation of stongly semipositive real symplectic six-manifolds. These invariants provide lower bounds in real enumerative geometry, namely for the number of real rational $J$-holomorphic curves which realize a given homology class and pass through a given real configuration of points.

研究の動機と目的

• 実シンプレクティック6次元多様体に対して、シンプレクティック構造およびほぼ複素構造の変形に対して不変である整数値不変量を定義すること。
• 次元4における以前の符号に基づく不変量を次元6に拡張することにより、実数上で単純な曲線数の非不変性を克服すること。
• 実局所に付随する位相的構造と関連するスピンル状態を導入することで、高次元シンプレクティック多様体における実数の数え上げ幾何学の枠組みを確立すること。
• 不変量が摂動に対して安定であり、与えられたホモロジー類に実有理的曲線が存在する数の意味のある下界を与えることを保証すること。

提案手法

• 本手法は、実有理的J-ホロモーフィック曲線ごとに{±1}の符号を割り当てることで不変量を構成する。符号は、多様体の実局所に誘導されるPin⁻₃構造を介して定義されるスピンル状態に基づく。
• スピンル状態は、実局所の第二スティーフェル＝ホイットニー類を用いて定義され、それが0であるか、または第一スティーフェル＝ホイットニー類の平方に等しい必要がある。
• 不変量は、与えられたホモロジー類に属し、実配置の点を通るすべての実有理的J-ホロモーフィック曲線のスピンル符号の和として得られる。
• 変形不変性は、実安定写像のモジュライ空間を解析し、ほぼ複素構造の空間内を走る経路においても符号付き数え上げが一定であることを示すことによって確立される。
• 一般性を保つために、横断性および摂動技法が用いられ、ほぼ複素構造の空間への射影写像の近傍における臨界点の振る舞いを制御する。
• 証明は、射影写像πℝの局所的解析と、モジュライ空間内の壁を越えての符号和の連続性を示すことにより、壁を越えて不変量が一定であることを示す。

実験結果

リサーチクエスチョン

• RQ1 実シンプレクティック6次元多様体における実有理的J-ホロモーフィック曲線に対して、シンプレクティック構造およびほぼ複素構造の変形に対して不変である整数値不変量を定義できるか？
• RQ2 実数体ℝは代数的に閉じていないため、実数の数え上げ幾何学において、ほぼ複素構造や点配置の選択に依存しない方法は何か？
• RQ3 6次元における実有理的曲線に対して一貫したスピンル状態を定義するために、実局所に必要な十分な位相的条件は何か？
• RQ4 このような不変量が、与えられたホモロジー類に属する実有理的曲線の実際の数の下界として機能できるか？
• RQ5 これらの不変量は、低次元における既存の不変量およびカバリ＝ヤウ6次元多様体における後続の発展とどのように関係するか？

主な発見

• 本稿では、強い半正則な実シンプレクティック6次元多様体に対して、実有理的J-ホロモーフィック曲線にスピンル符号を割り当てることで、変形不変整数不変量を構成する。
• これらの不変量は、一般なほぼ複素構造Jや実点配置の選択に依存せず、配置が横断的かつ有限である限り不変である。
• 不変量は、与えられたホモロジー類に属し、実点配置を通るすべての実有理的J-ホロモーフィック曲線の数の下界を与える。
• 不変量は、実局所の位相的条件：w₂(ℝX) = 0 または w₂(ℝX) = w₁(ℝX)² の下で定義される。
• 変形不変性は、実安定写像のモジュライ空間内の壁を越えて符号和が一定であることを示すことにより証明され、局所的摂動および横断性の議論が用いられる。
• 既知の例（例えば、二次曲面三重体）では結果が鋭く、下界が達成されており、特定の例（ℂP² や双曲的二次曲面）についても不変量が計算されている。