켈러 다양체 document_id A220623138467

미분기하학에서, 켈러 다양체(Kähler多樣體, Kähler manifold)는 서로 호환되는 리만 계량 · 복소구조 · 심플렉틱 구조를 갖춘 매끄러운 다양체이다. <heading>정의 </heading> 켈러 다양체 (M,h)는 다음 조건을 만족시키는 에르미트 다양체이다. 이에 따라, 켈러 다양체는 omega를 통하여 심플렉틱 다양체를 이룬다. 이를 반대로, 켈러 다양체를 적절한 복소구조를 갖춘 심플렉틱 다양체로 정의할 수도 있다. 켈러 다양체의 에르미트 계량은 켈러 계량(Kähler計量, Kähler metric)이라고 하고, 켈러 다양체의 에르미트 형식은 켈러 형식(Kähler形式, Kähler form)이라고 한다. 가 성립하므로, 서로 호환되는 리만 구조 · 복소구조 · 심플렉틱 구조 가운데 두 개가 존재하면 나머지 하나 역시 존재하기 때문이다. 가 닫혀 있다. 따라서 국소적으로 이를 다음과 같이 나타낼 수 있다. ho를 켈러 퍼텐셜(Kähler potential)이라고 한다. 일반적으로, 켈러 퍼텐셜은 국소적으로만 정의할 수 있다. 특히, 콤팩트 켈러 다양체의 경우 omega^n이 부피 형식이므로 켈러 형식은 완전 형식일 수 없다. 따라서 콤팩트 켈러 다양체의 켈러 퍼텐셜은 국소적으로만 존재한다. <heading>켈러 항등식 </heading> 켈러 다양체 M 위에, 다음과 같은 연산자들이 존재한다. 이들 사이에는 다음과 같은 항등식들이 존재하며, 이를 켈러 항등식(Kähler恒等式, Kähler identities)이라고 한다. 이에 따라, 켈러 다양체 위에서는 돌보 코호몰로지와 드람 코호몰로지가 서로 일치하게 된다. 이 항등식들은 일반적인 에르미트 다양체에서 성립하지 않는다. <heading>위상수학적 성질 </heading> 매끄러운 다양체 M이 켈러 다양체의 구조를 가질 수 있다면, 다음이 성립한다. 또한, 2n차원 콤팩트 켈러 다양체 M의 코호몰로지에는 다음과 같은 호지-리만 쌍선형 관계(Hodge-Riemann雙線型性關係, Hodge–Riemann bilinear relation)가 존재한다. 다음과 같은 반쌍선형 형식을 정의하자. 이는 항상 에르미트 형식이며, 항상 양의 정부호 또는 음의 정부호이다. 또한, H^{n,0} 위에는 항상 양의 정부호이며, H^{p,q}가 양의 정부호이면 H^{p,q+1}은 음의 정부호이며, 반대로 H^{p,q}가 음의 정부호라면 H^{p,q+1}은 양의 정부호이다. <heading>예 </heading> 복소수 사영 공간 위에는 푸비니-슈투디 계량이라는 켈러 구조가 항상 존재한다. 켈러 다양체의 부분 복소다양체 역시 켈러 다양체이므로, 모든 비특이 사영 복소다양체는 켈러 다양체를 이룬다. 유한 차원 복소수 벡터 공간 mathbb C^n은 켈러 다양체를 이룬다. 마찬가지로, 복소수 원환면 mathbb C^n/Lambda 역시 켈러 다양체이다 (Lambdasubsetmathbb C^n은 격자). 리만 곡면 위의 모든 리만 계량은 켈러 계량을 정의한다. 이는 2차원에서는 켈러 형식이 닫힌 형식이어야 하는 조건이 자명하기 때문이다. 비특이 K3 곡면은 켈러 다양체이자 초켈러 다양체이다. 보다 일반적으로, 1차 베티 수가 짝수인 모든 2차원 콤팩트 곡면은 켈러 구조를 가질 수 있다. <heading>켈러 다양체가 아닌 다양체 </heading> 켈러 구조를 가질 수 없는 다양체의 예로는 다음이 있다. <heading>역사 </heading> 켈러 다양체의 개념은 독일의 수학자인 에리히 켈러가 1932년에 도입하였다. 이후 윌리엄 밸런스 더글러스 호지가 켈러 다양체 위의 호지 이론을 정의하였고, 켈러 항등식들을 발견하였다.