[논문 리뷰] A Hitchin-Kobayashi correspondence for Kaehler fibrations

Ignasi Mundet i Riera|ArXiv.org|1999. 01. 19.

Geometry and complex manifolds참고 문헌 35인용 수 32

한 줄 요약

이 논문은 Kähler fibrations에 대한 Hitchin-Kobayashi 대응을 증명함으로써, 안정성 조건—특히 $c$-안정성—하에 방정정식 $\Lambda F_A + \mu(\Phi) = c$의 해가 존재함을 보였다. 이는 Kempf-Ness 이론을 비프로젝티브 Kähler 다양체로 일반화한 것이다. 이 대응은 기하학적 불변량 이론의 안정성과 접속 및 히긴스 장을 포함하는 게이지 이론 방정식의 해 존재성 간의 연관을 맺는다.

ABSTRACT

Let $X$ be a compact Kaehler manifold and $E o X$ a principal $K$ bundle, where $K$ is a compact connected Lie group. Let ${\cal A}^{1,1}$ be the set of connections on $E$ whose curvature lies in $Ω^{1,1}(E imes_{Ad} {\frak k})$, where ${\frak k}$ is the Lie algebra of $K$. Endow $\frak k$ with a nondegenerate biinvariant bilinear pairing. This allows to identify $\{\frak k}\simeq{\frak k}^*$. Let $F$ be a Kaehler left $K$-manifold and suppose that there exists a moment map $μ$ for the action of $K$ on $F$. Let ${\cal S}=Γ(E imes_K F)$. In this paper we study the equation $$ΛF_A+μ(Φ)=c$$ for $A\in {\cal A}^{1,1}$ and a section $Φ\in {\cal S}$, where $c\in{\frak k}$ is a fixed central element. We study which orbits of the action of the complex gauge group on ${cal A}^{1,1} imes{\cal S}$ contain solutions of the equation, and we define a positive functional on ${cal A}^{1,1} imes{\cal S}$ which generalises the Yang-Mills-Higgs functional and whose local minima coincide with the solutions of the equation.

연구 동기 및 목표

• 구조군 $K$와 섬유 $F$를 가진 Kähler fibrations로 Hitchin-Kobayashi 대응을 일반화하기 위해.
• 접속 $A$와 섹션 $\Phi$로 이루어진 쌍 $(A, \Phi)$에 대한 $c$-안정성의 개념을 정의하여 Mumford의 GIT 안정성으로 일반화하기 위해.
• Yang-Mills-Higgs 함수수를 일반화하고, 그 국소 최소값이 방정식의 해와 일치하는 접속과 섹션의 공간 위에 양의 함수수를 구성하기 위해.
• 방정식 $\Lambda F_A + \mu(\Phi) = c$의 게이지 동치 해의 존재성과 $c$-안정성 간의 대응을 확립하기 위해.

제안 방법

• 접속의 공간 $\mathcal{A}^{1,1}$을 정의하여 $K$-bundle $E \to X$의 곡률이 $\Omega^{1,1}(E \times_{\operatorname{Ad}} \mathfrak{k})$에 속하도록 하여 관련된 $G$-bundle 위의 적분 가능한 힐베르트 해석적 구조를 확보하기 위해.
• 군 $\mathfrak{k}$ 위에 비퇴화 이중불변 쌍선을 사용하여 $\mathfrak{k} \simeq \mathfrak{k}^*$를 정의함으로써, 순간 맵 $\mu: F \to \mathfrak{k}^*$를 섬유별로 $\mathcal{S} = \Gamma(E \times_K F)$로 당겨올릴 수 있도록 하기 위해.
• 고정된 중심 $c \in \mathfrak{k}$에 대해 $A \in \mathcal{A}^{1,1}$, $\Phi \in \mathcal{S}$에 대해 방정식 $\Lambda F_A + \mu(\Phi) = c$를 연구하며, $\Lambda$는 켈러 형식과의 외적의 고정 연산자임.
• 쌍 $(A, \Phi)$에 대한 단순성과 $c$-안정성을 정의하며, 특히 필터링의 경우 부분층에 대한 가중 불등식을 포함하는 $c$-안정성 정의를 포함하기 위해.
• $\mathcal{A}^{1,1} \times \mathcal{S}$ 위에 Yang-Mills-Higgs 함수수를 일반화한 함수수를 구성하며, 그 국소 최소값이 방정식의 해와 정확히 일치함을 보이기 위해.
• $\mathcal{G}_G$-오빗이 해를 포함하는 것은 오직 쌍이 $c$-안정성일 때에만이며, 이러한 해는 $\mathcal{G}_K$-게이지 변환에 대해 유일함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 쌍 $(A, \Phi)$가 $\Lambda F_A + \mu(\Phi) = c$의 해로 게이지 변환 가능할 조건은 무엇인가?
• RQ2 GIT(기하학적 불변량 이론)을 통한 프로젝티브 다양체에서의 안정성 개념을 해밀턴 군 작용을 갖는 임의의 Kähler 다양체로 어떻게 일반화할 수 있는가?
• RQ3 쌍 $(A, \Phi)$의 해석적 안정성과 순간 맵 방정식의 해 존재성 간의 정확한 관계는 무엇인가?
• RQ4 일반화된 Yang-Mills-Higgs 함수수는 $\Lambda F_A + \mu(\Phi) = c$의 해와 어떻게 관련이 있는가?
• RQ5 이 대응의 맥락에서 필터링에 대한 보고몰로프 부등식의 형태는 무엇인가?

주요 결과

• 쌍 $(A, \Phi)$는 오직 $\Lambda F_A + \mu(\Phi) = c$의 해로 게이지 변환 가능할 때에만 $c$-안정이며, 이는 완전한 Hitchin-Kobayashi 대응을 수립한다.
• $\mathcal{A}^{1,1} \times \mathcal{S}$ 위에 일반화된 Yang-Mills-Higgs 함수수는 정확히 방정식의 해에서 국소 최소값을 가진다.
• 필터링 $0 \subset V_1 \subset \cdots \subset V_s \subset V$에 대해 방정식은 $\Lambda F_A - i\sum \tau_k \pi^{h}_{V^k} = -ic\operatorname{Id}$로 변형되며, $c = \frac{\deg(V) + \sum \tau_k \operatorname{rk}(V_k)}{R}$이다.
• 필터링에 대한 안정성 조건은 임의의 영이 아닌 진부한 반사적 부분층 $V^1 \subset V$에 대해 $\frac{\deg(V^1) + \sum \tau_k \operatorname{rk}(V_k \cap V^1)}{\operatorname{rk}(V^1)} < \frac{\deg(V) + \sum \tau_k \operatorname{rk}(V_k)}{R}$이다.
• 보어몰로프 부등식이 성립한다: $\deg(V)\left(\frac{\deg(V)+\sum\tau_k\operatorname{rk}(V_k)}{R}\right) - \sum \tau_k \deg(V_k) - 4\pi^2\langle ch_2(V) \cup \omega^{[n-2]}, [X] \rangle \geq 0$ for $c$-stable pairs.
• 대응은 $\mathcal{G}_K$-게이지 변환에 대해 유일하다: 각 $\mathcal{G}_G$-오빗은 최대 하나의 $\mathcal{G}_K$-오빗의 해를 포함한다.