[논문 리뷰] Coordinates for the Universal Moduli Space of Holomorphic Vector Bundles

Jørgen Ellegaard Andersen, Niccolo Skovgård Poulsen|arXiv (Cornell University)|2016. 02. 29.

Geometric and Algebraic Topology참고 문헌 22인용 수 3

한 줄 요약

이 논문은 리만 곡면의 종수 $g > 1$ 에서의 안정적 허수 벡터 번들의 보편 모듈리 공간 위에 두 개의 서로 다른 복소 해석적 좌표계를 구성한다. 이는 기본군의 표현과 상반평면 위의 $\bar{\partial}$-방정식의 해를 이용하여 이루어지며, 주요 결과는 좌표계가 메트릭 전개에서 두 번째 차수까지 일치하지만 세 번째 차수에서는 다름을 보이며, 이는 모듈리 공간의 곡률에서 비자명한 기하학적 구별을 드러낸다.

ABSTRACT

In this paper we provide two ways of constructing complex coordinates on the moduli space of pairs of a Riemann surface and a stable holomorphic vector bundle centred around any such pair. We compute the transformation between the coordinates to second order at the center of the coordinates. We conclude that they agree to second order, but not to third order at the center.

연구 동기 및 목표

• 종수 $g > 1$ 인 리만 곡면 위의 임의의 안정적 허수 벡터 번들 주변에서 명시적인 복소 해석적 좌표를 제공한다.
• 두 가지 다른 좌표계를 비교한다: 하나는 보편적 표현을 기반으로 하고, 다른 하나는 섬유화된 좌표계(기저에 沿해 Bers, 섬유에 沿해 Zograf-Takhtadzhyan)를 기반으로 한다.
• 중앙 점에서 두 좌표계 간의 무한소 변환을 두 번째 차수까지 계산한다.
• 이 새로운 좌표계를 사용하여 모듈리 공간의 곡률을 계산하는 데 기초를 마련한다.

제안 방법

• 상반평면 $\mathds{H}$ 위의 자명한 $\mathbf{GL}(n,\mathbb{C})$-다발 위에서 $\mu \in H^{0,1}(X, TX)$ 와 $\nu \in H^{0,1}(X, \operatorname{End}E)$ 를 포함하는 $\bar{\partial}$-방정식을 푸는 다발 사상의 가중치 가중치 $\Phi^{\mu \oplus \nu}$ 를 구성한다.
• 해 $\Phi^{\mu \oplus \nu}$ 를 이용해 코너지에 의한 변환을 통해 새로운 표현 $\rho^\mu$ 와 $\rho_E^{\mu \oplus \nu}$ 를 정의하고, 이는 $\mathcal{T} \times M'$ 위의 국소 좌표를 유도한다.
• Narasimhan-Seshadri 정리를 이용해 모듈리 공간을 $\pi_1(\Sigma)$ 의 보편 중심 $\mathbb{Z}/n\mathbb{Z}$-확장에 대한 $\mathbf{U}(n)$ 표현으로 식별한다.
• 두 좌표계 모두에서 메트릭의 두 번째 변동을 $\Sigma$ 에서의 적분을 통해 유도하며, 이는 $\Delta_0^{-1}$, $\partial$, $\bar{\partial}$, 그리고 수반 작용을 포함한다.
• 두 좌표계 간의 두 번째 차수 메트릭 전개의 차이를 $\partial \Delta_0^{-1} \partial^* \bar{\mu}$ 와 $\text{ad} \nu$ 상호작용 항들을 비교하여 계산한다.
• 섬유화된 좌표계의 메트릭 전개에서 보편 좌표계와 비교할 때 네 개의 새로운 항과 두 개의 사라진 항을 분석하여 세 번째 차수의 불일치를 분석한다.

실험 결과

연구 질문

• RQ1 보편 모듈리 공간의 안정적 허수 벡터 번들에 대해 구성된 두 좌표계는 중심 점에서 메트릭 전개에서 두 번째 차수까지 일치하는가?
• RQ2 세 번째 차수에서 보편 좌표계와 섬유화된 좌표계 사이의 기하학적 차이의 정밀한 성격은 무엇인가?
• RQ3 이 두 좌표계에서 메트릭의 두 번째 변동을 통해 모듈리 공간의 곡률 성질은 어떻게 나타나는가?
• RQ4 보편 좌표계를 사용하여 모듈리 공간의 전체 곡률를 계산할 수 있으며, 만약 가능하다면 주요 기여 항은 무엇인가?
• RQ5 $\bar{\partial}$-방정식의 해 $\Phi^{\mu \oplus \nu}$ 는 좌표 전환 함수를 정의하는 데 어떤 역할을 하는가?

주요 결과

• 보편 좌표계와 섬유화된 좌표계는 중심 점에서 메트릭 전개에서 두 번째 차수까지 일치하며, 이는 메트릭의 두 번째 변동이 일치함으로써 입증된다.
• 세 번째 차수에서 두 좌표계는 다름을 보인다: 섬유화된 좌표계의 메트릭에 네 개의 새로운 항이 나타나고, 보편 좌표계의 두 항은 사라진다.
• 세 번째 차수의 차이가 $\nu_1 \neq 0$ 이고 $\mu_2 \neq 0$ 인 경우 엄밀히 양수이며, 이는 $\Delta_0^{-1}$ 과 추적 형식의 양성 때문이 다.
• 섬유화된 좌표계 메트릭에 포함된 새로운 항은 $i \int_\Sigma \mu_3 \partial \Delta_0^{-1} \partial^* \bar{\mu}_2 \nu_1 \wedge \bar{\nu}_4^T$ 와 유사한 표현을 포함한다. 이는 $\partial^*$ 와 $\bar{\partial}^*$ 를 포함한다.
• 섬유화된 좌표계에서 사라진 항은 $-i \int_\Sigma \text{tr} \bar{\mu}_2 \mu_3 \nu_1 \wedge \overline{\nu}_4^T$ 와 $-i \int_\Sigma \text{tr} \nu_3 \wedge \overline{\mu}_1 \bar{\mu}_4 \nu_2^T$ 로, 섬유화된 시스템에서 0이 된다.
• 세 번째 차수의 불일치는 두 좌표계가 두 번째 차수를 초월해 동치가 아님을 시사하며, 이는 모듈리 공간의 국소 구조에서 비자명한 기하학적 구별이 있음을 나타낸다.