[논문 리뷰] Taniguchi Lecture on Principal Bundles on Elliptic Fibrations

Ron Donagi|ArXiv.org|1998. 02. 12.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 24

한 줄 요약

이 논문은 캄레랄 커버와 특징적인 프림 다양체를 사용하여 타원 섬유화 $X \to S$ 위의 주 $G$-bundle의 모듈리 공간에 대한 기하적 기술을 수립한다. 이는 모듈리 공간의 섬유가 가닥의 가닥 모듈리 공간의 가닥에 대해 $Prym_\Lambda(\widetilde{S})$ 프림 다양체와 비준언정 동형임을 보이며, 히친의 적분 가능 시스템과 헤테로티크/F-이론 dualities와의 연결을 제시한다.

ABSTRACT

In this talk we discuss the description of the moduli space of principal G-bundles on an elliptic fibration X-->S in terms of cameral covers and their distinguished Prym varieties. We emphasize the close relationship between this problem and the integrability of Hitchin's system and its generalizations. The discussion roughly parallels that of [D2], but additional examples are included and some important steps of the argument are illustrated. Some of the applications to heterotic/F-theory duality were described in the accompanying ICMP talk (hep-th/9802093).

연구 동기 및 목표

• 타원 섬유화 $X \to S$ 위의 주 $G$-bundle의 모듈리 공간 $\mathcal{M}^G_X$를 캄레랄 커버와 프림 다양체와 같은 기하적 불변량으로 기술하는 것.
• 모듈리 공간 $G$-bundle과 히친 시스템의 적분 가능성 및 그 일반화 간의 관계를 명확히 하는 것.
• 특히 칼라비-양 compactification에서의 초끈이론에서 헤테로티크/F-이론 dualities를 이해하기 위한 기하적 프레임워크를 제공하는 것.
• 타원 곡선에 대한 $\mathcal{M}^G_E$의 알려진 기술을 기반 $S$ 위의 가족으로 일반화하고, 분해식 $\mathcal{M}^G_X \to \Gamma(S, \mathcal{M}^G_{X/S})$의 섬유를 분석하는 것.
• 캄레랄 커버 $\widetilde{S} \to S$ 위의 섬유와 특징적인 프림 다양체 $Prym_\Lambda(\widetilde{S})$ 사이에 비준언정 동형을 수립하는 것.

제안 방법

• 모듈리 공간을 세 단계로 분해하는 방법을 사용: (1) 단일 타원 곡선 $E$ 위의 $G$-bundle 분류, (2) 이러한 번들의 가닥을 매개하는 가닥 $\mathcal{M}^G_{X/S} \to S$ 구축, (3) 분해식 $\mathcal{M}^G_X \to \Gamma(S, \mathcal{M}^G_{X/S})$ 분석.
• $\mathcal{M}^G_E$를 $\mathcal{M}^T_E / W$로 식별하며, 여기서 $\mathcal{M}^T_E \cong E^r$는 degree-zero $T$-bundle의 모듈리 공간이고 $W$는 웨일 군이다.
• $\Gamma(S, \mathcal{M}^G_{X/S})$가 $W$-갈루아 캄레랄 커버 $\widetilde{S} \to S$를 매개하는 가중 투영 공간임을 보이며, 이는 보편 $T$-bundle 모듈리 공간에서의 pullback를 통해 유도된다.
• 모듈리 공간 $\mathcal{M}^G_X$의 섬유가 섹션 $s \in \Gamma(S, \mathcal{M}^G_{X/S})$에 대응할 때, 특징적인 프림 다양체 $Prym_\Lambda(\widetilde{S})$와 비준언정 동형임을 증명한다. 이는 $Hom_W(\Lambda, Pic(\widetilde{S}))$에서 $H^2(W, \Lambda)$로 향하는 호모모르피즘의 핵으로 정의된다.
• 모듈리 공간 $\mathcal{M}^C_E$ 위에 존재하는 Poincaré bundle을 사용하여, $W$-등변 사상 $\mathcal{M}^C_E \times (G/B)^C \to \mathcal{M}^T_E$를 구성하며, 이는 모듈리 공간 수준에서 원하는 동형을 유도한다.
• 반단순 원소의 정규 중심자 $C$를 분해하여 반단순 부분과 불리다 부분으로 나누고, 중심자 구성요소를 분리하여 $Maps_W((G/B)^C, \mathcal{M}^T_E) \to \mathcal{M}^C_E$가 등변성 조건을 만족하고 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 타원 섬유화 $X \to S$ 위의 주 $G$-bundle의 모듈리 공간은 캄레랄 커버와 프림 다양체로 어떻게 기술될 수 있는가?
• RQ2 모듈리 공간 $\mathcal{M}^G_X$의 섬유가 $\Gamma(S, \mathcal{M}^G_{X/S})$의 섹션에 대응할 때 정확히 어떤 기하적 구조를 갖는가?
• RQ3 모듈리 공간의 구성은 히친 시스템의 적분 가능성과 그 일반화와 어떻게 관련되어 있는가?
• RQ4 특징적인 프림 다양체 $Prym_\Lambda(\widetilde{S})$는 타원 섬유화 위의 $G$-bundle를 분류하는 데 어떤 역할을 하는가?
• RQ5 $G = E_8$인 경우에도 다른 군의 경우와 유사하게 모듈리 공간을 기술할 수 있는가, 특히 F-이론 compactification의 맥락에서 어떻게 적용되는가?

주요 결과

• $G$-bundle의 모듈리 공간 $\mathcal{M}^G_E$는 $\mathcal{M}^T_E / W$와 동형이며, 여기서 $\mathcal{M}^T_E \cong E^r$는 아벨 다양체이고 $W$는 웨일 군이다.
• $\Gamma(S, \mathcal{M}^G_{X/S})$는 $W$-갈루아 캄레랄 커버 $\widetilde{S} \to S$를 매개하는 가중 투영 공간이다. 이는 보편 $T$-bundle 모듈리 공간에서의 pullback를 통해 유도된다.
• 모듈리 공간 $\mathcal{M}^G_X$의 섬유가 캄레랄 커버 $\widetilde{S} \to S$에 대응하는 점에 대해, 특징적인 프림 다양체 $Prym_\Lambda(\widetilde{S})$와 비준언정 동형이다. 이는 $Hom_W(\Lambda, Pic(\widetilde{S}))$에서 $H^2(W, \Lambda)$로 향하는 호모모르피즘의 핵으로 정의된다.
• $G$가 $E_n$ 형식일 경우, 캄레랄 커버는 델 페초 섬유를 갖는 분해식 $U \to S$로 대체될 수 있으며, 이 경우 $\mathcal{M}^G_X$의 섬유는 상대 딜레냐 코hom로지 군 $\mathcal{D}(U/S)$와 동형이며, 연결 성분은 상대 중간 아벨-자기 $J_3(U/S)$이다.
• 등변성과 정규 중심자 $C = C_{ss} \times C_{unip}$의 분해를 통해 $Maps_W((G/B)^C, \mathcal{M}^T_E) \to \mathcal{M}^C_E$의 동형이 수립된다. 반단순 부분은 $({\mathcal{M}^T_E})^W$를, 불리다 부분은 $E$에 관계없이 $C_{unip}$을 독립적으로 유도한다.
• 이 동형은 비준언정이며, 섬유는 프림 다양체 위의 비자명한 토르서이므로 모듈리 문제의 기하적 성격을 반영한다.