主题
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 贡献

使用 Wolfram|Alpha 探索

引用为

Rowland, Todd. "凯勒形式。" 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/KaehlerForm.html

主题分类