[論文レビュー] Computation of refined toric invariants II

Thomas Blomme|arXiv (Cornell University)|Jul 5, 2020

Polynomial and algebraic computation参考文献 22被引用数 6

ひとこと要約

本稿は、純虚数の複素点に限定されていた先行研究の制限を撤廃し、トーリック多様体上の有理曲線に対して、実点と複素点の混合な点制約を許容するように、洗練されたトーリック不変量を拡張する。トロピカル幾何学とBlock-Göttsche重複度を用いて、古典的洗練不変量とトロピカル洗練不変量の間の対応を確立し、洗練された数え上げが各トーリック除集合ごとの複素点の数にのみ依存することを証明する。これは、Mikhalkinおよび著者の以前の結果を一般化する。

ABSTRACT

In 2015, G.~Mikhalkin introduced a refined count for real rational curves in toric surfaces. The counted curves have to pass through some real and complex points located on the toric boundary of the surface, and the count is refined according to the value of a so called quantum index. This count happens only to depend on the number of complex points on each toric divisors, leading to an invariant. First, we give a way to compute the quantum index of any oriented real rational curve, getting rid of the previously needed "purely imaginary" assumption on the complex points. Then, we use the tropical geometry approach to relate these classical refined invariants to tropical refined invariants, defined using Block-Göttsche multiplicity. This generalizes the result of Mikhalkin relating both invariants in the case where all the points are real, and the result of the author where complex points are located on a single toric divisor.

研究の動機と目的

• トーリック除集合上の実点と複素点の両方を含む構成に、洗練されたトーリック不変量を一般化し、純虚数の複素点に限定されていた先行制限を撤廃すること。
• 実点と複素点が混合する制約のもとで、古典的洗練不変量とトロピカル洗練不変量の間の対応を確立すること。
• 複素点が純虚数でない場合を含め、任意の向き付けられた実有理曲線の量子指数を計算できること。
• 洗練された数え上げが、各トーリック除集合ごとの複素点の数にのみ依存することを証明し、真の不変量を確立すること。

提案手法

• 純虚数の複素点の仮定を必要としない、任意の向き付けられた実有理曲線の量子指数を計算する手法を導入する。
• Block-Göttsche重複度を介して、古典的洗練不変量とトロピカル洗練不変量を関連付けるために、トロピカル幾何学を適用する。
• 代数的曲線のトロピカル化を用いて、古典的数え上げ問題をトロピカル問題に翻訳する。
• 頂点と非有界枝からの寄与を計算するための、対数面積とモーメント条件を含む再帰的公式を用いる。
• 量子指数を[·]_−記法で組み込むことで、頂点および非有界枝全体の積による洗練された数え上げを導出する。
• 与えられた制約のもとで、古典的洗練不変量とトロピカル洗練不変量が一致することを示す対応定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 純虚数の複素点の仮定を外した場合、実有理曲線の量子指数はどのように計算できるか？
• RQ2 複素点が複数のトーリック除集合に分布する場合、古典的洗練不変量とトロピカル洗練不変量の間の関係は何か？
• RQ3 実点と複素点が混合する状況においても、有理曲線の洗練された数え上げが、各トーリック除集合ごとの複素点の数にのみ依存するか？
• RQ4 実点のみまたは1つの除集合に複素点が集中する場合に限らない一般ケースにおいて、トロピカルアプローチを用いて洗練不変量を計算できるか？
• RQ5 一般設定において、洗練不変量の明確な公式は、トロピカル重複度と量子指数を用いてどのように表されるか？

主な発見

• 実点と複素点の混合な点制約を通る有理曲線の洗練された数え上げは、各トーリック除集合ごとの複素点の数にのみ依存し、真の不変量を確立する。
• 複素点が純虚数でない場合を含め、任意の向き付けられた実有理曲線の量子指数を、純虚数の複素点の仮定を必要とせず計算可能であり、先行研究を一般化する。
• 古典的洗練不変量は、Block-Göttsche重複度を介して計算されるトロピカル洗練不変量と一致する。これは、Mikhalkinの対応定理を混合ケースに拡張する。
• トロピカル曲線が洗練された数え上げに寄与する寄与は、頂点および非有界枝全体の積として与えられ、[·]_−記法と[2θ−1]_+項を含む。
• |s|個の非有界枝をもつ曲線では、洗練された数え上げに4·2^{|s|}/[1]_−^{|s|}の因子が含まれ、非有界枝が量子指数に与える寄与を反映する。
• 1次解の洗練された数の最終公式は、4·(2^{|s|}/[1]_−^{|s|})·∏_V [m_V/2]_− であり、m_Vは頂点Vにおける重複度である。