[논문 리뷰] Lie groups, Nahm's equations and hyperkaehler manifolds

Roger Bielawski|ArXiv.org|2005. 09. 22.

Geometry and complex manifolds참고 문헌 12인용 수 4

한 줄 요약

이 논문은 반단순 리군의 고유 궤도 위에서 하이퍼카플러 계량을 구성하기 위해 나움의 방정식을 사용하며, 이러한 계량이 리 대수 속의 경로들의 무한차원 공간에 대한 하이퍼카플러 축소를 통해 유도됨을 보여준다. 주요 기여는 모든 완비 하이퍼카플러 구조가 특정 모듈리 공간 ${\mathcal{M}}_{\tau_1,\tau_2,\tau_3;\sigma}$ 와 동형임을 특성화하는 것으로, 특히 $SU(k)$의 경우 스펙트럼 곡선과 컴 pactified 자코비안과의 명시적 연관성을 밝혀낸다.

ABSTRACT

Lectures given at the summer school on Algebraic Groups, Goettingen, June 27 - July 15 2005

연구 동기 및 목표

• 나움의 방정식을 사용하여 반단순 리군의 공고유 궤도 위에서 하이퍼카플러 계량을 체계적으로 구성하는 것.
• 하이퍼카플러 및 카플러 축소의 관점에서 이러한 계량의 기하학적 및 표현론적 의의를 명확히 하는 것.
• ${\mathcal{M}}_{\tau_1,\tau_2,\tau_3;\sigma}$ 위의 하이퍼카플러 구조와 궤도 ${\mathcal{O}}_{\tau_1}$ 위의 카플러 구조 사이의 관계를 탐구하는 것, 특히 대칭적인 경우에 중점을 두어.
• 스펙트럼 곡선과 컴 pactified 자코비안이 이러한 하이퍼카플러 구조를 대수적으로 묘사하는 데 수행하는 역할을 조사하는 것.
• 특수한 경우인 헤르미트 대칭 공간 외에서는 이러한 대수적 구성이 왜 여전히 미해결 문제로 남아 있는지 밝혀내는 것.

제안 방법

• 리 대수 $\mathfrak{g}$ 속의 경로 공간 $\mathcal{A}$ 를 무한차원 평탄한 기하학의 모델로 사용한다.
• 게이지 군 $\mathcal{G}$ 와 그 부분군 $\mathcal{G}_0$ 를 적용하여 몫 구조 $\mathcal{A}/\mathcal{G}_0 \simeq G$ 를 정의하고, $G$ 위에 양방향 불변 계량을 유도한다.
• 경로 공간 $\mathcal{A}^\mathbb{C}$ 를 복소화하여 해밀턴 $G$-작용과 순간 맵 $\mu = \dot{T}_1 + [T_0, T_1]$ 이 있는 카플러 구조를 얻는다.
• 세 개의 복소 구조에 대응하는 순간 맵 $\mu_1, \mu_2, \mu_3$ 를 사용하여 $\mathcal{A}^\mathbb{C}$ 에 하이퍼카플러 축소를 적용한다.
• 고정된 잔여치 $\tau_1, \tau_2, \tau_3$ 를 가진 나움의 방정식의 해공간으로 하이퍼카플러 모듈리 공간 $\mathcal{M}_{\tau_1,\tau_2,\tau_3;\sigma}$ 을 구성한다.
• 스펙트럼 곡선 $S$ 를 $\det(\eta \cdot 1 - (\tau_2 + i\tau_3) - 2i\tau_1\zeta + (-\tau_2 + i\tau_3)\zeta^2) = 0$ 으로 정의하고, 컴 pactified 자코비안 $\overline{J^{g-1}(S)}$ 의 기하학과 연관시킨다.

실험 결과

연구 질문

• RQ1 나움의 방정식을 어떻게 사용하여 반단소 리군의 고유 궤도 위에서 하이퍼카플러 계량을 구성할 수 있는가?
• RQ2 ${\mathcal{M}}_{\tau_1,\tau_2,\tau_3;\sigma}$ 위의 하이퍼카플러 구조와 공고유 궤도 ${\mathcal{O}}_{\tau_1}$ 위의 카플러 구조 사이의 정확한 관계는 무엇인가?
• RQ3 ${\mathcal{M}}_{\tau_1,0,0}$ 위의 하이퍼카플러 계량은 특히 쌍곡 함수나 컴 pactified 자코비안을 통해 대수적으로 묘사될 수 있는가?
• RQ4 스펙트럼 곡선 $S$ 는 ${\mathcal{M}}_{\tau_1,\tau_2,\tau_3;\sigma}$ 의 하이퍼카플러 기하학을 어떻게 캐릭터라이즈하는가?
• RQ5 컴 pactified 자코비안 $\overline{J^{g-1}(S)}$ 가 $\mathcal{O}_{\tau_2+i\tau_3}/SU(k)$ 와 대응하는 실 구조를 가질 수 있는 조건은 무엇인가?

주요 결과

• 모듈리 공간 $\mathcal{M}_{\tau_1,\tau_2,\tau_3;\sigma}$ 는 공고유 궤도 위에서 하이퍼카플러 계량을 완전하고 대수적으로 구성하는 데 성공하며, 기존 알려진 경우들을 일반화한다.
• 정리 2.2 는 임의의 완비 하이퍼카플러 다양체가 하이퍼카플러 $G$-작용과 국소적으로 전이적인 $G^\mathbb{C}$-작용을 가질 경우, 어떤 $\mathcal{M}_{\tau_1,\tau_2,\tau_3;\sigma}$ 와 $G$--equivariant하게 동형임을 증명하여 그들의 보편성을 입증한다.
• $G = SU(k)$ 인 경우, 스펙트럼 곡선 $S$ 가 오직 노드만을 가질 때, $\mathcal{O}_{\tau_2+i\tau_3}/SU(k)$ 와 컴 pactified 자코비안 $\overline{J^{g-1}(S)} - \Theta$ 의 실부분의 연결성분 사이에 자연스러운 대수적 동형사상이 존재한다.
• 곡선 $S$ 는 반해석적 호환 변환 $\zeta \mapsto -1/\bar{\zeta}, \eta \mapsto -\eta/\bar{\zeta}^2$ 에 관해 불변이며, 이는 $H^1(S, \mathcal{O}_S)$ 에 실 구조를 유도하고 실 선형(bundle)의 정의를 가능하게 한다.
• 하이퍼카플러 계량의 구성은 비콰르의 의미에서 대수적 임에도 불구하고, 헤르미트 대칭 공간과 같은 특수한 경우 외에는 일반적인 대수적 공식이 알려져 있지 않다.
• ${\mathcal{M}}_{\tau_1,0,0}$ 위의 하이퍼카플러 구조는 여전히 미스터리하게 남아 있으나, $S$ 위의 유리 함수를 이용한 쌍곡 함수의 사용은 컴 pactified 자코비안을 통한 향후 접근 가능성을 시사한다.