主題
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 貢獻

使用 探索

請這樣引用

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

主題分類