主题
Search

复形式


微分形式 on C^n 分解为 (p,q) 类型的形式,有时称为 (p,q)-形式。例如,在 C 上,外代数 分解为四种类型

 ^ C= ^ ^0 direct sum  ^ ^(1,0) direct sum  ^ ^(0,1) direct sum  ^ ^(1,1)
(1)
=<1> direct sum <dz> direct sum <dz^_> direct sum <dz ^ dz^_>,
(2)

其中 dz=dx+idy, dz^_=dx-idy, 并且  direct sum 表示直和。一般来说,一个 (p,q)-形式是具有 pdzs 和 qdz^_s 的项的总和。一个 k-形式分解为 (p,q)-形式的总和,其中 k=p+q

例如,在 C^2 上的 2-形式分解为

 ^ ^2C^2= ^ ^(2,0) direct sum  ^ ^(1,1) direct sum  ^ ^(0,2)
(3)
=<dz_1 ^ dz_2> direct sum <dz_1 ^ dz^__1,dz_1 ^ dz^__2,dz_2 ^ dz^__1,dz_2 ^ dz^__2> direct sum <dz^__1 ^ dz^__2>.
(4)

分解为 (p,q) 类型的形式由全纯函数保持。更准确地说,当 f:X->Y 是全纯的且 alpha(p,q)-形式在 Y 上时,则拉回 f^*alpha(p,q)-形式在 X 上。

回顾一下,外代数一次形式楔积和加法生成。那么 (p,q) 类型的形式由以下生成

 Lambda^p(Lambda^(1,0)) ^ Lambda^q(Lambda^(0,1)).
(5)

复一次形式的子空间 Lambda^(1,0) 可以被识别为+i-特征空间几乎复结构 J,它满足 J^2=-I。类似地,-i-特征空间子空间 Lambda^(0,1)。实际上,TX tensor C=TX^(1,0) direct sum TX^(0,1) 的分解确定了 J 上的几乎复结构 TX

更抽象地说,(p,q) 类型的形式是 C^*群表示,其中 lambda 通过乘以 lambda^plambda^_^q 来作用。


另请参阅

几乎复结构, 复流形, Del Bar 算子

此条目由 Todd Rowland 贡献

使用 Wolfram|Alpha 探索

请这样引用

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

主题分类