켈러 다양체

미분기하학에서 **켈러 다양체**(Kähler多樣體, )는 서로 호환되는 리만 계량 · 복소구조 · 심플렉틱 구조를 갖춘 매끄러운 다양체이다.

## 정의
**켈러 다양체** (M,h)는 다음 조건을 만족시키는 에르미트 다양체이다.
* 에르미트 계량 h에 대응하는 에르미트 형식 \omega=\tfrac12i(h-\bar h)는 닫힌 형식이다. 즉, d\omega=0이다.
이에 따라, 켈러 다양체는 \omega를 통하여 심플렉틱 다양체를 이룬다. 이를 반대로, 켈러 다양체를 적절한 복소구조를 갖춘 심플렉틱 다양체로 정의할 수도 있다.

켈러 다양체의 에르미트 계량은 **켈러 계량**(Kähler計量, )이라고 하고, 켈러 다양체의 에르미트 형식은 **켈러 형식**(Kähler形式, )이라고 한다.

켈러 다양체는 리만 다양체 · 복소다양체 · 심플렉틱 다양체의 구조를 동시에 가진다. 이는 행렬군의 경우
:U(n)=\operatorname O(2n;\mathbb R)\cap\operatorname{GL}(n;\mathbb C)=\operatorname{GL}(n;\mathbb C)\cap\operatorname{Sp}(2n;\mathbb R)=\operatorname O(2n;\mathbb R)\cap\operatorname{Sp}(2n;\mathbb R)
가 성립하므로, 서로 호환되는 리만 구조 · 복소구조 · 심플렉틱 구조 가운데 두 개가 존재하면 나머지 하나 역시 존재하기 때문이다.

## 성질
2n 실수 차원의 켈러 다양체의 홀로노미군은 (주어진 복소구조에 대한) 유니터리 군 \operatorname U(n)의 부분군이다. 만약 홀로노미가 추가로 \operatorname{SU}(n)의 부분군인 경우는 **[[칼라비-야우 다양체]]**라고 한다.

### 켈러 퍼텐셜
켈러 다양체에서는 켈러 형식
:\omega=\frac12ih_{i\bar\jmath}dz^i\wedge d\bar z^{\bar\jmath}
가 닫혀 있다. 따라서 국소적으로 이를 다음과 같이 나타낼 수 있다.
:\omega=i(\partial_i\partial_{\bar\jmath}\rho)dz^id\wedge\bar z^{\bar\jmath}
이 경우 \rho를 **켈러 퍼텐셜**()이라고 한다. 일반적으로, 켈러 퍼텐셜은 국소적으로만 정의할 수 있다. 특히, 콤팩트 켈러 다양체의 경우 \omega^n이 부피 형식이므로 켈러 형식은 완전 형식일 수 없다. 따라서 콤팩트 켈러 다양체의 켈러 퍼텐셜은 국소적으로만 존재한다.

### 켈러 항등식
켈러 다양체 M 위에, 다음과 같은 연산자들이 존재한다.
* 돌보 미분 연산자 \partial\colon\Omega^{p,q}(M)\to \Omega^{p+1,q}(M) 및 그 에르미트 수반 \partial^\dagger\colon\Omega^{p,q}(M)\to\Omega^{p-1,q}(M)
* 돌보 미분 연산자 \bar\partial\colon\Omega^{p,q}(M)\to \Omega^{p,q+1}(M) 및 그 에르미트 수반 \bar\partial^\dagger\colon\Omega^{p,q}(M)\to\Omega^{p,q-1}(M)
* 드 람 외미분 d=\partial+\bar\partial\colon\Omega^n(M)\to\Omega^{n+1}(M) 및 그 에르미트 수반 d^\dagger\colon\Omega^n(M)\to\Omega^{n-1}(M)
* 돌보 미분 연산자의 라플라스 연산자 \Delta_\partial=\partial\partial^\dagger+\partial^\dagger\partial\colon\Omega^{p,q}(M)\to\Omega^{p,q}(M)
* 돌보 미분 연산자의 라플라스 연산자 \Delta_{\bar\partial}=\bar\partial\bar\partial^\dagger+\bar\partial^\dagger\bar\partial\colon\Omega^{p,q}(M)\to\Omega^{p,q}(M)
* 드 람 외미분 연산자의 라플라스 연산자 \Delta=dd^\dagger+d^\dagger d\colon\Omega^n(M)\to\Omega^n(M)
이들 사이에는 다음과 같은 항등식들이 존재하며, 이를 **켈러 항등식**(Kähler恒等式, )이라고 한다.
:0=\{\partial,\bar\partial\}=\{\partial,\bar\partial^\dagger\}=\{\bar\partial,\partial^\dagger\}=\{\partial^\dagger,\bar\partial^\dagger\}
:2\Delta_\partial=2\Delta_{\bar\partial}=\Delta
이에 따라, 켈러 다양체 위에서는 돌보 코호몰로지와 드람 코호몰로지가 서로 일치하게 된다. 이 항등식들은 일반적인 에르미트 다양체에서 성립하지 않는다.

### 위상수학적 성질
매끄러운 다양체 M이 켈러 다양체의 구조를 가질 수 있다면, 다음이 성립한다.
* M은 (복소구조를 가질 수 있으므로) 짝수 차원의 가향 다양체이다.

2n차원 콤팩트 매끄러운 다양체 M이 켈러 다양체의 구조를 가질 수 있다면, 다음이 성립한다.
* M은 강한 렙셰츠 다양체이다. 이에 따라, 다음이 성립한다.
** M의 홀수 차수 베티 수 b_{2k+1}(M)는 항상 짝수이다. 이는 베티 수를 호지 수 b_n=\sum_{p+q=n}h_{p,q}(M)로 분해하였을 때, h_{p,q}=h_{q,p}이기 때문이다.
** M의 홀수 차수 베티 수 b_1,b_3,\dots,b_{2k+1}\;(2k+1 및 짝수 차수 베티 수 b_0,b_2,\dots,b_{2k}\;(2k는 증가수열이다.
* M의 기본군은 **켈러 군**()이라는 특수한 형태이다.
* M은 형식적 다양체이다.

또한, 2n차원 콤팩트 켈러 다양체 M의 코호몰로지에는 다음과 같은 **호지-리만 쌍선형 관계**(Hodge-Riemann雙線型性關係, )가 존재한다. 다음과 같은 반쌍선형 형식을 정의하자.
:h\colon H^{p,q}\times H^{p,q}\to\mathbb C
:h\colon(\alpha,\beta)\mapsto\epsilon_{p+q}(\bar\alpha\smile\beta\smile[\omega]^{n-p-q})([M])\qquad\epsilon_{p+q}=\begin{cases}1&2\mid p+q\\i&2\nmid p+q\end{cases}
이는 항상 에르미트 형식이며, 항상 양의 정부호 또는 음의 정부호이다. 또한, H^{n,0} 위에는 항상 양의 정부호이며, H^{p,q}가 양의 정부호이면 H^{p,q+1}은 음의 정부호이며, 반대로 H^{p,q}가 음의 정부호라면 H^{p,q+1}은 양의 정부호이다.

## 예
복소수 사영 공간 위에는 푸비니-슈투디 계량이라는 켈러 구조가 항상 존재한다. 켈러 다양체의 부분 복소다양체 역시 켈러 다양체이므로, 모든 비특이 사영 복소다양체는 켈러 다양체를 이룬다.

유한 차원 복소수 벡터 공간 \mathbb C^n은 켈러 다양체를 이룬다. 마찬가지로, 복소수 원환면 \mathbb C^n/\Lambda 역시 켈러 다양체이다 (\Lambda\subset\mathbb C^n은 격자).

리만 곡면 위의 모든 리만 계량은 켈러 계량을 정의한다. 이는 2차원에서는 켈러 형식이 닫힌 형식이어야 하는 조건이 자명하기 때문이다.

비특이 K3 곡면은 켈러 다양체이자 초켈러 다양체이다. 보다 일반적으로, 1차 베티 수가 짝수인 모든 2차원 콤팩트 곡면은 켈러 구조를 가질 수 있다.

### 켈러 다양체가 아닌 다양체
켈러 구조를 가질 수 없는 다양체의 예로는 다음이 있다.
* S^3\times S^1의 경우, b_1=1이므로 켈러 구조를 가질 수 없다.
* 초구 S^n 가운데 켈러 구조를 가질 수 있는 것은 n=2인 경우밖에 없다. n\ne2라면 2차 베티 수가 0이기 때문이다. (n=2일 경우 S^2\cong\mathbb {CP}^1에는 푸비니-슈투디 계량을 줄 수 있다.)
* 실수 사영 공간 \mathbb {RP}^n의 경우, n\ge2일 경우 가향 다양체가 아니므로 켈러 구조를 가질 수 없다.

## 역사
켈러 다양체의 개념은 독일의 수학자인 에리히 켈러가 1932년에 도입하였다.

이후 윌리엄 밸런스 더글러스 호지가 켈러 다양체 위의 호지 이론을 정의하였고, 켈러 항등식들을 발견하였다.

## 각주

* 
* 

## 외부 링크
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## 같이 보기
* 호지 이론
* 에르미트 다양체
* 일반화 켈러 다양체
* 초켈러 다양체
* 사원수 켈러 다양체
* 칼라비-야우 다양체

분류:리만 다양체
분류:심플렉틱 기하학
분류:복소다양체
분류:다양체 상의 구조
분류:대수기하학