通过复结构分解外幂时的外幂类型疑问

嘿，这个问题确实是复几何/线性代数入门里容易混淆的点，我来给你理清楚～

首先先回顾下背景：我们有实偶维向量空间$V$（维度$d=2n$），配上线性复结构$J$，复化后$V_\mathbb{C}$分解成$J$复化后的特征子空间$V_+$（对应特征值$i$）和$V_-$（对应特征值$-i$），这两个都是$V_\mathbb{C}$的复子空间（维度都是$n$，作为复空间）。

回到你的核心疑问：分解式里的$\bigwedge^r V_+$和$\bigwedge^s V_-$，指的是复外幂（也就是$\bigwedge_\mathbb{C}^r V_+$和$\bigwedge_\mathbb{C}^s V_-$），理由如下：

• 首先左边的$(\bigwedge^k V)\mathbb{C}$和$\bigwedge\mathbb{C}^k V_\mathbb{C}$是同构的，而$\bigwedge_\mathbb{C} V_\mathbb{C}$是复向量空间上的复外代数，它的分解自然是复子空间的直和。$\bigwedge^{r,s}V$作为这个分解里的分量，本身是复子空间，所以必须用复外幂来构造——毕竟$V_+$是复空间，复外幂才会得到复外代数里的对应部分。
• 从$(r,s)$型的直观来说：$(1,0)$形式是$V_+^*$的元素（对偶空间也是复空间），$(r,s)$型形式是$r$个$(1,0)$形式和$s$个$(0,1)$形式的外积生成的，这里的外积是复外代数里的运算，对应的外幂自然是复外幂。
• 如果换成实外幂的话，$\bigwedge_\mathbb{R}^r V_+$其实没有我们想要的“型分解”意义，因为$V_+$本身是复空间，实外幂在这里无法对应到复化外幂的双次数分解结构。

另外你原文里的分解式有个小笔误，正确的分解应该是$(\bigwedge^k V)\mathbb{C} = \bigoplus{r+s=k} \bigwedge^{r,s}V$（不是$r+s=d$），这个细节也注意下～

备注：内容来源于stack exchange，提问作者user674359