[논문 리뷰] The Chern classes of the Verlinde bundles

Alina Marian, Dragos Oprea외 1명|arXiv (Cornell University)|2013. 08. 20.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 4

한 줄 요약

이 논문은 $g \geq 2$인 안정 곡선의 모듈리 공간 위에서의 Verlinde 번들의 첫 번째 체르누 클래스에 대한 닫힌 형식의 공식을 유도하며, $\mu(\mathbb{V}_{r,k}) = \frac{r(k^2 - 1)}{2(k + r)}\lambda$임을 입증한다. 여기서 $\lambda$는 호지 클래스이다. 결과는 랭크 2에서 유한 차원 기하학을 통해 수반 대칭성(예: 수준-랭크 dualit성, 사영 평탄성)을 이용해 증명되며, 고차 랭크로의 확장은 conformal block 이론과 융합 규칙에 의한 경계 확장으로 이루어진다.

ABSTRACT

A formula for the first Chern class of the Verlinde bundle over the moduli space of smooth genus g curves is given. A finite-dimensional argument is presented in rank 2 using geometric symmetries obtained from strange duality, relative Serre duality, and Wirtinger duality together with the projective flatness of the Hitchin connection. A derivation using conformal-block methods is presented in higher rank. An expression for the first Chern class over the compact moduli space of curves is obtained.

연구 동기 및 목표

• 매끄러운 곡선의 모듈리 공간 $\mathcal{M}_g$ 위에서의 Verlinde 번들의 첫 번째 체르누 클래스를 결정하는 것.
• 수준-랭크 대칭성, 상대 세르 쌍대성, 위르팅어 대칭성 등의 대칭성을 이용하여 랭크 2에서 Verlinde 기울기 공식의 유한 차원 기하학적 증명을 수립하는 것.
• conformal block 이론을 활용하여 공식을 고차 랭크로 확장하고, 융합 규칙에 의한 경계 제약 조건을 통해 컴actified 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 상에서의 일致성을 검증하는 것.
• 융합 규칙과 경계 제약 사상의 단사성을 이용하여 $\overline{\mathcal{M}}_{g,n}$의 모든 경계 디바이더에서 기울기 표현식을 확인하는 것.

제안 방법

• 상대 수준-랭크 대칭성을 사용하여 $s_{r,k}$와 $s_{k,r}$ 사이의 함수방정식을 유도함으로써 $s_{r,k} + s_{k,r} = \frac{kr - 1}{2}$를 도출한다.
• 모듈리 공간 $\mathcal{M}_g$ 위에서 $\mathcal{SU}_g(r, \mathcal{O}) \to \mathcal{M}_g$의 섬유에 沿해 상대 세르 쌍대성을 적용하여 $s_{r,k} + s_{r,-k-2r} = -2r^2$라는 항등식을 얻는다.
• 정규화를 고정하기 위해 초기 조건 $\mu(\mathbb{V}_{1,k}) = \frac{k-1}{2}\lambda$와 $\mu(\mathbb{V}_{r,0}) = -\frac{1}{2}\lambda$를 활용한다.
• Verlinde 번들의 사영 평탄성을 활용하여, 랭크 2의 경우 문제를 함수방정식의 체계로 환원한다.
• 고차 랭크에서의 기울기 공식을 유도하기 위해 conformal block 이론과 covacua 번들의 위상에서 아티야 대수의 작용을 이용한다.
• 논문 [TUY]의 융합 규칙을 적용하여 Verlinde 번들의 경계 디바이더로의 풀백을 계산하고 $\Psi_i$와 $\delta_{\text{irr}}$의 계수를 일치시킨다.

실험 결과

연구 질문

• RQ1 Verlinde 번들의 첫 번째 체르누 클래스 $\mathbb{V}_{r,k}$가 $\mathcal{M}_g$ 위에서 정확히 어떻게 표현되는가?
• RQ2 수준-랭크 대칭성과 상대 세르 쌍대성 등의 기하학적 대칭성이 랭크 2에서 Verlinde 기울기를 어떻게 제약하는가?
• RQ3 Verlinde 기울기 공식은 개방된 모듈리 공간에서 컴 pactified 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$으로 확장될 수 있는가?
• RQ4 Verlinde 번들의 경계 디바이더로의 제약 조건에서의 행동은 어떠한가? 그리고 융합 규칙은 경계 수정항을 어떻게 결정하는가?
• RQ5 conformal block 접근법은 유한 차원 기하학적 방법과 동일한 기울기 공식을 도출하는가? 그리고 정수성 조건은 정규화를 어떻게 고정하는가?

주요 결과

• Verlinde 번들의 첫 번째 체르누 클래스는 $\mu(\mathbb{V}_{r,k}) = \frac{r(k^2 - 1)}{2(k + r)}\lambda$로 주어지며, 여기서 $\lambda$는 호지 번들의 첫 번째 체르누 클래스이다.
• 랭크 2에서 기울기 공식 $\mu(\mathbb{V}_{2,k}) = \frac{k^2 - 1}{k + 2}\lambda$는 수준-랭크 대칭성, 상대 세르 쌍대성, 초기 조건, 사영 평탄성의 네 가지 대칭성에 의해 완전히 결정된다.
• 공식은 컴 pactified 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$로 확장되며, 경계 수정항은 conformal block의 융합 규칙과 일致한다.
• $\overline{\mathcal{M}}_{g,n}$ 위에서 covacua 번들의 기울기는 $\frac{k(r^2 - 1)}{2(r + k)}\lambda + \sum_{i=1}^n \mathsf{w}_{\mu_i}\Psi_i - c_{\text{irr}}\delta_{\text{irr}} - \cdots$로 주어지며, 계수는 융합 규칙에 의해 결정된다.
• $g \geq 3$일 때 $H^2(\overline{\mathcal{M}}_{g,n}) \to H^2(\overline{\mathcal{M}}_{g-1,n+2})$의 경계 제약 사상은 단사적이며, 이는 공식의 귀납적 검증을 가능하게 한다.
• 기존 결과와 융합 규칙의 호환성을 바탕으로 저위계 수의 경우 $(g,n) = (0,4), (0,5), (1,1), (1,2)$에 대해 직접적으로 공식을 검증하였다.