在 微分形式 on 分解为
类型的形式,有时称为
-形式。例如,在
上,外代数 分解为四种类型
(1)
| |||
(2)
|
其中 ,
, 并且
表示直和。一般来说,一个
-形式是具有
个
s 和
个
s 的项的总和。一个
-形式分解为
-形式的总和,其中
。
例如,在 上的 2-形式分解为
(3)
| |||
(4)
|
分解为 类型的形式由全纯函数保持。更准确地说,当
是全纯的且
是
-形式在
上时,则拉回
是
-形式在
上。
回顾一下,外代数由一次形式、楔积和加法生成。那么 类型的形式由以下生成
(5)
|
复一次形式的子空间 可以被识别为
-特征空间 的几乎复结构
,它满足
。类似地,
-特征空间 是子空间
。实际上,
的分解确定了
上的几乎复结构
。
更抽象地说, 类型的形式是
的群表示,其中
通过乘以
来作用。