[논문 리뷰] Higgs bundles over elliptic curves for complex reductive Lie groups

Emilio Franco, Oscar Garcı́a-Prada외 1명|arXiv (Cornell University)|2013. 10. 08.

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

한 줄 요약

이 논문은 임의의 복소 재수성 군 $G$에 대해 타원곡선 위의 $G$-히그(bundle)의 매개공간을 완전히 기술한다. 이는 이전에 타당도가 없는 경우에만 다룬 셰드드의 결과를 일반화한 것이다. 비아벨리안 히드로 이론과 히친 피브레이션을 이용하여, 매개공간이 타원곡선과 격자 데르의 곱의 몫으로서 와일 군 작용에 의해 정의된 것과 동형임을 증명하고, 자르스키의 주요 정리를 통해 프로젝티브 평탄한 접속의 매개공간의 정규화를 증명한다.

ABSTRACT

We study Higgs bundles over an elliptic curve with complex reductive structure group, describing the (normalization of) its moduli spaces and the associated Hitchin fibration. The case of trivial degree is covered by the work of Thaddeus in 2001. Our arguments are different from those of Thaddeus and cover arbitrary degree.

연구 동기 및 목표

• 타원곡선 위의 임의의 위상적 차수 $d$와 복소 재수성 군 $G$에 대해 $G$-히그(bundle)의 매개공간 $\mathcal{M}(G)_d$를 기술하는 것.
• 2001년에 타당도가 없는 경우에만 다룬 셰드스의 결과를 다른 방법을 사용하여 임의의 차수로 일반화하는 것.
• 프로젝티브 평탄한 $G$-접속의 매개공간 $\mathcal{C}(G)_d$의 정규화를, 몫 공간에서의 전단사 사상으로부터 수립하는 것.
• 매개공간의 $G$-히그(bundle) 위에서 히친 피브레이션이 대수적으로 완전히 통합 가능한 시스템임을 증명하는 것.

제안 방법

• 비아벨리안 히드로 대응을 이용하여 $G$-히그(bundle), 프로젝티브 평탄한 접속, 기본군의 표현을 연결한다.
• 리 대수 $\mathfrak{g}$의 불변 다항식을 통해 정의된 히친 피브레이션을 적용하여 $\mathcal{M}(G)_d$를 기저 $B_G \cong \bigoplus H^0(X, \mathcal{O}_X^{\otimes \deg(p_i)})$로 매핑한다.
• 타원곡선의 쌍대체 $X^\sharp$와 리 군의 리브르 부분군의 중심과 관련된 격자 $\Lambda_{\overline{S}_c}$의 텐서곱을 통해 프로젝티브 평탄한 $G$-접속의 가속을 구성한다.
• 자르스키의 주요 정리를 이용하여, 몫 $ (X^\sharp \otimes_{\mathbb{Z}} \Lambda_{\overline{S}_c}) / W_c $에서 $\mathcal{C}(G)_d$로의 전단사 사상이 $\mathcal{C}(G)_d$의 정규화로의 동형임을 증명한다.
• 유니타리 표현과 타원곡선 위의 $G$-_bundle에 관한 결과를 활용하여, $M(G)_d$를 $ (X \otimes_{\mathbb{Z}} \Lambda_{G,d}) / W_{G,d} $의 몫으로서 기술함으로써 대응을 수립한다.
• 콤���트 실수 형태 $K_c$의 원소에 의한 코너지션을 통해 접속의 게이지 등급을 수립하고, 히그 필드를 $A_{(\rho,z)} = A_\rho + z\,dx + \tau(z)\,d\overline{x}$ 형태의 평탄한 접속과 연결한다.

실험 결과

연구 질문

• RQ1 임의의 위상적 차수 $d$와 복소 재수성 군 $G$에 대해 타원곡선 위의 $G$-히그(bundle)의 매개공간은 어떻게 기술할 수 있는가?
• RQ2 기하학적 및 군론적 자료에 기반하여 프로젝티브 평탄한 $G$-접속의 매개공간 $\mathcal{C}(G)_d$의 구조는 어떠한가?
• RQ3 일반적인 $G$에 대해 $\mathcal{M}(G)_d$ 위의 히친 피브레이션은 대수적으로 완전히 통합 가능한 시스템인가?
• RQ4 $\mathcal{C}(G)_d$의 정규화는 타원곡선과 격자의 곱의 몫을 통해 명시적으로 기술할 수 있는가?

주요 결과

• 타원곡선 위의 $G$-히그(bundle)의 매개공간 $\mathcal{M}(G)_d$는 프로젝티브 평탄한 $G$-접속의 매개공간 $\mathcal{C}(G)_d$의 정규화와 동형이다.
• $\mathcal{C}(G)_d$의 정규화는 몫 $ (X^\sharp \otimes_{\mathbb{Z}} \Lambda_{\overline{S}_c}) / W_c $로 주어지며, 여기서 $X^\sharp$는 타원곡선의 쌍대체이고, $\Lambda_{\overline{S}_c}$는 리브르 부분군의 중심과 관련된 격자이며, $W_c$는 리브르의 와일 군이다.
• 매개공간 $\mathcal{M}(G)_d$ 위의 히친 피브레이션은 히친 기저의 구조와 피브레이션의 성질에 의해 대수적으로 완전히 통합 가능한 시스템임을 증명한다.
• 이 구성은 타당도가 없는 경우를 초월하여 셰드스의 결과를 확장하는 비아벨리안 히드로 대응에 대한 새로운 증명을 제공한다.
• $ (X^\sharp \otimes_{\mathbb{Z}} \Lambda_{\overline{S}_c}) / W_c $에서 $\mathcal{C}(G)_d$로의 전단사 사상은 자르스키의 주요 정리를 통해 정규화로의 동형임을 증명한다.
• $G = \operatorname{GL}(n,\mathbb{C})$ 또는 $\operatorname{SL}(n,\mathbb{C})$ 이고 $d=0$인 경우, $\mathcal{C}(G)_0$의 정규성 덕분에 동형은 스킴의 동형이다.