[논문 리뷰] The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups

Mikhail Kapranov|ArXiv.org|2000. 01. 02.

Advanced Algebra and Geometry참고 문헌 20인용 수 143

한 줄 요약

이 논문은 끈 이론의 S dualities와 카크-무디 군에 대한 기하적 아이젠슈타인 급수 사이의 수학적 연결을 확립한다. 표면 위의 곡선을 가지는 포화 G-_bundle를 포함하는 보완된 생성 함수를 도입함으로써, 애फ린 Weyl 군에 대한 함수방정식을 통해 타원적 성질을 증명한다. 핵심 결과는 S dualities에서의 보편 블로우업 함수를 카크-무디 특성의 변형으로서 표현한 명시적 공식으로, P¹에 대한 아이젠슈타인-카크-무디 급수로서 실현되며, 모티빅 불변량과 타이트 모티브와 관련된 매개변수를 가진다.

ABSTRACT

We establish a relation between the generating functions appearing in the S-duality conjecture of Vafa and Witten and geometric Eisenstein series for Kac-Moody groups. For a pair consisting of a surface and a curve on it, we consider a refined geometric function E (involving G-bundles with parabolic structures along the curve) which depends both on elliptic and modular variables. We prove a functional equation for E with respect to the affine Weyl group, thus establishing the elliptic behavior. When the curve is P^1, we calculate the Eisenstein-Kac-Moody series explicitly and it turns out to be a certain deformation of an irreducible Kac-Moody character, more precisely, an analog of the Hall-Littlewood polynomial for the affine root system. We also get an explicit formula for the universal blowup function for any simply connected structure group.

연구 동기 및 목표

• Vafa-Witten S dualities의 생성 함수의 모듈러성 및 타원적 성질에 대한 개념적 수학적 기초를 제공하기 위해.
• 생성 함수의 형식적 변수 q가 왜 타원 곡선을 매개변수화해야 하는지에 대한 기본적 질문을 해결하기 위해.
• 특정 곡선을 따라 행동이 고정된 포화 G-_bundle의 모듈리 공간을 통한 카크-무디 군에 대한 아이젠슈타인 급수의 기하적 실현을 확립하기 위해.
• 모티빅 불변량과 변형 매개변수를 사용하여 임의의 단순 연결 게이지 군에 대해 S dualities의 보편 블로우업 함수를 계산하기 위해.

제안 방법

• 표면 X 위의 곡선을 따라 고정된 차수를 가진 포화 G-_bundle의 위상적 불변량을 포함하는 생성 함수 EG(q, z)를 도입한다.
• 절단-붙이기 공리와의 호환성을 확보하기 위해 오일러 지표 대신 모티빅 측도(예: 유한 체 위의 점 수 계산)를 사용한다.
• Weyl-Kac 분모 유사 곱으로 곱한 후, EG가 상대 아벨 다양체 EL = E ⊗Z L 위의 테타-_bundle의 정칙 단면이 됨을 증명한다.
• 아핀 그라스만리안과 쇼브르 셀 분해를 사용하여 KX-구조의 차수를 계산하고, 이를 루트 체계와 파라호리 부분군과 연결한다.
• 관련 구조의 두 번째 체르니클 클래스를 계산하기 위해 Gindikin-Karpelevic 공식의 파라호리 해석을 적용한다.
• 생성 함수를 랭글랜드 이중 군 GL의 아핀 루트 체계에 대한 홀-리틀우드 유형 다항식으로 식별한다.

실험 결과

연구 질문

• RQ1 S dualities 생성 함수 FG(q)의 형식적 변수 q가 왜 타원 곡선을 매개변수화해야 하는가?
• RQ2 포화 G-_bundle의 모듈리 공간에 대한 생성 함수는 모듈러성과 타원적 성질을 동시에 가지는가?
• RQ3 S dualities의 보편 블로우업 함수의 정확한 수학적 구조는 무엇인가?
• RQ4 카크-무디 군에 대한 아이젠슈타인 급수는 표면 위의 번들의 모듈리 공간을 통해 어떻게 기하적으로 실현될 수 있는가?
• RQ5 곡선이 P¹일 경우 생성 함수의 명시적 형태는 무엇인가?

주요 결과

• X = P¹ 이고 S − X 위에 고정된 G-_bundle P◦가 있을 때, 생성 함수 EG,P◦(q, z)는 랭글랜드 이중 군 GL의 아핀 루트 체계에 대한 홀-리틀우드 다항식으로 식별된다.
• 보편 블로우업의 경우 (m = f = 0, d = 1) 생성 함수 FG,Q(q)는 ∑a∈L q−Ψ(a,a)/2 Lλ(a) ∏(n,α)∈b∆(a) (1 − qn)/(1 − L²qn) 으로 명시적으로 주어지며, 여기서 λ(a) = |b∆(a)| 이다.
• 생성 함수 FG,Q(q)는 S dualities의 보편 블로우업 함수로 밝혀졌으며, 표면 위의 한 점을 블로우업할 때 모듈리 공간과의 정확한 관계를 가진다.
• 모티빅 생성 함수는 EL 위의 테타-_bundle의 d제곱의 정칙 단면으로 증명되었으며, 이는 카크-무디 군의 적분 표현과 연결된다.
• EG가 아핀 Weyl 군에 대해 만족하는 함수방정식은 타원적 성질을 확인하며, 자코비 형식의 일반화를 이룬다.
• 생성 함수 FG,Q(q)의 명시적 공식은 아핀 그라스만리안의 쇼브르 셀 분해와 파라호리 부분군 위의 유리 함수의 차수 계산을 통해 유도된다.