[논문 리뷰] The equivariant Verlinde formula on the moduli of Higgs bundles

Daniel Halpern-Leistner|arXiv (Cornell University)|2016. 08. 05.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 16

한 줄 요약

이 논문은 재수정된 리 대수군 $G$의 최대 토러스에서 정의된 일반화된 베티 안사 방정식의 형식적 해를 인덱스로 하는 유한 합으로 표현되는 등변 Verlinde 공식을, 매끄러운 곡선 위의 반안정 히긴스 복합체의 모듈리 스택에 대해 수립한다. 이 공식은 양의 선다발의 단면의 계수를 정의하기 위해 $\mathbb{G}_m$-작용을 사용하며, 유한 차원의 불변량을 정의함으로써 기존의 Verlinde 공식을 히긴스 복합체 설정으로 확장한다. 이는 유도 대수기하학과 양자화 기법을 통해 도출된다.

ABSTRACT

We prove an analog of the Verlinde formula on the moduli space of semistable meromorphic G-Higgs bundles over a smooth curve for a reductive group G whose fundamental group is free. The formula expresses the graded dimension of the space of sections of a positive line bundle as a finite sum whose terms are indexed by formal solutions of a generalized Bethe ansatz equation on the maximal torus of G. In an appendix, Constantin Teleman proves a vanishing theorem for the higher cohomology of positive line bundles on the stack of Higgs bundles.

연구 동기 및 목표

• 비콤팩트성으로 인해 전역 단면이 무한차원이 되는 점을 감안할 때, 고전적 Verlinde 공식을 히긴스 복합체 설정으로 확장하기 위해.
• 반안정 히긴스 복합체의 모듈리 스택 위의 양의 선다발의 단면 공간에 대해 $\mathbb{G}_m$-작용을 도입하여 의미 있는 유한차원 불변량을 정의하기 위해.
• 유도 대수기하학 기법과 양자화 정리, 특히 코homology의 소멸 정리들을 활용하여, 반안정 부분에 대한 단면의 계수가 유도 오일러 지표와 일치함을 증명하기 위해.
• 최대 토러스에서 정의된 일반화된 베티 안사 방정식의 형식적 해를 인덱스로 하는 유한 합으로 계수를 표현하는 공식을 수립하기 위해.
• 특히 유도 $\Theta$-분할을 통해 특이점과 비정규 임베딩을 다룰 수 있도록 하여, 하드러-나라시마 분할에서의 코homology를 엄밀하게 비교하기 위해.

제안 방법

• 히긴스 복합체 스택 위의 $\mathbb{G}_m$-작용을 사용하여 양의 선다발 $\mathcal{L}$의 전역 단면의 계수를 정의하고, 이는 $t$에 대한 생성함수로 이어진다.
• 텔레만의 지표 공식의 수정을 통해 $\chi_{\mathbb{C}^*}(\mathcal{H}, \mathcal{L})$의 계수 오일러 지표를 계산하며, 형식적 매개변수 $t$를 무게 매개변수로 재해석한다.
• 유도된 '양자화가 감소를 공유한다' 정리의 응용을 통해 $R\Gamma(\mathcal{H}, \mathcal{L}) \simeq R\Gamma(\mathcal{H}^{\rm{ss}}, \mathcal{L})$를 증명하여 전체 스택과 반안정 부분의 코homology를 동치로 만든다.
• 부록 A에서 증명된 스택 위에서의 고차 코hom로 $H^{>0}(\mathcal{H}, \mathcal{L})$의 소멸 정리를 활용하여, 계수 지표가 $H^0(\mathcal{H}^{\rm{ss}}, \mathcal{L})$의 계수와 일치함을 도출한다.
• 특히 임베딩이 정규가 아닐 수 있는 상황에서도 코homology를 비교하기 위해, 유도 $\Theta$-분할의 구조 정리에 기반한다.
• 루프 군 코hom로의 인수 분해 기법과 코homological 소멸 결과(예: 정리 A.3)를 활용하여, 핵심 스펙트럴 시퀀스에서 양의 차수 코homology의 소멸을 확립한다.

실험 결과

연구 질문

• RQ1 비콤팩트성으로 인해 전역 단면이 무한차원이 되는 점을 감안할 때, Verlinde 공식을 히긴스 복합체의 모듈리 공간으로 일반화할 수 있는가?
• RQ2 히긴스 복합체 설정에서 단면의 차원을 대체할 적절한 등변 불변량은 무엇인가?
• RQ3 반안정 부분의 단면 계수는 일반화된 베티 안사 방정식의 해를 통해 유한합으로 계산될 수 있는가?
• RQ4 유도 대수기하학 기법, 특히 $\Theta$-분할을 통해 전체 스택과 반안정 부분의 코homology를 엄밀하게 비교할 수 있는 정도는 어느 정도인가?
• RQ5 루프 군 표현과 탄성 복합체의 대칭 거듭제곱에 대한 코homological 소멸 결과는 최종 공식에 어떻게 기여하는가?

주요 결과

• 전역 단면의 계수 $H^0(\mathcal{H}^{\rm{ss}}, \mathcal{L})$ 는 방정식 $e^{-i2(h+2)\phi_k}\left(\frac{1-te^{2i\phi_k}}{1-te^{-2i\phi_k}}\right)^2 = 1$ 의 형식적 해 $\phi_k = \frac{\pi k}{h+2} + t\phi_k^{(1)} + \cdots$ 를 인덱스로 하는 유한합으로 주어진다.
• 만약 $G = SL_2$ 이면 공식은 다음과 같이 표현된다: $\left(\frac{h+2}{2(1-t)}\right)^{g-1}\sum_{k=1}^{l+1}(\sin\phi_k)^{2-2g}\left[\frac{1}{(1-t)^2 + 4t\sin^2\phi_k}\cdot\left(1 + \frac{4t}{h+2}\frac{(1-t)-2\sin^2\phi_k}{(1-t)^2 + 4t\sin^2\phi_k}\right)\right]^{g-1}$.
• 반안정 부분에서의 고차 코hom로 $H^i(\mathcal{H}^{\rm{ss}}, \mathcal{L})$ 는 $i > 0$ 일 때 소멸하므로, 코homology 복합체의 계수 오일러 지표는 $H^0(\mathcal{H}^{\rm{ss}}, \mathcal{L})$ 의 계수와 일치한다.
• 계수 오일러 지표 $\chi_{\mathbb{C}^*}(\mathcal{H}, \mathcal{L})$ 는 $t$ 를 무게 매개변수로 재해석한 생성함수로 계산되었으며, 텔레만(2009)의 지표 공식과 일치한다.
• $H^{>0}(\mathcal{M}_G, \mathcal{L} \otimes \mathrm{Sym}^r T)$ 의 소멸은 스펙트럴 시퀀스와 루프 군 표현에 대한 정리 A.3의 코homological 소멸 결과를 통해 확립되었다.
• 최종 공식은 선다발의 $c$-트위스트에 대해 불변이며, 표현 $R$ 이 $c(R)$ 으로 대체됨을 반영하여 중심 $Z(G)$ 의 작용을 반영한다.