켈러 다양체

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

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

정의[편집]

켈러 다양체 (M,h)는 다음 조건을 만족시키는 에르미트 다양체이다.

  • 에르미트 계량 h에 대응하는 에르미트 형식 \omega=\tfrac12i(h-\bar h)닫힌 형식이다. 즉, d\omega=0이다.

이에 따라, 켈러 다양체는 \omega를 통하여 심플렉틱 다양체를 이룬다. 이를 반대로, 켈러 다양체를 적절한 복소구조를 갖춘 심플렉틱 다양체로 정의할 수도 있다.

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

켈러 다양체는 리만 다양체 · 복소다양체 · 심플렉틱 다양체의 구조를 동시에 가진다. 이는 행렬군의 경우

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켈러 퍼텐셜(영어: Kähler potential)이라고 한다. 일반적으로, 켈러 퍼텐셜은 국소적으로만 정의할 수 있다. 특히, 콤팩트 켈러 다양체의 경우 \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恒等式, 영어: Kähler identities)이라고 한다.

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은 (복소구조를 가질 수 있으므로) 짝수 차원의 가향 다양체이다.
  • 만약 M이 콤팩트 다양체라면, M의 홀수 차수 베티 수 b_{2k+1}(M)는 항상 짝수이다. 이는 베티 수를 호지 수 b_n=\sum_{p+q=n}h_{p,q}(M)로 분해하였을 때, h_{p,q}=h_{q,p}이기 때문이다.
  • 만약 M이 콤팩트 다양체라면, 모든 짝수 차수 베티 수 b_{2k}가 항상 양수이다. 이는 [\omega^k]\in H^{k,k}(M)이므로, b_{2k}\ge h_{k,k}\ge1이기 때문이다.

[편집]

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

유한 차원 복소수 벡터 공간 \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년에 도입하였다.[1][2]

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

참고 문헌[편집]

  1. Kähler, Erich (1933년 12월). “Über eine bemerkenswerte Hermitesche Metrik”. 《Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg9 (1): 173–186. doi:10.1007/BF02940642. ISSN 0025-5858. JFM 58.0780.02. Zbl 0005.41301. 
  2. O’Connor, John J.; Edmund F. Robertson (2006년 11월). “Erich Kähler” (영어). 《MacTutor History of Mathematics Archive》. 세인트앤드루스 대학교. 
  3. Hodge, W.V.D. (1935). “Harmonic integrals associated with algebraic varieties” (영어). 《Proceedings of the London Mathematical Society (Second Series)》 39 (1): 249–271. doi:10.1112/plms/s2-39.1.249. 
  4. Hodge, W.V.D. (1941). 《Theory and Applications of Harmonic Integrals》 (영어). Cambridge University Press. 

바깥 고리[편집]

같이 보기[편집]