[논문 리뷰] The closures of test configurations and algebraic singularity types

Tamás Darvas, Mingchen Xia|arXiv (Cornell University)|2020. 03. 10.

Geometry and complex manifolds참고 문헌 76인용 수 10

한 줄 요약

이 논문은 켈러 기하학에서의 테스트 구성의 닫힘과 쿼asi-플루리하모닉 함수 공간 내에서의 대수적 특이점 유형의 닫힘 사이에 깊은 이중성을 수립한다. 레전드르 변환을 통해 유한 에너지 지오데식 레이저를 대수적 특이점 유형과 연결함으로써, 레이저가 테스트 구성으로 근사가능한지 여부가 레이저의 레전드르 변환 형태가 보나베로의 해석적 모스 부등식을 만족하는지 여부와 동치임을 증명함으로써, 두 상황에서 코homological 및 전위론적 특성화를 통합한다.

ABSTRACT

Given a Kähler manifold $X$ with an ample line bundle $L$, we consider the metric space of $L^1$ geodesic rays associated to the first Chern class $c_1(L)$. We characterize rays that can be approximated by ample test configurations. At the same time, we also characterize the closure of algebraic singularity types among all singularity types of quasi-plurisubharmonic functions, pointing out the very close relationship between these two seemingly unrelated problems. By Bonavero's holomorphic Morse inequalities, the arithmetic and non-pluripolar volumes of algebraic singularity types coincide. We show that in general the arithmetic volume dominates the non-pluripolar one, and equality holds exactly on the closure of algebraic singularity types. Analogously, we give an estimate for the Monge--Ampère energy of a general $L^1$ ray in terms of the arithmetic volumes along its Legendre transform. Equality holds exactly for rays approximable by test configurations. Various other cohomological and potential theoretic characterizations are given in both settings. As applications, we give a concrete formula for the non-Archimedean Monge--Ampère energy in terms of asymptotic expansion, and show the continuity of the projection map from $L^1$ rays to non-Archimedean rays. We also show that the closure of ample test configurations and filtrations gives the same set of rays.

연구 동기 및 목표

• L^1 지오데식 레이저 공간 내에서 테스트 구성으로 유도된 레이저의 닫힘을 특성화하기.
• d_{\mathcal{S}} 준거리수에 대한 특이점 유형 공간 \mathcal{S} 내에서의 대수적 특이점 유형의 닫힘을 특성화하기.
• 테스트 구성에 의한 레이저의 근사 가능성과 그 레전드르 변환의 대수적 특이점 유형에 의한 근사 가능성 간의 동치성을 보여줌으로써, 두 문제 간의 이중성을 수립하기.
• 일반적으로 산술 체적은 비-다중해석적 체적을 지배하며, 특이점 유형이 대수적 유형의 d_{\mathcal{S}}-닫힘에 있을 때에만 등호가 성립함을 보여주기.
• 비아르키메데스 몽체–암페르 에너지를 점근 전개에 따라 명시적인 공식으로 제시하고, L^1 레이저에서 비아르키메데스 레이저로의 사영의 연속성을 증명하기.

제안 방법

• 지오데식 레이저와 특이점 유형을 연결하기 위해 레전드르 변환 $\hat{r}_\tau = \inf_{t>0}(r_t - t\tau)$의 사용.
• 로스–위트니스트롬 대응을 적용하여 테스트 구성과 특이점 유형 사이의 이중성을 확장하기.
• 비-다중해석적 몽체–암페르 측도와 지오데식 레이저 공간 $\mathcal{R}^1$ 상의 L^1 지오데식 거리 $d_1^c$의 적용.
• 특이점 유형의 d_{\mathcal{S}}-근사 가능성 특성화를 위해 쿼اسي-등치형 근사 $[u_k]$의 사용.
• 삼각 부등식과 [DDNL21, Proposition 3.5]에서 유도된 상수 $C > 1$를 이용한 붕괴 추정을 통한 수렴성 증명.
• \mathcal{I}-모델 성질과 $P[u] = P[u]_\mathcal{I}$ 축소를 활용하여 특이점 유형 분석을 단순화하기.

실험 결과

연구 질문

• RQ1 유한 에너지 지오데식 레이저가 테스트 구성으로 유도된 레이저의 닫힘에 속해 있는가?
• RQ2 특이점 유형이 대수적 특이점 유형의 d_{\mathcal{S}}-닫힘에 속해 있는가?
• RQ3 일반적인 특이점 유형에 대해 산술 체적과 비-다중해석적 체적은 어떻게 관련되어 있는가?
• RQ4 비아르키메데스 몽체–암페르 에너지와 비아르키메데스 도널드슨 $\mathcal{L}$-함수의 점근 전개 간의 관계는 무엇인가?
• RQ5 L^1 지오데식 레이저에서 비아르키메데스 레이저로의 사영이 연속적인가?

주요 결과

• 지오데식 레이저 $\{r_t\}$가 테스트 구성으로 근사가능한 것은 그 레전드르 변환 $\hat{r}_\tau$가 보나베로의 항등식을 만족할 때이고, 유일하게: $\lim_{k\to\infty} \frac{1}{k^n} h^0(X, L^k \otimes \mathcal{I}(k\hat{r}_\tau)) = \frac{1}{n!} \int_X \omega_{\hat{r}_\tau}^n$.
• 일반적으로 산술 체적이 비-다중해석적 체적을 지배하며, 특이점 유형이 대수적 유형의 d_{\mathcal{S}}-닫힘에 있을 때에만 등호가 성립한다.
• 레이저의 비아르키메데스 몽체–암페르 에너지는 비아르키메데스 도널드슨 $\mathcal{L}$-함수의 점근 전개에서 첫 번째 항과 일치한다.
• L^1 지오데식 레이저에서 비아르키메데스 레이저로의 사영 사상은 $d_1^c$ 거리에 대해 연속적이다.
• 모든 $u \in \mathrm{PSH}(X,\omega)$에 대해, 특이점 유형 $[u]$는 대수적 유형에 의한 $d_{\mathcal{S}}$-근사가 가능할 조건이 $P[u] = P[u]_\mathcal{I}$ 이고, $[u]$가 보나베로의 항등식을 만족할 때이다.
• 한편, $\lim_{k\to\infty} k^{-n} h^0(X, T \otimes L^k \otimes \mathcal{I}(ku)) > 0$ 이 성립하는 것은 $\mathrm{nd}(L,u) = n$ 이며, 이는 앰플 경우에서 [Cao14, Proposition 3.6]를 재증명한다.