在 微分形式 on 分解為
型別的形式,有時稱為
-形式。例如,在
上,外代數 分解為四種類型
|
(1)
| |||
|
(2)
|
其中 ,
, 並且
表示直和。一般來說,一個
-形式是具有
個
s 和
個
s 的項的總和。一個
-形式分解為
-形式的總和,其中
。
例如,在 上的 2-形式分解為
|
(3)
| |||
|
(4)
|
分解為 型別的形式由全純函式保持。更準確地說,當
是全純的且
是
-形式在
上時,則拉回
是
-形式在
上。
回顧一下,外代數由一次形式、楔積和加法生成。那麼 型別的形式由以下生成
|
(5)
|
復一次形式的子空間 可以被識別為
-特徵空間 的幾乎復結構
,它滿足
。類似地,
-特徵空間 是子空間
。實際上,
的分解確定了
上的幾乎復結構
。
更抽象地說, 型別的形式是
的群表示,其中
透過乘以
來作用。