[논문 리뷰] The Futaki invariant and the Mabuchi energy of a complete intersection

D. H. Phong, Jacob Sturm|ArXiv.org|2003. 12. 31.

Geometry and complex manifolds참고 문헌 12인용 수 7

한 줄 요약

이 논문은 프로젝티브 공간의 매끄러운 완전교차에서 Mabuchi 에너지와 Aubin-Yau 함수수에 대한 비선형 공식을 도입하며, Deligne 쌍대성과 선다발 위의 메트릭을 사용한다. 군 작용을 통한 일반화된 Futaki 불변량의 정규 구조를 제공함으로써, K-에너지의 탈선형 노름 표현을 정의하는 데 있어 새로운 기하적 특성화를 이룩한다.

ABSTRACT

We study the Futaki invariant and the Mabuchi K-energy of a Kähler manifold $M$ using the Deligne pairing technique developed in earlier papers. We first prove a rather simple characterization of the Futaki character: The Futaki character on a Q-Fano variety is the eigenvalue of the action of $Aut(M)$ on $Chow(M)$, the Chow point of $M$. We use this to give a new proof of Lu's theorem on the Futaki invariant of a complete intersection. In the last theorem, we prove a non-linear generalization of Lu's formula which expresses the K-energy of a smooth complete intersection as a singular norm on the space of defining polynomials.

연구 동기 및 목표

• 다양체의 Chow 점에 대한 헬름홀로픽 벡터장의 작용을 이용한 일반화된 Futaki 불변량의 기하적 특성화를 제공하는 것.
• Deligne 쌍대성 기법을 사용하여 완전교차에서 Mabuchi 에너지와 Aubin-Yau 함수수에 대한 명시적 공식 유도.
• Lu의 초곡면에 대한 Futaki 불변량 공식을 메트릭 의존성 조인션 공식을 통해 고차원 완전교차로 확장하는 것.
• 정의 다항식의 공간 위에서 K-에너지의 탈선형 노름 표현을 제시하여 초곡면에 대한 이전 결과를 일반화하는 것.

제안 방법

• 매끄러운 프로젝티브 다양체의 캐논칼 번들을 코ding하는 데 사용되는 $n+1$ 개의 요소를 가진 캐논칼 일차원 선다발 $\mathcal{F} = \langle K^{-1}, \dots, K^{-1} \rangle$ 을 구성하기 위해 Deligne 교차 쌍대성을 사용한다.
• 다양체 $M$ 위의 헬름홀로픽 벡터장의 작용을 $\mathcal{F}$ 위로 올리며, 무한소 고유값이 Futaki 불변량임을 식별한다.
• 메트릭 변동 원리 적용: 에너지 함수수는 Deligne 쌍대성 내의 메트릭 변화로 유도되며, Ricci 곡률과 Fubini-Study 메트릭을 포함하는 공식을 이끌어낸다.
• 메트릭을 포함한 조인션 공식을 사용하여 완전교차의 캐논칼 번들을 초평면 번들 및 정의 다항식과 연결한다.
• 정의 섹션의 곡률에서 유도되는 로그 항을 포함하는 노름 $||F||_{\mathcal{M}}^2$ 를 통해 $SL(N+1)$ 작용 하에서 K-에너지의 변환 법칙을 유도한다.
• Mabuchi 에너지가 $\nu_\omega(\phi_\sigma) = \log \frac{||F^\sigma||_{\mathcal{M}}^2}{||F||_{\mathcal{M}}^2}$ 로 주어지며, $||F||_{\mathcal{M}}^2$ 는 다양체 위에서 로그 곡률 항의 적분을 포함하는 탈선형 메트릭으로 정의됨을 증명한다.

실험 결과

연구 질문

• RQ1 일반화된 Futaki 불변량은 다양체의 Chow 점에 대한 작용을 기하학적으로 어떻게 특성화할 수 있는가?
• RQ2 프로젝티브 공간 내 매끄러운 완전교차에서 Mabuchi 에너지 함수수의 정확한 표현은 무엇인가?
• RQ3 K-에너지가 정의 다항식의 공간 위에서 탈선형 노름으로 표현될 수 있는가? 이는 이전의 초곡면 공식을 일반화하는가?
• RQ4 Deligne 쌍대성 체계는 Q-Fano 경우에서 Futaki 문자의 정규 구조를 어떻게 가능하게 하는가?
• RQ5 $SL(N+1)$ 작용이 K-에너지의 변환에 어떤 역할을 하는가? 왜 $GL(N+1)$ 이 아니라 $SL(N+1)$ 에서만 제한되는가?

주요 결과

• 일반화된 Futaki 불변량은 다양체의 Chow 점에 대한 헬름홀로픽 벡터장의 무한소 작용의 고유값으로 식별된다.
• Mabuchi 에너지에 대한 새로운 공식이 $\nu_\omega(\phi_\sigma) = \log \frac{||F^\sigma||_{\mathcal{M}}^2}{||F||_{\mathcal{M}}^2}$ 로 도출되며, 여기서 $||F||_{\mathcal{M}}^2$ 는 로그 곡률 항의 적분을 포함하는 탈선형 메트릭으로 정의된다.
• Mabuchi 에너지는 정의 다항식의 공간 위에서 탈선형 노름으로 표현 가능하며, 이는 이전의 초곡면 결과를 일반화한다.
• K-에너지 공식은 $\sigma \in SL(N+1)$ 에서만 성립한다. 이는 캐논칼 동형사상 $K^{-1}_{{\mathbb{P}}^N} \cong \mathcal{O}_{{\mathbb{P}}^N}(N+1)$ 이 $SL(N+1)$ 에 대해 동치성을 유지하지만 $GL(N+1)$ 에선 그렇지 않기 때문이다.
• 이 구조는 Mabuchi 에너지를 유도하는 메트릭 변동을 가진 캐논칼 선다발 $\mathcal{F}$ 를 생성하며, 이는 함수수의 기하학적 기원을 제공한다.
• 논문은 Lu의 초곡면에 대한 Futaki 불변량 공식을 완전교차로 비선형적으로 일반화하여, 그의 이전 작업을 확장한다.