[논문 리뷰] Universal curvature identities and Euler Lagrange Formulas for Kaehler manifolds

Peter Gilkey, JeongHyeong Park외 1명|arXiv (Cornell University)|2013. 11. 11.

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

한 줄 요약

이 논문은 켈러 다양체의 곡률 항등식과 오일러-라그랑주 방정식을 유니버설 곡률 항등식과 켈러 형식의 거듭제곱 간의 짝지음으로 정의된 특성 불변량을 통해 수립한다. 특히, 곡률 수축과 켈러 형식의 거듭제곱 간의 짝지음으로 만들어진 스칼라 불변량의 오일러-라그랑주 방정식이 켈러 설정에서 대칭 2차 텐서 값을 갖는 유니버설 곡률 항등식과 일치함을 증명하며, 실수 설정에서의 결과를 제한 사상과 기하학적 변분 방법을 통해 복소 구조로 일반화한다.

ABSTRACT

We relate certain universal curvature identities for Kaehler manifolds to the Euler-Lagrange equations of the scalar invariants which are defined by pairing characteristic forms with powers of the Kaehler form.

연구 동기 및 목표

• 실수 리만 기하학에서의 유니버설 곡률 항등식을 켈러 설정으로 확장하여, 복소 구조와 켈러 형식이 추가적인 대칭성을 부여하는 맥락을 다루는 것.
• 곡률에 대한 불변 다항식과 켈러 형식의 거듭제곱 간의 짝지음으로 구성된 스칼라 불변량의 오일러-라그랑주 방정식을 유도하는 것.
• 이러한 오일러-라그랑주 방정식과 켈러 맥락에서 대칭 2차 텐서 값을 갖는 유니버설 곡률 항등식 간의 정확한 대응 관계를 설정하는 것.
• 이러한 불변량의 오일러-라그랑주 연산자가 제한 사상과 기하학적 변분 기법을 통해 유니버설 곡률 항등식과 일치함을 증명하는 것.
• 홀로모픽 구조, 곡률 대칭성, 특성류를 활용하여 이전의 실기하학 결과를 켈러 설정으로 일반화하는 것.

제안 방법

• 뉴클랜더-니레버그 정리를 사용하여 헬로모픽 구조를 정의하고 텐서 번들의 J-불변 및 J-반불변 성분으로 분해한다.
• 켈러 항등식 $ R(x,y,z,w) = R(x,y,Jz,Jw) $을 적용하여 곡률 대칭성에서 복소 구조를 활용한다.
• 스칼라 불변량을 곡률에 대한 대칭 다항식 $ ext{Tr}_ u $ 와 $ rac{1}{m!} ar{ u}^m $, 즉 체적 형식과의 짝지음으로 정의한다.
• 다른 복소 차원을 가진 다양체에서의 불변량을 연결하기 위해 $ rak{S}_{m,k} $ 에서 $ rak{S}_{k,k} $ 로의 제한 사상 $ r_{m,k} $ 을 활용한다.
• 한 매개변수 가중치 가중치 가중치 $ ilde{g}_ u $ 를 사용한 켈러 계량의 일족에 대해 변분 해석을 적용하여 불변량의 일계 변화를 계산하고 오일러-라그랑주 방정식을 도출한다.
• 켈러 형식 $ ar{ u} $ 를 통한 $ S_+^2M $ 과 $ igwedge_+^2M $ 간의 동형사상으로 텐서 항등식을 곡률 불변량으로 변환한다.

실험 결과

연구 질문

• RQ1 켈러 설정에서의 유니버설 곡률 항등식은 곡률 형식과 켈러 형식의 거듭제곱 간의 짝지음으로 만들어진 특성 형식의 스칼라 불변량의 오일러-라그랑주 방정식과 어떻게 관련이 있는가?
• RQ2 켈러 불변량의 오일러-라그랑주 방정식은 대칭 2차 텐서 값을 갖는 유니버설 곡률 항등식으로 표현될 수 있는가?
• RQ3 다른 복소 차원을 가진 다양체에서 곡률 불변량을 연결하는 데에 제한 사상 $ r_{m,k} $ 의 역할은 무엇인가?
• RQ4 가중치 가중치 $ ilde{ u}_ u $ 에 따른 계량의 변형은 $ ar{ u}^k $ 와 곡률 수축의 적분에 어떻게 영향을 미치는가?
• RQ5 한 불변량의 일계 변화가 0이 되는 조건은 언제이며, 이는 어떤 유니버설 곡률 항등식을 함의하는가?

주요 결과

• 스칼라 불변량 $ rac{1}{k!} ar{ u}^k ullet ilde{ u}_k(ar{ u}) $ 의 오일러-라그랑주 방정식은 켈러 설정에서 대칭 2차 텐서 값을 갖는 유니버설 곡률 항등식과 일치한다.
• 다음과 같은 사상 $ ilde{ u}_{rak{Q},m,k} $ 는 $ rak{S}_{m,k} $ 에서 $ rak{K}_{rak{Q},m,k} $ 로의 동형사상이며, 이는 모든 이러한 불변량이 고유한 유니버설 곡률 항등식으로부터 유래됨을 보장한다.
• 기능 $ rac{1}{k!} ar{ u}^k ullet ilde{ u}_k(ar{ u}) $ 의 첫 번째 변형이 계량 변형 $ ilde{g}_ u $ 에 따라 0이 되는 것은 곡률가 유니버설 항등식 $ ilde{ u}_{rak{Q},m,k} ilde{ u}_k = ilde{ u}_{rak{Q},m,k} ilde{ u}_k $ 를 만족할 때이고, 그 때에만 성립한다.
• 제한 사상 $ r_{k+1,k} $ 는 곡률 항등식의 영성과 관계를 유지하며, 더 낮은 차원의 켈러 다양체로의 축소를 가능하게 하여 항등식의 검증을 가능하게 한다.
• 증명은 $ ilde{ u}^{k+1} imes ilde{ u}_ u^1 $ 에서의 한 매개변수 가중치 가중치 $ ilde{ u}_ u $ 를 구성함으로써 이루어지며, 적분의 변형이 기저 다양체 위에서의 적분과 같아지게 되어, 항등식이 다를 경우 모순이 발생함을 보인다.
• 핵심 항등식 $ rac{1}{k!} ar{ u}^k ullet ilde{ u}_k(ar{ u}) = ext{Tr}(r_{k+1,k} ilde{ u}_k(ar{ u})) $ 는 복소 차원 $ k $ 를 가진 다양체에서 성립하며, 이를 통해 더 낮은 차원으로의 축소가 가능하다.