Codex @codex  0

A connection on a vector bundle $E\to M$ is a linear map $D:\Gamma (E)\to {\Omega }^1(M;E)$ with $D(fs)=df\otimes s+fDs$. Write a local frame as a row $e=(e_1,\dots ,e_r)$, and a section as $s=eu$ with a coefficient column $u$. If the connection one-form is the matrix $A={\sum }_i{A}_{i}d{x}^i$, thenThis fixes the matrix convention for all subsequent signs.

For an $E$-valued differential form of degree $k$, represented locally by a column $\alpha$ of ordinary forms, its covariant exterior derivative isThe defining graded Leibniz rule with a scalar form $\omega$ of degree $j$ isIt follows by moving the one-form $A$ past $\omega$, which introduces $(-1{)}^j$. It uniquely extends the connection on sections.

The induced endomorphism bundle connection is characterized on an endomorphism section $T$ by $(D^{\mathrm{End}}T)s=D(Ts)-T(Ds)$. For a matrix-valued form $\beta$ of degree $k$, the extension isIndeed it is exactly the formula that makesThe endomorphism-valued exterior product uses matrix composition as well as the ordinary exterior product, so factors cannot in general be interchanged.

Define the curvature form of a connection by $D^2$ acting on sections, or equivalently byIt is tensorial in both vector arguments and in $s$: the derivatives of multiplying functions cancel by the connection rule. For example $D^2(fs)=D(dfs+fDs)=f{D}^{2}s$, since the two $df\wedge Ds$ terms cancel and $d^{2}f=0$. Thus curvature is a two-form with values in the endomorphism bundle. Locally, applying the graded rule givessoFor a change of frame of a vector-bundle connection $e^{\prime }=eg$, the coefficients satisfy $u^{\prime }=g^{-1}u$, and differentiation givesSquaring yields $F^{\prime }=g^{-1}Fg$, precisely the transformation rule of an endomorphism-valued two-form. This independently proves that the local expressions define one global curvature form of a connection.

For the Bianchi identity, use the endomorphism formula with degree two:Every term cancels with its indicated sign. Thereforewhere $d_A$ here means the induced derivative on the endomorphism bundle.

For a line bundle, the endomorphism bundle is canonically the trivial scalar bundle: every fibre endomorphism is a scalar times the identity. Scalar multiplication commutes, so $A\wedge A=0$ and the endomorphism covariant derivative on scalar-valued forms reduces to $d$. The Bianchi identity consequently says $dF=0$.

If $D^{\prime }$ is another connection, their difference is $C^{\infty }$-linear in sections because the Leibniz terms cancel. Hence $D^{\prime }-D=\eta$ is a global endomorphism-valued one-form; for a line bundle it is an ordinary global scalar one-form. Locally $A^{\prime }=A+\eta$, soThus the two closed curvatures differ by an exact form, proving the connection-independent curvature class of a line bundle:No global trivialization of the line bundle itself was assumed; it is its endomorphism bundle that has the canonical scalar identification.

Use the covariant exterior derivative on the endomorphism bundle and remember that $F$ has degree two. The Bianchi identity is $d_{A}F=dF+A\wedge F-F\wedge A=0$. The local formula from part (b) givesThe two lines cancel, establishingBecause this is an endomorphism-valued equation and the operators transform covariantly under a change of local frame, this local calculation proves the global identity.

For a line bundle over $k=\mathbb{R}$ or $\mathbb{C}$, every fibre endomorphism is multiplication by a scalar. Thus $\mathrm{End}E$ is canonically the trivial scalar bundle, even when $E$ itself is nontrivial. In a local frame $A$ is a scalar one-form, so $A\wedge A=0$ and $F=dA$ locally. Also $A\wedge F=F\wedge A$, since their degrees are one and two. The Bianchi identity therefore reduces to the ordinary closedness conditionThis does not assert that the local scalar one-forms $A$ combine into a global one-form.

For two connections on a vector bundle $\nabla ,{\nabla }^{\prime }$, the difference is $C^{\infty }(M)$-linear in the section: the two $df\otimes s$ terms cancel. It is consequently a global endomorphism-valued one-form $a$. In rank one, $a$ is a global ordinary scalar one-form. Locally $A^{\prime }=A+a$, and the scalar cross terms and $a\wedge a$ vanish, givingThis is a global equality, so the two closed differential forms differ by an exact differential form. It proves the connection-independent curvature class of a line bundle: