[論文レビュー] Welschinger invariant and enumeration of real plane rational curves

Ilia Itenberg, Viatcheslav Kharlamov+1 more|ArXiv.org|Mar 30, 2003

Polynomial and algebraic computation参考文献 9被引用数 4

ひとこと要約

この論文は、Welschingerの不変量とMikhalkinのトロピカル幾何学的手法を用いて、実射影平面における一般の実点 $3d-1$ を通る実有理曲線の数の下界を確立する。少なくとも $d!/2$ 個のこのような実有理曲線が存在することを証明し、実解の存在を確認するとともに、対数スケールにおいて漸近的に複素有理曲線のうち少なくとも1/3が実であることを示している。

ABSTRACT

Welschinger's invariant bounds from below the number of real rational curves through a given generic collection of real points in the real projective plane. We estimate this invariant using Mikhalkin's approach which deals with a corresponding count of tropical curves. In particular, our estimate implies that, for any positive integer $d$, there exists a real rational curve of degree $d$ through any collection of $3d-1$ real points in the projective plane, and, moreover, asymptotically in the logarithmic scale at least one third of the complex plane rational curves through a generic point collection are real. We also obtain similar results for curves on other toric Del Pezzo surfaces.

研究の動機と目的

• 実射影平面 $\mathbb{R}P^2$ における一般の配置の $3d-1$ 個の実点を通る実有理曲線の数に対する非自明な下界を確立すること。
• 任意の次数 $d$ に対して、このような実有理曲線が常に存在するかどうかという長年の未解決問題を解決すること。
• Welschinger不変量を他のトーリックDel Pezzo面に拡張し、それらの線形系統における有理曲線に対して類似の下界を導出すること。
• Welschinger不変量が、$d!/2$ のように増加することを示すことにより、それが意味のある下界を提供することを示し、漸近的に正の割合の複素曲線が実であることを示すこと。

提案手法

• 実有理曲線に $\pm1$ の重みを割り当てて、点配置に依存しない位相的不変量を生成するWelschingerの不変量を用いる。
• Mikhalkinのトロピカル幾何学的手法を応用してトロピカル曲線を数え、実の数え上げ問題をトロピカル多様体上の組合せ的数え上げに翻訳する。
• Del Pezzo多様体では、Gromov-Witten不変量が既約有理曲線を数えることができることに依拠し、この文脈でWelschinger不変量の利用を可能にする。
• 退化技術を用いて、代数的多様体上の実有理曲線とそれらのトロピカル版との間の対応を確立する。
• Bézoutの定理と分岐公式を用いて、束内の特異点および基点付近での曲線の挙動を分析する。
• 分岐次数の変動公式を用いて、曲線空間の実部分における分岐を分析し、位相的変化とWelschinger不変量の変化を結びつける。

実験結果

リサーチクエスチョン

• RQ1 任意の $d \geq 1$ に対して、$\mathbb{R}P^2$ 内の任意の一般の実点 $3d-1$ 個の集合を通る少なくとも1本の実有理曲線が存在するか？
• RQ2 Welschinger不変量は、実有理曲線の数に対する下界としてどれほど非自明か？
• RQ3 Del Pezzo多様体に対して、Welschinger不変量はトロピカル幾何学的手法を用いて効果的に推定可能か？
• RQ4 対数スケールにおいて、$3d-1$ 個の一般の点を通る複素有理曲線のうち、どの程度の割合が実であるか？
• RQ5 Welschinger不変量は、楕円曲線などの正の genus の曲線に一般化可能か？

主な発見

• 任意の $d \geq 1$ に対して、$\mathbb{R}P^2$ 内の任意の一般の実点 $3d-1$ 個を通る少なくとも $d!/2$ 個の実有理曲線が存在する。これは実解の存在を確認する。
• 下界 $d!/2$ の対数的漸近的挙動は $\frac{1}{3} \log N^{\mathbb{C}}_{\mathbb{P}^2,d}$ に等しく、これは対数スケールで複素有理曲線の少なくとも1/3が実であることを意味する。
• Welschinger不変量の明示的値が計算された：$W_4 = 240$ および $W_5 = 18264$ であり、増加率の確認がなされた。
• 下界は他のトーリックDel Pezzo多様体に対しても拡張可能である：$Q = \mathbb{C}P^1 \times \mathbb{C}P^1$ および $P_k$（$k$ 個の点を blown up した射影平面）であり、除数類に応じた明示的公式が得られた。
• Welschinger不変量は楕円曲線には直接一般化できない。なぜなら、実部分における分岐が配置に依存して変化するためである。
• 1つのノードを持つノード付き曲線に対しては、$d \geq 4$ のときWelschinger数は不変でない。これは束内の共役虚基点の数に依存するためである。