[논문 리뷰] Cahen-Gutt moment map, closed Fedosov star product and structure of the automorphism group

Akito Futaki, Hajime Ono|arXiv (Cornell University)|2018. 02. 28.

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

한 줄 요약

이 논문은 비음성 Ricci 곡률을 가진 컴팩트 카플레르 다양체가 닫힌 페도소프 스타 곱을 갖는다면, 그의 헬름홀로픽 벡터장의 축약된 리 대수는 재수성(reductive)이어야 한다고 증명한다. 칼라비의 등극 카플레르 이론에 대응하는 카헨–구트 모멘텀 맵을 사용하여, 이러한 다양체에 대한 구조 정리를 증명하며, 스타 곱의 닫힘에 대한 장애는 헬름홀로픽 벡터장 대수의 재수성과 관련되어 있으며, 고전적 cscK 경우와 유사하게 나타난다.

ABSTRACT

We show that if a compact Kaehler manifold $M$ of non-negative Ricci curvature admits closed Fedosov star product then the reduced Lie algebra of holomorphic vector fields on $M$ is reductive. This comes in pair with the obstruction previously found by La Fuente-Gravy. More generally we consider the squared norm of Cahen-Gutt moment map as in the same spirit of Calabi functional for the scalar curvature in cscK problem, and prove a Cahen-Gutt version of Calabi's theorem on the structure of the Lie algebra of holomorphic vector fields for extremal Kaehler manifolds. The proof uses a Hessian formula for the squared norm of Cahen-Gutt moment map.

연구 동기 및 목표

• 비음성 Ricci 곡률을 가진 컴팩트 카플레르 다양체 위에 닫힌 페도소프 스타 곱이 존재할 수 있는 구조적 장애를 규명하는 것.
• 칼라비의 등극 카플레르 구조 정리(구조 정리)를 카헨–구트 모멘텀 맵 설정으로 확장하여 '카헨–구트 등극' 카플레르 메트릭을 정의하는 것.
• 이 맥락에서 리 대수의 특성(푸타키 불변량과 유사)이 0이 되는 것과 헬름홀로픽 벡터장 대수의 재수성 사이의 관련성을 보여주는 것.
• 왕(2015)의 형식적 유한차원 헤시안 추론을 카헨–구트 모멘텀 맵 프레임워크로 일반화하여 구조 정리를 증명하는 것.

제안 방법

• 칼라비 기하학에서 스칼라 곡률 기능과 유사하게, 모멘텀 맵의 제곱 노름을 카헨–구트 버전의 칼라비 기능으로 정의한다.
• 해밀토니안 벡터장에 의한 심플렉틱 접속의 리 도함수를 사용하여, 카플레르 맥락에서 모멘텀 맵에 대한 명시적 공식을 유도한다.
• 제곱 모멘텀 맵 노름에 대해 왕의 형식적 헤시안 추론을 적용하며, 명시적 계산 없이 수정된 리히너도츠 연산자를 활용한다.
• 수정된 리히너도츠 연산자의 0이 아닌 고유값은 모멘텀 맵의 기울기의 수반 작용의 고유값과 일치함을 증명한다.
• 수정된 리히너도츠 연산자의 0-고유공간은 킬링 벡터장의 복소화된 리 대수와 일치함을 보인다.
• 전체 헬름홀로픽 벡터장 대수의 최대 재수성 부분대수임을 증명함으로써, 헬름홀로픽 벡터장 대수의 축약된 리 대수가 재수성임을 확립한다.

실험 결과

연구 질문

• RQ1 비음성 Ricci 곡률을 가진 컴팩트 카플레르 다양체가 닫힌 페도소프 스타 곱을 갖는다면, 그의 헬름홀로픽 벡터장의 축약된 리 대수는 재수성인가?
• RQ2 카헨–구트 모멘텀 맵을 기반으로 칼라비의 등극 카플레르 메트릭에 대응하는 구조 정리를 유사하게 구성할 수 있는가?
• RQ3 고정된 카플레르 클래스 내에서 복소 구조의 선택에 관계없이, 라 후에타-그라비가 정의한 리 대수 특성은 독립적인가?
• RQ4 헬름홀로픽 벡터장 대수의 재수성과 카헨–구트 모멘텀 맵의 기하학적 성질 사이의 관계는 무엇인가?

주요 결과

• 비음성 Ricci 곡률을 가진 컴팩트 카플레르 다양체가 닫힌 페도소프 스타 곱을 갖는다면, 그의 헬름홀로픽 벡터장의 축약된 리 대수는 재수성이다.
• 헬름홀로픽 벡터장의 축약된 리 대수는 킬링 벡터장의 복소화된 리 대수와 동형이며, 즉 $\mathfrak{g}_0 = \mathfrak{i}(M) \otimes \mathbb{C}$이다.
• 라 후에타-그라비가 정의한 리 대수 특성 $\mathrm{Fut}$은 카헨–구트 모멘텀 맵이 상수일 때에만 0이 되며, 이 특성은 고정된 카플레르 클래스 내에서 복소 구조의 선택에 관계없이 불변이다.
• 다양체의 자기동형사상군은 리 대수가 킬링 벡터장의 실수 리 대수인 최대 컴acts부분군을 가지며, 이는 전체 자기동형사상군의 항등성분의 최대 컴팩트 부분군이다.
• 카헨–구트 등극 카플레르 다양체에 대한 구조 정리는, 수정된 리히너도츠 연산자의 0-고유공간을 포함하는 모든 재수성 리 부분대수는 그 자체와 일치함을 보여주며, 최대성의 증명을 이끌어낸다.
• $\mathbb{C}P^2$에 한 점을 블로운 예시는 재수성이 아닌 축약된 헬름홀로픽 벡터장 대수를 보여주며, 이에 따라 이 다양체 위에선 어떤 카플레르 메트릭도 닫힌 페도소프 스타 곱을 갖지 못함을 확인한다.