[論文レビュー] The hypergeometric functions of the Faber-Zagier and Pixton relations

Alexandr Buryak, Felix Janda+1 more|arXiv (Cornell University)|Feb 18, 2015

Algebraic Geometry and Number Theory参考文献 28被引用数 3

ひとこと要約

本稿は、安定曲線のモジュライ空間のタウトロジカルな環に内在するファーバー＝ツァギエとピクストンの関係式を規定する超幾何級数 𝔸(z) と 𝔹(z) の幾何的起源を調査する。これらの級数が3スピン曲線と ℙ¹ の等長的グロモフ＝ウィッテン理論という2つの異なる幾何的枠組みに由来することを確立し、それらが開および閉モジュライ空間上の下降積分において普遍的であることを示し、代数幾何におけるタウトロジカルな関係式を統一的に理解する視座を提供する。

ABSTRACT

The relations in the tautological ring of the moduli space M_g of nonsingular curves conjectured by Faber-Zagier in 2000 and extended to the moduli space of stable pointed curves by Pixton in 2012 are based upon two hypergeometric series A and B. The question of the geometric origins of these series has been solved in at least two ways (via the Frobenius structures associated to 3-spin curves and to CP1). The series A and B also appear in the study of descendent integration on the moduli spaces of open and closed curves. We survey here the various occurrences of A and B starting from their appearance in the asymptotic expansion of the Airy function (calculated by Stokes in the 19th century). Several open questions are proposed.

研究の動機と目的

• 安定曲線のモジュライ空間のタウトロジカルな環において、ファーバー＝ツァギエおよびピクストンの関係式を規定する超幾何級数 𝔸(z) と 𝔹(z) の幾何的起源を特定すること。
• これらの級数が、リーマン面の開および閉モジュライ空間上の下降積分という異なる幾何的文脈に共通して現れる仕組みを統一的に明らかにすること。
• 級数 𝔸 と 𝔹 が、コホモロジカル場理論およびグロモフ＝ウィッテン理論の文脈において、タウトロジカルな関係式の構成における基本的入力として果たす役割を明確にすること。
• ゲヴィンタル＝テレマン分類が半単純チャウ場理論の設定に拡張可能かどうかを検討し、チャウコホモロジーにおけるタウトロジカルな関係式の有効性に及ぼす影響を明らかにすること。

提案手法

• 本稿は、アイルリー関数の漸近展開を用いて、級数 𝔸 と 𝔹 が19世紀のスティーブンズの研究に遡ることを追跡し、歴史的関連を明示する。
• 級数 𝔸 と 𝔹 から生成関数 Ψ(t, p) を構成し、対数展開によってファーバー＝ツァギエおよびピクストンの関係式を符号化する。
• 3スピン曲線のフレーバー構造および ℙ¹ の等長的グロモフ＝ウィッテン理論からのフレーバー構造を用いて、級数 𝔸 と 𝔹 を幾何的に実現する。
• 主要な技術的道具として、ℙ¹ のグロモフ＝ウィッテン理論における仮想局所化公式を用い、コホモロジカル分類に依存せずにピクストンの関係式のチャウ理論的証明を可能にする。
• 安定グラフを用いたストラタ代数の構成を導入し、κ類およびψ類を含む頂点、脚、辺の因子と、局所的な偶奇性を追跡する ℤ₂-次数付き変数 ζv を用いる。
• 関係クラスは、単項式 ∏ζv^{g(v)−1} の係数抽出によって得られ、ジャンダの定理を用いてチャウ環におけるその消滅を証明し、タウトロジカルな関係式の成立を確立する。

実験結果

リサーチクエスチョン

• RQ1 ファーバー＝ツァギエおよびピクストンの関係式を規定する超幾何級数 𝔸(z) と 𝔹(z) の幾何的起源は何か？ これは曲線のモジュライ空間のタウトロジカルな環において成立する。
• RQ2 級数 𝔸 と 𝔹 は、開および閉リーマン面のモジュライ空間上の下降積分の文脈でどのように現れるか？
• RQ3 コホモロジカル場理論のゲヴィンタル＝テレマン分類は、半単純チャウ場理論の文脈に拡張可能か？
• RQ4 曲線のモジュライ空間のコホモロジーに関する安定性結果は、特にタウトロジカルな関係式の文脈において、チャウ環へと拡張可能か？
• RQ5 級数 𝔸 と 𝔹 は、3スピン理論および ℙ¹ グロモフ＝ウィッテン理論によるタウトロジカルな関係式の構成において、果たす正確な役割は何か？

主な発見

• 超幾何級数 𝔸(z) と 𝔹(z) は、3スピン曲線のフレーバー構造および ℙ¹ の等長的グロモフ＝ウィッテン理論という2つの異なる幾何的理論に由来することが示された。
• 級数 𝔸(z) は超幾何微分方程式 3z²d²𝔸/dz² + (6z−2)d𝔸/dz + (5/12)𝔸 = 0 を満たし、これがその基本的関数としての役割を確認する。
• ピクストンの関係式は、級数 𝔸 と 𝔹 によって完全に記述され、g−1+|σ| < 3r かつ g ≡ r+|σ|+1 mod 2 のとき、R^r(ℳ_g) において [exp(−γ^FZ)]_{t^r p^σ} = 0 が成り立つ。
• 関係クラス 𝒫 = {ℛ^{d}_{g,d} | d > (g−1+∑a_i)/3} は、自然な準同型 q: 𝒮_{g,n}^* → A^*(ℳbar_{g,n}, ℚ) の核に属し、これによりタウトロジカル性が保証される。
• ℙ¹ における仮想局所化公式を用いたチャウコホモロジーにおけるピクストンの関係式の証明は、テレマンのコホモロジカル分類に依存せず、チャウ理論的基盤を確立する。
• 安定グラフと ℤ₂-次数付き変数 ζv を用いたストラタ代数の構成は、単項式 ∏ζv^{g(v)−1} の係数抽出によってタウトロジカルな関係式を効果的に符号化した。