Wiki. “示性类” [示性类]

极大环面

设 $G$ 为紧 Lie 群, $T$ 为极大环面, 则有分类空间的映射 $BT \to BG$. 设 $T$ 的维数为 $n$, 则有 $BT\simeq \mathbb{C}P^\infty\times \cdots\times \mathbb{C} P^\infty$, $$ H^{**}(BT)\simeq \mathbb Z[x_1,\cdots,x_n](x_1,/cdots,x_n.md),\ x_i\in H^2. $$ Weyl 群 $\Phi=N(T)/T$ 作用在 $T$ 上, 从而也作用在 $BT$ 上. Borel 定理指出映射 $$ i^*\colon H^{**}(BG)\to H^{**}(BT) $$ 是单射, 且其像恰为 $\Phi$ 作用的不动点.

例

$H^{*}(BU_n)=\mathbb{Z}[[c_1,\cdots,c_n]]$, 其中陈类 $c_k$ 为 $x_1,\cdots,x_n\in H^{*}(BT)$ 的 $k$ 次基本对称多项式.

$H^{*}(BSp_n)=\mathbb{Z}[[\sigma_1,\cdots,\sigma_n]]$, 其中 $\sigma_k$ 为 $x_1^2,\cdots,x_n^2\in H^{*}(BT)$ 的 $k$ 次基本对称多项式.