[논문 리뷰] Singular Hermitian-Einstein monopoles on the product of a circle and a Riemann surface

Benoit Charbonneau, Jacques Hurtubise|ArXiv.org|2008. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $S^1 \times \Sigma$ 위의 특이 단위 유니터리 허미션트-아인슈타인 몰리포일과 리만 곡면 $\Sigma$ 위의 안정적 허미션트 쌍 $(\mathcal{E}, \rho)$ 사이의 대응을 수립한다. 여기서 $\mathcal{E}$는 허미션트 벡터 번들의고, $\rho$는 유리형 자기동형사상이다. 핵심 결과는 이러한 몰리포일의 모듈리 공간과 안정 쌍의 모듈리 공간 사이의 전단사 대응이며, 몰리포일의 특이점은 유리형 섹션 $\rho$의 극과 대응된다. 또한 게이지 이론적 및 복소기하학적 시각에서의 차원 계산을 통해 모듈리 공간의 복소기하학이 분석된다.

ABSTRACT

In this paper, the moduli space of singular unitary Hermitian--Einstein monopoles on the product of a circle and a Riemann surface is shown to correspond to a moduli space of stable pairs on the Riemann surface. These pairs consist of a holomorphic vector bundle on the surface and a meromorphic automorphism of the bundle. The singularities of this automorphism correspond to the singularities of the singular monopole. We then consider the complex geometry of the moduli space; in particular, we compute dimensions, both from the complex geometric and the gauge theoretic point of view.

연구 동기 및 목표

• 모듈리 공간 대응과 복소기하학적 분석을 통해 $S^1 \times \Sigma$ 위의 특이 단위 유니터리 허미션트-아인슈타인 몰리포일과 $\Sigma$ 위의 안정적 허미션트 쌍 사이의 대응을 수립한다.
• 게이지 이론과 복소기하학적 시각을 통해 이러한 몰리포일의 모듈리 공간을 분석한다.
• 게이지 이론적 및 복소기하학적 시각에서 모두 모듈리 공간의 차원을 정의하고 계산한다.
• 몰리포일의 특이점이 벡터 번들의 유리형 자기동형사상의 극과 대응됨을 분석한다.
• 평행 이동과 덱 변환을 사용하여, $\Sigma$의 유한 커버에서 자명해지는 원판의 구조로의 일반화를 수행한다.

제안 방법

• 저자들은 $Y = S^1 \times \Sigma$ 위에서 상수 중심 항을 포함한 일반화된 보고몰니 방정식을 사용하며, 고정된 점 $p_i = (t_i, z_i)$에서 디랙 유형의 특이성을 포함시킨다.
• 특이 몰리포일을 정의하며, 특이점 근처에서 정수 열 $\vec{k}_i$에 의해 결정되는 점근적 행동을 가지며, 히긴스 장 $\phi$는 $\frac{\sqrt{-1}}{2R_i} \mathrm{diag}(k_{i1}, \dots, k_{in})$와 같이 행동한다.
• 몰리포일을 $Y \to Y$의 기본 겹침 $\widetilde{Y} \to Y$로 올리며, 평행 이동을 통해 평탄한 섹션 $S$가 번들을 자명화하게 되어, $\Sigma$ 위에 허미션트 구조를 정의할 수 있다.
• $S^1$-불변성과 평탄한 접속을 이용해, $\Sigma$ 위에 허미션트 벡터 번들 $\mathcal{E}$와 평행 이동 및 덱 변환을 통해 정의된 유리형 자기동형사상 $\rho$를 구성한다.
• 비자명한 원판 번들의 안정성 조건을 일반화하기 위해 $(\vec{t}, U)$-도수 $\delta_{\vec{t},U}(\mathcal{E}, \rho)$를 정의한다.
• 특이점의 $S^1 \times \mathfrak{D}$ 불변성과 덱 군 작용을 통한 내림내림을 이용해, 기약 허미션트-아인슈타인 몰리포일의 모듈리 공간과 특정 특이 유형 $\mathbf{K}$을 가진 안정 쌍 $(\mathcal{E}, \rho)$ 사이의 전단사 대응을 증명한다.

실험 결과

연구 질문

• RQ1 특이 허미션트-아인슈타인 몰리포일은 $S^1 \times \Sigma$ 위에서 $\Sigma$의 허미션트 구조와 어떻게 관련이 있는가?
• RQ2 특이 몰리포일의 모듈리 공간과 안정적 허미션트 쌍의 모듈리 공간 사이의 정확한 대응은 무엇인가?
• RQ3 특히 차원 측면에서, 몰리포일 모듈리 공간의 복소기하학은 어떻게 분석될 수 있는가?
• RQ4 원판 번들의 위상수학적 성질은 관련된 허미션트 쌍의 안정성과 도수 정의에 어떤 역할을 하는가?
• RQ5 몰리포일의 특이점은 허미션트 번들의 유리형 자기동형사상에 어떻게 나타나는가?

주요 결과

• 유한 커버에서 자명해지는 원판 번들 $Y \to \Sigma$ 위의 기약 $\mathrm{U}(n)$ 허미션트-아인슈타인 몰리포일의 모듈리 공간은 $(\vec{t}, U)$-안정 허미션트 쌍 $(\mathcal{E}, \rho)$의 모듈리 공간과 전단사 대응된다.
• $\Sigma$ 위의 허미션트 번들 $\mathcal{E}$는 계수 $n$과 계수 $k_0$를 가지며, 유리형 자기동형사상 $\rho$는 $z_j$에서 극을 가지며, 국소적으로 $F_j(z) \mathrm{diag}(z^{k_{jl}}) G_j(z)$ 형태를 띤다. 여기서 $F_j, G_j$는 허미션트이자 가역적이다.
• $\rho$의 행렬식은 $\sum_j \mathrm{tr}(\vec{k}_j) z_j$의 분포를 가지며, 이는 몰리포일의 특이점 데이터와 유리형 섹션의 분포를 연결한다.
• 모듈리 공간의 차원은 게이지 이론적 및 복소기하학적 시각에서 각각 계산되었으며, 두 접근법 간의 일관성이 확인되었다.
• $(\vec{t}, U)$-도수 $\delta_{\vec{t},U}(\mathcal{E}, \rho)$는 $\widetilde{M}_t$에 의한 섹션 $S$의 이동에 대해 불변이므로, 원판 작용 하에서 안정성이 잘 정의됨을 보장한다.
• 유한 커버에서 자명해지지 않는 원판 번들에 대해서는, 점 渐진적인 기본 도메인의 평균 도수의 극한으로 안정성 조건을 정의한다.