[논문 리뷰] Instantons and framed sheaves on Kähler Deligne-Mumford stacks

Philippe Eyssidieux, Francesco Sala|arXiv (Cornell University)|2014. 04. 14.

Geometry and complex manifolds참고 문헌 22인용 수 10

한 줄 요약

이 논문은 ALE 공간의 $A_{k-1}$ 유형에 대한 궤도화(compactification)를 통해 도널드슨-울렌벡-유우 호환성의 스택 이론 일반화를 수립한다. 이는 $A_{k-1}$ 유형의 ALE 공간의 비콤팩트 버전에서 제곱적분 가능한 곡률과 무한대에서 주어진 호로노미를 갖는 헤르미트-아인슈타인 벡터(bundle)와, 궤도화된 오비폴드에서 평탄한 유니터리 접속을 갖는 헬름홀로픽 벡터(bundle) 사이의 일대일 대응을 증명한다. 이 틀은 오비폴드 콪actification과 스택 위의 미분기하학을 이용해 게이지 이론 결과를 칼라-델리뉴-무프 스택으로 확장한다.

ABSTRACT

We provide stacky generalizations of classical gauge-theoretic results inspired by Donaldson, the Uhlenbeck-Yau theorem and variants due to Bando and his collaborators. Moreover, we show an application of this machinery in the study of ALE spaces.

연구 동기 및 목표

• 칼라-델리뉴-무프 스택의 설정으로 고전적 게이지 이론 결과(예: 욘벡-유우 정리 및 반도 정리)를 확장한다.
• 표준적인 매끄러운 콤팩트화가 무한대에서 비자명한 기본군을 갖는 $A_{k-1}$ 유형 ALE 공간에 대해 실패하기 때문에, 도널드슨의 호환성을 ALE 공간에 적용할 수 있는 장애를 해결한다.
• 최소 해소(minimal resolution) $X_k$의 $A_{k-1}$ 특이점 $\mathbb{C}^2/\mathbb{Z}_k$ 에 대한 오비폴드 콤팩트화 $\mathscr{X}_k$ 를 구축하여 일반화된 호환성을 가능하게 한다.
• 오비폴드 콤팩트화 $\mathscr{X}_k$ 에서의 헬름홀로픽 벡터(bundle)와 무한대에서 평탄한 유니터리 접속을 갖는 것과, $X_k$ 에서의 제곱적분 가능한 곡률과 일치하는 무한대에서의 호로노미를 갖는 헤르미트-아인슈타인 벡터(bundle) 사이의 일대일 대응을 수립한다.

제안 방법

• 스무스한 델리뉴-무프 해석적 및 미분 가능 스택에 대해 미분기하학을 적응시켜, 스택 이론적 설정에서 헤르미트-아인슈타인 메트릭을 정의한다.
• 오비폴드 콤팩트화 $\mathscr{X}_k$ 를 $X_k = \widetilde{\mathbb{C}^2/\mathbb{Z}_k}$ 의 전역 몫 스택 $[\mathbb{C}^2 \setminus \{0\} / (\mathbb{C}^* \times \mu_k)]$ 로 표현하며, $\mathscr{D}_\infty$ 는 매끄럽고 효과적인 카티에 다발이다.
• 스택 위의 양의 선다발 이론을 적용하여, $\mathcal{O}_{\mathscr{X}_k}(\mathscr{D}_\infty)$ 가 $\mathscr{D}_\infty$ 에서 양의 성질을 가지며 앰플함을 보여준다. 이는 특성 표현을 통해 이루어진다.
• 호모토피 정확열과 기본군 계산을 활용하여 $\pi_1(\mathscr{D}_\infty^{\text{top}}) \simeq \mathbb{Z}_k$ 를 증명함으로써, 일관된 호로노미 데이터를 표현할 수 있음을 보장한다.
• 스택 이론적 욘벡-유우 정리를 적용하여, $X_k$ 에서의 헤르미트-아인슈타인 메트릭과 $\mathscr{X}_k$ 에서의 다중안정(bundle) 사이의 관계를 설정한다. 곡률의 적분 가능성은 핵심 조건이다.
• _bundle의 당김과 확장을 통해 대응을 수립하며, 무한대에서의 호로노미가 $\mathscr{D}_\infty$ 에서의 평탄한 유니터리 접속과 일치함을 보장한다.

실험 결과

연구 질문

• RQ1 무한대에서 단순연결이 아닌 비콤팩트 4차원 다양체인 $A_{k-1}$ 유형 ALE 공간에 대해, 고전적 도널드슨 호환성(instantons와 틀린 벡터(bundle) 사이의 대응)을 일반화할 수 있는가?
• RQ2 칼라-델리뉴-무프 스택에 대해 헤르미트-아인슈타인 및 욘벡-유우 유형 정리를 일반화하기 위한 적절한 스택 이론적 틀은 무엇인가?
• RQ3 무한대에서 비자명한 기본군을 갖는 ALE 공간의 콤팩트화를 어떻게 구성할 수 있으며, 이를 통해 게이지 이론적 호환성이 유지되는가?
• RQ4 콤팩트화된 경계 $\mathscr{D}_\infty$ 의 오비폴드 구조는 비콤팩트 쪽과 콤팩트 쪽 간의 호로노미 데이터 일치에 어떤 역할을 하는가?
• RQ5 비콤팩트 ALE 공간에서의 헤르미트-아인슈타인 메트릭이, 경계에서 평탄한 접속을 갖는 오비폴드 콤팩트화 위의 헬름홀로픽 벡터(bundle)로 어떻게 올라갈 수 있는가?

주요 결과

• 오비폴드 콤팩트화 $\mathscr{X}_k$ 에서의 헬름홀로픽 벡터(bundle) 중 고정된 벡터(bundle) $\mathcal{F}_\infty$ 와 무한대에서 평탄한 유니터리 접속 $\nabla$ 를 갖는 것과, $X_k$ 에서의 제곱적분 가능한 곡률과 무한대에서 접속 $\nabla$ 와 일치하는 호로노미를 갖는 헤르미트-아인슈타인 벡터(bundle) 사이에 일대일 대응이 존재한다.
• 오비폴드 콤팩트화 $\mathscr{X}_k$ 는 $\mathscr{D}_\infty$ 가 매끄럽고 효과적인 카티에 다발이며, $\mathcal{O}_{\mathscr{X}_k}(\mathscr{D}_\infty)$ 가 앰플하고 $\mathscr{D}_\infty$ 에서 양의 성질을 갖는 프로젝티브 토릭 델리뉴-무프 스택이다.
• $\mathscr{D}_\infty$ 의 위상적 실현의 기본군은 $\pi_1(\mathscr{D}_\infty^{\text{top}}) \simeq \mathbb{Z}_k$ 이며, 이는 비자명한 호로노미 데이터를 일관되게 표현할 수 있음을 보여준다.
• $\mathcal{O}_{\mathscr{X}_k}(\mathscr{D}_\infty)$ 는 $\mathbb{C}^* \times \mu_k$ 에서의 사영 특성과 관련되어 있으며, 이는 $\tilde{k}k$ 제곱의 텐서곱이 프로젝티브 완비화 위의 양의 선다발의 당김과 동형임을 보여주므로, $\mathscr{D}_\infty$ 에서 양의 성질을 갖는다.
• 반도의 결과를 일반화하여, $k=2$ 경우를 초월해 비자명한 호로노미(단지 자명한 호로노미가 아님)를 允허하는 것으로, $k=2$ 이외의 경우로 확장된다.
• 헤르미트-아인슈타인 메트릭의 곡률은 제곱적분 가능하다: $\int_{\mathscr{X}_k} |\Theta(\mathcal{E}', h')|^2 < +\infty$, 이는 대응이 성립하기 위해 필수적이다.