[論文レビュー] The combinatorics of the Verlinde formulas

András Szenes|ArXiv.org|Feb 4, 1994

Advanced Combinatorial Mathematics参考文献 13被引用数 22

ひとこと要約

本稿は、 genus $ g $ の曲線上の $ G $-バンドルのラインバンドルの切断を数える Verlinde 数 $ V_k^G(g) $ に対する残留公式を提供する。この数と交差理論の間の関係を位相的場理論を通じて確立し、チャーン類とトッド類を用いた一行情報の残留計算により Verlinde 公式を証明する。

ABSTRACT

A residue formula is given for the Verlinde formula, which allows one to calculate its coefficients as a polynomial in the level and connects it to the Riemann-Roch formula on the moduli space of vector bundles on a curve.

研究の動機と目的

• ラインバンドルの切断数を数える Verlinde 公式 $ V_k^G(g) $ の整数性および多項式性を説明すること。
• $ G = \text{SL}_n $ の場合に $ V_k^G(g) $ の残留公式を導出し、$ k $ における多項式の係数を明示的に計算可能にする。
• Riemann-Roch を残留計算と組み合わせることで、Verlinde 公式 (1.2) を一行情報の証明を行うこと。
• 特に $ \text{SL}_3 $ に対して、チャーン類とトッド類を用いて、Verlinde 公式をモジュライ空間上の交差数に結びつけること。
• 任意の $ G $ に対して一般化された残留形式 $ \bar{\theta}^G $ を予想し、Witten の交差数公式を Verlinde の文脈に拡張すること。

提案手法

• 位相的場理論 (TFT) の公理を用いて、リーマン面における相関関数をモデル化し、場の空間に融合代数構造を導く。
• 単純な代数のスペクトル基底を用い、Verlinde 公式を重みの和として得る：$ F(g) = \text{Res}_{0} \theta^G $ で $ \theta^G = \text{Res}_{x_1=0} \cdots \text{Res}_{x_{n-1}=0} \prod_{\alpha \in \Delta^+} L_\alpha^{2(g-1)} \prod_{i=1}^{n-1} \cot(x_i) \, dx_i $。
• $ G = \text{SL}_n $ の場合に、単純根 $ x_i $ を用いて残留形式 $ \Omega^G $ を明示的に構成し、$ \Omega^{\text{SL}_n} = n^{g-1} \text{Res}_{x_1=0} \cdots \text{Res}_{x_{n-1}=0} \prod_{\alpha \in \Delta^+} L_\alpha^{2(g-1)} \prod_{i=1}^{n-1} \cot(x_i) \, dx_i $ を示す。
• Riemann-Roch 定理を適用し、$ \dim H^0(\mathcal{M}_C^G, \mathcal{L}^k) = \chi(\mathcal{M}_C^G, \mathcal{L}^k) = \int_{\mathcal{M}} e^{k\omega} \text{Todd}(\mathcal{M}) $ を計算する。ここで $ c_1(T_{\mathcal{M}}) = h\omega $ および $ \hat{A}(T_{\mathcal{M}}) = \prod_{\alpha \in \Delta^+} \left( \frac{\alpha/2}{\sinh(\alpha/2)} \right)^{2(g-1)} $ を用いる。
• シフトトリックを用いて $ \int e^{k\omega} \hat{A}(\mathcal{M}) = \int e^{(k+h)\omega} \hat{A}(\mathcal{M}) $ を書き直し、Verlinde 公式 $ V_{k+h}^G(g) $ と一致することを示す。
• 恒等式 $ \int e^{\omega} P = \text{Res} \Omega^G P $ を用い、Witten の交差数公式との整合性を確認し、$ \text{SL}_3 $ に対して明示的な残留計算により公式の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Verlinde 数 $ V_k^G(g) $ は、公式の明らかな超越的形にもかかわらず、なぜ常に整数値をとるのか？
• RQ2 モジュライ空間 $ \mathcal{M}_C^G $ 上の交差理論から、Verlinde 公式はどのように導かれるのか？
• RQ3 $ G = \text{SL}_n $ の場合に、$ V_k^G(g) $ の正確な残留公式は何か？ そして、$ k $ における多項式の係数をどのように計算できるか？
• RQ4 チャーン類とトッド類を用いた残留計算により、Verlinde 公式を一行情報の証明で示せるか？
• RQ5 任意の $ G $ に対して、$ \int_{\mathcal{M}} e^{\omega} P $ を計算する一般化された残留形式 $ \Omega^G $ の正確な形は何か？ そして、Witten の $ \zeta $-関数公式とはどのように関係するか？

主な発見

• Verlinde 公式 $ V_k^G(g) $ は整数値をとり、$ k $ に関して多項式的であるが、これは残留公式および融合代数の構造によって説明される。
• $ G = \text{SL}_n $ の場合、Verlinde 数 $ V_k^G(g) $ は残留公式 $ \Omega^{\text{SL}_n} = n^{g-1} \text{Res}_{x_1=0} \cdots \text{Res}_{x_{n-1}=0} \prod_{\alpha \in \Delta^+} L_\alpha^{2(g-1)} \prod_{i=1}^{n-1} \cot(x_i) \, dx_i $ で与えられる。
• $ \text{SL}_3 $ の場合、公式は $ \int_{\mathcal{M}} e^{k\omega} P = (3k^2)^{g-1} \text{Res}_{y=0} \text{Res}_{x=0} \frac{k^2 \cot(kx) \cot(ky)}{(8xy(x+y))^{2(g-1)}} P \, dx \, dy $ と書き換えられ、$ V_{k+h}^G(g) $ を計算する。
• Verlinde 公式 (1.2) は Riemann-Roch を用いて証明される：$ \dim H^0(\mathcal{M}_C^G, \mathcal{L}^k) = \int_{\mathcal{M}} e^{(k+h)\omega} \hat{A}(\mathcal{M}) $ であり、積分は残留公式によって計算される。
• ラインバンドル $ \mathcal{L} $ の第一チャーン類は $ c_1(\mathcal{L}) = \omega = \eta_C \cap s(P_2) $ であり、$ \omega $ は2次コホモロジー類を生成する。
• 公式は Witten の交差数公式と整合的であり、恒等式 (4.2) を通じて残留構造が複数のゼータ関数値と一致することを示している。