[논문 리뷰] Irreducible cone spherical metrics and stable extensions of two line bundles

Lingguang Li, Jijian Song외 1명|arXiv (Cornell University)|2020. 01. 23.

Geometric Analysis and Curvature Flows참고 문헌 46인용 수 10

한 줄 요약

이 논문은 $ g_X \geq 1 $ 인 컴acts Riemann 표면에서 두 선다발의 안정적 확장과 $ 2\pi\mathbb{Z}_{>1} $ 에 속하는 원뿔 각을 가지는 기하학적 구면 메트릭 사이의 표준적 전단사 대응을 수립한다. 원천 다발과 헤르미트-아인슈타인 메트릭을 이용하여, $ g_X \geq 2 $ 인 경우, 짝수 차수 $ d > 12g_X - 7 $ 를 가진 유효 분할의 공간이 하우스도르프 차원이 적어도 $ 2(d + 3 - 3g_X) $ 이상인 궤도로 연결된 보렐 집합임을 증명한다. 또한 홀수 차수 $ d > 2g_X - 2 $ 인 경우, 거의 모든 이러한 분할이 유한 개의 기하학적 구면 메트릭을 가짐을 보인다.

ABSTRACT

A cone spherical metric is called irreducible if any developing map of the metric does not have monodromy in ${ m U(1)}$. By using the theory of indigenous bundles, we construct on a compact Riemann surface $X$ of genus $g_X \geq 1$ a canonical surjective map from the moduli space of stable extensions of two line bundles to that of irreducible metrics with cone angles in $2 \pi \mathbb{Z}_{>1}$, which is generically injective in the algebro-geometric sense as $g_X \geq 2$. As an application, we prove the following two results about irreducible metrics: $\bullet$ as $g_X \geq 2$ and $d$ is even and greater than $12g_X - 7$, the effective divisors of degree $d$ which could be represented by irreducible metrics form an arcwise connected Borel subset of Hausdorff dimension $\geq 2(d+3-3g_X)$ in ${ m Sym}^d(X)$; $\bullet$ as $g_X \geq 1$, for almost every effective divisor $D$ of degree odd and greater than $2g_X-2$ on $X$, there exist finitely many cone spherical metrics representing $D$.

연구 동기 및 목표

• 컴 pact Riemann 표면에서 $ g_X \geq 1 $ 인 경우, 선다발의 안정적 확장과 기하학적 구면 원뿔 메트릭 사이의 대응을 수립하는 것.
• 안정적 확장과 분해점 다발 사상 맵을 통한 기하학적 구면 원뿔 메트릭의 모듈리 공간을 특성화하는 것.
• 대수기하학적 기법을 사용하여 짝수 및 홀수 차수의 유효 분할을 표현하는 기하학적 구면 메트릭의 존재성 및 유일성 문제를 해결하는 것.
• 특히 짝수 및 홀수 차수에 대해, 기하학적 구면 메트릭으로 표현 가능한 유효 분할의 집합에 대한 차원 및 연결성 결과를 증명하는 것.
• 이전의 PDE 기반 방법이 짝수 차수에서 뿌연 현상으로 인해 실패한 점을 극복하여, 짝수 및 홀수 차수 분할에 걸쳐 원뿔 구면 메트릭을 통합적으로 다루는 것.

제안 방법

• 원천 다발 이론을 이용하여, 두 선다발의 안정적 확장의 모듈리 공간에서 원뿔 각이 $ 2\pi\mathbb{Z}_{>1} $ 에 속하는 기하학적 구면 원뿔 메트릭의 모듈리 공간으로의 표준적 전단사 사상을 구성한다.
• 분해점 다발 사상 $ R(L_1, L_2) $ 를 정의한다. 이는 안정적 확장의 공간에서 $ |L_1^{-1} \otimes L_2 \otimes K_X| $ 에로 가는 실해석적 사상으로, 각 확장을 해당 메트릭과 관련된 다발로 보낸다.
• 랭크 2 벡터 다발 $ E $ 에 대한 헤르미트-아인슈타인 메트릭을 이용하여, 해당 기하학적 구면 메트릭이 표현하는 유효 다발을 특성화한다.
• 벡터 다발의 대수기하학과 코homology를 활용하여, $ g_X \geq 2 $ 인 경우 분해점 다발 사상이 일반적으로 단사임을 증명하고, 홀수 차수 분할에 대해서는 전사임을 보인다.
• 벡터 다발 위의 미분기하학을 적용하여 분해점 다발 사상의 성질을 확립하고, 그 이미지가 기하학적 구면 메트릭으로 표현 가능한 모든 유효 다발을 포함함을 증명한다.
• 안정적 확장의 모듈리 공간의 구조와 그 프로젝티브 공간에의 임베딩을 이용하여 분해점 사상의 이미지를 분석하고, 차원 및 연결성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 컴 pact Riemann 표면에서 선다발의 안정적 확장과 기하학적 구면 원뿔 메트릭 사이의 정확한 대응은 무엇인가?
• RQ2 짝수 차수 $ d > 12g_X - 7 $ 인 유효 분할 중에서, 기하학적 구면 원뿔 메트릭이 존재하는 경우는 언제이며, 이러한 분할의 집합의 위상적 구조는 어떠한가?
• RQ3 홀수 차수 $ d > 2g_X - 2 $ 인 유효 분할에 대해, 주어진 분할을 표현하는 기하학적 구면 원뿔 메트릭은 몇 개인가? 이 수는 일정하게 유계인가?
• RQ4 분해점 다발 사상 $ R(L_1, L_2) $ 는 기하학적 구면 메트릭으로 표현 가능한 모든 유효 다발을 특성화할 수 있는가? 그 이미지의 기하학적 성질은 무엇인가?
• RQ5 안정적 확장가 불안정한 것으로 분리될 때 분해점 다발 사상은 어떻게 행동하는가? 이로 인해 분해 가능한 메트릭이 유도될 수 있는가?

주요 결과

• $ g_X \geq 2 $ 인 경우, 기하학적 구면 원뿔 메트릭으로 표현 가능한 짝수 차수 $ d > 12g_X - 7 $ 의 유효 분할 집합은 $ \operatorname{Sym}^d(X) $ 내에서 하우스도르프 차원이 적어도 $ 2(d + 3 - 3g_X) $ 이상인 궤도로 연결된 보렐 부분집합이다.
• $ g_X \geq 1 $ 인 경우, 거의 모든 홀수 차수 $ d > 2g_X - 2 $ 의 유효 분할 $ D $ 에 대해, $ D $ 를 표현하는 기하학적 구면 원뿔 메트릭이 유한 개 존재하며, 이 수는 $ d $ 와 $ g_X $ 에 따라 일정하게 유계이다.
• 분해점 다발 사상 $ R(L_1, L_2) $ 는 $ \deg L_2 - \deg L_1 $ 이 홀수이면서 양수일 때, 완전 선형계 $ |L_1^{-1} \otimes L_2 \otimes K_X| $ 에 전사이며, 그 이미지는 정확히 기하학적 구면 메트릭으로 표현 가능한 모든 유효 다발을 포함한다.
• $ g_X \geq 2 $ 인 경우, 안정적 확장과 기하학적 구면 메트릭 사이의 대응은 일반적으로 단사이며, 각 메트릭에 대해 최대 $ 2^{2g_X} $ 개의 원상이 존재한다.
• 분해점 다발 사상은 프로젝티브 공간 $ \mathbb{P}(H^1(X, L_1 \otimes L_2^{-1})^s) $ 의 조르지-열린 부분집합에서 완전 선형계 $ |L_1^{-1} \otimes L_2 \otimes K_X| $ 로 가는 실해석적 사상이며, 그 이미지는 정확히 기하학적 구면 메트릭으로 표현 가능한 유효 다발의 집합이다.
• 짝수 차수 분할에 대한 기하학적 구면 메트릭의 존재성은 PDE 기반의 뿌리기 방법이 실패하는 상황에서도 대수기하학적 기법을 통해 확립되었다.