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