[논문 리뷰] The combinatorics of the Verlinde formulas

András Szenes|ArXiv.org|1994. 02. 04.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 22

한 줄 요약

이 논문은 고리수 g의 곡선 위의 G-_bundle에 대한 선다발의 절단 수를 세는 Verlinde 수 $ V_k^G(g) $에 대한 잔여 공식을 제공한다. 이 공식은 위상장이론을 통해 모듈리 공간의 교차 이론과 연결되며, 코homology 클래스와 토다 클래스를 사용한 잔여 계산을 통해 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-_bundle의 모듈리 공간 위의 선다벨 절단 수를 세는 데 쓰인다.
• G = \text{SL}_n 일 때 $ V_k^G(g) $에 대한 잔여 공식을 유도하여, k에 대한 다항식의 계수를 명시적으로 계산할 수 있도록 한다.
• 모듈리 공간 위에서 Riemann-Roch 정리를 결합한 잔여 적분을 통해 Verlinde 공식 (1.2)를 간결한 한 줄의 증명으로 제시한다.
• 특히 \text{SL}_3에 대해 코homology 클래스와 토다 클래스를 통해 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 $ 와 같은 항등식을 통해 Witten의 교차 수 공식과 일관성을 검증하고, \text{SL}_3의 경우 명시적인 잔여 계산을 통해 공식을 확인한다.

실험 결과

연구 질문

• RQ1 Verlinde 수 $ V_k^G(g) $는 공식의 명백한 초월적 형태에도 불구하고 항상 정수인 이유는 무엇인가?
• RQ2 Verlinde 공식은 어떻게 G-_bundle의 모듈리 공간 $ \mathcal{M}_C^G $ 위의 교차 이론으로부터 도출될 수 있는가?
• RQ3 G = \text{SL}_n 일 때 $ V_k^G(g) $에 대한 정확한 잔여 공식은 무엇이며, 이는 k에 대한 다항식의 계수를 어떻게 계산하는가?
• RQ4 코homology 클래스와 토다 클래스를 사용한 잔여 적분을 통해 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} $ 의 첫 번째 코homology 클래스는 $ c_1(\mathcal{L}) = \omega = \eta_C \cap s(P_2) $ 이며, $ \omega $ 는 차수 2의 코homology 클래스를 생성한다.
• Witten의 교차 수 공식과의 일관성은 항등식 (4.2) 를 통해 잔여 구조가 다중 제타 함수와 일치함을 보여 확인된다.