[논문 리뷰] Mabuchi geometry of big cohomology classes with prescribed singularities

Mingchen Xia|arXiv (Cornell University)|2019. 07. 16.

Geometry and complex manifolds참고 문헌 43인용 수 6

한 줄 요약

이 논문은 복소 단일분岐 켈러 공간에서 주어진 특이성을 갖는 큰 코homology 클래스에 대해 Mabuchi 기하학 프레임워크를 수립하며, 몽주-암페르 방정식을 풀지 않고 유한 에너지 잠재함수 공간 $\mathcal{E}^p(X,\theta;[\phi])$ 위에 메트릭 $d_p$ 를 도입한다. 비특이 공간으로의 일반화를 위해 비다수항적 곱과 특이 버전의 Lelong 추측을 증명함으로써, 특이 다양체 위에서의 다수항 이론과 메트릭 기하학을 통합적으로 다룰 수 있게 한다.

ABSTRACT

Let $X$ be a compact Kähler unibranch complex analytic space of pure dimension. Fix a big class $α$ with smooth representative $θ$ and a model potential $ϕ$ with positive mass. We define and the study non-pluripolar products of quasi-plurisubharmonic functions on $X$. We study the spaces $\mathcal{E}^p(X,θ;[ϕ])$ of finite energy Kähler potentials with prescribed singularities for each $p\geq 1$. We define a metric $d_p$ and show that $(\mathcal{E}^p(X,θ;[ϕ]),d_p)$ is a complete metric space. This construction generalizes the usual $d_p$-metric defined for an ample class.

연구 동기 및 목표

• 부드러운 다양체 위의 앰플 클래스에서 큰 코homology 클래스로의 Mabuchi $d_p$-메트릭 이론을 특이 단일분岐 켈러 공간으로 확장한다.
• 해소화를 이용하고 단일분岐 구조를 활용하여 특이 공간에서 강력한 다수항 이론, 특히 비다수항적 곱을 개발한다.
• 지정된 특이성을 갖는 유한 에너지 잠재함수 공간 $\mathcal{E}^p(X,\theta;[\phi])$ 를 정의하고, 고전적 $\mathcal{E}^p$ 공간을 일반화한다.
• 몽주-암페르 방정식을 풀지 않고 $\mathcal{E}^p$ 위에 메트릭 $d_p$ 를 구성함으로써, 앰플 및 큰 네프 경우에 기존 정의와의 호환성을 확보한다.
• 지오데식 레이 공간 $\mathcal{R}^1$ 과 완전한 $d_1$-메트릭을 갖는 룕프탑 구조를 수립하고, 이를 부드러운 해소화로부터 등거리 동형으로 옮긴다.

제안 방법

• 특이 공간 $X$ 에서의 다수항 이론을 부드러운 공간 $Y$ 로 이전하기 위해 해소화 $\pi: Y \to X^{\operatorname{red}}$ 를 이용하며, 단일분岐성으로 인해 연결된 섬유와 psh 함수에 대한 $\pi^*$-동형성을 활용한다.
• 단일분岐 공간에서 무시할 수 있는 집합이 다수항 집합과 일치함을 증명하여, Lelong 추측의 일반화를 이루며, Bedford–Taylor 곱의 국소성과 비다수항적 곱의 가능성을 보장한다.
• 비다수항적 곱을 $Y$ 로의 당김을 통해 $X$ 상의 준psh 함수에 대해 정의하며, 부드러운 공간에서의 알려진 이론과 psh 함수에 대한 $\pi^*$ 의 전단사성에 기반한다.
• 지정된 모델 잠재함수 $\phi$ 에 의해 특이성이 제어되는 $\theta$-psh 함수의 집합으로서 $\mathcal{E}^p(X,\theta;[\phi])$ 를 정의하며, $\phi$ 에 대한 유한한 $p$-에너지 조건을 만족한다.
• $d_p$-메트릭을 에너지 함수 $E^\phi$ 를 이용해 구성하며, $p=1$ 에서는 $d_p(\varphi,\psi) = E^\phi(\varphi) + E^\phi(\psi) - 2E^\phi(\varphi \land \psi)$ 를 사용하고, $p>1$ 에서는 에너지 차이의 $L^p$-노름을 통해 일반화한다.
• 지오데식 레이 공간 $\mathcal{R}^1(X,\theta)$ 에서는 레이의 점별 최소값을 통해 룕프탑 구조를 수립하고, $\pi^*$ 가 $\mathcal{R}^1(X,\theta)$ 와 $\mathcal{R}^1(Y,\pi^*\theta)$ 사이의 등거리 동형을 유도함을 증명한다.

실험 결과

연구 질문

• RQ1 특이 단일분岐 켈러 공간에서 큰 코homology 클래스에 대해 몽주-암페르 방정식을 풀지 않고 $\mathcal{E}^p$ 공간 위의 $d_p$-메트릭을 정의할 수 있는가?
• RQ2 준psh 함수의 비다수항적 곱이 특이 단일분岐 공간으로 확장될 수 있으며, 플루리-파인 위상에 대해 국소적인가?
• RQ3 지정된 특이성을 갖는 유한 에너지 잠재함수 공간 $\mathcal{E}^p(X,\theta;[\phi])$ 는 특이 설정에서 잘 정의되어 있고 지오데식인가?
• RQ4 metric completion $\mathcal{E}^1$ 은 앰플 및 큰 네프 경우에서 알려진 정의와 일치하는 $d_1$-메트릭으로 특징지어질 수 있는가?
• RQ5 특이 공간 위의 지오데식 레이 공간 $\mathcal{R}^1$ 은 그 해소화 위의 완전한 룕프탑 메트릭 구조를 상속받는가, 그리고 이는 등거리 동형으로 표현되는가?

주요 결과

• 논문은 컴팩트한 단일분岐 켈러 공간에서 집합 $E \subseteq X$ 가 무시할 수 있음과 다수항 집합임이 동치임을 증명하며, Lelong 추측의 특이 버전을 확인한다.
• 준psh 함수의 비다수항적 곱은 특이 단일분岐 공간에서 잘 정의되어 있고 플루리-파인 위상에 대해 국소적이며, 특이 공간 위에서 $\mathcal{E}^p$ 공간을 구성할 수 있게 한다.
• $\mathcal{E}^p(X,\theta;[\phi])$ 위의 메트릭 $d_p$ 는 몽주-암페르 방정식을 풀지 않고 정의되며, 특이 공간에서 큰 코homology 클래스로 고전적 $d_p$-메트릭을 일반화한다.
• $p=1$ 에서는 메트릭 $d_1(\varphi,\psi) = E^\phi(\varphi) + E^\phi(\psi) - 2E^\phi(\varphi \land \psi)$ 가 [DDNL18] 및 [Tru22] 에서 알려진 정의와 일치하며, 에너지 기반 노름을 통해 $p>1$ 로 확장된다.
• $\mathcal{R}^1(X,\theta)$ 의 지오데식 레이 공간은 1-엄격한 완전한 룕프탑 구조를 가지며, 당김 $\pi^*$ 는 $\mathcal{R}^1(X,\theta)$ 와 $\mathcal{R}^1(Y,\pi^*\theta)$ 사이의 등거리 동형을 유도한다.
• $\mathcal{E}^p(X,\theta;[\phi])$ 위의 $d_p$-메트릭은 큰 네프 클래스의 경우 [DNL20] 의 정의와 일치하며, 일반적인 큰 클래스에 대해 특이 공간 위의 이론을 확장한다.