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 k≥0, 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.
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.
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 k≥0, 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 √1−x, we can write
p(E,∇E)=1+P1(E,∇E)t+⋯,
here pk(E,∇E) is closed 4k-form.
p(E,∇E)=det(I−(√−12π)2)12.
Expand √1−x, 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 E⊗C, and ∇E can be extend to a complex-linear operator ∇EC, then
c2k(E⊗C)=(−1)kpk(E).
Exercise 2. Prove that claim that
c2k(E⊗C)=(−1)kpk(E).
Hint: try the consider it from their froms.
c2k(E⊗C)=(−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(√1−x), one deduces that for any integer k≥0, 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.
本作品采用创作共用版权协议, 要求署名、非商业用途和保持一致. 转载本站内容必须也遵循署名-非商业用途-保持一致的创作共用协议.
发表回复