11.1 Invariant polynomials and the Chern-Weil homomorphism

We give here a brief summary of the de Rham cohomology group (see chapter 6 for details). Let $M$ be an $m$ -dimensional manifold. An $r$ -form $\omega \in {\Omega }^r(M)$ is closed if $\mathrm{d}\omega =0$ and exact if $\omega =\mathrm{d}\eta$ for some $\eta \in {\Omega }^{r-1}(M)$ . The set of closed $r$ -forms is denoted by $Z^r(M)$ and the set of exact $r$ -forms by $B^r(M)$ . Since ${\mathrm{d}}^2=0$ , it follows that $Z^r(M)\supset B^r(M)$ . We define the $r$ th de Rham cohomology group $H^r(M)$ by

$$H^r(M)\equiv Z^r(M)/B^r(M).$$

In $H^r(M)$ , two closed $r$ -forms ${\omega }_1$ and ${\omega }_2$ are identified if ${\omega }_1-{\omega }_2=\mathrm{d}\eta$ for some $\eta \in {\Omega }^{r-1}(M)$ . Let $M$ be an $m$ -dimensional manifold. The formal sum

$$H^{\ast }(M)\equiv H^0(M)\oplus H^1(M)\oplus \cdots \oplus H^m(M)$$

is the cohomology ring with the product $\wedge :H^{\ast }(M)\times H^{\ast }(M)\to H^{\ast }(M)$ induced by $\wedge :H^p(M)\times H^q(M)\to H^{p+q}(M)$ . Let $f:M\to N$ be a

smooth map. The pullback $f^{\ast }:{\Omega }^r(N)\to {\Omega }^r(M)$ naturally induces a linear map $f^{\ast }:H^r(N)\to H^r(M)$ since $f^{\ast }$ commutes with the exterior derivative: $f^{\ast }\mathrm{d}\omega =\mathrm{d}{f}^{\ast }\omega$ . The pullback $f^{\ast }$ preserves the algebraic structure of the cohomology ring since $f^{\ast }(\omega \wedge \eta )=f^{\ast }\omega \wedge f^{\ast }\eta$ .

11.1.1 Invariant polynomials

Let $M(k,\mathbb{C})$ be the set of complex $k\times k$ matrices. Let $S^r(M(k,\mathbb{C}))$ denote the vector space of symmetric $r$ -linear $\mathbb{C}$ -valued functions on $M(k,\mathbb{C})$ . In other words, a map

$$\tilde{P}:\stackrel{r}{\otimes }M(k,\mathbb{C})\to \mathbb{C}$$

is an element of $S^r(M(k,\mathbb{C}))$ if it satisfies, in addition to linearity in each entry, the symmetry

$$\begin{array}{rl}& \tilde{P}\left(a_1,\dots ,a_i,\dots ,a_j,\dots ,a_r\right)\\ & =\tilde{P}\left(a_1,\dots ,a_j,\dots ,a_i,\dots ,a_r\right)1\le i,j\le r\end{array}\text{\hspace{1em}(11.1)}$$

where $a_p\in \mathrm{GL}(k,\mathbb{C})$ .Let

$$S^{\ast }(M(k,\mathbb{C}))\equiv \underset{r=0}{\overset{\infty }{⨁}}{S}^r(M(k,\mathbb{C}))$$

denote the formal sum of symmetric multilinear $\mathbb{C}$ -valued functions. We define a product of $\tilde{P}\in S^p(M(k,\mathbb{C}))$ and $\tilde{Q}\in S^q(M(k,\mathbb{C}))$ by

$$\begin{array}{rl}& \tilde{P}\tilde{Q}(X_1,\dots ,X_{p+q})\\ & =\frac{1}{(p+q)!}\sum _P\tilde{P}\left(X_{P(1)},\dots ,X_{P(p)}\right)\tilde{Q}\left(X_{P(p+1)},\dots ,X_{P(p+q)}\right)\end{array}\text{\hspace{1em}(11.2)}$$

where $P$ is the permutation of $(1,\dots ,p+q)$ . $S^{\ast }(M(k,\mathbb{C}))$ is an algebra with this multiplication.

Let $G$ be a matrix group and $\mathfrak{g}$ its Lie algebra. In practice, we take $G=\mathrm{GL}(k,\mathbb{C})$ , $\mathrm{U}(k)$ or $\mathrm{SU}(k)$ . The Lie algebra $\mathfrak{g}$ is a subspace of $M(k,\mathbb{C})$ and we may consider the restrictions $S^r(\mathfrak{g})$ and $S^{\ast }(\mathfrak{g})\equiv {⨁}_{r\ge 0}{S}^r(\mathfrak{g})$ . $\tilde{P}\in S^r(\mathfrak{g})$ is said to be invariant if, for any $g\in G$ and $A_i\in \mathfrak{g}$ , $\tilde{P}$ satisfies

$$\tilde{P}\left({\mathrm{Ad}}_g{A}_1,\dots ,{\mathrm{Ad}}_g{A}_r\right)=\tilde{P}\left(A_1,\dots ,A_r\right)\text{\hspace{1em}(11.3)}$$

where ${\mathrm{Ad}}_g{A}_i=g^{-1}{A}_{i}g$ . For example,

$$\begin{array}{rl}\tilde{P}(A_1,A_2,\dots ,A_r)& =\mathrm{str}(A_1,A_2,\dots ,A_r)\\ & \equiv \frac{1}{r!}\sum _P\mathrm{tr}\left(A_{P(1)},A_{P(2)},\dots ,A_{P(r)}\right)\end{array}\text{\hspace{1em}(11.4)}$$

is symmetric, $r$ -linear and invariant, where ‘str’ stands for the symmetrized trace and is defined by the last equality. The set of $G$ -invariant members of $S^r(\mathfrak{g})$ is denoted by $I^r(G)$ . Note that ${\mathfrak{g}}_1={\mathfrak{g}}_2$ does not necessarily imply $I^r(G_1)=I^r(G_2)$ . The product defined by (11.2) naturally induces a multiplication

$$I^p(G)\otimes I^q(G)\to I^{p+q}(G).\text{\hspace{1em}(11.5)}$$

The sum $I^{\ast }(G)\equiv {⨂}_{r>0}{I}^r(G)$ is an algebra with this product.

Take $\tilde{P}\in I^r(G)$ . The shorthand notation for the diagonal combination is

$$P(A)\equiv \tilde{P}(\underset{r}{\underbrace{A,A,\dots ,A}})A\in \mathfrak{g}.\text{\hspace{1em}(11.6)}$$

Clearly, $P$ is a polynomial of degree $r$ and called an invariant polynomial. $P$ is also Ad $G$ -invariant,

$$P\left({\mathrm{Ad}}_{g}A\right)=P\left(g^{-1}Ag\right)=P(A)A\in \mathfrak{g},g\in G.\text{\hspace{1em}(11.7)}$$

For example, $\mathrm{tr}(A^r)$ is an invariant polynomial obtained from (11.4). In general, an invariant polynomial may be written in terms of a sum of products of $P_r\equiv \mathrm{tr}(A^r)$ .

Conversely, any invariant polynomial $P$ defines an invariant and symmetric $r$ -linear form $\tilde{P}$ by expanding $P(t_1{A}_1+\cdots +t_r{A}_r)$ as a polynomial in $t_i$ . Then $1/r!$ times the coefficient of $t_1{t}_2\cdots t_r$ is invariant and symmetric by construction and is called the polarization of $P$ . Take $P(A)\equiv \mathrm{tr}(A^3)$ , for example. Following the previous prescription, we expand $\mathrm{tr}(t_1{A}_1+t_2{A}_2+t_3{A}_3{)}^3$ in powers of $t_1,t_2$ and $t_3$ . The coefficient of $t_1{t}_2{t}_3$ is

$$\begin{array}{rl}& \mathrm{tr}\left(A_1{A}_2{A}_3+A_1{A}_3{A}_2+A_2{A}_1{A}_3+A_2{A}_3{A}_1+A_3{A}_1{A}_2+A_3{A}_2{A}_1\right)\\ & =3\mathrm{tr}\left(A_1{A}_2{A}_3+A_2{A}_1{A}_3\right)\end{array}$$

where the cyclicity of the trace has been used. The polarization is

$$\tilde{P}(A_1,A_2,A_3)=\frac{1}{2}\mathrm{tr}(A_1{A}_2{A}_3+A_2{A}_1{A}_3)=\mathrm{str}(A_1,A_2,A_3).$$

In the previous chapter, we introduced the local gauge potential $\mathcal{A}={\mathcal{A}}_{\mu }\mathrm{d}{x}^{\mu }$ and the field strength $\mathcal{F}=\frac{1}{2}{\mathcal{F}}_{\mu \nu }\mathrm{d}{x}^{\mu }\wedge \mathrm{d}{x}^{\nu }$ on a principal bundle. We have shown that these geometrical objects describe the associated vector bundles as well. Since the set of connections $\{{\mathcal{A}}_i\}$ describes the twisting of a fibre bundle, the non-triviality of a principal bundle is equally shared by its associated bundle. In fact, if (10.57) is employed as a definition of the local connection in a vector bundle, it can be defined even without reference to the principal bundle with which it is originally associated. Later, we encounter situations in which use of vector bundles is essential (the Whitney sum bundle, the splitting principle and so on).

Let $P(M,\mathbb{C})$ be a principal bundle. We extend the domain of invariant polynomials from $\mathfrak{g}$ to $\mathfrak{g}$ -valued $p$ -forms on $M$ . For $A_i{\eta }_i$ ( $A_i\in \mathfrak{g},\eta \in {\Omega }^{p_i}(M);1\le i\le r$ ), we define

$$\tilde{P}\left(A_1{\eta }_1,\dots ,A_r{\eta }_r\right)\equiv {\eta }_1\wedge \cdots \wedge {\eta }_r\tilde{P}\left(A_1,\dots ,A_r\right).\text{\hspace{1em}(11.8)}$$

For example, corresponding to (11.4), we have

$$\mathrm{str}\left(A_1{\eta }_1,\dots ,A_r{\eta }_r\right)={\eta }_1\wedge \cdots \wedge {\eta }_r\mathrm{str}\left(A_1,\dots ,A_r\right).$$

The diagonal combination is

$$P(A\eta )\equiv \underset{r}{\underbrace{\eta \wedge \cdots \wedge \eta }}P(A).\text{\hspace{1em}(11.9)}$$

The action $\tilde{P}$ or $P$ on general elements is given by the $r$ -linearity. In particular, we are interested in the invariant polynomial of the form $P(\mathcal{F})$ in the following. The importance of invariant polynomials resides in the following fundamental theorem.

Theorem 11.1 · Chern-Weil theorem

Let $P$ be an invariant polynomial. Then $P(\mathcal{F})$ satisfies

(a) $\mathrm{d}P(\mathcal{F})=0$
(b) Let $\mathcal{F}$ and ${\mathcal{F}}^{\prime }$ be curvature two-forms corresponding to different connections $\mathcal{A}$ and ${\mathcal{A}}^{\prime }$ . Then the difference $P({\mathcal{F}}^{\prime })-P(\mathcal{F})$ is exact.

Proof

(a) It is sufficient to prove that $\mathrm{d}P(\mathcal{F})=0$ for an invariant polynomial $P_r(\mathcal{F})$ which is homogeneous of degree $r$ , since any invariant polynomial can be decomposed into homogeneous polynomials. First consider the identity,

$${\tilde{P}}_r(g_t^{-1}{X}_1{g}_t,\dots ,g_t^{-1}{X}_r{g}_t)={\tilde{P}}_r(X_1,\dots ,X_r)$$

where $g_t\equiv \exp (tX)$ and $X,X_i\in \mathfrak{g}$ . By putting $t=0$ after differentiation with respect to $t$ , we obtain

$$\sum _{i=1}^r{\tilde{P}}_r\left(X_1,\dots ,\left[X_i,X\right],\dots ,X_r\right)=0.\text{\hspace{1em}(11.10)}$$

Next, let $A$ be a $\mathfrak{g}$ -valued $p$ -form and ${\Omega }_i$ be a $\mathfrak{g}$ -valued $p_i$ -form ( $1\le i\le r$ ). Without loss of generality, we may take $A=X\eta$ and ${\Omega }_i=X_i{\eta }_i$ where $X,X_i\in \mathfrak{g}$ and $\eta ({\eta }_i)$ is a $p$ -form ( $p_i$ -form). Define

$$\begin{array}{rl}& [{\Omega }_i,A]\equiv {\eta }_i\wedge \eta [X_i,X]\\ & =X_{i}X\left({\eta }_i\wedge \eta \right)-(-1{)}^{p{p}_i}X{X}_i\left(\eta \wedge {\eta }_i\right).\end{array}\text{\hspace{1em}(11.11)}$$

Let us note that

$$\begin{array}{rl}& {\tilde{P}}_r\left({\Omega }_1,\dots ,\left[{\Omega }_i,A\right],\dots ,{\Omega }_r\right)\\ & ={\eta }_1\wedge \cdots \wedge {\eta }_i\wedge \eta \wedge \cdots \wedge {\eta }_r{\tilde{P}}_r(X_1,\dots ,X_{i}X,\dots ,X_r)\\ & -(-1{)}^{p\cdot p_i}{\eta }_1\wedge \cdots \wedge \eta \wedge {\eta }_i\wedge \dots \\ & \cdots \wedge {\eta }_r{\tilde{P}}_r(X_1,\dots ,X{X}_i,\dots ,X_r)\\ & =\eta \wedge {\eta }_1\wedge \cdots \wedge {\eta }_r(-1{)}^{p(p_1+\cdots +p_i)}\\ & \times {\tilde{P}}_r(X_1,\dots ,[X_i,X],\dots ,X_r).\end{array}$$

From this and (11.10), we find

$$\sum _{i=1}^r(-1{)}^{p\left(p_1+\cdots +p_i\right)}{\tilde{P}}_r\left({\Omega }_1,\dots ,\left[{\Omega }_i,A\right],\dots ,{\Omega }_r\right)=0.\text{\hspace{1em}(11.12)}$$

Next, consider the derivative,

$$\begin{array}{rl}& \mathrm{d}{\tilde{P}}_r({\Omega }_1,\dots ,{\Omega }_r)=\mathrm{d}\left({\eta }_1\wedge \cdots \wedge {\eta }_r\right){\tilde{P}}_r\left(X_1,\dots ,X_r\right)\\ & =\sum _{i=1}^r(-1{)}^{\left(p_1+\cdots +p_{i-1}\right)}\left({\eta }_1\wedge \cdots \wedge \mathrm{d}{\eta }_i\wedge \cdots \wedge {\eta }_r\right)\\ & \times {\tilde{P}}_r\left(X_1,\dots ,X_i,\dots ,X_r\right)\\ & =\sum _{i=1}^r(-1{)}^{\left(p_1+\cdots +p_{i-1}\right)}{\tilde{P}}_r\left({\Omega }_1,\dots ,d{\Omega }_i,\dots ,{\Omega }_r\right).\end{array}\text{\hspace{1em}(11.13)}$$

Let $A=\mathcal{A}$ and ${\Omega }_i=\mathcal{F}$ in (11.12) and (11.13) for which $p=1$ and $p_i=2$ . By adding 0 of the form (11.12) to (11.13) we have

$$\begin{array}{rl}& \mathrm{d}{\tilde{P}}_r(\mathcal{F},\dots ,\mathcal{F})\\ & =\sum _{i=1}^r\left[{\tilde{P}}_r(\mathcal{F},\dots ,\mathrm{d}\mathcal{F},\dots ,\mathcal{F})+{\tilde{P}}_r(\mathcal{F},\dots ,[\mathcal{A},\mathcal{F}],\dots ,\mathcal{F})\right]\\ & =\sum _{i=1}^r{\tilde{P}}_r(\mathcal{F},\dots ,\mathcal{D}\mathcal{F},\dots ,\mathcal{F})=0\end{array}\text{\hspace{1em}(11.14)}$$

since $\mathcal{D}\mathcal{F}=\mathrm{d}\mathcal{F}+[\mathcal{A},\mathcal{F}]=0$ (the Bianchi identity). We have proved

$$\mathrm{d}{P}_r\left(\mathcal{F}\right)=\mathrm{d}{\tilde{P}}_r\left(\mathcal{F},\dots ,\mathcal{F}\right)=0.$$

(b) Let $\mathcal{A}$ and ${\mathcal{A}}^{\prime }$ be two connections on $E$ and let $\mathcal{F}$ and ${\mathcal{F}}^{\prime }$ be the respective field strengths. Define an interpolating gauge potential ${\mathcal{A}}_t$ , by

$${\mathcal{A}}_t\equiv \mathcal{A}+t\theta \theta \equiv \left({\mathcal{A}}^{\prime }-\mathcal{A}\right)0\le t\le 1\text{\hspace{1em}(11.15)}$$

so that ${\mathcal{A}}_0=\mathcal{A}$ and ${\mathcal{A}}_1={\mathcal{A}}^{\prime }$ . The corresponding field strength is

$${\mathcal{F}}_t\equiv \mathrm{d}{\mathcal{A}}_t+{\mathcal{A}}_t\wedge {\mathcal{A}}_t=\mathcal{F}+t\mathcal{D}\theta +t^2{\theta }^2\text{\hspace{1em}(11.16)}$$

where $\mathcal{D}\theta =\mathrm{d}\theta +[\mathcal{A},\theta ]=\mathrm{d}\theta +\mathcal{A}\wedge \theta +\theta \wedge \mathcal{A}$ . We first note that

$$\begin{array}{rl}{P}_r({\mathcal{F}}^{\prime })-P_r(\mathcal{F})& =P_r({\mathcal{F}}_1)-P_r({\mathcal{F}}_0)={\int }_0^1\mathrm{d}t\frac{\mathrm{d}}{\mathrm{d}t}{P}_r({\mathcal{F}}_t)\\ & =r{\int }_0^1\mathrm{d}t{\tilde{P}}_r\left(\frac{\mathrm{d}}{\mathrm{d}t}{\mathcal{F}}_t,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t\right).\end{array}\text{\hspace{1em}(11.17)}$$

From (11.16), we find that

$$\begin{array}{rl}\frac{\mathrm{d}}{\mathrm{d}t}{P}_r\left({\mathcal{F}}_t\right)& =r{\tilde{P}}_r\left(\mathcal{D}\theta +2t{\theta }^2,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t\right)\\ & =r{\tilde{P}}_r(\mathcal{D}\theta ,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)+2rt{\tilde{P}}_r({\theta }^2,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t).(11.18)\end{array}$$

Note also that

$$\mathcal{D}{\mathcal{F}}_t=\mathrm{d}{\mathcal{F}}_t+[\mathcal{A},{\mathcal{F}}_t]=-[{\mathcal{A}}_t,{\mathcal{F}}_t]+[\mathcal{A},{\mathcal{F}}_t]=t[{\mathcal{F}}_t,\theta ]$$

where use has been made of the Bianchi identity ${\mathcal{D}}_t{\mathcal{F}}_t=\mathrm{d}{\mathcal{F}}_t+[{\mathcal{A}}_t,{\mathcal{F}}_t]=0$ . $[\mathcal{D}]$ is the covariant derivative with respect to $\mathcal{A}$ while ${\mathcal{D}}_t$ is that with respect to ${\mathcal{A}}_t$ .] It then follows that

$$\begin{array}{rl}& \mathrm{d}\left[{\tilde{P}}_r\left(\theta ,{\mathfrak{T}}_t,\dots ,{\mathfrak{T}}_t\right)\right]\\ & ={\tilde{P}}_r(\mathrm{d}\theta ,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)-(r-1){\tilde{P}}_r(\theta ,\mathrm{d}{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)\\ & ={\tilde{P}}_r(\mathcal{D}\theta ,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)-(r-1){\tilde{P}}_r(\theta ,\mathcal{D}{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)\\ & ={\tilde{P}}_r(\mathcal{D}\theta ,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)-(r-1)t{\tilde{P}}_r(\theta ,[{\mathcal{F}}_t,\theta ],{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)\end{array}\text{\hspace{1em}(11.19)}$$

where we have added a 0 of the form (11.12) to change $\mathsf{d}$ to $\mathcal{D}$ . If we take ${\Omega }_1=A=\theta$ , ${\Omega }_2=\cdots ={\Omega }_m={\mathcal{F}}_t$ in (11.12), we have

$$2{\tilde{P}}_r({\theta }^2,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)+(r-1){\tilde{P}}_r(\theta ,[{\mathcal{F}}_t,\theta ],{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)=0.$$

From (11.18), (11.19) and the previous identity, we obtain

$$\frac{\mathrm{d}}{\mathrm{d}t}{P}_r({\mathcal{F}}_t)=r\mathrm{d}[{\tilde{P}}_r(\theta ,{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t)].$$

We finally find that

$$P_r\left({\mathcal{F}}^{\prime }\right)-P_r(\mathcal{F})=\mathrm{d}\left[r{\int }_0^1{\tilde{P}}_r\left({\mathcal{A}}^{\prime }-\mathcal{A},{\mathcal{F}}_t,\dots ,{\mathcal{F}}_t\right)\mathrm{d}t\right].\text{\hspace{1em}(11.20)}$$

This shows that $P_r({\mathcal{F}}^{\prime })$ differs from $P_r(\mathcal{F})$ by an exact form.

We define the transgression $T{P}_r({\mathcal{A}}^{\prime },\mathcal{A})$ of $P_r$ by

$$T{P}_r\left({\mathcal{A}}^{\prime },\mathcal{A}\right)\equiv r{\int }_0^1\mathrm{d}t{\tilde{P}}_r\left({\mathcal{A}}^{\prime }-\mathcal{A},{\mathfrak{F}}_t,\dots ,{\mathfrak{F}}_t\right)\text{\hspace{1em}(11.21)}$$

where ${\tilde{P}}_r$ is the polarization of $P_r$ . Transgressions will play an important role when we discuss Chern-Simons forms in section 11.5. Let $\dim M=m$ . Since $P_m({\mathcal{F}}^{\prime })$ differs from $P_m(\mathcal{F})$ by an exact form, their integrals over a manifold $M$ without a boundary should be the same:

$${\int }_M{P}_m\left({\mathcal{F}}^{\prime }\right)-{\int }_M{P}_m(\mathcal{F})={\int }_M\mathrm{d}T{P}_m\left({\mathcal{A}}^{\prime },\mathcal{A}\right)={\int }_{\partial M}{P}_m\left({\mathcal{A}}^{\prime },\mathcal{A}\right)=0.\text{\hspace{1em}(11.22)}$$

As has been proved, an invariant polynomial is closed and, in general, nontrivial. Accordingly, it defines a cohomology class of $M$ . Theorem 11.1(b) ensures that this cohomology class is independent of the gauge potential chosen. The cohomology class thus defined is called the characteristic class. The characteristic class defined by an invariant polynomial $P$ is denoted by ${\chi }_E(P)$ where $E$ is a fibre bundle on which connections and curvatures are defined. [Remark: Since a principal bundle and its associated bundles share the same gauge potentials and field strengths, the Chern-Weil theorem applies equally to both bundles. Accordingly, $E$ can be either a principal bundle or a vector bundle.]

Theorem 11.2

Let $P$ be an invariant polynomial in $I^{\ast }(G)$ and $E$ be a fibre bundle over $M$ with structure group $G$ .

(a) The map

$${\chi }_E:I^{\ast }(G)\to H^{\ast }(M)\text{\hspace{1em}(11.23)}$$

defined by $P\to {\chi }_E(P)$ is a homomorphism (Weil homomorphism).

(b) Let $f:N\to M$ be a differentiable map. For the pullback bundle $f^{\ast }E$ of $E$ , we have the so-called naturality

$${\chi }_{f^{\ast }E}=f^{\ast }{\chi }_E.\text{\hspace{1em}(11.24)}$$

Proof

(a) Take $P_r\in I^r(G)$ and $P_s\in I^s(G)$ . If we write $\mathcal{F}={\mathcal{F}}^{\alpha }{T}_{\alpha }$ , we have

$$\begin{array}{rl}& (P_r{P}_s)(\mathcal{F})={\mathcal{F}}^{{\alpha }_1}\wedge \cdots \wedge {\mathcal{F}}^{{\alpha }_r}\wedge {\mathcal{F}}^{{\beta }_1}\wedge \cdots \wedge {\mathcal{F}}^{{\beta }_s}\\ & \times \frac{1}{(r+s)!}{\tilde{P}}_r\left(T_{{\alpha }_1},\dots ,T_{{\alpha }_r}\right){\tilde{P}}_n\left(T_{{\beta }_1},\dots ,T_{{\beta }_s}\right)\\ & =P_r(\mathcal{F})\wedge P_s(\mathcal{F}).\end{array}$$

Then (a) follows since $P_r(\mathcal{F}),P_s(\mathcal{F})\in H^{\ast }(M)$ .

(b) Let $\mathcal{A}$ be a gauge potential of $E$ and $\mathcal{F}=\mathrm{d}\mathcal{A}+\mathcal{A}\wedge \mathcal{A}$ . It is easy to verify that the pullback $f^{\ast }\mathcal{A}$ is a connection in $f^{\ast }E$ . In fact, let ${\mathcal{A}}_i$ and ${\mathcal{A}}_j$ be local connections in overlapping charts $U_i$ and $U_j$ of $M$ . If $t_{ij}$ is a transition function

on $U_i\cap U_j$ , the transition function on $f^{\ast }E$ is given by $f^{\ast }{t}_{ij}=t_{ij}\circ f$ . The pullback $f^{\ast }{\mathcal{A}}_i$ and $f^{\ast }{\mathcal{A}}_j$ are related as

$$\begin{array}{rl}{f}^{\ast }{\mathcal{A}}_j& =f^{\ast }\left(t_{ij}^{-1}{\mathcal{A}}_i{t}_{ij}+t_{ij}^{-1}\mathrm{d}{t}_{ij}\right)\\ & =\left(f^{\ast }{t}_{ij}^{-1}\right)\left(f^{\ast }{\mathcal{A}}_i\right)\left(f^{\ast }{t}_{ij}\right)+\left(f^{\ast }{t}_{ij}^{-1}\right)\left(\mathrm{d}{f}^{\ast }{t}_{ij}\right).\end{array}$$

This shows that $f^{\ast }\mathcal{A}$ is, indeed, a local connection on $f^{\ast }E$ . The corresponding field strength on $f^{\ast }E$ is

$$\mathrm{d}\left(f^{\ast }{\mathcal{A}}_i\right)+f^{\ast }{\mathcal{A}}_i\wedge f^{\ast }{\mathcal{A}}_i=f^{\ast }\left[\mathrm{d}{\mathcal{A}}_i+{\mathcal{A}}_i\wedge {\mathcal{A}}_i\right]=f^{\ast }{\mathcal{F}}_i.$$

Hence, $f^{\ast }P({\mathcal{F}}_i)=P(f^{\ast }{\mathcal{F}}_i)$ , that is $f^{\ast }{\chi }_E(P)={\chi }_{f^{\ast }E}(P)$ .

Corollary 11.1

Characteristic classes of a trivial bundle are trivial.

Proof

Let $E\stackrel{\pi }{\to }M$ be a trivial bundle. Since $E$ is trivial, there exists a map $f:M\to \{p\}$ such that $E=f^{\ast }{E}_0$ where $E_0⟶\{p\}$ is a bundle over a point $p$ . All the de Rham cohomology groups of a point are trivial and so are the characteristic classes. Theorem 11.2(b) ensures that the characteristic classes ${\chi }_E$ ( $=f^{\ast }{\chi }_{E_0}$ ) of $E$ are also trivial.

来源与版本

正文：英文 · OCR 机器稿 · 待校对

核对状态：OCR 机器稿 · 待校对

原书 PDF

来源版本：second-edition-local

来源 PDF SHA-256：fcd24c3371d092a8c699ccf5cf0765462924b6c48412804231076e8084b1940d

OCR 来源 SHA-256：0b6324f01172a3548cd34382e82fd8bfae574602b6b2cfaa357ba96bc2c35478

OCR 产物 SHA-256：24980696d6b5612c76be50385d37dbf62d74b5d114e5c31efd71a3acca2ae4ba