[論文レビュー] Integrals of psi-classes over double ramification cycles

Alexandr Buryak, Sergey Shadrin+2 more|arXiv (Cornell University)|Nov 22, 2012

Algebraic Geometry and Number Theory参考文献 16被引用数 6

ひとこと要約

本稿は、曲線のモジュライ空間上での二重ルート（DR）サイクルとψ-クラスの単項式との交差数を計算する。生成関数と半無限楔形式主義を用いて、S(z) = sinh(z/2)/(z/2) を含むべき乗級数の係数として、これらの交差数の明示的公式を導出する。これにより、DR サイクルが分岐プロファイルに関して多項式的であり、タウトロジカル係数を持つという予想に対して強い証拠が得られる。

ABSTRACT

DR-cycles are certain cycles on the moduli space of curves. Intuitively, they parametrize curves that allow a map to \mathbb{P}^1 with some specified ramification profile over two points. They are known to be tautological classes, but in general there is no known expression in terms of standard tautological classes. In this paper, we compute the intersection numbers of those DR-cycles with any monomials in psi-classes when this intersection is zero-dimensional.

研究の動機と目的

• 安定曲線のモジュライ空間上でのDR-サイクルとψ-クラスの単項式との交差数を計算すること。
• 生成関数を用いて、S(z) を含む関数を含むこれらの交差数の明示的公式を導出すること。
• DR_g(a₁,…,aₙ) が a₁,…,aₙ に関して多項式であり、H^g(ℳ̄_g,n) に値をとる係数を持つという、広く知られた予想に対する証拠を提供すること。
• コン pact 型部分集合を超えるψ-クラスの寄与を含む、DR-サイクルに関する既知の結果の拡張を行うこと。

提案手法

• タウトロジカルクラスとψ-クラスを頂点演算子を用いて半無限楔形式主義で表現する。
• 分裂公式を用いて、特にLosev-Manin空間からの引き戻しを介して、異なるモジュライ空間上のDR-サイクルを関連付ける。
• 生成関数を用い、交差数が ζ(z) = e^{z/2} - e^{-z/2} を含む有理関数における z₁^{d₁}⋯zₙ^{dₙ} の係数として抽出されることを用いる。
• 重要な公式を導出する：∫ DR_g(a₁,…,aₙ) ∏ψ_i^{d_i} = [z₁^{d₁}⋯zₙ^{dₙ}] (z₁⋯zₙ / ζ(∑z_i)) × ∑_{σ:σ(1)=1} ∏_{k=1}^{n-1} ζ( |a'_k a'_{k+1}| / |z'_k z'_{k+1}| ) 。
• 特に演算子の交換関係と真空期待値を活用して、無限楔空間における帰納法と交換関係を用いて主定理を証明する。
• 変数変換と順序の再配置を用いて、問題を既知のケース（1つのψ-クラスの場合、およびマークされた点を無視した場合）に還元する。

実験結果

リサーチクエスチョン

• RQ1 DR-サイクルと曲線のモジュライ空間上でのψ-クラスの単項式との交差数は何か？
• RQ2 DR-サイクルは分岐プロファイル a₁,…,aₙ に関して多項式として表せるか？ その係数はタウトロジカル環に属するか？
• RQ3 相対的安定写像から ℙ¹ への忘却写像において、ψ-クラスの交差数はどのように振る舞うか？
• RQ4 複数のψ-クラスを持つDR-サイクルの交差数の生成関数構造は何か？

主な発見

• DR_g(a₁,…,aₙ) と ψ_s^{2g-3+n} の交差数は、z^{2g} の係数 [z^{2g}] として与えられ、∏_{i≠s} S(a_i z) / S(z) の中で、S(z) = sinh(z/2)/(z/2) である。
• 複数のψ-クラスに対しては、交差数が、ζ-関数と分岐および変数のペアの行列式を含む生成関数における z₁^{d₁}⋯zₙ^{dₙ} の係数として与えられる。
• マークされた点を無視するとき（すなわち a_i = 0 のとき）、生成関数における因子 S(a_i z) は S(a_i z) - 1 に置き換えられる。
• これらの結果は、DR_g(a₁,…,aₙ) が a₁,…,aₙ に関して多項式であり、H^g(ℳ̄_g,n) に値をとる係数を持つという予想を支持しており、コンパクト型部分集合上でのHainの結果を超えて拡張している。
• この方法により、ψ-クラスの交差数の生成関数が有理的であり、無限楔空間における演算子形式主義を用いて計算可能であることが確認された。
• 証明は、無限楔代数における帰納法と交換関係の恒等式に依拠しており、真空期待値が交差数と一致することが示された。