[논문 리뷰] Local normal forms for c-projectively equivalent metrics and proof of the Yano-Obata conjecture in arbitrary signature. Proof of the projective Lichnerowicz conjecture for Lorentzian metrics

Alexey V. Bolsinov, Vladimir S. Matveev외 1명|arXiv (Cornell University)|2015. 10. 01.

Geometry and complex manifolds인용 수 5

한 줄 요약

이 논문은 임의의 부호수를 가진 c-프로젝티브로 등가인 켈러 계량의 국소 정규형을 수립하고, 얀오-오바타 추측을 증명한다: 닫힘 연결 켈러 다양체에서, 복소 프로젝티브 공간에 Fubini-Study 계량을 제외한 모든 c-프로젝티브 벡터장은 아핀이어야 한다. 또한 루체르시안 계량에 대해 프로젝티브 리히너도츠 추측을 증명하여, 이 경우 모든 프로젝티브 벡터장이 아phin임을 보인다. 이러한 결과는 리만 접속에 대한 다항식 항등식의 대수적 조작과 함께, 실수 프로젝티브 기하학으로의 축소를 통해 곡률 연산자와 관련된 엔도모르피즘의 조르당 구조를 분석함으로써 도출된다.

ABSTRACT

Two Kähler metrics on a complex manifold are called c-projectively equivalent if their $J$-planar curves coincide. These curves are defined by the property that the acceleration is complex proportional to the velocity. We give an explicit local description of all pairs of c-projectively equivalent Kähler metrics of arbitrary signature and use this description to prove the classical Yano-Obata conjecture: we show that on a closed connected Kähler manifold of arbitrary signature, any c-projective vector field is an affine vector field unless the manifold is $CP^n$ with (a multiple of) the Fubini-Study metric. As a by-product, we prove the projective Lichnerowicz conjecture for metrics of Lorentzian signature: we show that on a closed connected Lorentzian manifold, any projective vector field is an affine vector field.

연구 동기 및 목표

• 임의의 부호수를 가진 c-프로젝티브로 등가인 켈러 계량의 완전한 국소 분류를 제공한다.
• 모든 부호수를 포함한 일반적인 경우에서 고전적인 얀오-오바타 추측을 완전히 해결한다.
• 닫힘 연결 다양체에서 루체르시안 계량에 대해 프로젝티브 리히너도츠 추측을 증명한다.
• c-프로젝티브로 등가인 계량과 해밀토니안 2-형식 또는 투이스트 형식 (1,1)-형식 사이의 대응관계를 설정한다.
• c-프로젝티브 기하학에서 실수 프로젝티브 기하학으로의 축소 기법을 적용하여 곡률과 대칭성 분석을 단순화한다.

제안 방법

• 관련 엔도모르피즘 A의 고유구조와 그가 접공간에 작용하는 방식을 분석함으로써, c-프로젝티브로 등가인 켈러 계량의 국소 정규형을 유도한다.
• 지역 등장하는 R^ℓ-행동에 대한 해밀토니안 등장하는 Kähler 몰입을 이용하여, c-프로젝티브 문제를 실수 프로젝티브 설정으로 축소한다.
• 商공간에서 곡률 연산자의 명시적 공식을 구성하고, 다항식 항등식을 통해 원래 연산자의 고유값과 연결한다.
• 다항식 p(t)가 [p(A+tX), A+tX] = 0을 만족함을 이용하여 해 R₀를 생성하고, J-비대칭 텐서 곱공간에서의 고유값을 분석한다.
• 商공간에서 곡률 연산자의 고유값이 원래 연산자로부터 유도됨을 보여주는 몰입 지도 R̃₀를 사용하여 스펙트럼 자료를 유지한다.
• 고유값이 서로 다른 실수 고유값 또는 조르당 블록 내의 일반화된 고유벡터에 대응하는 고유벡터들을 대수적 기법으로 다루어, 스펙트럼 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 두 켈러 계량이 c-프로젝티브로 등가이며, 이러한 쌍의 완전한 국소 정규형은 무엇인가?
• RQ2 임의의 부호수를 가진 닫힘 연결 켈러 다양체에서, 모든 c-프로젝티브 벡터장은 복소 프로젝티브 공간에 Fubini-Study 계량이 있는 경우를 제외하고 반드시 아핀이어야 하는가?
• RQ3 닫힘 연결 다양체에서 루체르시안 계량에 대해 프로젝티브 리히너도츠 추측은 성립하는가?
• RQ4 c-프로젝티브 설정에서, 商공간에서 곡률 연산자의 고유값은 원래 연산자의 고유값과 어떻게 관련이 있는가?
• RQ5 엔도모르피즘 A의 조르당 블록 구조는 곡률 연산자의 스펙트럼 성질을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 얀오-오바타 추측은 일반적으로 증명되었다: 임의의 부호수를 가진 닫힘 연결 켈러 다양체에서, 복소 프로젝티브 공간 CP^n과 Fubini-Study 계량을 제외한 모든 c-프로젝티브 벡터장은 아핀이어야 한다.
• 루체르시안 부호수를 가진 계량에 대해서는 프로젝티브 리히너도츠 추측이 성립한다: 닫힘 연결 루체르시안 다양체에서 모든 프로젝티브 벡터장은 아핀이다.
• 商공간에서 곡률 연산자의 고유값은 A의 서로 다른 실수 고유값 λᵢ, λⱼ에 대해 p(λᵢ)−p(λⱼ)/(λᵢ−λⱼ)이며, 비자명한 조르당 블록에 대해서는 p′(0)이다.
• 해 R₀ = d/dt p(A+tX)|t=0의 구성은 스펙트럼 자료를 반영하는 잘 정의된 연산자이며, 商공간에서 곡률 연산자의 고유값과 대응된다.
• A의 일반화된 고유공간은 몰입 지도의 핵에 포함되지 않으며, 이는 원래 연산자에서의 고유값이 유지되어 스펙트럼 정보가 보존됨을 보장한다.
• 증명은 J-비대칭 텐서가 A의 고유벡터 또는 일반화된 고유벡터와 관련되어 있을 때 몰입 지도의 핵에 속하지 않음을 보여, 고유값 전이의 비퇴화성을 확보한다.