에르미트 다양체: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
OctraBot (토론 | 기여)
잔글 migrateToWikidata at d:q5741935
4번째 줄:
 
== 정의 ==
[[복소 다양체]] <math>M</math> 위에 '''에르미트 계량'''({{lang|en|Hermitian metric}})은 다음 성질을 만족하는만족시키는 (1,1)차 [[복소미분형식]]단면 <math>h=h_{\alphain\bar\betaGamma(T^{1,0}dz^\alphaM\wedgeoplus dzT^{\bar\beta0,1}M)^*</math>이다.
# 임의의 복소 벡터 <math>u,v\in T_pMT_p^{(1,0)}M</math>에 대하여 <math>h(u,\bar v)=\overline{h(v,\bar u)}</math>. 즉, <math>h_{\alpha\bar\beta}=\bar h_{\beta\bar\alpha}</math>. 즉, <math>h_{\alpha\bar\beta}</math>는 [[에르미트 행렬]]을 이룬다.
# 임의의 복소 벡터 <math>u\in T_pMT_p^{(1,0)}M</math>에 대하여 <math>u\ne0</math>이라면 <math>h(u,\bar u)>0</math>. 즉, <math>h_{\alpha\bar\beta}</math>의 [[고유값]]은 모두 양의 실수이다.
 
'''에르미트 다양체''' <math>(M,h)</math>는 복소 다양체와 그 위에 에르미트 계량의 [[순서쌍]]이다.
 
=== 리만 구조 ===
모든 에르미트 다양체는 자연스러운 [[리만 계량]]을 가져, [[리만 다양체]]를 이룬다. 이 경우 리만 계량은 다음과 같다.
:<math>g^{\mathbb C}=\frac12(h+\bar h)\in\Gamma(T^{\mathbb C}M\oplus T^{\mathbb C}M)^*</math>
이 경우, <math>g^{\mathbb C}(u,v)=\bar g^{\mathbb C}</math>이므로, 이는 <math>g\in\Gamma(TM\oplus TM)^*</math>로 제약이 가능하며, 이는 [[리만 계량]]을 이룬다.
 
또한, <math>h</math>를 사용하여 다음과 같은 (1,1)-[[복소미분형식]] <math>\omega</math>를 정의할 수 있다.
:<math>\omega=\frac{i}2(h-\bar h)</math>
:<math>\omega_{\alpha\bar\beta}=\frac i2h_{\alpha\bar\beta}dz^\alpha\wedge d\bar z^{\bar\beta}</math>
 
== 천 접속 ==