[논문 리뷰] Basis divisors and balanced metrics

Yanir A. Rubinstein, Gang Tian외 1명|arXiv (Cornell University)|2020. 08. 20.

Geometry and complex manifolds참고 문헌 51인용 수 8

한 줄 요약

이 논문은 Fujita–Odaka의 대수적 $δ_m$-불변량을 분석적으로 해석함으로써, Bergman 공간 위의 양자화된 Ding 함수열의 강제성 임계값으로서 그것들을 식별함으로써 균형 잡힌 메트릭의 존재를 특성화한다. 주요 결과는 $δ_m(L) = \delta_m^A(L)$이며, 이는 대수적 안정성 불변량을 분석적 메트릭과 직접적으로 연결한다.

ABSTRACT

Using log canonical thresholds and basis divisors Fujita--Odaka introduced purely algebro-geometric invariants $δ_m$ whose limit in $m$ is now known to characterize uniform K-stability on a Fano variety. As shown by Blum-Jonsson this carries over to a general polarization, and together with work of Berman, Boucksom, and Jonsson, it is now known that the limit of these $δ_m$-invariants characterizes uniform Ding stability. A basic question since Fujita-Odaka's work has been to find an analytic interpretation of these invariants. We show that each $δ_m$ is the coercivity threshold of a quantized Ding functional on the $m$-th Bergman space and thus characterizes the existence of balanced metrics. This approach has a number of applications. The most basic one is that it provides an alternative way to compute these invariants, which is new even for $\mathbb{P}^n$. Second, it allows us to introduce algebraically defined invariants that characterize the existence of Kähler-Ricci solitons (and the more general $g$-solitons of Berman-Witt Nyström), as well as coupled versions thereof. Third, it leads to approximation results involving balanced metrics in the presence of automorphisms that extend some results of Donaldson.

연구 동기 및 목표

• Fujita–Odaka가 도입한 대수적 $δ_m$-불변량의 분석적 해석을 제공함으로써, 이들이 균일한 K-안정성을 특성화한다는 점을 명확히 하기 위해.
• 특히 균형 잡힌 메트릭과 켈러–리치 솔리톤 간의 격차를 메우기 위해 대수적 안정성 불변량과 분석적 메트릭 간의 연결을 시도하기 위해.
• 왜곡되고 결합된 캐논리컬 메트릭, 즉 $g$-솔리톤과 결합된 켈러–아인슈타인 메트릭을 포함하여 프레임워크를 확장하기 위해.
• 특히 이전까지 알려지지 않았던 $\mathbb{P}^n$와 같은 경우에서 $δ_m$-불변량의 대수적 계산에 대한 계산적으로 접근 가능한 대체 방법을 제공하기 위해.
• 양자화된 함수열의 강제성에 기반하여 Yau–Tian–Donaldson 대응을 통해 분석적·대수적 접근를 통합하기 위해.

제안 방법

• m-번째 Bergman 공간 $\mathcal{B}_m$ 위에서 양자화된 Ding 함수열 $F_m^\theta(\varphi)$를 정의함으로써, 고전적 Ding 함수열을 유한차원 설정으로 일반화함.
• 양자화된 Ding 함수열 $F_m^{\theta,\delta}$의 강제성 임계값으로서 분석적 $\delta_m^A(L)$-불변량을 정의하고, $\delta_m^A(L) = \delta_m(L)$임을 보임.
• Darvas–Rubinstein의 볼록성 원리와 Berndtsson의 복소하모닉 함수 확장을 사용하여, $F_m^{\theta,\delta}$의 강제성과 $\theta$-현재를 포함하는 지수적 가중치의 적분 가능성 간의 관계를 규명함.
• 다양체의 다항체에서 국소 모델 계산을 통해 특정 가중치 함수의 $L^2$-노름에 하한을 설정함. 이 과정에서 Lelong 수와 고리의 순서를 이용함.
• klt 현재와 특이 메트릭 이론을 적용하여 결과를 특이 극화 및 왜곡된 메트릭으로까지 확장함.
• $(\theta,\delta)$-균형 잡힌 메트릭의 존재성이 $\delta < \delta_m(L;\theta)$임과 동치임을 증명하며, 유일한 경우에서 등호가 성립하면 강한 부등식이 성립함을 보임.

실험 결과

연구 질문

• RQ1 대수적 $δ_m$-불변량은 양자화된 함수열의 강제성에 기반한 분석적 해석을 가질 수 있는가?
• RQ2 m-번째 Bergman 공간 위의 양자화된 Ding 함수열의 강제성 임계값은 균형 잡힌 메트릭의 존재와 일치하는가?
• RQ3 이 프레임워크는 대수적으로 정의된 불변량을 통해 켈러–리치 솔리톤과 $g$-솔리톤을 특성화할 수 있는가?
• RQ4 자기동형사상이나 특이 메트릭이 존재할 경우 $δ_m$-불변량은 어떻게 행동하며, 균형 잡힌 메트릭을 통해 근사화될 수 있는가?
• RQ5 균형 잡힌 메트릭, 캐논리컬 메트릭의 존재, 안정성 간의 관계를 통합하는 분석적·대수적 프레임워크가 존재하는가?

주요 결과

• 양자화된 Ding 함수열의 m-번째 Bergman 공간 위에서의 강제성 임계값으로 정의된 분석적 $\delta_m^A(L)$-불변량은 정확히 대수적 $\delta_m(L)$-불변량과 일치한다.
• $\theta$-균형 잡힌 메트릭의 존재는 $\delta_m(L;\theta) \geq 1$과 동치이며, 유일성은 $\delta_m(L;\theta) > 1$임을 암시한다.
• $\delta = 1$일 때, 함수열 $F_m^\theta$가 강제성이 있음은 $\delta_m(L;\theta) > 1$일 때에만 성립하며, 이는 $\theta$-균형 잡힌 메트릭의 존재를 특성화한다.
• 이 프레임워크는 $g$-솔리톤과 결합된 메트릭으로까지 확장되어, 이러한 캐논리컬 메트릭의 존재를 특성화하는 대수적 불변량을 제공한다.
• 이 방법은 이전에는 다루기 어려웠던 경우, 예를 들어 $\mathbb{P}^n$와 같이 $δ_m$-불변량이 이전까지 알려지지 않았던 경우에도 새로운 계산적 접근법을 가능하게 하며, 분석적 임계값을 통해 이제 계산이 가능해졌다.
• 결과는 klt 현재와 특이 메트릭으로까지 일반화되어, $δ_m$-불변량의 적용 범위를 매끄러운 극화를 넘어서 확장한다.