[論文レビュー] Optimalité, congruences et calculs d'invariants des variétés symplectiques réelles de dimension quatre

Jean-Yves Welschinger|ArXiv.org|Jul 29, 2007

Algebraic Geometry and Number Theory参考文献 15被引用数 17

ひとこと要約

この論文は、シンプレクティック場理論の技法を用いて、シンプレクティック4次元多様体における実列挙的不変量の最適性を確立する。Welschinger型不変量 $\chi_r^d(L)$ が、実局に球面、トーラス、または実射影平面が含まれる場合（制約付き）に、実有理的曲線の数に対する鋭い下界を与えることを証明し、特に2次曲面および $\mathbb{RP}^2$ の場合の合同性性質と明示的計算を導出する。$\chi_{1}^{10} = -896$ も含む。結果は、符号を修正した $J$-擬補間曲線の数え上げとシンプレクティックトポロジーにおけるネックストレッチを用いて得られる。

ABSTRACT

This paper follows a previous one in which were introduced deformation invariants $χ^d_r$, $d \in H_2 (X ; \Z)$, $r \in \N$, of closed real symplectic four-manifolds $(X, ω, c_X)$, invariants which produced lower bounds in real enumerative geometry. We prove here using methods of symplectic field theory that the lower bounds are sharp when $r \leq 1$ and the real locus of the manifold contains a sphere, torus or real projective plane (under stronger assumptions in this last case). We also prove that a big power of two divides $χ^d_r$ as soon as r is not too big and when the real locus contains a sphere or real projective plane (under the same stronger assumptions in this last case). We finally present some explicit computations in the case of the projective plane or quadric ellipsoid surface as well as the general formulas used to get them, formulas which involve some relative invariants that we first define.

研究の動機と目的

• 先行研究で導入された実列挙的不変量 $\chi_r^d(L)$ が、シンプレクティック4次元多様体における実有理的曲線の数に対する最適な下界であることを証明すること。
• 特に、実局に球面または $\mathbb{RP}^2$ が含まれる場合、$\chi_r^d$ が高次の2の冪で割り切れるという合同性性質を確立すること。
• 相対不変量を用いて、2次曲面や $\mathbb{RP}^2$ のような特定の実シンプレクティック4次元多様体について、$\chi_r^d(L)$ の明示的値を計算すること。
• 実列挙的不変量の枠組みを相対不変量を含むように拡張し、それらの計算に一般式を提供すること。

提案手法

• 実局 $\mathbb{RX}$ 内のラグランジュ部分多様体 $L$ 沿いのネックストレッチを特に用いたシンプレクティック場理論の技法を用い、$J$-擬補間曲線の挙動を分析する。
• 点 $c_1(X)d - 1$ 個のうち、$r$ 個の実点と $r_X$ 対の共役点を通る実有理的 $J$-擬補間曲線の符号を修正した数え上げを適用し、不変量 $\chi_r^d(L)$ を定義する。
• ほとんど複素構造 $J$、点配置、およびその変形類内でのシンプレクティック形式 $\omega$ に依存しない、変形不変な符号数え上げ手順を用いる。
• ネック領域をモデル化するため、$S^*L$ のシンプレクティゼーションを用い、$L$ 近傍における擬補間曲線の漸近的挙動を制御する。
• Gromov-Witten理論の相対不変量を適用し、特に $\mathbb{RP}^2$ および2次曲面の場合の $\chi_r^d(L)$ の一般式を導出する。
• シンプレクティック和と相対不変量を用いた明示的計算により、$\chi_{1}^{10} = -896$ を、双次数 $(2,2)$ の2次曲面上の7点に対して得る。

実験結果

リサーチクエスチョン

• RQ1 実列挙的不変量 $\chi_r^d(L)$ は、シンプレクティック4次元多様体における実有理的曲線の数に対する最適な下界であるか？
• RQ2 実局に球面または $\mathbb{RP}^2$ が含まれる場合、$\chi_r^d$ に成り立つ合同性性質は何か？また、それらは不変量の2進付値とどのように関係するか？
• RQ3 特定の実シンプレクティック4次元多様体、例えば $\mathbb{RP}^2$ や2次曲面に対して、$\chi_r^d(L)$ の明示的公式を導出できるか？
• RQ4 相対不変量とシンプレクティック和の公式は、$\chi_r^d(L)$ の具体的な計算にどのように寄与するか？
• RQ5 双次数 $(2,2)$ の2次曲面上で $d = 10$ および $r = 1$ の場合の $\chi_r^d(L)$ の正確な値は何か？また、それはどのように計算されるか？

主な発見

• 実局に球面、トーラス、または $\mathbb{RP}^2$ が含まれる場合（所定の位相的制約付き）、不変量 $\chi_r^d(L)$ は、シンプレクティック4次元多様体における実有理的 $J$-擬補間曲線の数に対する最適な下界を与える。
• 特に $r \leq 1$ の場合、$\chi_r^d(L)$ は最適であり、下界が鋭く達成可能であることを意味する。
• 実局に球面または $\mathbb{RP}^2$ が含まれる場合、$\chi_r^d$ は高次の2の冪で割り切れる。2進付値は $r$ と共に増加し、定理2.1〜2.3で示される。
• 明示的計算により、双次数 $(2,2)$ の2次曲面上の7実点に対して $\chi_{1}^{10} = -896$ が得られ、相対不変量とシンプレクティック和の公式から導出される。
• 2次曲面上の7点を通る実有理的曲線の数は、双次数 $(2,2)$ のものが12個、$(3,1)$ のものが1個、$(1,3)$ のものが1個であり、最終的な不変量値が導かれる。
• 一般式 $\chi_r^d(L)$ は相対不変量とシンプレクティック和を用いて導出され、$N_d^{(a,b)}(0,e_1)$ の値が最終的な符号付き数え上げを計算するために用いられる。