[論文レビュー] Logarithmic double ramification cycles

David Holmes, Samouil Molcho+3 more|arXiv (Cornell University)|Jul 14, 2022

Advanced Differential Equations and Dynamical Systems被引用数 5

ひとこと要約

本稿は、安定曲線のモジュライ空間の対数チャウ環における対数的二重ランクサイクルの明示的公式を確立し、区分的多項式と安定性条件を用いてピクソンの公式を対数的設定に拡張する。主な貢献は、普遍ジャコビアン構成と対数的交線論を用いた対数DRサイクルのウォールクロス型公式である。

ABSTRACT

Let $A=(a_1,\ldots, a_n)$ be a vector of integers which sum to $k(2g-2+n)$. The double ramification cycle $\mathsf{DR}_{g,A}\in \mathsf{CH}^g(\mathcal{M}_{g,n})$ on the moduli space of curves is the virtual class of an Abel-Jacobi locus of pointed curves $(C,x_1,\ldots,x_n)$ satisfying $$\mathcal{O}_C\Big(\sum_{i=1}^n a_i x_i\Big) \, \simeq\, \big(ω^{\mathsf{log}}_{C}\big)^k\, .$$ The Abel-Jacobi construction requires log blow-ups of $\mathcal{M}_{g,n}$ to resolve the indeterminacies of the Abel-Jacobi map. Holmes has shown that $\mathsf{DR}_{g,A}$ admits a canonical lift $\mathsf{logDR}_{g,A} \in \mathsf{logCH}^g(\mathcal{M}_{g,n})$ to the logarithmic Chow ring, which is the limit of the intersection theories of all such blow-ups. The main result of the paper is an explicit formula for $\mathsf{logDR}_{g,A}$ which lifts Pixton's formula for $\mathsf{DR}_{g,A}$. The central idea is to study the universal Jacobian over the moduli space of curves (following Caporaso, Kass-Pagani, and Abreu-Pacini) for certain stability conditions. Using the criterion of Holmes-Schwarz, the universal double ramification theory of Bae-Holmes-Pandharipande-Schmitt-Schwarz applied to the universal line bundle determines the logarithmic double ramification cycle. The resulting formula, written in the language of piecewise polynomials, depends upon the stability condition (and admits a wall-crossing study). Several examples of logarithmic and higher double ramification cycles are computed.

研究の動機と目的

• 古典的二重ランクサイクルのピクソンのタウトロジカルな公式を対数的設定に拡張すること。
• 対数的ブローアップを用いてアーベル・ジャコビ写像の不定性を解消し、対数的チャウ環への正規化された持ち上げを定義すること。
• 安定性条件と区分的多項式構造を用いて、対数的DRサイクルの普遍的公式を確立すること。
• 高次および対数的DRサイクルのための計算ツールを提供すること、Sageによる実装を含む。
• GL₂(ℤ)-不変性とウォールクロス現象を通じて、対数的タウトロジカル環内の関係を探索すること。

提案手法

• 対数的修正とスタック的ファンを用いて、古典的二重ランクサイクルを対数的チャウ環に持ち上げること。
• ホルムズ＝シュバルツの基準を、安定曲線のモジュライ空間上の普遍ラインバンドルに適用すること。
• 安定性条件に付随する区分的多項式関数を用いて、対数DRサイクルを構成すること。
• トロピカル曲線の分割とトロピカルアーベル・ジャコビ理論を用いて、対数的サイクルを代数化すること。
• 公式を安定グラフ上のグラフ和として表現し、各寄与は多項式の定数項によって定義される。
• Sageを用いて公式を計算的に実装し、対数DRサイクルの明示的計算を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 古典的二重ランクサイクルをどのようにして対数的チャウ環に正規化された持ち上げることができるか？
• RQ2 区分的多項式と安定性条件の観点から、対数的二重ランクサイクルの構造はどのようなものか？
• RQ3 安定性条件が変化する際、対数DRサイクルはウォールクロスによってどのように振る舞うか？
• RQ4 GL₂(ℤ)-不変性から生じる対数的タウトロジカル環内のタウトロジカル関係は何か？
• RQ5 高 genus および高次サイクルに対して、対数DRサイクルを明示的に計算できるか？

主な発見

• 本稿は、対数的チャウ環における対数的二重ランクサイクルの完全な明示的公式を提供し、ピクソンの公式を一般化する。
• 公式は、各寄与がグラフとベクトルAに付随する区分的多項式の定数項によって与えられる、安定グラフ上の和として表現される。
• 構成は安定性条件に依存しており、条件が変化する際のウォールクロスの研究が可能である。
• 著者らは、対数的および高次二重ランクサイクルの明示的例を計算し、特に genus 1 においても適用可能であることを示している。
• Sageによる実装が提供されており、高次および対数的ケースの実用的計算を可能にしている。
• 二重二重ランクサイクルのGL₂(ℤ)-不変性は、対数的タウトロジカル環における新しいタウトロジカル関係の構成をもたらす。