[논문 리뷰] Algebraic and Analytic K-Stability

Sean Timothy Paul, Gang Tian|ArXiv.org|2004. 05. 27.

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

한 줄 요약

이 논문은 제일자리 K-에너지의 주요 항을 m번째 힐버트 점의 가중치의 주요 및 보조 주요 계수의 보편적 선형 조합으로 식별하여 대수적 K-안정성과 해석적 K-안정성 사이의 정확한 연결 고리를 설정한다. CM-(반)안정성과 K-(반)안정성이 동치임을 증명하고, 다중도가 없는 분해 가정 하에 일반화된 초형식을 통해 보조 주요 계수를 기술하는 매개변수에 의존하는 CM 극화의 업그레이드를 제안한다.

ABSTRACT

In this note we identify the leading terms of the (reduced) K-energy map with a universal linear combination of the principal and subdominant coefficients of the weight of the $mth$ Hilbert point. This shows that the weight $F_{1}(λ;X)$ introduced by Donaldson in [SKD02] is just the weight of the CM-polarisation.The equivalence between the CM-(semi)stability and the K-(semi) stability follows from this. Also, using our previous work, we are able to describe this subdominant coefficient in terms of the weights of some generalised Chow forms, under a multiplicity free hypothesis on the degeneration. This is accomplished by introducing a parameter dependent lift of the CM-polarisation, and letting this parameter tend to infinity. This could be thought of as a ``quantized'' version of the virtual bundle introduced in [Tian94].

연구 동기 및 목표

• 상수 스칼라 곡률 켈러 계량의 맥락에서 CM-안정성과 K-안정성 간의 관계를 명확히 하는 것.
• 표준적 기하학적 불변이론(G.I.T.) 개념인 힐베르트 안정성과 초안 안정성과의 관계에서 오랫동안 남아있던 CM-안정성과 K-안정성 간의 질문을 해결하는 것.
• 일반화된 초형식을 사용하여 힐베르트 점 가중치 전개에서 보조 주요 계수의 기하학적 해석을 제공하는 것.
• 매개변수에 의존하는 업그레이드를 통해 티안의 가상 벡터(bundle)의 양자화된 형태를 수립하는 것.
• K-에너지의 渐近적 행동이 CM 극화 가중치에 의해 지배됨을 보여주어 해석적 안정성과 대수적 안정성을 연결하는 것.

제안 방법

• 힐베르트 스킴 $\mathcal{H}$ 위에서 CM 극화를 유지하는 매개변수에 의존하는 가상 벡터(bundle) $\mathcal{E}(m)$ 를 도입하여 그 행렬식이 $\textbf{L}(m)$ 이라는 극화를 정의한다.
• 그로텐디크-리만-로흐 정리를 사용하여 CM 선다발의 첫 번째 체르니클 클래스를 계산하고, $\overline{G^{\mathbb{C}}X}$ 의 폐쇄를 해소하는 해소 $\mathfrak{X}_\infty$ 의 예외적 인수 $\Delta_i$ 에서의 기여를 합산하여 표현한다.
• 각 예외적 인수의 기여를 캡처하기 위해 $\theta_i(\sigma)$ 를 $\sigma X$ 위에서 $c_1(L)^n$ 에 대해 $\log||S_{\Delta_i}||^2$ 의 적분으로 정의한다.
• 핵심 항등식을 유도한다: $\frac{1}{n+1}\log\left(\frac{||\ ||_{CM}^2(\sigma)}{||\ ||_{CM}^2(e)}\right) = d\nu_\omega(\sigma) - \Psi_{\mathcal{H}}(\sigma) - \sum \theta_i(\sigma)$, 이는 K-에너지, CM 노름, 곡률 자료를 연결한다.
• 이를 일변수부하군 $\lambda$ 에 적용하여 K-에너지의 渐近적 행동이 $w_\lambda(\textbf{L}_{CM}^{-1}, z)$ 라는 가중치에 의해 결정됨을 보이며, 이는 CM 극화 가중치와 일치함을 보인다.
• 모든 $\pi_1(G^{\mathbb{C}}) = 1$ 이라는 사실을 이용하여 정리 4.1의 전역 항등식을 유도하며, K-에너지와 CM 노름의 비율 로그 사이의 관계를 밝힌다.

실험 결과

연구 질문

• RQ1 편재된 다각형 다각형에 대해 CM-(반)안정성과 K-(반)안정성이 동치인가?
• RQ2 힐베르트 점 가중치 전개에서 보조 주요 계수는 일반화된 초형식을 통해 기하학적으로 해석할 수 있는가?
• RQ3 CM 극화는 G.I.T. 해석을 가질 수 있는가, 즉 힐베르트 스킴의 밀집 열린 부분집합에서 약한 앰프일 수 있는가?
• RQ4 만약 어떤 다양체가 K-안정성이라면, 그 힐베르트 및 초안 점들도 G.I.T. 의미에서 안정적인가?
• RQ5 K-불안정화 1PSG는 정상적인 중심 섬을 가진 분해의 극한으로 표현될 수 있는가?

주요 결과

• 감소된 K-에너지의 주요 항이 m번째 힐베르트 점 가중치의 주요 및 보조 주요 계수의 보편적 선형 조합으로 식별되어 해석적 및 대수적 불변량 사이의 직접적 연결 고리를 확립한다.
• Donaldson가 [SKD02] 에서 도입한 $F_1(\lambda; X)$ 의 가중치가 CM-극화의 가중치와 일치함을 보이며, 이는 K-안정성에서의 역할를 확인한다.
• CM-(반)안정성이 K-(반)안정성과 동치임을 증명하여 얀-티안-도널드슨 프로그램의 핵심 추측을 해결한다.
• 다중도가 없는 분해 가정 하에, 보조 주요 계수는 일반화된 초형식의 가중치의 가중합으로 기술된다.
• 매개변수에 의존하는 CM 극화의 업그레이드를 통해 티안의 가상 벡터(bundle)의 양자화된 해석이 가능해지며, $m \to \infty$ 의 극한에서 CM 선다발이 복원된다.
• 1PSG $\lambda$ 에서 K-에너지의 渐近적 행동은 CM 극화 가중치에 의해 지배된다: $d\nu_{\omega,z}(\lambda(t)) - \Psi_{\mathcal{H}}(z^{\lambda(0)}) = 2w_\lambda(\textbf{L}_{CM}^{-1}, z)\log t + O(1)$.