Exterior covariant derivative: Difference between revisions

Content deleted Content added

Inline

Latest revision as of 06:18, 20 December 2024

In the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection.

Definition

Let G be a Lie group and P → M be a principal G-bundle on a smooth manifold M. Suppose there is a connection on P; this yields a natural direct sum decomposition $T_{u}P=H_{u}\oplus V_{u}$ of each tangent space into the horizontal and vertical subspaces. Let $h:T_{u}P\to H_{u}$ be the projection to the horizontal subspace.

If ϕ is a k-form on P with values in a vector space V, then its exterior covariant derivative Dϕ is a form defined by

D\phi (v_{0},v_{1},\dots ,v_{k})=d\phi (hv_{0},hv_{1},\dots ,hv_{k})

where v_i are tangent vectors to P at u.

Suppose that ρ : G → GL(V) is a representation of G on a vector space V. If ϕ is equivariant in the sense that

R_{g}^{*}\phi =\rho (g)^{-1}\phi

where $R_{g}(u)=ug$ , then Dϕ is a tensorial (k + 1)-form on P of the type ρ: it is equivariant and horizontal (a form ψ is horizontal if ψ(v₀, ..., v_k) = ψ(hv₀, ..., hv_k).)

By abuse of notation, the differential of ρ at the identity element may again be denoted by ρ:

\rho :{\mathfrak {g}}\to {\mathfrak {gl}}(V).

Let $\omega$ be the connection one-form and $\rho (\omega )$ the representation of the connection in ${\mathfrak {gl}}(V).$ That is, $\rho (\omega )$ is a ${\mathfrak {gl}}(V)$ -valued form, vanishing on the horizontal subspace. If ϕ is a tensorial k-form of type ρ, then

D\phi =d\phi +\rho (\omega )\cdot \phi ,

^[1]

where, following the notation in Lie algebra-valued differential form § Operations, we wrote

(\rho (\omega )\cdot \phi )(v_{1},\dots ,v_{k+1})={1 \over (1+k)!}\sum _{\sigma }\operatorname {sgn} (\sigma )\rho (\omega (v_{\sigma (1)}))\phi (v_{\sigma (2)},\dots ,v_{\sigma (k+1)}).

Unlike the usual exterior derivative, which squares to 0, the exterior covariant derivative does not. In general, one has, for a tensorial zero-form ϕ,

D^{2}\phi =F\cdot \phi .

^[2]

where F = ρ(Ω) is the representation^{[clarification needed]} in ${\mathfrak {gl}}(V)$ of the curvature two-form Ω. The form F is sometimes referred to as the field strength tensor, in analogy to the role it plays in electromagnetism. Note that D² vanishes for a flat connection (i.e. when Ω = 0).

If ρ : G → GL(Rⁿ), then one can write

\rho (\Omega )=F=\sum {F^{i}}_{j}{e^{j}}_{i}

where ${e^{i}}_{j}$ is the matrix with 1 at the (i, j)-th entry and zero on the other entries. The matrix ${F^{i}}_{j}$ whose entries are 2-forms on P is called the curvature matrix.

For vector bundles

Given a smooth real vector bundle $E \to M$ with a connection $\nabla$ and rank $r$ , the exterior covariant derivative is a real-linear map on the vector-valued differential forms that are valued in $E$ :

d^{\nabla }:\Omega ^{k}(M,E)\to \Omega ^{k+1}(M,E).

The covariant derivative is such a map for $k = 0$ . The exterior covariant derivatives extends this map to general $k$ . There are several equivalent ways to define this object:

^[3] Suppose that a vector-valued differential 2-form is regarded as assigning to each $p$ a multilinear map $s p : T p M \times T p M \to E p$ which is completely anti-symmetric. Then the exterior covariant derivative $d \nabla s$ assigns to each $p$ a multilinear map $T p M \times T p M \times T p M \to E p$ given by the formula

{\begin{aligned}\nabla _{x_{1}}(s(X_{2},X_{3}))&-\nabla _{x_{2}}(s(X_{1},X_{3}))+\nabla _{x_{3}}(s(X_{1},X_{2}))\\&-s([X_{1},X_{2}],x_{3})+s([X_{1},X_{3}],x_{2})-s([X_{2},X_{3}],x_{1}).\end{aligned}}

where

x 1, x 2, x 3

are arbitrary tangent vectors at

p

which are extended to smooth locally-defined vector fields

X 1, X 2 X 3

. The legitimacy of this definition depends on the fact that the above expression depends only on

x 1, x 2, x 3

, and not on the choice of extension. This can be verified by the Leibniz rule for covariant differentiation and for the Lie bracket of vector fields. The pattern established in the above formula in the case

k = 2

can be directly extended to define the exterior covariant derivative for arbitrary

k

.

^[4] The exterior covariant derivative may be characterized by the axiomatic property of defining for each $k$ a real-linear map $Ω k (M, E) \to Ω k + 1 (M, E)$ which for $k = 0$ is the covariant derivative and in general satisfies the Leibniz rule

d^{\nabla }(\omega \wedge s)=(d\omega )\wedge s+(-1)^{k}\omega \wedge (d^{\nabla }s)

for any differential

k

-form

ω

and any vector-valued form

s

. This may also be viewed as a direct inductive definition. For instance, for any vector-valued differential 1-form

s

and any local frame

e 1, ..., e r

of the vector bundle, the coordinates of

s

are locally-defined differential 1-forms

ω 1, ..., ω r

. The above inductive formula then says that^[5]

{\begin{aligned}d^{\nabla }s&=d^{\nabla }(\omega ^{1}e_{1}+\cdots +\omega ^{r}e_{r})\\&=(d\omega ^{1})e_{1}+\cdots +(d\omega ^{r})e_{r}-\omega ^{1}\nabla e_{1}-\cdots -\omega ^{r}\nabla e_{r}.\end{aligned}}

In order for this to be a legitimate definition of

d \nabla s

, it must be verified that the choice of local frame is irrelevant. This can be checked by considering a second local frame obtained by an arbitrary change-of-basis matrix; the inverse matrix provides the change-of-basis matrix for the 1-forms

ω 1, ..., ω r

. When substituted into the above formula, the Leibniz rule as applied for the standard exterior derivative and for the covariant derivative

\nabla

cancel out the arbitrary choice.

^[6] A vector-valued differential 2-form $s$ may be regarded as a certain collection of functions $s α ij$ assigned to an arbitrary local frame of $E$ over a local coordinate chart of $M$ . The exterior covariant derivative is then defined as being given by the functions

(d^{\nabla }s)^{\alpha }{}_{ijk}=\nabla _{i}s^{\alpha }{}_{jk}-\nabla _{j}s^{\alpha }{}_{ik}+\nabla _{k}s^{\alpha }{}_{ij}.

The fact that this defines a tensor field valued in

E

is a direct consequence of the same fact for the covariant derivative. The further fact that it is a differential 3-form valued in

E

asserts the full anti-symmetry in

i, j, k

and is directly verified from the above formula and the contextual assumption that

s

is a vector-valued differential 2-form, so that

s α ij = - s α ji

. The pattern in this definition of the exterior covariant derivative for

k = 2

can be directly extended to larger values of

k

.
This definition may alternatively be expressed in terms of an arbitrary local frame of

E

but without considering coordinates on

M

. Then a vector-valued differential 2-form is expressed by differential 2-forms

s 1, ..., s r

and the connection is expressed by the connection 1-forms, a skew-symmetric

r \times r

matrix of differential 1-forms

θ α β

. The exterior covariant derivative of

s

, as a vector-valued differential 3-form, is expressed relative to the local frame by

r

many differential 3-forms, defined by

(d^{\nabla }s)^{\alpha }=d(s^{\alpha })+\theta _{\beta }{}^{\alpha }\wedge s^{\beta }.

In the case of the trivial real line bundle $ℝ \times M \to M$ with its standard connection, vector-valued differential forms and differential forms can be naturally identified with one another, and each of the above definitions coincides with the standard exterior derivative.

Given a principal bundle, any linear representation of the structure group defines an associated bundle, and any connection on the principal bundle induces a connection on the associated vector bundle. Differential forms valued in the vector bundle may be naturally identified with fully anti-symmetric tensorial forms on the total space of the principal bundle. Under this identification, the notions of exterior covariant derivative for the principal bundle and for the vector bundle coincide with one another.^[7]

The curvature of a connection on a vector bundle may be defined as the composition of the two exterior covariant derivatives $Ω 0 (M, E) \to Ω 1 (M, E)$ and $Ω 1 (M, E) \to Ω 2 (M, E)$ , so that it is defined as a real-linear map $F : Ω 0 (M, E) \to Ω 2 (M, E)$ . It is a fundamental but not immediately apparent fact that $F (s) p : T p M \times T p M \to E p$ only depends on $s (p)$ , and does so linearly. As such, the curvature may be regarded as an element of $Ω 2 (M, End(E))$ . Depending on how the exterior covariant derivative is formulated, various alternative but equivalent definitions of curvature (some without the language of exterior differentiation) can be obtained.

It is a well-known fact that the composition of the standard exterior derivative with itself is zero: $d (d ω) = 0$ . In the present context, this can be regarded as saying that the standard connection on the trivial line bundle $ℝ \times M \to M$ has zero curvature.

Example

Bianchi's second identity, which says that the exterior covariant derivative of Ω is zero (that is, DΩ = 0) can be stated as: $d\Omega +\operatorname {ad} (\omega )\cdot \Omega =d\Omega +[\omega \wedge \Omega ]=0$ .

Notes

^ If k = 0, then, writing $X^{\#}$ for the fundamental vector field (i.e., vertical vector field) generated by X in ${\mathfrak {g}}$ on P, we have:
$d\phi (X_{u}^{\#})=\left.{d \over dt}\right\vert _{0}\phi (u\operatorname {exp} (tX))=-\rho (X)\phi (u)=-\rho (\omega (X_{u}^{\#}))\phi (u)$ ,
since ϕ(gu) = ρ(g⁻¹)ϕ(u). On the other hand, Dϕ(X^#) = 0. If X is a horizontal tangent vector, then $D\phi (X)=d\phi (X)$ and $\omega (X)=0$ . For the general case, let X_i's be tangent vectors to P at some point such that some of X_i's are horizontal and the rest vertical. If X_i is vertical, we think of it as a Lie algebra element and then identify it with the fundamental vector field generated by it. If X_i is horizontal, we replace it with the horizontal lift of the vector field extending the pushforward πX_i. This way, we have extended X_i's to vector fields. Note the extension is such that we have: [X_i, X_j] = 0 if X_i is horizontal and X_j is vertical. Finally, by the invariant formula for exterior derivative, we have:
$D\phi (X_{0},\dots ,X_{k})-d\phi (X_{0},\dots ,X_{k})={1 \over k+1}\sum _{0}^{k}(-1)^{i}\rho (\omega (X_{i}))\phi (X_{0},\dots ,{\widehat {X_{i}}},\dots ,X_{k})$ ,
which is $(\rho (\omega )\cdot \phi )(X_{0},\cdots ,X_{k})$ .
^ Proof: Since ρ acts on the constant part of ω, it commutes with d and thus
$d(\rho (\omega )\cdot \phi )=d(\rho (\omega ))\cdot \phi -\rho (\omega )\cdot d\phi =\rho (d\omega )\cdot \phi -\rho (\omega )\cdot d\phi$ .
Then, according to the example at Lie algebra-valued differential form § Operations,
$D^{2}\phi =\rho (d\omega )\cdot \phi +\rho (\omega )\cdot (\rho (\omega )\cdot \phi )=\rho (d\omega )\cdot \phi +{1 \over 2}\rho ([\omega \wedge \omega ])\cdot \phi ,$
which is $\rho (\Omega )\cdot \phi$ by E. Cartan's structure equation.
^ Besse 1987, Section 1.12; Kolář, Michor & Slovák 1993, Section 11.13.
^ Donaldson & Kronheimer 1990, p. 35; Eguchi, Gilkey & Hanson 1980, p. 281; Jost 2017, p. 169; Taylor 2011, p. 547.
^ Milnor & Stasheff 1974, pp. 292–293.
^ Eells & Sampson 1964, Section 3.A.3; Penrose & Rindler 1987, p. 263.
^ Kolář, Michor & Slovák 1993, pp. 112–114.

References

Besse, Arthur L. (1987). Einstein manifolds. Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Vol. 10. Reprinted in 2008. Berlin: Springer-Verlag. doi:10.1007/978-3-540-74311-8. ISBN 3-540-15279-2. MR 0867684. Zbl 0613.53001.
Choquet-Bruhat, Yvonne; DeWitt-Morette, Cécile; Dillard-Bleick, Margaret (1982). Analysis, manifolds and physics (Second edition of 1977 original ed.). Amsterdam–New York: North-Holland Publishing Co. ISBN 0-444-86017-7. MR 0685274. Zbl 0492.58001.
Donaldson, S. K.; Kronheimer, P. B. (1990). The geometry of four-manifolds. Oxford Mathematical Monographs. New York: The Clarendon Press, Oxford University Press. ISBN 0-19-853553-8. MR 1079726. Zbl 0820.57002.
Eells, James Jr.; Sampson, J. H. (1964). "Harmonic mappings of Riemannian manifolds". American Journal of Mathematics. 86 (1): 109–160. doi:10.2307/2373037. JSTOR 2373037. MR 0164306. Zbl 0122.40102.
Eguchi, Tohru; Gilkey, Peter B.; Hanson, Andrew J. (1980). "Gravitation, gauge theories and differential geometry". Physics Reports. 66 (6): 213–393. Bibcode:1980PhR....66..213E. doi:10.1016/0370-1573(80)90130-1. MR 0598586.
Jost, Jürgen (2017). Riemannian geometry and geometric analysis. Universitext (Seventh edition of 1995 original ed.). Springer, Cham. doi:10.1007/978-3-319-61860-9. ISBN 978-3-319-61859-3. MR 3726907. Zbl 1380.53001.
Kobayashi, Shoshichi; Nomizu, Katsumi (1963). Foundations of differential geometry. Vol I. Interscience Tracts in Pure and Applied Mathematics. Vol. 15. Reprinted in 1996. New York–London: John Wiley & Sons, Inc. ISBN 0-471-15733-3. MR 0152974. Zbl 0119.37502.
Kolář, Ivan; Michor, Peter W.; Slovák, Jan (1993). Natural operations in differential geometry. Berlin: Springer-Verlag. ISBN 3-540-56235-4. MR 1202431. Zbl 0782.53013.
Milnor, John W.; Stasheff, James D. (1974). Characteristic classes. Annals of Mathematics Studies. Vol. 76. Princeton, NJ: Princeton University Press. doi:10.1515/9781400881826. ISBN 0-691-08122-0. MR 0440554. Zbl 0298.57008.
Nakahara, Mikio (2003). Geometry, topology and physics. Graduate Student Series in Physics (Second edition of 1990 original ed.). Institute of Physics, Bristol. doi:10.1201/9781420056945 (inactive 2024-11-11). ISBN 0-7503-0606-8. MR 2001829. Zbl 1090.53001.{{cite book}}: CS1 maint: DOI inactive as of November 2024 (link)
Penrose, Roger; Rindler, Wolfgang (1987). Spinors and space-time. Vol. 1. Two-spinor calculus and relativistic fields. Cambridge Monographs on Mathematical Physics (Second edition of 1984 original ed.). Cambridge: Cambridge University Press. doi:10.1017/CBO9780511564048. ISBN 0-521-33707-0. MR 0917488. Zbl 0602.53001.
Taylor, Michael E. (2011). Partial differential equations II. Qualitative studies of linear equations. Applied Mathematical Sciences. Vol. 116 (Second edition of 1996 original ed.). New York: Springer. doi:10.1007/978-1-4419-7052-7. ISBN 978-1-4419-7051-0. MR 2743652. Zbl 1206.35003.

[1] If k = 0, then, writing $X^{\#}$ for the fundamental vector field (i.e., vertical vector field) generated by X in ${\mathfrak {g}}$ on P, we have:
$d\phi (X_{u}^{\#})=\left.{d \over dt}\right\vert _{0}\phi (u\operatorname {exp} (tX))=-\rho (X)\phi (u)=-\rho (\omega (X_{u}^{\#}))\phi (u)$ ,
since ϕ(gu) = ρ(g⁻¹)ϕ(u). On the other hand, Dϕ(X^#) = 0. If X is a horizontal tangent vector, then $D\phi (X)=d\phi (X)$ and $\omega (X)=0$ . For the general case, let X_i's be tangent vectors to P at some point such that some of X_i's are horizontal and the rest vertical. If X_i is vertical, we think of it as a Lie algebra element and then identify it with the fundamental vector field generated by it. If X_i is horizontal, we replace it with the horizontal lift of the vector field extending the pushforward πX_i. This way, we have extended X_i's to vector fields. Note the extension is such that we have: [X_i, X_j] = 0 if X_i is horizontal and X_j is vertical. Finally, by the invariant formula for exterior derivative, we have:
$D\phi (X_{0},\dots ,X_{k})-d\phi (X_{0},\dots ,X_{k})={1 \over k+1}\sum _{0}^{k}(-1)^{i}\rho (\omega (X_{i}))\phi (X_{0},\dots ,{\widehat {X_{i}}},\dots ,X_{k})$ ,
which is $(\rho (\omega )\cdot \phi )(X_{0},\cdots ,X_{k})$ .

[2] Proof: Since ρ acts on the constant part of ω, it commutes with d and thus
$d(\rho (\omega )\cdot \phi )=d(\rho (\omega ))\cdot \phi -\rho (\omega )\cdot d\phi =\rho (d\omega )\cdot \phi -\rho (\omega )\cdot d\phi$ .
Then, according to the example at Lie algebra-valued differential form § Operations,
$D^{2}\phi =\rho (d\omega )\cdot \phi +\rho (\omega )\cdot (\rho (\omega )\cdot \phi )=\rho (d\omega )\cdot \phi +{1 \over 2}\rho ([\omega \wedge \omega ])\cdot \phi ,$
which is $\rho (\Omega )\cdot \phi$ by E. Cartan's structure equation.

[FOOTNOTEBesse1987Section_1.12KolářMichorSlovák1993Section_11.13-3] Besse 1987, Section 1.12; Kolář, Michor & Slovák 1993, Section 11.13.

[FOOTNOTEDonaldsonKronheimer199035EguchiGilkeyHanson1980281Jost2017169Taylor2011547-4] Donaldson & Kronheimer 1990, p. 35; Eguchi, Gilkey & Hanson 1980, p. 281; Jost 2017, p. 169; Taylor 2011, p. 547.

[FOOTNOTEMilnorStasheff1974292–293-5] Milnor & Stasheff 1974, pp. 292–293.

[FOOTNOTEEellsSampson1964Section_3.A.3PenroseRindler1987263-6] Eells & Sampson 1964, Section 3.A.3; Penrose & Rindler 1987, p. 263.

[FOOTNOTEKolářMichorSlovák1993112–114-7] Kolář, Michor & Slovák 1993, pp. 112–114.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 3: / Line 3: @@
 ==Definition==
-Let ''G'' be a Lie group and {{nowrap|''P'' → ''M''}} be a [[principal bundle|principal ''G''-bundle]] on a [[smooth manifold]] ''M''. Suppose there is a [[connection (principal bundle)|connection]] on ''P''; this yields a natural direct sum decomposition <math>T_u P = H_u \oplus V_u</math> of each tangent space into the [[horizontal subspace|horizontal]] and [[vertical subspace|vertical]] subspaces. Let <math>h: T_u P \to H_u</math> be the projection to the horizontal subspace.
+Let ''G'' be a [[Lie group]] and {{nowrap|''P'' → ''M''}} be a [[principal bundle|principal ''G''-bundle]] on a [[smooth manifold]] ''M''. Suppose there is a [[connection (principal bundle)|connection]] on ''P''; this yields a natural direct sum decomposition <math>T_u P = H_u \oplus V_u</math> of each tangent space into the [[horizontal subspace|horizontal]] and [[vertical subspace|vertical]] subspaces. Let <math>h: T_u P \to H_u</math> be the projection to the horizontal subspace.
 If ''ϕ'' is a [[vector-valued form|''k''-form]] on ''P'' with values in a vector space ''V'', then its exterior covariant derivative ''Dϕ'' is a form defined by
@@ Line 53: / Line 53: @@
 == For vector bundles ==
-Given a smooth real vector bundle {{math|''E'' → ''M''}} with a [[connection (vector bundle)|connection]] {{math|∇}} and rank {{mvar|r}}, the '''exterior covariant derivative''' is a real-linear map on the [[vector-valued differential forms]] which are valued in {{mvar|E}}:
+Given a smooth real vector bundle {{math|''E'' → ''M''}} with a [[connection (vector bundle)|connection]] {{math|∇}} and rank {{mvar|r}}, the '''exterior covariant derivative''' is a real-linear map on the [[vector-valued differential forms]] that are valued in {{mvar|E}}:
 :<math>d^\nabla:\Omega^k(M,E)\to\Omega^{k+1}(M,E).</math>
 The covariant derivative is such a map for {{math|''k'' {{=}} 0}}. The exterior covariant derivatives extends this map to general {{mvar|k}}. There are several equivalent ways to define this object:
@@ Line 61: / Line 61: @@
 * {{sfnm|1a1=Donaldson|1a2=Kronheimer|1y=1990|1p=35|2a1=Eguchi|2a2=Gilkey|2a3=Hanson|2y=1980|2p=281|3a1=Jost|3y=2017|3p=169|4a1=Taylor|4y=2011|4p=547}} The exterior covariant derivative may be characterized by the axiomatic property of defining for each {{mvar|k}} a real-linear map {{math|&Omega;<sup>''k''</sup>(''M'', ''E'') → &Omega;<sup>''k'' + 1</sup>(''M'', ''E'')}} which for {{math|''k'' {{=}} 0}} is the covariant derivative and in general satisfies the Leibniz rule
 ::<math>d^\nabla(\omega \wedge s) = (d\omega) \wedge s + (-1)^k \omega \wedge (d^\nabla s)</math>
-:for any differential {{mvar|k}}-form {{math|&omega;}} and any vector-valued form {{mvar|s}}. This may also be viewed as a direct inductive definition. For instance, for any vector-valued differential 1-form {{mvar|s}} and any local frame {{math|''e''<sub>1</sub>, ..., ''e''<sub>''r''</sub>}} of the vector bundle, the coordinates of {{mvar|s}} are locally-defined differential 1-forms {{math|''&omega;''<sub>1</sub>, ..., ''&omega;''<sub>''r''</sub>}}. The above inductive formula then says that{{sfnm|1a1=Milnor|1a2=Stasheff|1y=1974|1pp=292–293}}
+:for any differential {{mvar|k}}-form {{math|&omega;}} and any vector-valued form {{mvar|s}}. This may also be viewed as a direct inductive definition. For instance, for any vector-valued differential 1-form {{mvar|s}} and any local frame {{math|''e''<sub>1</sub>, ..., ''e''<sub>''r''</sub>}} of the vector bundle, the coordinates of {{mvar|s}} are locally-defined differential 1-forms {{math|''&omega;''<sup>1</sup>, ..., ''&omega;''<sup>''r''</sup>}}. The above inductive formula then says that{{sfnm|1a1=Milnor|1a2=Stasheff|1y=1974|1pp=292–293}}
 ::<math>\begin{align}
-d^\nabla s&=d^\nabla(\omega_1\wedge e_1+\cdots+\omega_r\wedge e_r)\\
+d^\nabla s&=d^\nabla(\omega^1 e_1+\cdots+\omega^r e_r)\\
-&=d\omega_1\wedge e_1+\cdots+d\omega_r\wedge e_r-\omega_1\wedge \nabla e_1-\cdots-\omega_r\wedge\nabla e_r.\end{align}</math>
+&=(d\omega^1)  e_1+\cdots+(d\omega^r) e_r-\omega^1 \nabla e_1-\cdots-\omega^r\nabla e_r.\end{align}</math>
 :In order for this to be a legitimate definition of {{math|''d''<sup>∇</sup>''s''}}, it must be verified that the choice of local frame is irrelevant. This can be checked by considering a second local frame obtained by an arbitrary change-of-basis matrix; the [[inverse matrix]] provides the change-of-basis matrix for the 1-forms {{math|''&omega;''<sub>1</sub>, ..., ''&omega;''<sub>''r''</sub>}}. When substituted into the above formula, the Leibniz rule as applied for the standard exterior derivative and for the covariant derivative {{math|∇}} cancel out the arbitrary choice.
 * {{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 3.A.3|2a1=Penrose|2a2=Rindler|2y=1987|2p=263}} A vector-valued differential 2-form {{mvar|s}} may be regarded as a certain collection of functions {{math|''s''<sup>&alpha;</sup><sub>''ij''</sub>}} assigned to an arbitrary local frame of {{mvar|E}} over a local coordinate chart of {{mvar|M}}. The exterior covariant derivative is then defined as being given by the functions
 ::<math>(d^\nabla s)^\alpha{}_{ijk}=\nabla_is^\alpha{}_{jk}-\nabla_js^\alpha{}_{ik}+\nabla_ks^\alpha{}_{ij}.</math>
-:The fact that this defines a tensor field valued in {{mvar|E}} is a direct consequence of the same fact for the covariant derivative. The further fact that it is a differential 3-form valued in {{mvar|E}} asserts the full anti-symmetry in {{math|''i'', ''j'', ''k''}} and is directly verified from the above formula and the contextual assumption that {{mvar|s}} is a vector-valued differential 2-form, so that {{math|''s''<sup>&alpha;</sup><sub>''ij''</sub> {{=}} −''s''<sup>&alpha;</sup><sub>''ji''</sub>}}. The pattern in this definition of the exterior covariant derivative for {{math|''k'' {{=}} 2}} can be directly extended to larger values of {{mvar|k}}.<br>This definition may alternatively be expressed in terms of an arbitrary local frame of {{mvar|E}} but without considering coordinates on {{mvar|M}}. Then a vector-valued differential 2-form is expressed by differential 2-forms {{math|''s''<sup>1</sup>, ..., ''s''<sup>''r''</sup>}} and the connection is expressed by the connection 1-forms, a skew-symmetric {{math|''r'' × ''r''}} matrix of differential 1-forms {{math|&theta;<sub>&alpha;</sub><sup>&beta;</sup>}}. The exterior covariant derivative of {{mvar|s}}, as a vector-valued differential 3-form, is expressed relative to the local frame by {{mvar|r}} many differential 3-forms, defined by
+:The fact that this defines a tensor field valued in {{mvar|E}} is a direct consequence of the same fact for the covariant derivative. The further fact that it is a differential 3-form valued in {{mvar|E}} asserts the full anti-symmetry in {{math|''i'', ''j'', ''k''}} and is directly verified from the above formula and the contextual assumption that {{mvar|s}} is a vector-valued differential 2-form, so that {{math|''s''<sup>&alpha;</sup><sub>''ij''</sub> {{=}} −''s''<sup>&alpha;</sup><sub>''ji''</sub>}}. The pattern in this definition of the exterior covariant derivative for {{math|''k'' {{=}} 2}} can be directly extended to larger values of {{mvar|k}}.<br />This definition may alternatively be expressed in terms of an arbitrary local frame of {{mvar|E}} but without considering coordinates on {{mvar|M}}. Then a vector-valued differential 2-form is expressed by differential 2-forms {{math|''s''<sup>1</sup>, ..., ''s''<sup>''r''</sup>}} and the connection is expressed by the connection 1-forms, a skew-symmetric {{math|''r'' × ''r''}} matrix of differential 1-forms {{math|&theta;<sub>&alpha;</sub><sup>&beta;</sup>}}. The exterior covariant derivative of {{mvar|s}}, as a vector-valued differential 3-form, is expressed relative to the local frame by {{mvar|r}} many differential 3-forms, defined by
 ::<math>(d^\nabla s)^\alpha=d(s^\alpha)+\theta_\beta{}^\alpha\wedge s^\beta.</math>
@@ Line 90: / Line 90: @@
 *{{cite book|mr=0685274|last1=Choquet-Bruhat|first1=Yvonne|last2=DeWitt-Morette|first2=Cécile|last3=Dillard-Bleick|first3=Margaret|title=Analysis, manifolds and physics|edition=Second edition of 1977 original|publisher=[[North-Holland Publishing Company|North-Holland Publishing Co.]]|location=Amsterdam–New York|year=1982|isbn=0-444-86017-7|author-link1=Yvonne Choquet-Bruhat|author-link2=Cécile DeWitt-Morette|zbl=0492.58001}}
 *{{cite book|last1=Donaldson|first1=S. K.|last2=Kronheimer|first2=P. B.|title=The geometry of four-manifolds|series=Oxford Mathematical Monographs|publisher=[[Oxford University Press|The Clarendon Press, Oxford University Press]]|location=New York|year=1990|isbn=0-19-853553-8|author-link1=Simon Donaldson|author-link2=Peter Kronheimer|mr=1079726|zbl=0820.57002}}
-*{{cite journal|last1=Eells|first1=James, Jr.|last2=Sampson|first2=J. H.|title=Harmonic mappings of Riemannian manifolds|journal=[[American Journal of Mathematics]]|volume=86|year=1964|pages=109–160|mr=0164306|author-link1=James Eells|author-link2=Joseph H. Sampson|issue=1|doi=10.2307/2373037| jstor=2373037 |zbl=0122.40102}}
+*{{cite journal|last1=Eells|first1=James Jr.|last2=Sampson|first2=J. H.|title=Harmonic mappings of Riemannian manifolds|journal=[[American Journal of Mathematics]]|volume=86|year=1964|pages=109–160|mr=0164306|author-link1=James Eells|author-link2=Joseph H. Sampson|issue=1|doi=10.2307/2373037| jstor=2373037 |zbl=0122.40102}}
 *{{cite journal|last1=Eguchi|first1=Tohru|last2=Gilkey|first2=Peter B.|last3=Hanson|first3=Andrew J.|title=Gravitation, gauge theories and differential geometry|journal=[[Physics Reports]]|volume=66|year=1980|issue=6|pages=213–393|mr=0598586|author-link1=Tohru Eguchi|author-link2=Peter Gilkey|author-link3=Andrew Hanson|doi=10.1016/0370-1573(80)90130-1| bibcode=1980PhR....66..213E }}
 *{{cite book|last1=Jost|first1=Jürgen|title=Riemannian geometry and geometric analysis| series=Universitext |author-link1=Jürgen Jost|edition=Seventh edition of 1995 original|publisher=[[Springer, Cham]]|year=2017|isbn=978-3-319-61859-3|mr=3726907|doi=10.1007/978-3-319-61860-9|zbl=1380.53001}}
@@ Line 96: / Line 96: @@
 * {{cite book|last1=Kolář|first1=Ivan|last2=Michor|first2=Peter W.|last3=Slovák|first3=Jan|title=Natural operations in differential geometry|publisher=[[Springer-Verlag]]|location=Berlin|year=1993|isbn=3-540-56235-4|mr=1202431|zbl=0782.53013|url=https://www.emis.de///monographs/KSM/}}
 *{{cite book|last1=Milnor|first1=John W.|last2=Stasheff|first2=James D.|title=Characteristic classes|series=Annals of Mathematics Studies|volume=76|publisher=[[Princeton University Press]]|location=Princeton, NJ|year=1974|mr=0440554|author-link1=John Milnor|author-link2=James Stasheff|zbl=0298.57008|doi=10.1515/9781400881826|isbn=0-691-08122-0}}
-*{{cite book|last1=Nakahara|first1=Mikio|title=Geometry, topology and physics|edition=Second edition of 1990 original|series=Graduate Student Series in Physics|publisher=Institute of Physics, Bristol|year=2003|isbn=0-7503-0606-8|mr=2001829|doi=10.1201/9781420056945|zbl=1090.53001}}
+*{{cite book|last1=Nakahara|first1=Mikio|title=Geometry, topology and physics|edition=Second edition of 1990 original|series=Graduate Student Series in Physics|publisher=Institute of Physics, Bristol|year=2003|isbn=0-7503-0606-8|mr=2001829|doi=10.1201/9781420056945|doi-broken-date=2024-11-11 |zbl=1090.53001}}
 *{{cite book|last1=Penrose|first1=Roger|last2=Rindler|first2=Wolfgang|title=Spinors and space-time. Vol. 1. Two-spinor calculus and relativistic fields|series=Cambridge Monographs on Mathematical Physics|publisher=[[Cambridge University Press]]|location=Cambridge|year=1987|isbn=0-521-33707-0|author-link1=Roger Penrose|author-link2=Wolfgang Rindler|mr=0917488|edition=Second edition of 1984 original|doi=10.1017/CBO9780511564048|zbl=0602.53001}}
 *{{cite book|mr=2743652|last1=Taylor|first1=Michael E.|author-link1=Michael E. Taylor|title=Partial differential equations II. Qualitative studies of linear equations|edition=Second edition of 1996 original|series=Applied Mathematical Sciences|volume=116|publisher=[[Springer Publishing|Springer]]|location=New York|year=2011|isbn=978-1-4419-7051-0|doi=10.1007/978-1-4419-7052-7|zbl=1206.35003}}