[논문 리뷰] Intersection theory on moduli spaces of holomorphic bundles of arbitrary rank on a Riemann surface

Lisa C. Jeffrey, Frances Kirwan|ArXiv.org|1996. 08. 23.

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

한 줄 요약

이 논문은 고리수 g ≥ 2인 리만 곡면 위의 임의의 계수를 가진 안정적 힐베르트 복소 벡터 다발의 모듈리 공간에서 위트엔의 교차수에 대한 엄밀한 수학적 증명을 제공한다. 등급수학적 코homology와 국소화 기법을 사용하여 M(n,d)의 코homology 환에서의 교차 쌍대에 대한 명시적 공식을 유도하고, 이를 통해 M(n,d) 위의 선다발의 힐베르트 섹션 공간의 차원에 대한 베르린데 공식을 확립한다.

ABSTRACT

We prove formulas (found by Witten in 1992 using physical methods) for intersection pairings in the cohomology of the moduli space M(n,d) of stable holomorphic vector bundles of rank n and degree d (assumed coprime) on a Riemann surface of genus g greater than or equal to 2. We also use these formulas for intersection numbers to obtain a proof of the Verlinde formula for the dimension of the space of holomorphic sections of a line bundle over M(n,d).

연구 동기 및 목표

• 고리수 g ≥ 2인 리만 곡면 위의 계수 n과 차수 d를 가진 안정적 복소 벡터 다발의 모듈리 공간 M(n,d)에서의 교차수에 대한 수학적으로 엄밀한 유도를 제공하는 것.
• 원래 물리적 방법으로 유도된 Witten의 M(n,d)의 코homology에서의 교차 쌍대에 대한 추측 공식을 증명하는 것.
• 유도된 교차 공식을 사용하여 M(n,d) 위의 선다발의 힐베르트 섹션 공간의 차원에 대한 베르린데 공식을 완전히 증명하는 것.
• 원래 논문에서 모듈리 공간의 구조와 그 등급수학적 코homology에 관한 오류를 수정하는 것.
• 수학적 물리학과代수기하학 사이의 다리를 놓기 위해 안정적 벡터 다발의 맥락에서 핵심 물리적 예측을 엄밀히 검증하는 것.

제안 방법

• 리만 곡면 위의 복소 다발 공간에서 최대 토르의 작용을 분석하기 위해 M(n,d)의 등급수학적 코homology 기법을 적용하는 것.
• 아티야-보트 국소화 공식을 적용하여 토르 작용의 고정점으로 제한함으로써 교차수를 계산하는 것.
• 키르와니 사상(서제크션)을 사용하여 M(n,d)의 코homology를 리만 곡면 위의 접속 공간의 등급수학적 코homology와 연결하는 것.
• 등급수학적 코homology 내에서 잔여 계산을 통해 타우토로지컬 백터다발의 체르니 클래스와 그 교차를 계산하는 것.
• M(n,d) 위의 유니버설 백터다발의 체르니 클래스의 곱에 대한 교차수의 명시적 공식을 도출하는 것.
• 유도된 공식이 위트엔의 물리적 예측과 일치하고, 베르린데 공식에 필요한 일致성 조건을 만족함을 검증하는 것.

실험 결과

연구 질문

• RQ1 고리수 g ≥ 2인 리만 곡면 위의 계수 n과 차수 d를 가진 안정적 복소 벡터 다발의 모듈리 공간 M(n,d)의 코homology 환에서의 교차 쌍대에 대한 정확한 공식은 무엇인가?
• RQ2 이러한 교차수에 대한 위트엔의 물리적 유도는 어떻게 대수기하학과 미분기하학을 사용하여 엄밀하게 재구성할 수 있는가?
• RQ3 유도된 교차 공식을 사용하여 M(n,d) 위의 선다발의 힐베르트 섹션 공간의 차원에 대한 베르린데 공식을 증명할 수 있는가?
• RQ4 리만 곡면 위의 접속 공간의 등급수학적 코homology의 정확한 구조는 무엇이며, M(n,d)의 코homology와 어떻게 관련이 있는가?
• RQ5 교차수는 매핑 클래스 군의 작용 하에서 어떻게 행동하며, 공식에 어떻게 표현된 대칭성이 담겨 있는가?

주요 결과

• 저자들은 임의의 계수 n과 차수 d, g ≥ 2에 대해 M(n,d)의 코homology 환에서의 교차 쌍대에 대한 명시적 공식을 도출하여 위트엔의 추측을 확인한다.
• 교차수는 등급수학적 코homology 내에서 국소화를 통해 계산되며, M(n,d)의 위상수학적 불변량을 포함하는 등급수학적 매개변수에 대한 유리 함수로 표현된다.
• 유도된 공식이 베르린데 공식과 일치함을 입증하여 M(n,d) 위의 선다발의 힐베르트 섹션 공간의 차원에 대한 완전한 수학적 증명을 제공한다.
• 기존 버전에서 키르와니 사상과 프레임 번들의 등급수학적 코homology의 구조에 관한 오류가 수정된 최종 버전에서 수정되었다.
• 교차수는 유리 함수의 잔여치로 표현되며, 매핑 클래스 군의 작용에 대해 불변임이 입증되었다.
• 베르린데 차원에 대한 최종 공식은 알려진 물리적 예측과 일치하며, 모든 상호소수 쌍 (n,d)과 g ≥ 2에 대해 유효하다.