[論文レビュー] Orbifold Euler Characteristics of $\overline{\mathcal M}_{g,n}$

Zhiyuan Wang, Jian Zhou|arXiv (Cornell University)|Dec 27, 2018

Black Holes and Theoretical Physics参考文献 42被引用数 4

ひとこと要約

この論文は、量子場理論にインspiredされた形式的枠組みを用いて、安定曲線のデリーニュ＝ムーディー型コンパクト化 $\overline{\mathcal{M}}_{g,n}$ のオルビフォールドオイラー特徴量を計算する長年の問題を解決する。再帰関係を確立し、 genus zero におけるラマヌジャン多項式との関係を示し、KP階層のタウ関数を通じて $\chi(\overline{\mathcal{M}}_{g,n})$ と $\chi(\mathcal{M}_{g,n})$ 間の新しいオープン・クローズド双対性を明らかにする。演算子形式的枠組みとバーナーズ $G$-関数表現により、明示的な公式が導出される。

ABSTRACT

We solve the problem of the computation of the orbifold Euler characteristics of $\Mbar_{g,n}$. We take the works of Harer-Zagier \cite{hz} and Bini-Harer \cite{bh} as our starting point, and apply the formalisms developed in \cite{wz} and \cite{zhou1} to this problem. These formalisms are typical examples of mathematical methods inspired by quantum field theories. We also present many closed formulas and some numerical data. In genus zero the results are related to Ramanujan polynomials, and in higher genera we get recursion relations almost identical to the recursion relations for Ramanujan polynomials but with different initial values. We also show that the generating series given by the orbifold Euler characteristics of $\overline{\mathcal M}_{g,n}$ is the logarithm of the KP tau-function of the topological 1D gravity evaluated at the times given by the orbifold Euler characteristics of $\overline{\mathcal M}_{g,n}$. Conversely, the logarithm of this tau-function evaluated at the times given by certain generating series of the orbifold Euler characteristics of $\overline{\mathcal M}_{g,n}$ is a generating series of the orbifold Euler characteristics of $\overline{\mathcal M}_{g,n}$. This is a new example of open-closed duality.

研究の動機と目的

• デリーニュ＝ムーディー型安定曲線モジュライ空間のオルビフォールドオイラー特徴量 $\chi(\overline{\mathcal{M}}_{g,n})$ を計算するという長年の問題を解決すること。
• 抽象的量子場理論的手法を用いて、$\chi(\mathcal{M}_{g,n})$ のハラー＝ツァイジャーの公式を、コンパクト化されたモジュライ空間 $\overline{\mathcal{M}}_{g,n}$ に拡張すること。
• KPタウ関数を介した逆変換公式を通じて、$\chi(\mathcal{M}_{g,n})$ と $\chi(\overline{\mathcal{M}}_{g,n})$ 間の新しいオープン・クローズド双対性を確立すること。
• 特に genus zero および高 genus において、$\chi(\overline{\mathcal{M}}_{g,n})$ の明示的閉形式式および再帰関係を導出すること。

提案手法

• ホロモーフィック異常方程式および弦理論にインスパイアされた抽象的量子場理論形式的枠組みを、モジュライ空間計算に適応する。
• 生成関数上の微分作用素として、エッジカット作用素およびエッジ追加作用素を演算子形式的枠組みで実現する。
• 形式的ガウス積分と分配関数 $\widehat{Z}(t,\kappa)$ を用いて、精錬化されたオルビフォールドオイラー特徴量 $\chi_{g,n}(t,\kappa)$ を表現する。
• KP階層を用いて、$\chi(\overline{\mathcal{M}}_{g,n})$ の生成関数が、$\chi(\mathcal{M}_{g,n})$ で与えられる時間におけるタウ関数の対数であることを示す。
• 生成関数 $G_k(z)$ および $V_n(z)$ を導入し、バーナーズ $G$-関数および対称関数を用いて再帰的アルゴリズムを導出する。
• KP階層の出現する幾何学を応用し、$\chi(\overline{\mathcal{M}}_{g,n})$ を可積分系および $n$-点関数と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 すべての $g$ および $n$ に対して、統一的な形式的枠組みを用いて、オルビフォールドオイラー特徴量 $\chi(\overline{\mathcal{M}}_{g,n})$ をどのように計算できるか。
• RQ2 精錬化されたオルビフォールドオイラー特徴量 $\overline{\mathcal{M}}_{g,n}$ と genus zero におけるラマヌジャン多項式との正確な関係は何か。
• RQ3 KP階層は、タウ関数を通じて、$\chi(\overline{\mathcal{M}}_{g,n})$ の生成関数をどのようにエンコードするか。
• RQ4 関数的逆変換を介して、$\chi(\mathcal{M}_{g,n})$ と $\chi(\overline{\mathcal{M}}_{g,n})$ 間にオープン・クローズド双対性を確立できるか。
• RQ5 $\chi(\overline{\mathcal{M}}_{g,n})$ の明示的閉形式式は、バーナーズ $G$-関数などの既知の特殊関数を用いてどのように表現できるか。

主な発見

• この論文は、$g \geq 2$ における $\chi(\overline{\mathcal{M}}_{g,n})$ について、ラマヌジャン多項式の再帰関係と構造的に同一の線形再帰関係を導出するが、初期条件が異なる。
• genus zero において、精錬化されたオルビフォールドオイラー特徴量 $\chi_{g,0}(t,\kappa)$ がラマヌジャン多項式と関係しており、生成関数 $G_k(z)$ がバーナーズ $G$-関数で表現されることを示す。
• $\chi(\overline{\mathcal{M}}_{g,n})$ の生成関数が、$\chi(\mathcal{M}_{g,n})$ で与えられる時間におけるKPタウ関数の対数であることが証明され、新しい可積分系構造が確立される。
• 逆関係も成り立つ：同じタウ関数の対数を、$\chi(\overline{\mathcal{M}}_{g,n})$ から得られる時間で評価すると、$\chi(\mathcal{M}_{g,n})$ が生成され、新しい形のオープン・クローズド双対性が示される。
• $\chi(\overline{\mathcal{M}}_{0,n})$ および $\chi(\overline{\mathcal{M}}_{1,n})$ の明示的公式が、生成関数および対称関数を用いて導出され、数値データが提供される。
• 線形再帰の解が、係数 $a_{g,n}^k$ および生成関数 $G_k(z)$ を用いた閉形式式に帰着され、アルゴリズム的計算が可能になる。