主題
Search

凱勒形式


複流形 M 上的一個二形式 omega,它也是埃爾米特度量 h=g-iomega的負虛部,被稱為凱勒形式。在這種情況下,M 被稱為凱勒流形,而 g埃爾米特度量實部,被稱為凱勒度量。凱勒形式結合了度量和復結構,實際上

 g(X,Y)=omega(X,JY),
(1)

其中 J 是由乘以 i 引起的近復結構。由於凱勒形式來自埃爾米特度量,因此它被 J 保留,即,因為 h(X,Y)=h(JX,JY)domega=0 方程意味著度量和復結構是相關的。它賦予 M 一個凱勒結構,並有許多推論。

C^2 上,凱勒形式可以寫成

omega=-1/2i(dz_1 ^ dz_1^_+dz_2 ^ dz_2^_)
(2)
=dx_1 ^ dy_1+dx_2 ^ dy_2,
(3)

其中 z_n=x_n+iy_n。一般來說,凱勒形式可以用座標表示為

 omega=sumg_(ik^_)dz_i ^ dz^__k,
(4)

其中 g_(ik^_) 是一個埃爾米特度量,其實部凱勒度量。區域性地,凱勒形式可以寫成 partialpartial^_f,其中 f 是一個稱為凱勒勢的函式。凱勒形式是一個實 (1,1)-復形式

由於凱勒形式 omega 是閉的,它表示德·拉姆上同調中的一個上同調類。在緊緻流形上,它不能是恰當的,因為 omega^n/n!!=0 是由度量確定的體積形式。在射影代數簇的特殊情況下,凱勒形式表示一個積分上同調類。也就是說,它在任何一維子流形(即代數曲線)上積分得到一個整數。小平嵌入定理指出,如果凱勒形式在緊緻流形上表示一個積分上同調類,那麼它必須是一個射影代數簇。存在不是射影代數的凱勒形式,但任何凱勒流形是否可以形變為射影代數簇(在緊緻情況下)仍然是一個未解決的問題。

凱勒形式滿足 Wirtinger 不等式

 |omega(X,Y)|<=|X ^ Y|,
(5)

其中右側是由切向量 XY 形成的平行四邊形的體積。相應的 不等式 對 omega外冪成立。等式成立當且僅當 XY 形成一個復子空間。因此,omega 是一個校準形式,並且凱勒流形的復子流形是校準子流形。特別地,復子流形在凱勒流形中是區域性體積最小化的。例如,全純函式的圖是 C^2=R^4 中區域性面積最小化的曲面。


參見

卡拉比-丘空間, 校準形式, 複流形, 復射影空間, 多爾博上同調, 凱勒恆等式, 凱勒流形, 凱勒度量, 凱勒勢, 凱勒結構, 小平嵌入定理, 射影代數簇, 辛形式, Wirtinger 不等式

此條目由 Todd Rowland 貢獻

使用 探索

引用為

Rowland, Todd. "凱勒形式。" 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/KaehlerForm.html

主題分類