[논문 리뷰] Metrics of constant positive curvature with conic singularities. A survey

Alexandre Erëmenko|arXiv (Cornell University)|2021. 03. 24.

Geometric Analysis and Curvature Flows참고 문헌 19인용 수 4

한 줄 요약

이 종합 검토는 유한한 개수의 콘형 특이점을 가진 컴acts Riemann 곡면 위에서 곡률 1을 갖는 conformal metrics를 조사하며, 개발 함수와 단형성에 의한 분류 및 존재성에 초점을 맞춘다. 구체적으로, 각 타원 곡면 매개변수 τ에 대해 각도 (1/2,1/2,1/2,3/2)를 가진 네 개의 특이점을 가진 구 위에서는 최대 하나의 그러한 metrics만 존재하며, 이는 주기 비율 τ에 대한 명시적 부등식에 의해 결정됨을 밝혀낸다.

ABSTRACT

We consider conformal metrics of constant curvature 1 on a Riemann surface, with finitely many prescribed conic singularities and prescribed angles at these singularities. Especially interesting case which was studied by C. L. Chai, C. S Lin and C. L. Wang is described in some detail, with simplified proofs.

연구 동기 및 목표

• 지정된 콘형 특이점과 각도를 가진 컴팩트 Riemann 곡면 위에서 곡률 1을 갖는 conformal metrics의 분류 및 존재성 이해.
• 비양의 곡률 케이스와 대비되는 구기하학에서의 비유일성 문제를 다루며, 이는 아직 해결되지 않은 열린 문제이다.
• 차이, 린, 왕이 다룬 구 위의 네 개의 콘형 특이점을 가진 케이스에 대해 간소화된 증명과 상세한 분석을 제공한다.
• 선형 미분방정식의 단형성과 타원 곡면의 이중 덮개의 기하학을 이용해 이러한 metrics의 존재 조건을 설정하는 기준을 수립한다.

제안 방법

• 특이점 주변에서 f(z) ~ c(z−a_j)^{α_j}와 같이 국소적 행동을 갖는 다가값 해석함수인 개발 함수 f: S\A → Ĉ (리만 구)를 사용하며, 이는 PSU(2) 단형성을 갖는다.
• ρ(z) = 2|f′(z)| / (1 + |f(z)|²)를 통해 metrics를 재구성하며, 모비우스 변환에 대한 후행 조작에 의해 동치가 정의된다.
• 존재 문제를 타원 곡면 이중 덮개 위에서 라마 방정식의 프로젝티브 단형성의 유니타리화 가능성으로 환원한다.
• 위어스타스 타원 함수를 사용하여 라마 방정식 w′′ − (2℘(z) + λ)w = 0 및 그 단형성을 분석함으로써 보조 매개변수 문제를 다룬다.
• σ 및 ζ 함수를 포함하는 헤르미트의 해법 공식을 적용하여, ω_jζ(a) − η_ja가 순수 허수일 때 단형성의 유니타리화 조건을 유도한다.
• τ-평면(모듈러 매개변수)에서 이러한 metrics의 존재 영역을 특징짓는 명시적 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 주어진 컴팩트 Riemann 곡면과 지정된 콘형 특이점 및 각도에 대해, 곡률 1의 metrics에 대한 동치류는 몇 개인가?
• RQ2 특이점의 위치와 각도에 어떤 조건이 성립하면 구 위에 그러한 metrics가 존재하는가?
• RQ3 관련 선형 미분방정식의 단형성이 metrics의 존재성과 유일성에 어떻게 영향을 미치는가?
• RQ4 각도가 (1/2,1/2,1/2,3/2)인 네 개의 특이점을 가진 경우, 몇 개의 metrics가 존재하며, 이는 타원 곡면 매개변수 τ에 어떻게 의존하는가?
• RQ5 단형성의 유니타리화가 가능한 해가 존재하는 τ-평면의 영역은 기하학적·해석적으로 어떻게 특징지어지는가?

주요 결과

• 각도 (1/2,1/2,1/2,3/2)를 가진 네 개의 콘형 특이점을 가진 구의 경우, 각 타원 곡면 매개변수 τ에 대해 곡률 1의 metrics에 대한 동치류가 최대 하나뿐 존재한다.
• 이러한 metrics의 존재는 라마 방정식의 프로젝티브 단형성이 유니타리화 가능할 때 정확히 발생하며, 이는 ω_jζ(a) − η_ja를 포함하는 두 개의 복소수 방정식이 순수 허수일 때 성립한다.
• 이러한 metrics가 존재하는 τ-평면의 영역은 j = 1,2,3에 대해 Im( (πi)/(e_j ω_1² + η_1 ω_1) − 2τ ) < 0 라는 부등식으로 특징지어진다.
• 보조 매개변수 λ = ℘(a)는 선형 방정식 Aa + Bā + ζ(a) = 0의 해 a에 의해 유일하게 결정되며, 이 방정식은 해가 0개 또는 2개(±a)일 수 있다.
• 자명한 해 a = ω_j (j=1,2,3)는 선형 독립 해를 생성하지 않으며, 따라서 유효한 metrics를 정의하는 데서 제외된다.
• 구 위의 metrics는 2차 덮개를 통해 타원 곡면 위의 짝수 metrics로 올라가며, 유일한 짝수 해는 원하는 구형 metrics에 대응한다.