[논문 리뷰] CM Stability and the Generalized Futaki Invariant I

Sean Timothy Paul, Gang Tian|ArXiv.org|2006. 05. 10.

Geometry and complex manifolds참고 문헌 30인용 수 66

한 줄 요약

이 논문은 그로텐디크-리만-로흐 정리와 케일리의 결과에 대한 이론을 활용하여 호지-힐베르트 스킴 위의 CM 균형을 정교화함으로써 대수기하학과 K-균형 사이의 깊은 연결 고리를 확립한다. 일변수부하군 작용 하에서 정교화된 CM 균형의 무게가 일반화된 푸타키 불변량과 일치함을 증명함으로써, CM 균형이 K-균형을 함의함을 보여준다.

ABSTRACT

Based on the Cayley, Grothendieck, Knudsen Mumford theory of determinants we extend the CM polarization to the Hilbert scheme. We identify the weight of this refined line bundle with the generalized Futaki invariant of Donaldson. We are able to conclude that CM stability implies K-Stability. An application of the Grothendieck Riemann Roch Theorem shows that this refined sheaf is isomorphic to the CM polarization introduced by Tian in 1994 on any closed, simply connected base .

연구 동기 및 목표

• 그로텐디크, 케일리, 쿤드센-머포드 이론을 바탕으로 한 결정선다발을 이용하여 Hilbert 스킴 위로 CM 균형을 확장한다.
• \mathbb{L}_1를 통해 일반화된 푸타키 불변량을 포착하는 Hilbert 스킴 위의 정교화된 CM 균형을 정의한다.
• 해당 비틀림에 대한 \mathbb{C}^*-작용 하에서 이 정교화된 선다발의 무게가 대응하는 분리의 일반화된 푸타키 불변량과 일치함을 증명한다.
• CM 균형 하에서 일반화된 푸타키 불변량이 0이 됨을 보여 정교화된 CM 균형이 K-균형을 함의함을 확립한다.
• 기저가 단순연결이거나 또는 스무스한 경우, 정교화된 CM 균형이 티안이 도입한 원래 CM 균형과 동형임을 보여준다.

제안 방법

• Hilbert 다항식의 계수 \mu, 초형태, 직접영상의 행렬식을 이용하여 Hilbert 스킴 위의 정교화된 CM 균형 \mathbb{L}_1를 구성한다.
• 그로텐디크-리만-로흐 정리를 적용하여 \mathbb{L}_1의 첫 번째 체른 클래스를 계산함으로써, \mathbf{X}/S 위의 곡률과 특성류와의 연결을 맺는다.
• 케일리-그로텐디크-쿤드센-머포드 이론의 결정선다발 이론을 활용하여, \mathbb{L}_1를 초형태와 결정선다발의 거듭제곱의 텐서곱으로 정의한다.
• G = SL(N+1,\mathbb{C})-선형화를 \mathbb{L}_1에 도입함으로써, 일변수부하군을 통한 \mathbb{C}^*-작용의 연구를 가능하게 한다.
• \mathbb{L}_1의 쌍대체 위에서 고정점 z_0 = \lambda(0)z에서의 \mathbb{C}^*-작용의 무게 w_\lambda(z)를 계산하여, 이가 일반화된 푸타키 불변량 F_1(\lambda)와 일치함을 보인다.
• PID 위의 토르션 모듈의 구조를 이용하여 코homology 복합체의 행렬식을 계산하고, 그 소멸 순서를 결과식 R_X와 동일시한다.

실험 결과

연구 질문

• RQ1 결정선다발과 특성류를 이용하여 Hilbert 스킴 위의 CM 균형을 어떻게 정교화할 수 있는가?
• RQ2 정교화된 CM 선다발 위에서 \mathbb{C}^*-작용의 무게와 일반화된 푸타키 불변량 사이의 관계는 무엇인가?
• RQ3 CM 균형이 K-균형을 함의하는가? 만약 그렇다면, 이는 일반화된 푸타키 불변량의 0화를 통해 어떻게 반영되는가?
• RQ4 기저 S가 단순연결이거나 또는 그로텐디크-리만-로흐 정리가 성립하고 \operatorname{Pic}(S) \to H^2(S,\mathbb{Z})가 단사일 경우, 정교화된 CM 균형이 원래 CM 균형과 동형이 되는 조건은 무엇인가?
• RQ5 코homology 복합체의 행렬식의 소멸 순서는 결과식과 토르션 모듈 이론을 통해 어떻게 결정되는가?

주요 결과

• \mathbb{L}_1^\vee의 쌍대체 위에서 고정점에서의 \mathbb{C}^*-작용의 무게 w_\lambda(z)는 일반화된 푸타키 불변량 F_1(\lambda)와 일치한다. 즉, w_\lambda(z) = F_1(\lambda).
• \mathbb{L}_1의 첫 번째 체른 클래스는 c_1(\mathbb{L}_1) = p_{1*}(c_1(K_{\mathbf{X}/S})c_1(L)^n + \mu c_1(L)^{n+1})로 주어지며, 곡률과 기하학적 불변량을 연결한다.
• 기저 S가 단순연결이거나, 그로텐디크-리만-로흐 정리가 성립하고 \operatorname{Pic}(S) \to H^2(S,\mathbb{Z})가 단사일 경우, 정교화된 CM 균형 \mathbb{L}_1는 원래 CM 균형 \mathbb{L}_S와 동형이다.
• 코homology 복합체의 행렬식의 소멸 순서는 결과식 R_X에 의해 결정되며, \operatorname{ord}_{R_X}(\det) = (-1)^{n+1}이고, 행렬식은 R_X^{(-1)^{n+1}}으로 식별된다.
• \mathbf{X}_z 위의 마부치 에너지는 정교화된 CM 선다발의 노름과 관련이 있으며, d(n+1)\nu_{\omega|_{\mathbf{X}_z}}(\varphi_\sigma) = \log(e^{(n+1)\Psi_S(\sigma z)} \frac{||||^2(\sigma z)}{||||^2(z)})로 표현되며, 이는 선다발을 통한 에너지 제어를 보여준다.
• 모든 \lambda에 대해 일반화된 푸타키 불변량 F_1(\lambda)가 0이 되는 것은 가족이 CM 안정적일 때이고, 이는 CM 안정성 \Rightarrow K-균형을 확립한다.