Some Examples


Comments


2025 年 4 月
 123456
78910111213
14151617181920
21222324252627
282930  

Now, we take f to be some special function to obtain some classical classes.

Sometimes, we would prefer to normalize the function by conceder
tr[f(12πRE)],


since RE is a anti-symmetric matrix, we want to make the eigenvalue be real, and 2π just a unitization, such that it becomes rational even integer.
 

Exercise 1. the product of closed forms is still a closed form.

Example 1 (Chern form and Chern classes). Let E be a complex vector bundle, and set
c(E,E)=det(\I+12πRE)=exp(tr[log(\I+12πRE)]),

note that
\I+12πRE

is invertible, and
exp(trA)=det(exp(A)).

Note also that the power series
log(1+x)=x+x22+exp(x)=1+x+x22!+,

substitute x with 12πRE, then it only has finite terms and this shows that for any integer k0, tr[(RE)k] is a linear combination of various products of ci(E,E)’s, this established the fundamental importance of Chern classes in the theory of characteristic classes of complex vector bundles.

We write
c(E,E)=exp(tr[log(\I+12πRE)])=1+c1(E,E)t+c2(E,E)t2+,


the ci(E,E) are closed 2-form, called Chern form, and c(E,E)ci(E,E) called the total Chern form, and the cohomology class associated to k-th Chern form ck(E,E) are called the k-th Chern classes of second type, denoted as ck(E), and ck(E) are called total Chern classes.


Example 2 (Pontrjagin classes of real vector bundle). Let E be a real vector bundle of M, define
p(E,E)=det(I(12π)2)12.

Expand 1x, we can write
p(E,E)=1+P1(E,E)t+,

here pk(E,E) is closed 4k-form.

Since any real vector bundle can be complexificated to be EC, and E can be extend to a complex-linear operator EC, then
c2k(EC)=(1)kpk(E).

Exercise 2. Prove that claim that
c2k(EC)=(1)kpk(E).

Hint: try the consider it from their froms.

Similarly, if we write
log(det(I(RE2π)2)12)=tr(12log(I(RE2π)2)),

and from the power series expansion formulas for log(1x), one deduces that for any integer k0, tr[(RE)2k] can be written as a linear combination of various products of pi(E,E)’s.

This establishes the fundamental importance of Pontrjagin classes in the theory of characteristic classes of real vector bundles.

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据


Other news

  • 使用Chrome播放本地SWF文件

    两个版本, 一个是选择文件, 一个是直接拖拽。 当然也有合并到一起的办法, 参考这里。直接将下列文件放到和fl…

  • Chrome下载完成后显示病毒扫描失败的解决办法

    很蛋疼的一个提示, 一个pdf下载好后给提示病毒扫描失败。把下载的pdf直接删除了。 解决办法是运行如下的注册…

  • C1驾照学习经验

    历时4个月+15天, 我的C1驾照到手了. 下面分享下经验, 为广大学员解惑。 学驾照, 要趁早 为啥呢, 一…