数学上,特别是在
代数拓扑和
微分几何中,陈类(或称陈示性类)是一类特殊的和复向量丛相关的
示性类。
有很多处理这个定义的办法:陈最初使用了微分几何;在代数拓扑中,陈类是通过同伦理论定义的,该理论提供了把V和一个
分类空间(
格拉斯曼流形)联系起来的映射;还有
格罗滕迪克的一种办法,表明公理上只需定义线丛的情况就够了。陈类也自然的出现在
代数几何中。
陈类因
陈省身而得名,他在1940年代第一个给出了它们的一般定义。
令
分次环c(E)=c0(E)⊕c0(E)⊕...⊕ck(E),ci(E)∈H2i(M):
设A∈𝖚(n),定义𝖚(n)上
不变多项式f1,...,fn为det(xI-A)=xn-f1(A)xn-1+...+(-1)nfn(A)。令fij(A)=fj(iA),𝖚(n)上不变多项式代数PU(n)由fi1,fi2,...,fin生成。令gij为fij的极化,若R为n阶复向量丛ξ=π:E→M的
曲率张量,为gij在Endk(ξ)*上诱导的平行截面。则ξ的第k陈类为ck(ξ)∈H2k(M),其中第k陈形式ck为
设,定义π:为π(z,[w])=[w],则为重言线丛。记{z0,...,zn}为ℂn+1的复坐标,令,则ω为
联络形式,
曲率形式为。当n=1时,
例如,若V是一个线丛,则只有在X的第二
上同调群中有一个(第一)陈类。第一陈类实际上是可以从拓扑上为复线丛分类的一个完全不变量。也就是说,存在一个X上的线丛的同构等价类到H。
陈类理论有个一般化,其中普通的上同调由一个广义上同调理论(generalized cohomology theory)所代替。使得这种一般化成为可能的称为复可定向的理论。陈类的形式化属性依然相同,但有一个关键的不同:计算线丛的张量积的第一陈类的规则不是各个因子的(普通)加法而是一个形式化群定律(formal group law)。