[논문 리뷰] Remarks on Localizing Futaki-Morita Integrals At Isolated Degenerate Zeros

Luke Cherveny|arXiv (Cornell University)|2016. 11. 15.

Geometry and complex manifolds참고 문헌 6인용 수 3

한 줄 요약

이 논문은 고립된 비퇴화된 영점이 있는 복소벡터장에 대해 Bott의 국소화 정리를 확장하며, Grothendieck 잔여물과 멱급수 전개를 이용해 Futaki-Morita 적분에 대한 닫힌 형태의 공식을 유도한다. 주요 기여는 $\mathbb{C}P^n$에서 최대로 퇴화된 영점에서의 불변량에 대해 다중 고정점에 대한 합산이 필요 없이 단일이고 명시적인 공식을 제공하는 것이다. 이는 특수한 경우에서 기존 결과를 복원한다.

ABSTRACT

In this note we study the localization of Futaki-Morita integrals at isolated degenerate zeros by giving a streamlined exposition in the spirit of Bott and implement the localization procedure for a holomorphic vector field on $CP^n$ with a maximally degenerate zero, giving an essentially unique formula for the Futaki-Morita integral invariants without using a summation over multiple points. In a coming paper we will apply similar calculations to the Calabi-Futaki invariant of a Kähler blowup.

연구 동기 및 목표

• 고립된 비퇴화된 영점이 있는 복소벡터장에 대해 기존의 비퇴화 조건이 성립하지 않는 경우에 Bott의 국소화 정리를 일반화하는 것.
• Futaki-Morita 적분 계산에서 다중 고정점에 대한 합산이 필요 없도록 단일이고 전역적인 공식을 도출하는 것.
• 특히 퇴화된 영점의 경우에 대해 복소기하학에서 국소화 기법을 간결하고 자립적인 방식으로 정리하는 것.
• 퇴화된 영점이 자연스럽게 나타나는 켈러 다양체의 블로우업에서 Futaki 불변량을 계산하기 위한 기초를 마련하는 것.
• 최대로 퇴화된 벡터장이 존재하는 $\mathbb{C}P^n$에서 공식의 효과를 명시적인 계산을 통해 보여주는 것.

제안 방법

• 곡률 및 자기형사 항목의 멱급수 전개를 이용해 Futaki-Morita 적분에 Bott의 전이 논증을 적용한다.
• Bochner-Martinelli 커널을 통한 Grothendieck 잔여물 표현을 사용하여 적분을 고립된 퇴화된 영점에서의 잔여물로 표현한다.
• 지역 영점의 구조를 포함하는 행렬 $B$의 원점에서의 고차 미분을 계산하여 일반 공식(정리 1.3)을 도출한다. 여기서 $\phi(DX) \det B$의 고차 편미분을 다룬다.
• 강한 Hilbert Nullstellensatz를 통해 국소 방정식 $z_i^{\alpha_i+1} = \sum B_{ij} X_j$ 로부터 행렬 $B$를 명시적으로 구성하며, 그 존재성을 보장한다.
• 최대로 퇴화된 복소벡터장이 존재하는 $\mathbb{C}P^n$에 대해 공식을 적용하여 단계적 다항식 인수분해를 통해 공식을 검증한다.
• 행렬식 항등식과 도함수 평가를 활용하여 최종 표현식을 단순화하고, $z=0$에서 비영인 항들만 분리한다.

실험 결과

연구 질문

• RQ1 다중 고정점에 대한 합산 없이도 고립된 퇴화된 영점에서 Futaki-Morita 적분을 국소화할 수 있는가?
• RQ2 최대로 퇴화된 영점, 예를 들어 $\mathbb{C}P^n$에서의 경우에 대해 국소화 공식의 정확한 형태는 무엇인가?
• RQ3 Grothendieck 잔여물 체계가 복소벡터장의 퇴화된 영점 집합에 어떻게 일반화되는가?
• RQ4 이 공식은 $\mathbb{C}P^n$에서 오일러 특성수와 첫 번째 체른 클래스 적분과 같은 기존 불변량을 복원할 수 있는가?
• RQ5 $\mathbb{C}P^n$에서의 블로우업에 대해 올려진 벡터장이 예외적 초면에서 퇴화된 영점을 가질 경우, Futaki 불변량의 행동은 어떻게 되는가?

주요 결과

• 새로운 국소화 공식(정리 1.3)은 다중 고정점에 대한 합산 없이도 퇴화된 영점에서 Futaki-Morita 적분을 단일이고 닫힌 형태의 도함수 표현으로 표현한다.
• $\mathbb{C}P^n$에서 최대로 퇴화된 벡터장에 대해 공식은 Proposition 4.1에서 $${n+k \choose n} f_\phi(X) = \frac{(-1)^{n+k}}{n!} \left( \frac{\partial^n \phi(DX)}{\partial z_1^n} + \sum_{j=2}^n \frac{\partial}{\partial z_1^n \partial z_j} (\phi(DX) \cdot z_1^j) \right) \big|_{z=0}$$ 로 표현되며, 이를 확인한다.
• $\mathbb{C}P^n$의 오일러 특성수는 $n+1$로 정확히 계산되며, 이는 기존의 위상수학적 결과와 일치함을 확인한다.
• $\mathbb{C}P^n$에서의 첫 번째 체른 클래스 적분 $\int_{\mathbb{C}P^n} c_1^n$은 $(n+1)^n$으로 평가되며, Chern-Weil 이론에 의해 예상되는 값과 일치한다.
• $\phi(A) = [\operatorname{Tr}(A)]^{n+1}$ 일 때 Futaki 불변량은 0이 되며, 이는 Fubini-Study 계량 하에서 $\mathbb{C}P^n$의 켈러-아인슈타인 성질과 일치한다.
• $\phi(A) = \operatorname{Tr}(A) \det A$ 일 때도 공식은 정확히 0을 도출하여, Futaki가 이러한 불변량에 대해 기존에 알려진 퇴화 결과를 확인한다.