[論文レビュー] Generalized Donaldson-Thomas invariants on the local projective plane

Yukinobu Toda|arXiv (Cornell University)|May 14, 2014

Advanced Algebra and Geometry参考文献 17被引用数 3

ひとこと要約

本稿では、任意の正のランクを持つ局所的射影平面における一般化されたドナルドソン＝トーマス不変量の生成関数が、有限個のモジュラー形式および不定形式 lattice の theta 級数の線形結合として表現可能であることを確立している。これらの級数は上半平面において正則関数へ絶対収束する。この構造は、弦理論における S 対称性の予想と整合的である。

ABSTRACT

We show that the generating series of generalized Donaldson-Thomas invariants on the local projective plane with any positive rank is described in terms of modular forms and theta type series for indefinite lattices. In particular it absolutely converges to give a holomorphic function on the upper half plane.

研究の動機と目的

• 任意の正のランクに対して、非コンパクトなカーバイ＝ヤウ 3 次曲面である局所的射影平面における一般化されたドナルドソン＝トーマス不変量の構造を理解すること。
• ランクと次数が互いに素でない場合の明示的公式の複雑さを解消し、統一的なモジュラー構造を同定すること。
• これらの不変量の生成関数が絶対収束し、モジュラーに似た性質を示すことを示すこと。
• 代数的幾何学的不変量とモジュラー形式、および不定形式 lattice 上の theta 関数を結びつける枠組みを提供すること。

提案手法

• 非退化 lattice、有理ベクトル、双線形形式を含む lattice データから一般化された theta 級数を構成し、符号および双線形ペアリングの条件により収束を保証する。
• 従来の theta 級数およびモック theta 級数を一般化する、新たなクラスの theta 級数（5）を導入し、不定形式二次形式を扱えるようにする。
• トーラス局所化とグラフ論的データ（G, ψ）によるモジュライ空間の組み合わせ的分解を用い、不変量の計算を部分グラフおよび lattice ポイントへの和に還元する。
• 生成関数を、これらの一般化された theta 級数の有限線形結合として表現し、Dedekind の eta 関数の累乗および逆 theta 級数によるスケーリングを施す。
• 特に、P² の吹き上げにおける交点論を用いて、標準的除法と曲線類に関連する重要な恒等式を導出する。
• 双線形形式および符号関数の構造に依存する、係数の成長に関する解析的推定により、級数の収束性を確立する。

実験結果

リサーチクエスチョン

• RQ1 局所的 P² 上の一般化された DT 不変量の生成関数は、モジュラー形式および不定形式 lattice の theta 級数で表現可能か？
• RQ2 任意の正のランクに対して、上半平面における正則関数へ絶対収束するか？
• RQ3 ランクと次数が互いに素でない場合でも、DT 不変量の背後にある統一的なモジュラー構造は存在するか？ これにより、明示的公式の複雑さが解消されるか？
• RQ4 SL(2,Z) の作用における不変量のモジュラー変換性を示すことで、S 対称性の予想を支持できるか？
• RQ5 ランク 1 および 2 の場合を越えて、生成関数の正確な代数的および解析的構造は何か？

主な発見

• 任意の正のランク r および整数 l に対して、一般化された DT 不変量の生成関数が、一般化された theta 級数およびモジュラー形式の有限線形結合として示された。
• 収束推定により、theta 級数（5）の収束性が保証され、上半平面において正則関数へ絶対収束することが確認された。
• 任意の r ≥ 1 および l ∈ ℤ に対して、級数 DT(r,l) は q^{r/8} η(q)^{-3r} に、ある N ≥ 1 に対する q^{1/N} の一般化された theta 級数の有理関数としての組み合わせを乗じた形で表現される。
• 古典的 theta 級数（正定値の場合）およびモック theta 級数（b=1, k=0）が特別な場合として含まれており、既知の結果を統一的に扱える。
• ランク 2 や 3 の場合に観察されたモジュラーに似た振る舞いの背後にある構造的説明が得られ、明示的閉形式の必要がない。
• 直接的にモジュライ空間のオイラー標数を計算するのではなく、lattice 理論的およびグラフ論的分解を用いて、モジュラー構造を導出する手法が採用された。