[논문 리뷰] Orthogonal projection of a test configuration to vector fields

Tomoyuki Hisamoto|arXiv (Cornell University)|2016. 10. 23.

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

한 줄 요약

이 논문은 무게 분포의 모멘트 수렴을 증명하여, 시험 구성에 대한 헬름홀트틱 벡터장으로의 수직 투사의 해석적 극한을 확립한다. $L^p$-노름이 관련된 약한 지선 사의 접선 벡터의 $L^p$-노름으로 수렴함을 보여주며, Székelyhidi에 의해 이전에 대수적으로 정의된 대수적 투사의 정밀한 해석적 특성화를 제공한다.

ABSTRACT

Given a polarized complex manifold, projection of a torus-equivariant test configuration to holomorphic vector fields was introduced by G. Székelyhidi, as the limit of the associated $\mathbb{C}^*$-actions. We show that there actually holds the moment convergence of the weight distributions. Our analytic approach at the same time specifies the limit in terms of the weak geodesic ray associated with the test configuration. Related to the result, we discuss about the reduced $L^p$-norm of the test configuration in attempt to describe the uniform K-stability of the polarization relative to the automorphism group.

연구 동기 및 목표

• 시행적으로 정의된 시험 구성의 헬름홀트틱 벡터장으로의 수직 투사에 대한 해석적 기술을 제공하는 것.
• 시험 구성과 관련된 약한 지선 사의 접선 벡터의 $L^p$-노름으로의 투사된 무게의 $L^p$-노름 수렴을 확립하는 것.
• 무게 분포의 모멘트 수렴을 통한 대수적 투사 $P_k(A_k)$와 기하학적 극한 $P(\dot{\varphi}^0)$ 사이의 관계를 명확히 하는 것.
• 감소된 $L^p$-노름과 투사된 벡터장의 노름을 연결함으로써 균일 K-안정성의 개념을 뒷받침하는 것.

제안 방법

• T-등변 정규 시험 구성 $(\mathcal{X}, \mathcal{L})$ 와 관련된 약한 지선 사 $\varphi^t$ 를 사용하여 $t=0$ 에서의 접선 벡터 $\dot{\varphi}^0$ 를 정의하는 것.
• dd^c-보조정리를 적용하여 $\mathcal{H}$ 안의 접선 벡터를 스무스 함수와 식별하고, 몽제-암페르 측도를 사용하여 $L^2$ 내적을 정의하는 것.
• 표현 공간 위의 칼링 형식을 통한 $\mathfrak{sl}(H^0(\mathcal{X}_0, \mathcal{L}_0^{ ens k}))$ 에서 $(\mathfrak{t}/\mathbb{C})_{\mathbb{R}}$ 로의 수직 투사 $P_k$ 를 구성하는 것.
• 등변 리만-하이즈브루흐 정리를 사용하여 $k \to \infty$ 일 때 추적의 점 渐진적 행동 $\operatorname{Tr}A_k^p$ 와 $\operatorname{Tr}A_k B_{j,k}$ 를 분석하고 계수의 유리수성 증명하는 것.
• 항등식 $2\operatorname{Tr}A_k B_{j,k} = \operatorname{Tr}(A_k + B_{j,k})^2 - \operatorname{Tr}A_k^2 - \operatorname{Tr}B_{j,k}^2$ 를 통한 모멘트 수렴 증명으로 유리수 계수를 도출하는 것.
• 기저 변경 $\tau \mapsto \tau^d$ 를 통한 1-PS 작용의 경우로의 환원 후, 생성자 $A - B$ 를 가진 수정된 시험 구성 $\mathcal{X}'$ 를 구성하고, 그 $L^2$-노름이 0임을 보여 $A_1 = B_1$ 을 도출하는 것.

실험 결과

연구 질문

• RQ1 대수적 투사 $P_k(A_k)$ 가 $k \to \infty$ 일 때 해석적 극한으로 수렴하는가?
• RQ2 투사된 무게의 $L^p$-노름의 극한은 약한 지선 사와 관련된 해밀토니언 함수의 $p$-거듭제곱의 적분으로 표현될 수 있는가?
• RQ3 약한 지선 사의 초기 접선 벡터 $\dot{\varphi}^0$ 는 토르스 $T$ 의 1-PS 생성자의 해밀토니언 함수의 유리수 선형 조합인가?
• RQ4 수정된 시험 구성의 $L^2$-노름이 0이면 그 구성이 자명한가, 따라서 원래의 생성자가 복원되는가?
• RQ5 모멘트 수렴 결과는 감소된 $L^p$-노름을 통한 균일 K-안정성의 정의를 어떻게 뒷받침하는가?

주요 결과

• 모멘트 수렴이 성립한다: 모든 $p \geq 1$ 에 대해 $\lim_{k\to\infty} \frac{\operatorname{Tr}P_k(A_k)^p}{k^p N_k} = \frac{1}{V} \int_X P(\dot{\varphi}^0)^p \omega^n$ 이며, 이는 대수적 투사의 정밀한 해석적 극한을 확립한다.
• 약한 지선 사의 초기 접선 벡터와 관련된 해밀토니언 함수 $\dot{\varphi}^0$ 는 토르스 $T$ 의 1-PS 생성자의 해밀토니언 함수의 유리수 선형 조합이며, 이는 극한 투사의 유리수성 증명한다.
• 기저 변경을 통해 다중근으로 바꾼 경우, 시험 구성의 생성자 $A_k$ 는 1-PS 작용의 생성자 $B_k$ 와 일치하며, 이는 $A_1 = B_1$ 을 의미한다.
• 생성자가 $A - B$ 인 수정된 시험 구성 $\mathcal{X}'$ 의 $L^2$-노름이 0임을 보여 $\| (\mathcal{X}', \mathcal{L}') \|_2 = 0$ 이며, 이는 [BHJ15] 에 의해 자명성을 의미하므로 $A_1 = B_1$ 이다.
• 결과는 [His12] 의 $\mathbb{C}^*$-경우에 대한 수렴 결과에 대한 새로운 해석적 증명을 제공하며, 임의의 토르스 작용으로 일반화한다.
• 수렴 결과는 감소된 $L^p$-노름을 통한 균일 K-안정성의 정의를 뒷받침하며, 투사의 극한 노름이 지선 사의 접선 벡터의 $L^p$-노름과 일치함을 보여준다.