Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds

*Paul Bracken*

#### **Abstract**

Gauge theories make up a class of physical theories that attempt to describe the physics of particles at a fundamental level. The purpose here is to study Yang-Mills theory at the classical level in terms of the geometry of fiber bundles and differentiable manifolds. It is shown how fundamental particles of bosonic and fermionic nature can be described mathematically. The Lagrangian for the basic interactions is presented and then put together in a unified form. Finally, some basic theorems are proved for a Yang-Mills on compact four-dimensional manifolds.

**Keywords:** manifold, bundle, section, Yang-Mills, compact, four-dimensional, spinor, classical field

#### **1. Introduction**

In 1954 C. N. Yang and R. Mills proposed a classical field theory that incorporates Lie groups at a fundamental level [1]. Since then, great progress has been made in the area of subatomic physics by realizing that physics which is described by nonabelian Lie groups can display many novel features and play a major role in the kinds of physical theories they describe [2–7]. These features are alluded to having no classical analogu. When formulated using rigorous mathematics, Yang-Mills theories as well as gauge theories make elegant use of complicated structures called fiber bundles and associated vector bundles. These are indispensable in physics where spacetime, the base manifold has a non-trivial topology. This occurs in string theory for example spacetime is usually assumed to be a product <sup>4</sup> *<sup>K</sup>* of Minkowski spacetime with a compact Riemannian manifold. If Euclidean spacetime <sup>4</sup> is compactified to the 4-sphere *S*4, a similar situation applies [8–14]. Fields in spacetime often cannot be described simply by a map to a fixed vector space but as sections of a non-trivial vector bundle. In these cases, fields on spacetime often cannot be described simply by a map to a fixed vector space, but rather as sections of a nontrivial vector bundle [15–20].

The Lagrangian and action of a field theory should be invariant under the action of certain symmetry groups such as the Lorentz group, gauge symmetry, and conformal

symmetry [21–26]. This means the Lagrangian for the fields, hence the laws of physics, are invariant under symmetry transformations. For spontaneously broken gauge theories, the Lagrangian is invariant under gauge transformations that originate in a Lie group. The Higgs condensate yields a vacuum configuration invariant only under a subgroup of *G*, and at the same time provides a mechanism for giving mass to particles. Although the quantum versions of theories are not discussed here, it is important to state that symmetries of the classical theory, such as gauge symmetries, do not necessarily hold in the quantized theory. The main reason is the quantization method, such as the path integral measure may not be invariant under the symmetry [27–31]. In this event, the theory is said to be anomalous.

In mathematical terms, suppose *π* : *E* ! *M* is a surjective differentiable map between smooth manifolds. If *x*∈ *M* is an arbitrary point, the nonempty subset *Ex* <sup>¼</sup> *<sup>π</sup>*�<sup>1</sup>ð Þ *<sup>x</sup>* <sup>⊂</sup>*<sup>E</sup>* is called the fiber of *<sup>π</sup>* over *<sup>x</sup>*. For a subset *<sup>U</sup>* <sup>⊂</sup> *<sup>M</sup>* we set *EU* <sup>¼</sup> *<sup>π</sup>*�<sup>1</sup>ð Þ *<sup>U</sup>* <sup>⊂</sup>*E*, the part of *<sup>E</sup>* above *<sup>U</sup>*, and it is the union of all fibers *Ex*, where *<sup>x</sup>*<sup>∈</sup> *<sup>U</sup>*. A differentiable map *s* : *M* ! *E* such that *π*∘*s* ¼ *IM* where *IM* is the identity map is called a global section of *π*. A differentiable map *s* : *U* ! *E*, defined on some open subset *U* ⊂ *M* satisfying *π*∘*s* ¼ *IU* is called a local section. A differentiable map *s* : *U* ! *E* is a local section of *π* : *E* ! *U* if and only if *s x*ð Þ∈ *Ex*, for all *x*∈ *U*. Fiber bundles are an important generalization of products *E* ¼ *M* � *F* and can be understood as twisted products. The fibers are still embedded submanifolds and are all diffeomorphic. The fibration in general is only locally trivial, so locally a product which is not global.

**Definition 1.1** Let, *E*, *F*, *M* be manifolds and *π* : *E* ! *M* a surjective differentiable map. Then, ð Þ *E*, *π*, *M*; *F* is called a fiber bundle if: for every *x*∈ *M*, there exists an open *U* ⊂ *M* around *x* such that *π* restricted to *EU* can be trivialized, so there is a diffeomorphism *ϕ<sup>U</sup>* : *EU* ! *U* � *F* such that pr1∘*ϕ<sup>U</sup>* ¼ *π*. Denote a fiber bundle as *F* ! *E* ! *M*, *E* is called the total space, *M* the base manifold, *F* the general fiber, *π* the projection and ð Þ *U*, *ϕ<sup>U</sup>* a bundle chart.

Using a bundle chart, ð Þ *<sup>U</sup>*, *<sup>ϕ</sup><sup>U</sup>* , the fiber *Ex* <sup>¼</sup> *<sup>π</sup>*�<sup>1</sup>ð Þ *<sup>x</sup>* is seen to be an embedded submanifold of the total space *E* for every *x*∈ *M*, and *ϕ<sup>U</sup>*<sup>2</sup> ¼ pr2∘*ϕ<sup>U</sup> Ex* : *Ex* ! *F* is a diffeomorphism between the fiber over *x*∈ *U* and the general fiber. For physical reasons, it is essential to include pseudo-Riemannian metrics in the picture. Let *M* be a smooth manifold. A pseudo-Riemannian metric *g* of signature ð Þ *s*, *t* where ð Þ þ, ⋯þ, � , ⋯, � is a section that defines at each *x*∈ *M* a non-degenerate symmetric bilinear form *gx* : *TxM* � *TxM* ! of signature ð Þ *s*, *t* .

Principal fiber bundles are a combination of the concepts of fiber bundle and group action; that is, fiber bundles have a Lie group action such that both structures can be made compatible. Let *G* ! *P* ! *M* be a fiber bundle with general fiber a Lie group *G* and a smooth action *P* � *G* ! *P* on the right. For a principal *G*-bundle, the action of *G* preserves the fibers of *π* and is simply transitive on them. The orbit map *G* ! *P* such that *g* ! *p* � *g* is a bijection for all *x*∈ *M*, *p*∈ *Px*. There exists a bundle atlas of *G*equivariant bundle charts *ϕ<sup>i</sup>* : *PUi* ! *Ui* � *G* satisfying *ϕi*ð Þ¼ *p* � *g ϕi*ð Þ� *p g*, for all *p*∈ *PUi* , *g* ∈ *G*, where on the right *G* acts on pairs ð Þ *a*, *x* ∈ *Ui* � *G* by ð Þ� *x*, *a g* ¼ ð Þ *x*, *ag* . The group *G* is called the structure group *P*. Two features distinguish a principal bundle *P* ! *M* from a standard fiber bundle whose general fiber is a Lie group *G*: there exists a right *G*-action on *P* simply transitive on each fiber *Px*, *x*∈ *M* and bundle *P* has a principal bundle atlas. If *P* ! *M* is a principal *G*-bundle, *p* ∈*P*, *g* ∈ *G*, *τ<sup>g</sup>* denotes the right translation *p* ! *p* � *g*. The fiber *Px* is a submanifold of the total space *P* for every *x*∈ *M* and the orbit map *g* ! *p* � *g* is an embedding for all *p*∈ *Px*.

#### *Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

A fiber bundle *V* ! *E* ! *M* is called a real or complex vector bundle of rank *m* if: The general fiber *V* and every fiber *Ex* for *x*∈ *M*, are *m*-dimensional vector space over ¼ or ℂ, and there exists a bundle atlas *Ui*, *ϕ<sup>i</sup>* f g ð Þ *<sup>i</sup>*∈*<sup>I</sup>* for *E* such that induced maps *ϕix* : *Ex* ! *V* are vector space isomorphisms for all *x*∈ *Ui*. Such an atlas is called a vector bundle atlas for *E*, and the chart a vector bundle chart. There are two features that distinguish a vector bundle *E* ! *M* from a standard fiber bundle; the vector space structure on each fiber *Ex*, *x*∈ *M* and the bundle *E* has a vector bundle atlas. An example of this is the tangent bundle of a smooth manifold which is canonically a smooth real vector bundle [32–33].

**Definition 1.2** Let *G* be a Lie group and *M* a Manifold. Suppose that *M* � *G* ! *M* is a right action. For *<sup>X</sup>* <sup>∈</sup>*gL* we define the associated fundamental vector field *<sup>X</sup>*<sup>~</sup> on *M* by

$$\tilde{X}\_p = \frac{d}{dt}\Big|\_{t=0} (p \cdot \exp\left(tX\right). \tag{1}$$

If we denote by *ϕp*, the orbit map for the right action, *ϕ<sup>p</sup>* : *G* ! *M*, *g* ! *p* � *g*, then

$$
\tilde{X}\_p = \left(D\_\epsilon \phi\_p\right)\left(\mathbf{X}\_p\right). \tag{2}
$$

Similarly, suppose that *G* � *M* ! *M* is a left action. Then we define the fundamental vector field by

$$\tilde{X}\_p = \frac{d}{dt}\Big|\_{t=0} (\exp\left(-tX\right) \cdot p),\tag{3}$$

for *p*∈ *M*. If we denote by *ϕ<sup>p</sup>*<sup>0</sup> the following orbit map for the left action, *ϕ*<sup>0</sup> *<sup>p</sup>* : *G* ! *<sup>M</sup>*, *<sup>g</sup>* ! *<sup>g</sup>*�<sup>1</sup> � *<sup>p</sup>*, then

$$
\tilde{X}\_p = \left( D\_\epsilon \phi\_p' \right)(X\_\epsilon). \tag{4}
$$

The fundamental vector field will also be denoted *Xf* when the presentation requires.

It is shown here that a physical theory can be constructed based on the idea of a differentiable manifold along with many other associated mathematical structures that can be defined on it. The result is a theory which can be used to describe fundamental interactions of elementary particles at the classical level. This also permits the introduction of other ideas which can have a physical influence such as topological invariants. There is no discussion with regard to quantization of gauge theories. These interactions include the strong and weak forces. Physically, Yang-Mills fields represent forces or carriers of force. The first half of the paper introduces most of the mathematical concepts needed to describe particles of both fermionic and bosonic nature. The last part specializes to Yang-Mills in four dimensions. It is discussed how the field equations can be obtained from a variational principle and how the theory of partial differential equations plays a role in their study.

#### **2. Matter fields and couplings**

Lie groups appear in principal bundles in gauge theories. These are associated to vector bundles which describe particles and where representations on vector spaces are built into gauge theories. Connections are associated with gauge fields and give rise to covariant derivatives representing interactions.

**Definition 2.1** A connection one-form on a principal *G* bundle *π* : *P* ! *M* is a oneform *A* ∈ Ω<sup>1</sup> ð Þ *<sup>P</sup>*, *<sup>g</sup>* on the total space *<sup>P</sup>* so that *<sup>r</sup>* <sup>∗</sup> *<sup>g</sup> <sup>A</sup>* <sup>¼</sup> *Adg*�<sup>1</sup> *<sup>A</sup>* for all *<sup>g</sup>* <sup>∈</sup> *<sup>G</sup>* and *<sup>A</sup> <sup>X</sup>*<sup>~</sup> � � <sup>¼</sup> *<sup>X</sup>* for all *<sup>X</sup>* <sup>∈</sup>*gL*, where *<sup>X</sup>*<sup>~</sup> is the fundamental vector field associated to *<sup>X</sup>* and *gL* the Lie algebra of *<sup>G</sup>*. This is called a gauge field in physics. □.

At *p*∈*P*, a connection one-form is a linear map *Ap* : *TpP* ! *gL* and *Adg*�<sup>1</sup> is a linear isomorphism of the Lie algebra to itself. There is a correspondence between Ehresmann connections and connection one-forms. Physically we want certain objects to be gauge invariant. A global gauge transformation is a bundle automorphism of *P* or a diffeomorphism *f* : *P* ! *P* which preserve the fibers of *P* and is *G*-equivariant

$$
\pi \circ f = \pi, \quad f(p \cdot \mathbf{g}) = f(p) \cdot \mathbf{g}, \quad p \in P, \quad \mathbf{g} \in G. \tag{5}
$$

Under composition of diffeomorphisms, the set of all gauge transformations forms a group Autð Þ *P* . A local gauge transformation is a bundle automorphism denoted Autð Þ *P* . In physics, gauge transformations are often defined as maps on the base manifold *M* to the structure group *G* even for non-abelian Lie groups.

Let *π* : *P* ! *M* be a principal *G*-bundle. A physical gauge transformation is a smooth map *π* : *U* ! *G* defined on an open set *U* ⊂ *M*. The set of all physical gauge transformations forms a group <sup>C</sup><sup>∞</sup>ð Þ *<sup>U</sup>*, *<sup>G</sup>* with pointwise multiplication.

If *s* : *U* ! *P* is a local gauge of the principal bundle on an open subset *U* ⊂ *M*, the local connection one-form or local gauge field *As* ∈ Ω<sup>1</sup> *U*, *gL* � � determined by *s* is defined as

$$A\_s = A \circ D \mathfrak{s} = \mathfrak{s}^\* A. \tag{6}$$

Suppose we have a manifold chart on *U* and *∂<sup>μ</sup>* � � *<sup>μ</sup>*¼1,⋯,*<sup>n</sup>* are the local coordinate vector fields on *<sup>U</sup>*. Set *<sup>A</sup><sup>μ</sup>* <sup>¼</sup> *As <sup>∂</sup><sup>μ</sup>* � � and choose a basis f g *ea* for the Lie algebra *gL* and then expand *A<sup>μ</sup>* over that basis

$$A\_{\mu} = \sum\_{a=1}^{\text{dimg}\_L} A\_{\mu}^a e\_a. \tag{7}$$

The corresponding real-valued fields *A<sup>a</sup> <sup>μ</sup>* <sup>∈</sup>C<sup>∞</sup>ð Þ *<sup>U</sup>*, and one forms *Aa <sup>s</sup>* are called local gauge boson fields in physics.

A principal bundle can have many gauges and it is of interest to determine how the local connection one-forms transform as we change the local gauge. Let *si* : *Ui* ! *P* and *sj* : *Uj* ! *P* be local gauges with *Ui* ∩ *Uj* 6¼ ∅, then there exists *gij*ð Þ *x* : *Ui* ∩ *Uj* ! *G* such that

$$\mathfrak{s}\_{\vec{\eta}}(\mathfrak{x}) = \mathfrak{s}\_{\vec{\jmath}}(\mathfrak{x}) \cdot \mathfrak{g}\_{\vec{\jmath}i}(\mathfrak{x}), \qquad \mathfrak{x} \in U\_i \cap U\_{\vec{\jmath}}.\tag{8}$$

*Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

In (8), *gij* is the smooth transition function between local trivializations. There are local connection 1-forms *Ai* ∈ *Asi* ∈ Ω<sup>1</sup> *Ui*, *gL* and *Aj* <sup>∈</sup> *Asj* <sup>∈</sup> <sup>Ω</sup><sup>1</sup> *Uj*, *gL* and it is desired to obtain the relationship between *Ai* and *Aj*. If *μ<sup>G</sup>* ∈ Ω<sup>1</sup> ð Þ *G*, *p* is the Mauer-Cartan form defined as *<sup>μ</sup>G*ð Þ¼ *<sup>v</sup> Dg Lg*�<sup>1</sup> ð Þ*<sup>v</sup>* for *<sup>v</sup>*<sup>∈</sup> *TgG*, set *<sup>μ</sup>ji* <sup>∈</sup>*<sup>g</sup>* <sup>∗</sup> *ji μ<sup>G</sup>* ∈ Ω<sup>1</sup> *Ui* ∩ *Uj* . The theorem which follows accounts for the transformation of local gauge fields.

**Theorem 2.1** The local connection one-form transforms as

$$A\_i = \mathbf{A}d\_{\mathbf{g}^{-1}} \circ \mathbf{A}\_j + \mu\_{ji} \tag{9}$$

on *Ui* ∩ *Uj*. If *G* ⊂ *L n*ð Þ , is a matrix Lie group then

$$A\_i = \mathbf{g}\_{ji}^{-1} \cdot A\_j \cdot \mathbf{g}\_{ji} + \mathbf{g}\_{ji}^{-1} \cdot d\mathbf{g}\_{ji} \tag{10}$$

where � denotes matrix multiplication, *<sup>g</sup>*�<sup>1</sup> *ji* the inverse of *gji* in *G* and *dgji* the differential of each component of the function *gji* : *Ui* <sup>∩</sup> *Uj* ! *<sup>G</sup>* <sup>⊂</sup> *<sup>n</sup>*�*<sup>n</sup>* . If *G* is abelian, then *Ai* <sup>¼</sup> *Aj* <sup>þ</sup> *<sup>μ</sup>ji* <sup>¼</sup> *Aj* <sup>þ</sup> *<sup>g</sup>*�<sup>1</sup> *ji* � *dgji*.

**Proof**: Let *s*∈ *Ui* ∩ *Uj* and *Z* ∈*TxM* and set

$$X = D\_{\mathbf{x}} \mathfrak{s}\_{\mathfrak{f}}(Z) \in T\_{\mathfrak{s}\_{\mathfrak{f}}(\mathbf{x})} P, \qquad Y \in D\_{\mathbf{x}} \mathfrak{g}\_{\mathfrak{f}^\sharp}(Z) \in T\_{\mathfrak{g}\_{\mathfrak{f}}(\mathbf{x})} \mathbf{G}. \tag{11}$$

with group action Φ : *P* � *G* ! *P* given as ð Þ! *p*, *g pg*, we calculate using the differential of map Φ ð Þ! *X*, *Y DXrg* ð Þþ *<sup>X</sup> <sup>μ</sup>G*ð Þ *<sup>Y</sup> xg*, where *rg* is right translation *<sup>μ</sup><sup>G</sup>* is the Mauer-Cartan form, and the chain rule

$$D\_{\mathbf{x}}\mathfrak{s}\_{i}(\mathbf{Z}) = D\_{\mathbf{x}}\left(\Phi \circ \left(\mathfrak{s}\_{j}\mathfrak{g}\_{ji}\right)\right)(\mathbf{Z}) = D\_{\mathfrak{s}\_{j}(\mathbf{x})}\mathfrak{r}\_{\mathfrak{f}\_{ji}}(\mathbf{X}) + \mu\_{\mathbf{G}}(\mathbf{Y})\_{\mathfrak{s}\_{j}(\mathbf{x})}\Big|\_{f} = D\_{\mathfrak{s}\_{j}(\mathbf{x})}\mathfrak{r}\_{\mathfrak{g}\_{ji}(\mathbf{x})}(\mathbf{X}) + \mu\_{\tilde{\mu}}(\mathbf{Z})\_{\mathfrak{s}\_{i}(\mathbf{x})}\Big|\_{f}.\tag{12}$$

By the defining properties of the connection form *A*, we have

$$A\_i(\mathbf{Z}) = A(D\_{\mathbf{x}}\mathfrak{s}\_i(\mathbf{Z})) = A\left(D\_{\mathfrak{s}\_j(\mathbf{x})}r\_{\mathfrak{s}\_{ji}(\mathbf{x})}(\mathbf{X}) + \mu\_{ji}(\mathbf{Z})\_{\mathfrak{s}\_i(\mathbf{x})} \Big|\_{f}\right) = \left(r\_{\mathfrak{s}\_j^i}^\*(\mathbf{x})A\right)(\mathbf{X}) + \mu\_{ji}(\mathbf{Z})$$

$$= A d\_{\mathfrak{s}\_{ji}^i(\mathbf{x})}^{-1}\mathfrak{s}\_j(\mathbf{Z}) + \mu\_{ji}(\mathbf{Z}).\tag{13}$$

The second claim follows by recalling that for a matrix Lie group *Adg*�<sup>1</sup> � *a* � *g* for all *<sup>g</sup>* <sup>∈</sup> *<sup>G</sup>*, *<sup>a</sup>*∈*gL* and *<sup>μ</sup>G*ð Þ¼ *<sup>v</sup> <sup>g</sup>*�<sup>1</sup> *<sup>v</sup>* for *<sup>v</sup>*∈*TgG*

$$
\mu\_{ji}(Z) = \mu\_G\left(D\_x \mathbf{g}\_{ji}(Z)\right) = \mathbf{g}\_{ji}^{-1} \cdot d\mathbf{g}\_{ji}(Z). \tag{14}
$$

**Theorem 2.2** Let *<sup>P</sup>* ! *<sup>M</sup>* be a principal bundle and *<sup>A</sup>* <sup>∈</sup> <sup>Ω</sup><sup>1</sup> *<sup>P</sup>*, *gL* a connection oneform on *<sup>P</sup>*. Suppose that *<sup>f</sup>* <sup>∈</sup>Gð Þ *<sup>P</sup>* is a global bundle isomorphism. Then *<sup>f</sup>* <sup>∗</sup> *<sup>A</sup>* is a connection one-form on *P*

$$f^\*A = Ad\,\sigma\_{f^{-1}}\circ A + \sigma\_f^\*\,\mu\_G.\tag{15}$$

**Proof**: This follows from the definition of a connection 1-form and the previous Theorem.

Let *H* be the associated horizontal vector bundle defined as the kernel of *A*. Then *TP* ¼ *V*⊕*H* and we set *π<sup>H</sup>* : *TP* ! *H* for the projection onto the horizontal vector bundle.

**Definition 2.2** The two-form *F* ∈ Ω<sup>2</sup> *P*, *gL* � � defined by

$$F(X,Y) = dA\left(\pi\_H(X), \pi\_H(Y)\right), \quad X, Y \in T\_p P, \quad p \in P \tag{16}$$

is called the curvature two form of *A*. Sometimes *F<sup>A</sup>* is written to emphasize the dependence on *<sup>A</sup>*. □

**Definition 2.3** Let *P* be a manifold and *gL* a Lie algebra. For *η*∈ Ω<sup>1</sup> *P*, *gL* � � and *ϕ*∈ Ω<sup>1</sup> *P*, *gL* � �, define ½ � *<sup>η</sup>*, *<sup>ϕ</sup>* <sup>∈</sup> <sup>Ω</sup>*k*þ*<sup>l</sup> <sup>P</sup>*, *gL* � � to be

$$\left[\eta,\phi\right](X\_1,\ldots,X\_{k+l}) = \frac{1}{k!l!} \sum\_{\sigma \in \mathcal{S}\_{k+l}} \text{sgn } \left(\sigma\right) \left[\eta\left(X\_{\sigma(1)},\ldots,X\_{\sigma(k)}\right),\phi(X\_{k+1},\ldots,X\_n)\right],\tag{17}$$

where the commutators on the right are the commutator in the Lie algebra *gL*. This is often written *η*∧*ϕ* as well.

It is useful to recall that if *<sup>X</sup>* <sup>¼</sup> *<sup>V</sup>*<sup>~</sup> be a fundamental vector field and *<sup>Y</sup>* a horizontal vector field on *P*, then the commutator ½ � *X*, *Y* is horizontal.

**Theorem 2.3** (Structure Equations) The curvature form *F* of a connection form *A* satisfies

$$F = dA + \frac{1}{2}[A, A]. \tag{18}$$

**Proof**: Eq. (18) can be checked by inserting *X*, *Y* ∈*TpP* on both sides. Suppose *X*, *Y* are both vertical. Then *<sup>X</sup>*, *<sup>Y</sup>* are fundamental vectors *<sup>X</sup>* <sup>¼</sup> *<sup>V</sup>*<sup>~</sup> *<sup>p</sup>*, *<sup>Y</sup>* <sup>¼</sup> *<sup>W</sup>*<sup>~</sup> *<sup>p</sup>* forcertain elements *V*,*W* ∈ *GL*,

$$F(X,Y) = dA(\pi\_H(X), \pi\_H(Y)) = 0, \quad \frac{1}{2}[A,A](X,Y) = [A(X), A(Y)] = [V, W]. \tag{19}$$

The differential of a one-form *A* is given by

$$d A(X, Y) = L\_X(A(Y)) - L\_Y(A(X)) - A([X, Y]),\tag{20}$$

where vectors *X*, *Y* are extended to vector fields in a neighborhood of *p*. If the extension is chosen by the fundamental vector fields *<sup>V</sup>*<sup>~</sup> and *<sup>W</sup>*<sup>~</sup> , then *dA X*ð Þ¼ , *<sup>Y</sup> LX*ð Þ� *W LY*ð Þ� *V* ½ �¼� *V*, *W* ½ � *V*,*W* , since *V*,*W* are constant maps from *P* to *gL*.

If both *<sup>X</sup>* and *<sup>Y</sup>* are horizontal *F X*ð Þ¼ , *<sup>Y</sup> dA X*ð Þ , *<sup>Y</sup>* and <sup>1</sup> <sup>2</sup> ½ � *A*, *A* ð Þ¼ *X*, *Y* ½ �¼ *A X*ð Þ, *A Y*ð Þ 0.

If *<sup>X</sup>* is vertical and *<sup>Y</sup>* is horizontal, then *<sup>X</sup>* <sup>¼</sup> *<sup>V</sup>*<sup>~</sup> *<sup>p</sup>* for some *<sup>V</sup>* <sup>∈</sup> *gL*, and we have

$$F(X,Y) = d\mathcal{A}(\pi\_H(X), \pi\_H(Y)) = d\mathcal{A}(0,Y) = 0, \quad \frac{1}{2}[A,A](X,Y) = [\mathcal{A}(X), \mathcal{A}(Y)] = [V, \mathbf{0}] = \mathbf{0}. \tag{21}$$

Thus since *<sup>V</sup>*<sup>~</sup> , *<sup>Y</sup>*� is horizontal

$$d A(X, Y) = L\_{\tilde{V}}(A(Y)) - L\_{Y}(V) - A\left(\left[\tilde{V}, Y\right]\right) = -A\left(\left[\tilde{V}, Y\right]\right) = 0. \tag{22}$$

*Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

Connections define an important idea in geometry: that of parallel transport in principal and associated vector bundles and leads to the concept of covariant derivative on an associated vector bundle. An interesting result is that if *<sup>X</sup>* <sup>¼</sup> *<sup>V</sup>*<sup>~</sup> be a fundamental vector field and *Y* a horizontal vector field on *P*, then the commutator ½ � *X*, *Y* is horizontal. In a similar way, *F* can be written locally as was done for the local section. If we have a manifold chart on *<sup>U</sup>* and f g *<sup>∂</sup><sup>i</sup>* are local coordinate basis vector fields on *<sup>U</sup>*, then *<sup>F</sup>μν* <sup>¼</sup> *Fs <sup>∂</sup>μ*, *<sup>∂</sup><sup>ν</sup>* � � and *<sup>F</sup>μν* <sup>¼</sup> <sup>P</sup>dim *gL <sup>a</sup>*¼<sup>1</sup> *<sup>F</sup><sup>a</sup> μν ea* and locally the structure equations take the form *<sup>F</sup>μν* <sup>¼</sup> *<sup>∂</sup>μA<sup>ν</sup>* � *<sup>∂</sup>νA<sup>μ</sup>* <sup>þ</sup> *<sup>A</sup>μ*, *<sup>A</sup><sup>ν</sup>* � �.

**Definition 2.4** Let *γ* : ½ �! *a*, *b M* be a curve in *M*. The map

$$\Pi\_{\mathfrak{g}}^{A}: P\_{r(a)} \to P\_{r(b)}, \quad p \to \gamma\_{p}^{\*}(b), \tag{23}$$

is called parallel transport in the principal bundle *P* along *γ* with respect to the connection *A*.

Similarly for a curve *<sup>γ</sup>* : ½ �! 0, 1 *<sup>M</sup>* the map <sup>Π</sup>*<sup>E</sup>*,*<sup>A</sup> <sup>γ</sup>* : *Eγ*ð Þ <sup>0</sup> ! *Eγ*ð Þ<sup>1</sup> , given by ½ �! *<sup>p</sup>*, *<sup>v</sup>* <sup>Π</sup>*<sup>A</sup> <sup>γ</sup>* ð Þ *p* , *v* h i is a well-defined and linear isomorphism, called parallel transport in the associated vector bundle *E* along the curve *γ* with respect to *A*. Let Φ be a section of *E*, *x*∈ *M* and *X* ∈ *TxM* a tangent vector. A covariant derivative is to be defined by choosing an arbitrary curve *γ* : ð Þ! �*ε*, *ε M* with *γ*ð Þ¼ 0 *x*, *γ*\_ð Þ¼ 0 *X*. For each *u*∈ ð Þ �*ε*, *ε* parallel transport the vector Φð Þ *γ*ð Þ *u* ∈ *Eγ*ð Þ *<sup>u</sup>* back to *Ex* along *γ*. Take the derivative at *u* ¼ 0 of the curve which results in *Ex* giving an element in *Ex*. Formally, set

$$D(\Phi, \boldsymbol{\gamma}, \boldsymbol{x}, A) = \frac{d}{du}\Big|\_{u=0} \left(\Pi\_{\boldsymbol{\gamma}\_u}^{E,A}\right)^{-1} (\Phi(\boldsymbol{\gamma}(u)) \in E\_{\boldsymbol{x}}.\tag{24}$$

The restriction of the curve *γ* starting at 0 and ending at time *u* for *u* ∈ð Þ �*ε*, *ε* is denoted *γu*. Parallel transport Π*<sup>A</sup> <sup>γ</sup>* is a smooth map between the fibers *Pγ*ð Þ *<sup>a</sup>* and *Pγ*ð Þ *<sup>b</sup>* and does not depend on the parametrization of the curve. Let *γ* be a curve in *M* from *x* to *y* and *γ*<sup>0</sup> a curve from *y* to *z*. Denote *γ* acting followed by *γ*<sup>0</sup> by *γ* <sup>∗</sup> *γ*<sup>0</sup> , where *γ* comes first, then Π*<sup>A</sup> <sup>γ</sup>*∘*γ*<sup>0</sup> <sup>¼</sup> <sup>Π</sup>*<sup>A</sup> <sup>γ</sup>*0∘Π*<sup>A</sup> γ* .

**Theorem 2.4** Let *<sup>s</sup>* : *<sup>U</sup>* ! *<sup>P</sup>* be a local gauge *As* <sup>¼</sup> *<sup>s</sup>* <sup>∗</sup> *<sup>A</sup>* and *<sup>ϕ</sup>* : *<sup>U</sup>* ! *<sup>V</sup>* the map with Φ ¼ ½ � *s*, *ϕ* . Then the vector *D*ð Þ Φ, *γ*, *x*, *A* ∈ *Ex* is given by

$$D(\Phi, \boldsymbol{\gamma}, \boldsymbol{\kappa}, A) = [\boldsymbol{s}(\boldsymbol{\kappa}), d\phi(\boldsymbol{X}) + \rho\_{\boldsymbol{s}}\left(A\_{\boldsymbol{s}}(\boldsymbol{X})\right)\phi(\boldsymbol{\kappa})].\tag{25}$$

**Proof**: It holds that

$$\left(\left(\Pi\_{\mathcal{I}\_t}^{E,\mathcal{A}}\right)^{-1}(\Phi(\boldsymbol{\gamma}(t)))\right) = \left[\left(\Pi\_{\mathcal{I}\_t}^{\mathcal{A}}\right)^{-1}(\boldsymbol{s}(\boldsymbol{\gamma}(t)), \phi(\boldsymbol{\gamma}(H)))\right].\tag{26}$$

Let *q t*ð Þ be the unique smooth curve determined in the fiber *Px* such that Π*<sup>A</sup> <sup>γ</sup>*ð Þ*<sup>t</sup>* ð Þ¼ *q t*ð Þ *<sup>s</sup>*ð Þ *<sup>γ</sup>*ð Þ*<sup>t</sup>* . Write *q t*ðÞ¼ *s x*ð Þ� *g t*ð Þ and *g t*ð Þ is a uniquely determined smooth curve in *G*

$$\left(\Pi\_{\gamma\_i}^{E,A}\right)^{-1}(\Phi(\chi(t))) = [q(t), \Phi(\chi(t))] = [\mathfrak{s}(\mathfrak{x}), \rho(\mathfrak{g}(t))\phi(\chi(t))].\tag{27}$$

For *t* ¼ 0, we have

$$\mathfrak{s}(\mathfrak{x}) = \mathfrak{s}(\mathfrak{y}(\mathbf{0})) = \Pi^{A}\_{\gamma\_{0}}(q(\mathbf{0})) = q(\mathbf{0}), \quad \mathfrak{g}(\mathbf{0}) = \mathfrak{a} \in \mathbf{G}.\tag{28}$$

Consequently, *g*\_ð Þ 0 ∈ *gL*, and it follows that

$$D(\Phi, \chi, \mathfrak{x}, A) = \frac{d}{dt}\Big|\_{t=0} [\mathfrak{s}(\mathfrak{x}), \rho(\mathfrak{g}(t))\phi(\mathfrak{y}(t))] = [\mathfrak{s}(\mathfrak{x}), \rho\_x(\dot{\mathfrak{g}}(\mathfrak{0}))\phi(\mathfrak{x}) + d\phi(\mathfrak{X})].\tag{29}$$

To finish, *ρr*ð Þ *g*\_ð Þ 0 is calculated,

$$\left. \frac{d}{dt} \right|\_{t=0} s(\boldsymbol{\gamma}(t)) = ds(\boldsymbol{X}), \quad \left. \frac{d}{dt} \right|\_{t=0} \Pi^{A}\_{\boldsymbol{\gamma}\_i}(\mathbf{g}(t)) = \dot{q}(\mathbf{0}) + \frac{d}{dt} \bigg|\_{t=0} \Pi^{A}\_{\boldsymbol{\gamma}\_i}(s(\boldsymbol{x})). \tag{30}$$

Since the curve Π*<sup>A</sup> γt* ð Þ *s x*ð Þ is horizontal, with respect to *A*, we obtain *As*ð Þ¼ *x A ds X* ð Þ¼ ð Þ *<sup>A</sup>*ð Þ *<sup>q</sup>*\_ð Þ <sup>0</sup> . Since *<sup>q</sup>*\_ð Þ <sup>0</sup> and *<sup>g</sup>*\_ð Þ <sup>0</sup> *s x*ð Þ are related by *<sup>ϕ</sup>*<sup>∗</sup> , the map that associates to a Lie algebra element the corresponding vector field on *M* is a homeomorphism, hence, *A*ð Þ¼ *q*\_ð Þ 0 *g*\_ð Þ 0 by definition of connection one-form. It follows that

$$\rho\_\*\left(\dot{\mathfrak{g}}(\mathbf{0})\right) = \rho\_\*\left(A\_\*(X)\right),\tag{31}$$

and so the claim.

In fact, the theorem implies that *D*ð Þ Φ, *γ*, *x*, *A* depends only on the tangent vector *X* not on the curve *γ* itself. Now we are in a position to define the covariant derivative.

**Definition 2.5** Let Φ be a section of an associated vector bundle *E* and *X* ∈ Xð Þ *M* a vector field on *M*. The covariant derivative ∇*<sup>A</sup> <sup>X</sup>* Φ of the section of *E* defined by

$$(\nabla\_X^A \Phi)(\mathfrak{x}) = D(\Phi, \mathfrak{y}, \mathfrak{x}, A), \tag{32}$$

where *γ* is any vector through *Xx* tangent to *γ*. The covariant derivative is a map <sup>∇</sup>*<sup>A</sup>* : <sup>Γ</sup>ð Þ! *<sup>E</sup>* <sup>Ω</sup><sup>1</sup> ð Þ *M*, *E* .

The fact that ∇*<sup>A</sup>*Φ is a smooth one-form in Ω<sup>1</sup> ð Þ *M*, *E* for every Φ ∈ Γð Þ *E* is clear from the local formula. In physics the covariant derivative in a local gauge *s* : *U* ! *P* with Φ ¼ ½ � *s*, *ϕ* is given as

$$
\nabla\_X^A \Phi = \begin{bmatrix} \mathfrak{s}, \nabla\_X^A \phi \end{bmatrix} \qquad \nabla\_X^A \phi(\mathfrak{x}) = d\phi(X\_\mathfrak{x}) + \rho\_\ast \left( A\_i(X\_\mathfrak{x}) \right) \phi(\mathfrak{x}).\tag{33}
$$

The map ∇*<sup>A</sup>* is -linear in both entries and satisfies ∇*<sup>A</sup> fX* <sup>Φ</sup> <sup>¼</sup> *<sup>f</sup>*∇*<sup>A</sup> <sup>X</sup>* Φ for all smooth functions *<sup>f</sup>* <sup>∈</sup> <sup>C</sup><sup>∞</sup>ð Þ *<sup>M</sup>*, . The Leibnitz rule <sup>∇</sup>*<sup>A</sup> <sup>X</sup>*ð Þ¼ *<sup>λ</sup>*<sup>Φ</sup> ð Þ *LX<sup>λ</sup>* <sup>Φ</sup> <sup>þ</sup> *<sup>λ</sup>*∇*<sup>A</sup> <sup>X</sup>* Φ holds for all smooth functions *<sup>λ</sup>*∈C<sup>∞</sup>ð Þ *<sup>M</sup>*, .

Suppose *γ* : ½ �! 0, 1 *M* is a closed curve in *M*, *γ*ð Þ¼ 0 *γ*ð Þ¼ 1 *x*, a loop. Then parallel transport Π*<sup>E</sup>*,*<sup>A</sup> <sup>γ</sup>* is a linear isomorphism of the fiber *Ex* to itself. This isomorphism is called the holonomy *HolE <sup>γ</sup>*,*<sup>x</sup>* of the loop *γ* in the basepoint *x* with respect to the connection *A*. The Wilson loop is the map *W<sup>E</sup> <sup>γ</sup>* that associates to a connection *A* and loop *γ* the number *W<sup>E</sup> <sup>γ</sup>* ð Þ¼ *<sup>A</sup>* Tr *Hol<sup>E</sup> <sup>γ</sup>*,*<sup>x</sup>*ð Þ *A* .

The map <sup>∇</sup>*<sup>A</sup>* can be regarded as a generalization of the differential *<sup>d</sup>* : <sup>C</sup><sup>∞</sup>ð Þ! *<sup>M</sup>* Ω1 ð Þ *M* . The differential *d* can be identified with the covariant derivative on the trivial line bundle over *M*. The differential can be uniquely be extended in the standard way to an exterior derivative *<sup>d</sup>* : <sup>Ω</sup>*k*ð Þ! *<sup>M</sup>* <sup>Ω</sup>*k*þ<sup>1</sup> ð Þ *M* by demanding *dd f* ¼ 0 for all *<sup>f</sup>* <sup>∈</sup>C<sup>∞</sup>ð Þ *<sup>M</sup>* and *<sup>d</sup>*ð Þ¼ *<sup>α</sup>*∧*<sup>β</sup> <sup>d</sup>α*∧*<sup>β</sup>* þ �ð Þ<sup>1</sup> *<sup>k</sup> <sup>α</sup>*∧*d<sup>β</sup>* for *<sup>α</sup>*<sup>∈</sup> <sup>Ω</sup>*k*ð Þ *<sup>M</sup>* and *<sup>β</sup>* <sup>∈</sup> <sup>Ω</sup>*<sup>l</sup>* ð Þ *M* . This differential satisfies *<sup>d</sup>*∘*<sup>d</sup>* <sup>¼</sup> 0 on all forms, and so the de Rham cohomology *<sup>H</sup><sup>k</sup>* ð Þ *M* is well-defined for all *k*.

It is useful to show the covariant derivative can be extended similarly to an exterior covariant derivative

$$d\_A: \Omega^k(M, E) \to \Omega^{k+1}(M, E). \tag{34}$$

This exterior covariant derivative, however, in general does not satisfy *dA*∘*dA* ¼ 0. There is a well-defined vector product <sup>∧</sup> : <sup>Ω</sup>*<sup>k</sup>*ð Þ� *<sup>M</sup>* <sup>Ω</sup><sup>1</sup> ð Þ! *<sup>M</sup>* <sup>Ω</sup>*<sup>k</sup>*þ<sup>1</sup> ð Þ *M*, *E* between standard differential forms, with values in , and differential forms with values in *E*. Here we get the product between a scalar in and a vector in *E*, which is welldefined. Let *<sup>ω</sup>* be an element of <sup>Ω</sup>*<sup>k</sup>*ð Þ *<sup>M</sup>*, *<sup>E</sup>* and choose a local basis *<sup>e</sup>*1, … ,*er* of *<sup>E</sup>* over an open set *U* ⊂ *M*, then *ω* can be written

$$w = \sum\_{i=1}^{r} w\_i \otimes e\_i,\tag{35}$$

with uniquely defined *<sup>k</sup>*-forms *<sup>ω</sup><sup>i</sup>* <sup>∈</sup> <sup>Ω</sup>*<sup>k</sup>*ð Þ *<sup>U</sup>* .

It should be stated that the definition of forms can be extended by defining Cð Þ *M*,*W* as the set of all smooth maps from *M* into the vector space *W*, which has a canonical structure of a manifold, so that smooth maps are defined. A one-form on *M* with values in *<sup>W</sup>* is an alternating <sup>C</sup><sup>∞</sup>ð Þ *<sup>M</sup>* nonlinear map *<sup>ω</sup>* : *<sup>χ</sup>*ð Þ� *<sup>M</sup>* <sup>⋯</sup> � *<sup>χ</sup>*ð Þ! *<sup>M</sup>* <sup>C</sup><sup>∞</sup>ð Þ *<sup>M</sup>*,*<sup>W</sup>* . The set of all *<sup>k</sup>*-forms on *<sup>M</sup>*, and values in *<sup>W</sup>* can be identified with <sup>Ω</sup>*<sup>k</sup>*ð Þ¼ *<sup>M</sup>*,*<sup>W</sup>* <sup>Ω</sup>*<sup>k</sup>*ð Þ *<sup>M</sup>* <sup>⊗</sup> *W*. It is said forms in Ω<sup>1</sup> ð Þ *M*, *W* are twisted with *W*. Scalar product of twisted forms can be defined by choosing a local frame for *E* over *U* ⊂ *M* and expand *k*-forms *F*, *G* twisted with *<sup>E</sup>* as *<sup>F</sup>* <sup>¼</sup> <sup>P</sup>*<sup>r</sup> <sup>i</sup>*¼<sup>1</sup> *Fi* <sup>⊗</sup> *ei*, *<sup>G</sup>* <sup>¼</sup> <sup>P</sup>*<sup>r</sup> <sup>i</sup>*¼<sup>1</sup> *Gi* <sup>⊗</sup> *ei* with *Fi*, *Gi* <sup>∈</sup> <sup>Ω</sup>*<sup>k</sup>*ð Þ *<sup>U</sup>*, . Set

$$
\langle F, G \rangle\_E = \sum\_{i,j=1}^r \langle F\_i, G\_j \rangle \langle e\_i, e\_j \rangle\_E \tag{36}
$$

with Hodge star operator <sup>∗</sup> : <sup>Ω</sup>*<sup>k</sup>*ð Þ! *<sup>M</sup>*, *<sup>E</sup>* <sup>Ω</sup>*<sup>n</sup>*�*<sup>k</sup>*ð Þ *<sup>M</sup>*, *<sup>E</sup>* by <sup>∗</sup> *<sup>F</sup>* <sup>¼</sup> <sup>P</sup>*<sup>r</sup> <sup>i</sup>*¼<sup>1</sup> ð Þ <sup>∗</sup> *Fi* <sup>⊗</sup> *ei*, and codifferential *<sup>d</sup>*<sup>∗</sup> ¼ �ð Þ<sup>1</sup> *<sup>t</sup>*þ*nk*þ<sup>1</sup> <sup>∗</sup> *<sup>d</sup>*<sup>∗</sup> .

**Definition 2.6** Let ∇ be a covariant derivative on a vector bundle *E*. Define the exterior covariant derivative or differential *<sup>d</sup>*<sup>∇</sup> : <sup>Ω</sup>*<sup>k</sup>*ð Þ! *<sup>M</sup>*, *<sup>E</sup>* <sup>Ω</sup>*<sup>k</sup>*þ<sup>1</sup> ð Þ *M*, *E* by

$$d\_{\nabla} o = \sum\_{i=1}^{r} \left( d o\_{i} \otimes e\_{i} + \left( -1 \right)^{k} o\_{i} \wedge \nabla e\_{i} \right). \tag{37}$$

If <sup>∇</sup> <sup>¼</sup> <sup>∇</sup>*<sup>A</sup>* is the covariant derivative on an associated vector bundle determined by connection *<sup>A</sup>* on a principal bundle, write *dA* <sup>¼</sup> *<sup>d</sup>*∇. □.

**Theorem 2.5** The definition of *d*<sup>∇</sup> is independent of the choice of local basis f g *ei* for *E*.

**Proof**: Let *ei* f g0 be another local basis of *E* over *U*. Then there exist unique functions *Cji* ∈Cð Þ *U*, with *e*<sup>0</sup> *<sup>i</sup>* <sup>¼</sup> <sup>P</sup>*<sup>r</sup> <sup>i</sup>*¼<sup>1</sup>*Cjiei*. The matrix *<sup>C</sup>* with entries *Cji* is invertible. Let *C*�<sup>1</sup> be the inverse matrix with entries *C*�<sup>1</sup> *ij* and define

$$a\_j' = \sum\_{l=1}^r \mathbb{C}\_{lj}^{-1} a\_l \,. \tag{38}$$

Then *<sup>ω</sup>* <sup>¼</sup> <sup>P</sup>*<sup>r</sup> <sup>i</sup>*¼1*ω<sup>i</sup>* <sup>⊗</sup> *ei* <sup>¼</sup> <sup>P</sup>*<sup>r</sup> <sup>j</sup>*¼1*ω*<sup>0</sup> *<sup>j</sup>* ⊗ *e*<sup>0</sup> *j* . Now let us calculate

$$\begin{split} \sum\_{j=1}^{r} \left( d o\_{j}^{\prime} \otimes e\_{j}^{\prime} + (-1)^{k} o\_{j}^{\prime} \otimes \nabla e\_{j}^{\prime} \right) &= \sum\_{i,j,l=1}^{r} \left( d \left( \mathbf{C}\_{lj}^{-1} \right) \wedge \mathbf{C}\_{ji} \alpha \mathbf{l} \otimes e\_{i} + \mathbf{C}\_{lj}^{-1} \mathbf{C}\_{ji} d\alpha \otimes e\_{i} \right. \\ &+ (-1)^{k} \mathbf{C}\_{lj}^{-1} \alpha \eta \wedge d \mathbf{C}\_{ji} \otimes e\_{i} + (-1)^{k} \mathbf{C}\_{lj}^{-1} \mathbf{C}\_{ji} \alpha \eta \wedge \nabla e\_{i}) \\ \sum\_{i=1}^{r} \left( d \alpha\_{i} \otimes e\_{i} + (-1)^{k} \alpha\_{i} \otimes e\_{i} \right) &+ \sum\_{i,j,l=1}^{r} \left( d \left( \mathbf{C}\_{lj}^{-1} \mathbf{C}\_{ji} + \mathbf{C}\_{ij}^{-1} d \mathbf{C}\_{ji} + \mathbf{C}\_{lj}^{-1} d \mathbf{C}\_{ji} \right) \wedge \alpha\_{l} \otimes e\_{i}. \end{split} \tag{39}$$

The last term is zero since

$$\mathbf{0} = d\delta\_{li} = d\left(\sum\_{j=1}^{r} \mathbf{C}\_{lj}^{-1} \mathbf{C}\_{ji}\right) = \sum\_{j=1}^{r} \left(d\left(\mathbf{C}\_{lj}^{-1}\right) \mathbf{C}\_{ji} + \mathbf{C}\_{lj}^{-1} d\mathbf{C}\_{ji}\right). \tag{40}$$

The derivative *d*<sup>∇</sup> also satisfies

$$d\_{\nabla}(\boldsymbol{\alpha} + \boldsymbol{\alpha}') = d\_{\nabla}\boldsymbol{\alpha} + d\_{\nabla}\boldsymbol{\alpha}', \qquad d\_{\nabla}(\boldsymbol{\sigma} \otimes \boldsymbol{e}) = d\boldsymbol{\sigma} + \left(-\mathbf{1}\right)^{k} \boldsymbol{\sigma} \wedge \nabla \boldsymbol{e}, \tag{41}$$

as well as the Leibnitz formula for exterior covariant derivative. Unlike the case of the standard exterior derivative *d*, it can be shown that *d*<sup>∇</sup> in general has square *<sup>d</sup>*∇∘*d*<sup>∇</sup> 6¼ 0, a fact related to the curvature *<sup>F</sup>*<sup>∇</sup> of the covariant derivative <sup>∇</sup>.

#### **3. Yang-Mills Lagrangians**

In physics, the Lagrangians that are used are restricted out of an infinite set of possible Lagrangians by various principles. The Lagrangian or action of a field theory should be invariant under certain transformations of the fields by symmetry groups. The laws of physics have to be invariant as well, a second meaning of symmetry is invariance of the actual field configurations. In spontaneously broken gauge theories, the Lagrangian is invariant under gauge transformations with values in a given Lie group *G*. However, due to the Higgs field, the vacuum is invariant under a subgroup *H* ⊂ *G* of transformations. The purpose of the Higgs is to give mass to the particles that appear in the Lagrangians without at the same time breaking gauge invariance. A quantum field theory associated to the Lagrangian should be renormalizable so after the renormalization of parameters, finite results that can be compared with experiment are obtained.

The scalar product of forms is given as

$$\langle \boldsymbol{\omega}, \boldsymbol{\eta} \rangle = \sum\_{\mu\_1 < \cdots < \mu\_k} \alpha\_{\mu\_1 \cdots \mu\_k} \eta^{\mu\_1 \cdots \mu\_k} = \frac{1}{k!} \alpha\_{\mu\_1 \cdots \mu\_k} \eta^{\mu\_1 \cdots \mu\_k}, \qquad \left| \boldsymbol{\omega} \right|^2 = \langle \boldsymbol{\omega}, \boldsymbol{\omega} \rangle. \tag{42}$$

To write the Yang-Mills equations, the Hodge star operator written as <sup>∗</sup> <sup>Ω</sup>*<sup>k</sup>*ð Þ! *<sup>M</sup>*, <sup>Ω</sup>*<sup>n</sup>*�*<sup>k</sup>*ð Þ *<sup>M</sup>*, is the linear map on real-valued forms so that if *dvg* is the volume element on *M*,

*Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

$$
\alpha \wedge \ast \eta = \langle \alpha, \eta \rangle \, dv\_{\mathfrak{g}}, \qquad \alpha, \eta \in \Omega^k(\mathsf{M}, \mathbb{R}). \tag{43}
$$

The *L*<sup>2</sup> -scalar product of forms h i �, � *<sup>L</sup>*<sup>2</sup> : <sup>Ω</sup>*<sup>k</sup>* <sup>0</sup>ð Þ� *<sup>M</sup>*, <sup>Ω</sup><sup>1</sup> <sup>0</sup>ð Þ! *M*, is defined by

$$
\langle \alpha, \eta \rangle\_{L^2} = \int\_M \langle \alpha, \eta \rangle \, dv\_{\mathfrak{g}}.\tag{44}
$$

To obtain a finite integral, it is usual to work with forms of compact support. The codifferential *<sup>d</sup>*<sup>∗</sup> <sup>Ω</sup>*k*þ<sup>1</sup> ! <sup>Ω</sup>*k*ð Þ *<sup>M</sup>* is

$$d^\* = (-1)^{t+nk+1\*}d^\*.\tag{45}$$

**Theorem 3.1** Let *M* be a manifold without boundary. Then the codifferential *d*<sup>∗</sup> is the formal adjoint of the differential *d* with respect to the *L*<sup>2</sup> scalar product on forms of compact support h i *<sup>d</sup>ω*, *<sup>η</sup> <sup>L</sup>*<sup>2</sup> <sup>¼</sup> *<sup>ω</sup>*, *<sup>d</sup>*<sup>∗</sup> h i*<sup>η</sup> <sup>L</sup>*<sup>2</sup> for all *<sup>ω</sup>*<sup>∈</sup> <sup>Ω</sup>*<sup>k</sup>* <sup>0</sup> ð Þ *<sup>M</sup>* , *<sup>η</sup>*<sup>∈</sup> <sup>Ω</sup>*<sup>k</sup>*þ<sup>1</sup> <sup>0</sup> ð Þ *M* .

**Proof**: The difference h i *<sup>d</sup>ω*, *<sup>η</sup>* � *<sup>ω</sup>*, *<sup>d</sup>*<sup>∗</sup> h i*<sup>η</sup>* with respect to the pointwise scalar product of the forms. Applying <sup>∗</sup> twice gives a map ∗∗ : <sup>Ω</sup>*<sup>n</sup>*�*<sup>k</sup>*ð Þ! *<sup>M</sup>* <sup>Ω</sup>*<sup>n</sup>*�*<sup>k</sup>*ð Þ *<sup>M</sup>* is given by

$$\ast \ast = (-1)^{t + (n-k)k} . \tag{46}$$

Therefore, we have

$$\begin{split} \langle d\alpha, \eta \rangle - \langle \alpha, d^\* \eta \rangle d\upsilon\_g &= (d\alpha) \wedge^\* \eta - \alpha \wedge \* (d^\* \eta) = (d\alpha) \wedge \* \eta + (-1)^k \alpha \wedge (d^\* \eta) \\ &= d(\alpha \wedge \* \eta). \end{split} \tag{47}$$

Stokes' Theorem applied here implies the result.

This knowledge allows us to define the covariant codifferential *d*<sup>∗</sup> <sup>∇</sup> : Ω*<sup>k</sup>*þ<sup>1</sup> ð Þ! *M*, *E* <sup>Ω</sup>*<sup>k</sup>*ð Þ *<sup>M</sup>*, *<sup>E</sup>* by

$$d\_{\nabla}^{\*} = (-1)^{t+nk+1\*} d\_{\nabla}^{\*}.\tag{48}$$

To define the Yang-Mills Lagrangian and the associated Yang-Mills equations, procced as follows. To do so, we use an *n*-dimensional, oriented, psuedo-Riemannian manifold ð Þ *M*, *g* , with signature ð Þ *s*, *t* a principal *G*-bundle *P* ! *M* with compact structure group *G* of dimension *r*, a scalar product on *gL*, which is *Ad*, invariant and an orthonormal vector space basis *Ti* for *gL*.

Let *A* be a connection 1-form on the principal bundle *P* with curvature two-form *F<sup>A</sup>* ∈ Ω<sup>2</sup> *P*, *gL* � �. The curvature defines a twisted two-form *F<sup>A</sup> <sup>M</sup>* ∈ Ω<sup>2</sup> ð Þ *M*, *Ad P*ð Þ . The Yang-Mills Lagrangian is defined by

$$\mathcal{L}\_{YM} = -\frac{1}{2} \langle F\_{M^\bullet}^A F\_M^A \rangle\_{Ad(\mathbb{P})}.\tag{49}$$

For a fixed connection *A*, this Lagrangian is a global smooth function L*YM*ð Þ *A* : *<sup>M</sup>* ! . The Yang-Mills Lagrangian is gauge invariant, <sup>L</sup>*YM <sup>f</sup>* <sup>∗</sup> ð Þ¼ *<sup>A</sup>* <sup>L</sup>*YM*ð Þ *<sup>A</sup>* , for all bundle automorphisms *<sup>f</sup>* <sup>∈</sup>Gð Þ *<sup>P</sup>* and all *<sup>A</sup>* on *<sup>P</sup>*. In a chart with coordinates *<sup>x</sup><sup>μ</sup>*, the components of *F<sup>A</sup>* are *F<sup>A</sup> μν* <sup>¼</sup> *<sup>F</sup><sup>A</sup> <sup>s</sup> <sup>∂</sup>μ*, *<sup>∂</sup><sup>ν</sup>* � � and they can be expanded over the Lie algebra basis as

$$F^{A}\_{\mu\nu} = F^{Aa}\_{\mu\nu} T\_a,\tag{50}$$

and *FAa <sup>s</sup>* ∈ Ω<sup>2</sup> ð Þ *<sup>U</sup>* are real-valued differential forms, *<sup>F</sup>Aa μν* are real-valued smooth functions on *U*. Thus, expanding (49), the Yang-Mills Lagrangian is locally

$$\mathcal{L}\_{\rm YM}(A) = -\frac{1}{2} \langle F\_{\rm s}^{A}, F\_{\rm s}^{A} \rangle = -\frac{1}{4} F\_{\mu\nu}^{Aa} F\_{a}^{A \,\mu\nu},\tag{51}$$

where *FAa μν* <sup>¼</sup> *<sup>∂</sup>μAa <sup>ν</sup>* � *<sup>∂</sup><sup>ν</sup> Aa <sup>μ</sup>* <sup>þ</sup> *<sup>f</sup> bca <sup>A</sup><sup>b</sup> μAc <sup>ν</sup>*, and structure constant *fcba* for the Lie algebra.

Suppose ð Þ *M*, *g* is compact and closed. The Yang-Mills action for a principal *G*-bundle *P* ! *M* is the smooth map *SYM* : Að Þ! *P* , with Að Þ *P* the space of all connection one-forms *A* on *P* defined by

$$S\_{YM}(A) = -\frac{1}{2} \int\_M \left< F\_M^A, F\_M^A \right>\_{Ad(P)} dv\_{\mathfrak{g}}.\tag{52}$$

A connection *A* on the principal bundle *P* is a critical point of the Yang-Mills action if

$$\left. \frac{d}{du} \right|\_{u=0} \mathcal{S}\_{\rm YM}(A + u\beta) = 0,\tag{53}$$

for all such variations on *P*.

**Theorem 3.2** A connection *A* on a principal bundle *P* ! *M* is a critical point of the Yang-Mills action if and only if *A* satisfies the Yang-Mills equation

$$d\_A \, ^\* F\_M^A = \mathbf{0}.\tag{54}$$

**Proof**: Based on the structure equations, we calculate

$$F^{A + u\beta} = d(A + u\beta) + \frac{1}{2}[A + u\beta, A + u\beta] = F^A + u\left(d\beta + [A, \beta]\right) + \frac{1}{2}u^2[\beta, \beta]. \tag{55}$$

Differentiating this and using the adjoint property on *M*, it follows that

$$\frac{d}{du}\Big|\_{u=0} \left< F\_{M}^{A+u\beta}, F\_{M}^{A+u\beta} \right>\_{Ad(P),L^{2}} = 2 \left< d\_{A}\beta, F\_{M}^{A} \right>\_{Ad(P),L^{2}} = 2 \left< \beta, d\_{A}^{\*} F\_{M}^{A} \right>\_{Ad(P),L^{2}}.\tag{56}$$

The scalar product on the Lie algebra is non-degenerate, the *L*<sup>2</sup> -scalar product is non-degenerate. It follows that *A* is a critical point of the Lagrangian (49) if and only if (54) holds.

Any connection *A* on *P* has to satisfy the Bianchi identity

$$d\_A F\_M^A = \mathbf{0}.\tag{57}$$

When the group *G* ¼ *U*ð Þ1 , the local curvature forms are independent of the choice of local gauge *s* and define a global two-form *FA*, so the Bianchi identity and Yang-Mills equations are given by *dFM* <sup>¼</sup> 0 and *<sup>d</sup>*<sup>∗</sup> *FM* <sup>¼</sup> 0. These are Maxwell's equations for a source-free electromagnetic field on a general *n*-dimensionsl oriented pseudo-Riemannian manifold.

*Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

Fields of different types can be introduced into the picture. These include matter fields that couple to the gauge field *A*, such as scalar fields or fermionic spinor fields, and are distinguished by the statistics they obey. These two types of particle are distinguished by an intrinsic property called spin, and this has to have its own treatment.

A complex scalar field is a smooth map *ϕ* : *M* ! ℂ. A multiplet of complex scalar fields is a smooth map *<sup>ϕ</sup>* : *<sup>M</sup>* ! <sup>ℂ</sup>*<sup>r</sup>* for some *<sup>r</sup>*>1 with the standard Hermitian scalar product h i *<sup>v</sup>*, *<sup>w</sup>* <sup>¼</sup> *<sup>v</sup>*†*<sup>w</sup>* on <sup>ℂ</sup>*<sup>r</sup>* . Given a principal *g*-bundle *P* ! *M* with compact structure group *G* of dimension *r*, a complex representation *ρ* : *G* ! *GL W*ð Þ with associated complex vector bundle *E* and *G*-invariant Hermitian scalar product h i �, � *<sup>W</sup>* on *W* and bundle metric h i �, � *<sup>E</sup>* on the vector bundle *E*. If the dimension of *V* is one, then a smooth section of *E* is called a multiplet of complex scalar fields and the vector space *<sup>W</sup>* is called a multiplet space. With the covariant derivative *dA* : <sup>Γ</sup>ð Þ! *<sup>E</sup>* <sup>Ω</sup><sup>1</sup> ð Þ *M*, *E* and the scalar product h i �, � *<sup>E</sup>* on <sup>Ω</sup><sup>1</sup> ð Þ *M*, *E* , the Klein-Gordon Lagrangian can be given.

**Definition 3.1** The Klein-Gordon Lagrangian for a multiplet of the complex scalar field Φ ∈Γð Þ *E* of mass *m* coupled to a gauge field *A* is

$$
\mathcal{L}\_{KG}(\Phi, A) = \langle d\_A \Phi, d\_A \Phi \rangle\_E - m^2 \langle \Phi, \Phi \rangle\_E. \tag{58}
$$

For given fields Φ and *A*, the Klein-Gordon Lagrangian is a smooth function L*KG*ð Þ Φ, *A* : *M* ! .

The associated action *SKG*ð Þ Φ, *A* is the integral over the Klein-Gordon Lagrangian on the closed manifold *M*. In local coordinates on *M*, the kinetic term is

$$
\langle d\_A \Phi, d\_A \Phi \rangle = - \left\langle \nabla^{A\mu} \Phi, \nabla^{A\mu} \Phi \right\rangle\_E. \tag{59}
$$

In a local gauge *s* for the principal bundle, the Klein-Gordon Lagrangian can be written as Φj*<sup>U</sup>* ¼ ½ � *s*, *ϕ*

$$\mathcal{L}\_{\rm KG}(\Phi, \mathcal{A}) = (\partial^{\mu}\phi)^{\dagger} \left(\partial\_{\mu}\phi\right) - m^{2}\phi^{\dagger}\phi + (\partial^{\mu}\phi)^{\dagger} \left(\mathcal{A}\_{\mu}\phi\right) - \left(\phi^{\dagger}\mathcal{A}\_{\mu}\right)(\partial^{\mu}\phi) - \phi^{\dagger}\mathcal{A}^{\mu}\mathcal{A}\_{\mu}\phi. \tag{60}$$

As with the Yang-Mills Lagrangian, the Klein-Gordon Lagrangian of a multiplet of complex scalar fields coupled to a gauge field is gauge invariant.

To describe fermion fields classically using spinor fields on spacetime, a Lagrangian for fermions is defined. The setting for doing this is an *n*-dimensional oriented and time-oriented pseudo-Riemannian spin manifold ð Þ *M*, *g* of signature ð Þ *s*, *t* , a spin structure *Spin*† ð Þ *M* together with complex spin bundle *S* ! *M*, and a Dirac form ,h i on the Dirac spinor space, not necessarily positive definite, with Dirac bundle metric h i, *<sup>D</sup>*. We abbreviate h i Ψ, Φ *<sup>D</sup>* as ΨΦ.

**Definition 3.2** The Dirac Lagrangian for a free spinor field *ψ* ∈ Γð Þ *S* ⊗ *E* mass *m* is defined by

$$\mathcal{L}\_D(\boldsymbol{\Psi}) = \text{Re } \langle \boldsymbol{\Psi}, D\_A \boldsymbol{\Psi} \rangle\_{S \otimes E} - m \langle \boldsymbol{\Psi}, \boldsymbol{\Psi} \rangle\_{S \otimes E} = \text{Re } (\overline{\boldsymbol{\Psi}} D\_A \boldsymbol{\Psi}) - m \overline{\boldsymbol{\Psi}} \boldsymbol{\Psi}, \tag{61}$$

where *DA* Γð Þ! *S* ⊗ *E* Γð Þ *S* ⊗ *E* denotes the twisted Dirac operator, the first term the kinetic term and the second pertains to the mass of the particle. The associated action *SD*½ � Ψ, *A* is the integral over the Dirac Lagrangian on a closed manifold *M*.

Based on the fundamental Lagrangians which couple the fields to the gauge field, the Lagrangian of the Standard Model can be built up as the sum of all the individual Lagrangians that are to be accounted for and required to describe all the observed fields. It could be referred to as the Yang-Mills-Dirac-Higgs-Yukawa Lagrangian

$$\mathcal{L} = \text{Re}\left(\overline{\Psi}D\_A\Psi\right) + \langle d\_A\Phi, d\_A\Phi\rangle - V(\Phi) - 2\mathbf{g}\_Y \text{Re}\left(\overline{\Psi}\_L\Phi\Psi\_R\right) - \frac{1}{2}\langle F\_M^A, F\_M^A\rangle\_{Ad(\mathbb{P})}.\tag{62}$$

Experiment informs us that a realistic theory of particle physics has to involve chiral fermions with a nonzero mass because the weak interaction is not invariant under parity inversion.

#### **4. Yang-Mills on four-dimensional manifolds**

The general overview of Yang-Mills theory is now restricted to four-dimensional compact Riemannian manifolds. This will emphasize how Yang-Mills relates to manifolds which are the natural context for Yang-Mills theory for more than one reason. First the four-dimensional action is bounded below by the characteristic number of the bundle so the field is constrained by the topology. By invariant theory, this is linked to the conformal invariance of the action occuring just in dimension four. The base manifold conformal structure leads to the relevant geometry. The curvature is given in terms of the connection form *ω*, and the action is the sum of a gradient term and a non-linear self-interaction term. They are of comparable strength only in dimension four. Some of the symbols are adapted to the particular case studied here.

Riemannian geometry in dimension four is distinguished by the fact that the universal cover *Spin*ð Þ 4 of the rotation group *SO*ð Þ 4 is not a simple group, but factors *Spin*ð Þ¼ <sup>4</sup> *SU*ð Þ� <sup>2</sup> *SU*ð Þ<sup>2</sup> . One way to look at this is at the group level, <sup>4</sup> and <sup>ℂ</sup><sup>2</sup> can be identified with the quaternions ℍ. Thus *SO*ð Þ2 may be regarded as the unit quaternions. For unit quaternions, *<sup>g</sup>* and *<sup>h</sup>*, the map *<sup>x</sup>* ! *<sup>g</sup>*�<sup>1</sup>*xh* is an orthogonal transformation of <sup>ℍ</sup> <sup>¼</sup> <sup>4</sup> with determinant one, and hence yields a homeomorphism *π* : *SU*ð Þ� 2 *SU*ð Þ!2 *SO*ð Þ 4 . This map has kernel f g �1, 1 and so indicates *SU*ð Þ� 2 *SU*ð Þ2 as the two-fold universal covering group of *SO*ð Þ 4 .

Suppose *M* is a Riemannian manifold, so the metric determines the basic Levi-Civita connection on the cotangent space

$$\nabla: \Gamma(T^\*M) \to \Gamma(T^\* \otimes T^\*M). \tag{63}$$

Choosing a local basis of sections *ei* � � of *<sup>T</sup>*<sup>∗</sup> *<sup>M</sup>* we may write <sup>∇</sup>*e<sup>i</sup>* <sup>¼</sup> <sup>P</sup> *kω<sup>i</sup> <sup>k</sup>* ⊗ *ek*, where *ω<sup>i</sup> k* � � are the connection one-forms. The nature of these one-forms can be understood in the context of an arbitrary bundle. Let *G* be a compact semi-simple Lie group with Lie algebra *gL* and let *π* : *P* ! *M* be a principal *G*-bundle over *M*. A connection on *P* is a choice of an equivariant horizontal subspace on *T*<sup>∗</sup> *P* or a *gL*valued one-form on *<sup>P</sup>* which has horizontal kernel and is equivariant *<sup>g</sup>* <sup>∗</sup>*ω*ð Þ¼ *<sup>X</sup> Adg*�<sup>1</sup> ð Þ*ω*ð Þ *<sup>X</sup>* for *<sup>x</sup>*<sup>∈</sup> <sup>Γ</sup>ð Þ *<sup>T</sup>*<sup>∗</sup> *<sup>P</sup>* and *<sup>g</sup>* <sup>∈</sup> *<sup>G</sup>*.

Let C denote the affine space of *C*<sup>∞</sup> connections of *P*. Then C becomes a vector space when a base connection is fixed. The equivariance property shows that the difference *η* ¼ *ω* � *ω*<sup>0</sup> pulls down to *M* as a one-form with values in the adjoint bundle *Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

*P*�*Ad gL* also denoted *GL*. As such it determines a covariant map ∇ : Γ *gL* � � ! Γ *gL* � � <sup>⊗</sup> *<sup>T</sup>*<sup>∗</sup> ð Þ *<sup>M</sup>* by virtue of *<sup>ϕ</sup>* ! <sup>∇</sup><sup>0</sup> <sup>þ</sup> ½ � *<sup>η</sup>*, *<sup>ϕ</sup>* , where <sup>∇</sup><sup>0</sup> is the covariant derivative corresponding to *ω*0. If *ρ* : *G* ! Aut *E* � � is a representation and *<sup>E</sup>* <sup>¼</sup> *<sup>P</sup>*�*ρ<sup>E</sup>* the associated vector bundle, then *ω* induces a covariant derivative

$$\nabla^E : \Gamma(E) \to \Gamma(\otimes T^\*M) \tag{64}$$

on *E* by applying the Lie algebra representation *ρ* : *g* ! *End E* � � to ∇ above. Suppose for example *P* is the frame bundle of *T* <sup>∗</sup> *M*, the Riemannian connection can be described either in terms of the covariant derivative or in terms of the corresponding *so n*ð Þ-valued connection form *<sup>ω</sup>* <sup>¼</sup> *<sup>ω</sup><sup>i</sup> k* � �.

Given a connection ∇*<sup>E</sup>* on a vector bundle *E*, several related operations can be constructed from ∇*<sup>E</sup>* a the symbol map. Extending ∇*<sup>E</sup>* to the covariant derivative <sup>∇</sup> <sup>¼</sup> ∇ ⊗ <sup>1</sup> <sup>þ</sup> <sup>1</sup> ⊗ ∇ on <sup>Λ</sup>*<sup>k</sup>* <sup>⊗</sup> *<sup>E</sup>*, with <sup>∇</sup> the Riemann connection on <sup>Λ</sup><sup>∗</sup> , and using exterior differentiation or its adjoint contraction as the symbol, an exterior differentiation *<sup>D</sup>* : Γ Λð Þ! <sup>∗</sup> <sup>⊗</sup> *<sup>E</sup>* Γ Λ<sup>∗</sup> <sup>þ</sup><sup>1</sup> <sup>⊗</sup> *<sup>E</sup>* � � is obtained and its formal adjoint *<sup>D</sup>*<sup>∗</sup> . In a local orthonormal frame *<sup>e</sup><sup>i</sup>* � �, *<sup>ϕ</sup>*∈Γ Λð Þ <sup>∗</sup> <sup>⊗</sup> *<sup>E</sup>* ,

$$D\phi = \sum\_{i} e^{i} \wedge \overline{\nabla}\_{i} \phi, \qquad D^{\*}\phi = -\sum\_{i} e\_{i} \overline{\nabla}^{i} \phi. \tag{65}$$

There are also two second order operators. They are the trace Laplacian

$$\left(\left(\nabla^{E}\right)^{\*}\overline{\nabla}^{E} = -\sum\_{i}\overline{\nabla}\_{i}^{E}\overline{\nabla}\_{i}^{E} - \overline{\nabla}\_{\nabla\_{i}\mathfrak{e}\_{i}}^{E} \tag{66}$$

on <sup>Γ</sup>ð Þ *<sup>E</sup>* , and the bundle Laplace-Beltrami operator □ <sup>¼</sup> *DD*<sup>∗</sup> <sup>þ</sup> *<sup>D</sup>*<sup>∗</sup> ð Þ *<sup>D</sup>* on Γ Λð Þ <sup>∗</sup> <sup>⊗</sup> *<sup>E</sup>* . The covariant derivative of <sup>∇</sup> : <sup>Γ</sup> *gL* � � ! <sup>Γ</sup> *gL* <sup>⊗</sup> *<sup>T</sup>*<sup>∗</sup> *<sup>M</sup>* � � extends by virtue of (65) to an exterior differentiation *<sup>D</sup>* on the space of sections <sup>Λ</sup><sup>∗</sup> <sup>¼</sup> Γ Λ<sup>∗</sup> <sup>⊗</sup> *gL* � � by *Dϕ* ¼ ∇0*ϕ* þ ½ � *η*, *ϕ* where ∇<sup>0</sup> is the covariant derivative corresponding to *ω*0.

The curvature of a connection *ω* on a principal bundle *P* is the *gL*-valued two-form Ωð Þ¼ *X*, *Y dω*ð Þ *hX*, *hY* where *h* is the projection onto the horizontal subspace of *ω*. One can say *D* ¼ *d* � *h* is a derivation on equivariant *gL*-valued one-forms on *P* given by *<sup>D</sup><sup>ϕ</sup>* <sup>¼</sup> *<sup>d</sup><sup>ϕ</sup>* <sup>þ</sup> ½ � *<sup>ω</sup>*, *<sup>ϕ</sup>* for one-forms with vertical kernel and *<sup>D</sup><sup>ϕ</sup>* <sup>¼</sup> *<sup>d</sup><sup>ϕ</sup>* <sup>þ</sup> <sup>1</sup> <sup>2</sup> ½ � *ω*, *ϕ* for connection forms *<sup>ϕ</sup>*, in particular, <sup>Ω</sup> <sup>¼</sup> *<sup>d</sup><sup>ω</sup>* <sup>þ</sup> <sup>1</sup> <sup>2</sup> ½ � *ω*, *ω* on *P*. Let us fix connection *ω*0, so for any other *<sup>ω</sup>*, the difference *<sup>η</sup>* <sup>¼</sup> *<sup>ω</sup>* � *<sup>ω</sup>*<sup>0</sup> descends to *<sup>M</sup>* as an element of *<sup>A</sup>*<sup>1</sup> and the difference of the curvature is

$$\begin{split} \boldsymbol{\Omega} - \boldsymbol{\Omega}\_{0} &= d\boldsymbol{\eta} + \frac{\mathbf{1}}{2} [\boldsymbol{\alpha}, \boldsymbol{\alpha}] - \frac{\mathbf{1}}{2} [\boldsymbol{\alpha}\_{0}, \boldsymbol{\alpha}\_{0}] = d\boldsymbol{\eta} + \frac{\mathbf{1}}{2} [\boldsymbol{\eta}, \boldsymbol{\eta}] + [\boldsymbol{\alpha}, \boldsymbol{\eta}], \\ \boldsymbol{\Omega} &= \boldsymbol{\Omega}\_{0} + \boldsymbol{D}\_{0} \boldsymbol{\eta} + \frac{\mathbf{1}}{2} [\boldsymbol{\eta}, \boldsymbol{\eta}]. \end{split} \tag{67}$$

Alternatively, *ϕ*∈ *A*<sup>0</sup> lifts to an equivariant *gL*-valued function on *P* and *Dϕ* has a vertical kernel, so

$$D \bullet D(\phi) = d(D\phi) + [\alpha, D\phi] = d(d\phi + [\alpha, \phi]) + [\alpha, D\phi] = [D\alpha, \phi] - [\alpha, D\phi] + [\alpha, D\phi] = [D\alpha, \phi]. \tag{68}$$

The formula descends to the base *<sup>D</sup>*∘∇ð Þ¼ *<sup>ϕ</sup>* ½ � <sup>Ω</sup>, *<sup>ϕ</sup>* for *<sup>ϕ</sup>*<sup>∈</sup> *<sup>A</sup>*0. In terms of a local basis of vector fields f g *ei* and dual forms *ei* � �

$$\Delta(\phi) = D \bullet \nabla \phi = D \left(\sum\_{i} \nabla\_{i} \phi \epsilon^{i}\right) = \sum\_{j,k} \left(\nabla\_{j} \phi \epsilon^{k} \wedge \nabla\_{k} \epsilon^{j} + \nabla\_{k} \nabla\_{j} \phi \epsilon^{k} \wedge \sigma^{j}\right). \tag{69}$$

For the Riemannian connection, <sup>∇</sup>*iej* � <sup>∇</sup>*jei* <sup>¼</sup> *ei* ,*e<sup>j</sup>* � � so <sup>Ω</sup>*ij* <sup>¼</sup> <sup>∇</sup>*i*∇*<sup>j</sup>* � <sup>∇</sup>*j*∇*<sup>i</sup>* � <sup>∇</sup> *ei* ½ � ,*ej* and similarly for Ω*E*.

On a four-dimensional Riemannian manifold, the metric covariant derivative on the spin bundle *<sup>S</sup>*<sup>þ</sup> is a map <sup>∇</sup> : <sup>Γ</sup>ð Þ! *<sup>S</sup>*<sup>þ</sup> <sup>Γ</sup>ð Þ *<sup>S</sup>*<sup>þ</sup> <sup>⊗</sup> <sup>∗</sup> *<sup>M</sup>* . Thus <sup>∇</sup> on *<sup>S</sup>*� decomposes into two operators: first the Dirac operator D : Γð Þ! *S*� Γð Þ *S*<sup>∓</sup> where symbol is Clifford multiplication, and the twister operator <sup>D</sup> : <sup>Γ</sup>ð Þ! *<sup>V</sup>*� Γ Λ<sup>2</sup> � � �, whose symbol is the orthogonal complement of Clifford multiplication. In a local orthonormal frame *e<sup>i</sup>* � � with *ϕ*∈Γð Þ *V*

$$\mathcal{D}\phi = \sum\_{i} \varepsilon^{i} \cdot \nabla\_{i} \phi, \qquad \overline{\mathcal{D}}\phi = \nabla\phi + \frac{1}{4} \sum\_{i} \varepsilon^{i} \mathcal{D}\phi \otimes e^{i}. \tag{70}$$

The Dirac operator is elliptic and is formally self-adjoint on the total spin bundle *S*.

In four dimensions, the Riemannian curvature tensor *R*∈Λ<sup>2</sup> ⊗ Λ<sup>2</sup> decomposes under the splitting <sup>Λ</sup><sup>2</sup> <sup>¼</sup> <sup>Λ</sup><sup>2</sup> þ⊕Λ<sup>2</sup> �. Due to the symmetry *Rijkl* ¼ *Rklij*, this is an element of the symmetric tensor product *Sym*<sup>2</sup> Λ<sup>2</sup> þ⊕Λ<sup>2</sup> � � �, which is a Spin 4ð Þ module, this breaks uo into five irreducible pieces.

The components of this tensor under this decomposition are *W*þ, *Rs* <sup>12</sup> , 2*B*,*W*� � �, where *Rs* is the scalar curvature, *B* the traceless Ricci tensor, and *W*� are the self-dual and anti-self-dual components of the conformally invariant Weyl tensor. This decomposition results in some important classes of four-manifolds: *M*<sup>4</sup> is Einstein if *B* ¼ 0, conformally flat if *W* ¼ 0, and self-dual (anti) if *W*� ¼ 0 (*W*<sup>þ</sup> ¼ 0).

Suppose *M* is a spin four-manifold with Riemannian connection ∇ and *E*, a vector bundle over *M* with connection ∇*<sup>E</sup>* and curvature Ω*<sup>E</sup>*. Then the Dirac operator is <sup>D</sup>Γð Þ! *<sup>V</sup>* <sup>⊗</sup> *<sup>E</sup>* <sup>Γ</sup>ð Þ *<sup>V</sup>* <sup>⊗</sup> *<sup>E</sup>* is defined for *<sup>E</sup>*-valued spinors by <sup>D</sup> <sup>¼</sup> <sup>P</sup> *<sup>i</sup>e<sup>i</sup>* � <sup>∇</sup>*<sup>i</sup>* where <sup>∇</sup> is the total covariant derivative on *V* ⊗ *E*. It is shown this operator has an algebraic decomposition into Laplacian and curvature terms. Such an expression is called a Weitzenböck operator. These encompass more than one kind of operator so it is worth showing how they can be developed. To get D<sup>2</sup> , choose an orthonormal basis *e<sup>i</sup>* � � around *<sup>x</sup>*<sup>∈</sup> *<sup>M</sup>*, vector fields f g *ei* dual to the *ei* such that <sup>∇</sup>*ei e<sup>j</sup>* � � *<sup>x</sup>* ¼ 0 for all *i*, *j*. Squaring D and separating the symmetric and skew-symmetric parts

$$\mathcal{D}^2 = \left(\sum \mathbf{e}^i \cdot \overline{\nabla}\_i\right) \left(\sum \mathbf{e}^j \overline{\nabla}\_j\right) = \sum\_{i,j} \mathbf{e}^i \cdot \mathbf{e}^j \cdot \overline{\nabla}\_i \overline{\nabla}\_j = -\sum\_{i,j} \overline{\nabla}\_j \overline{\nabla}\_i + \sum\_{i,j} \mathbf{e}^i \cdot \mathbf{e}^j \cdot (\overline{\nabla}\_i \overline{\nabla}\_j - \overline{\nabla}\_j \overline{\nabla}\_i). \tag{71}$$

This can be summarized as

$$\mathcal{D}^2 = \overline{\nabla}^\* \overline{\nabla} + \frac{1}{2} \sum\_{i,j} \boldsymbol{\epsilon}^i \cdot \boldsymbol{\epsilon}^j \cdot R\_{\overrightarrow{\eta}} \otimes \mathbb{1} + \frac{1}{2} \sum\_{i,j} \boldsymbol{\epsilon}^i \cdot \boldsymbol{\epsilon}^j \cdot \left(\mathbb{1} \otimes \Omega^E\_{\overrightarrow{\eta}}\right). \tag{72}$$

#### *Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

Since ∇ is torsionless, *ei*,*ej* � � *<sup>x</sup>* ¼ 0, and the total curvature is Ω*ij* ¼ ∇*i*∇*<sup>j</sup>* � ∇*j*∇*i*. The first term is (72) is the positive trace Laplacian of ∇, *Rij* can be written in terms of the irreducible components of *R*.

Compact four-dimensional manifolds *M*<sup>4</sup> possess two real characteristic classes. These can be expressed locally as polynomials in the curvature of *M* and hence as polynomials in the irreducible components of the curvature *Rs*, *B*,*W*� � �.

Topological invariants arise in the consideration of four-dimensional manifolds *M*. These have two real characteristic classes. They are the Pontryagin class *p*1*M* and the Euler class *χ*ð Þ *M* given by

$$\begin{split} p\_1 M &= \frac{1}{4\pi^2} \int\_M \left( \left| W^+ \right|^2 - \left| W^- \right|^2 \right) dv\_\mathcal{g}, \\ \chi(M) &= \frac{1}{8\pi^2} \int\_M \left( \frac{R\_s^2}{24} - 2|\mathcal{B}|^2 + \left| W^+ \right|^2 + \left| W^- \right|^2 \right) dv\_\mathcal{g}. \end{split} \tag{73}$$

More generally, if *G* is a compact simple Lie group, *H<sup>i</sup>* ð Þ *BG*; vanishes for *i* ¼ 1, 2, 3 and is for *i* ¼ 4. Thus, there is a single real characteristic class for principal *G*-bundles over *M*<sup>4</sup> and it resides in dimension 4. In Yang-Mills theory, the corresponding characteristic number is called the Pontryagin index *κ* of the bundle. It is obtained by substituting the curvature Ω of *P* into the Killing form. In terms of the anti-self-dual components Ω� of Ω, *κ* is

$$\kappa = \frac{1}{8\pi^2} \int\_M \left( |\Omega^+|^2 - |\Omega^-|^2 \right) d\nu\_{\mathcal{S}}.\tag{74}$$

For functions on a bounded domain in *<sup>n</sup>* the Sobolov space *Lk*,*<sup>p</sup>*ð Þ *<sup>D</sup>* is the completion of the space of *C*<sup>∞</sup> functions in the norm

$$||f||\_{k,p} = \left(\int\_D \sum\_{|\alpha|=1}^k |\partial\_{\alpha} f|^p \right)^{1/p}.\tag{75}$$

These spaces are related by the Sobolev embedding theorems: for *p*, *q*≥1, the inclusion *Kk*,*<sup>p</sup>*ð Þ! *D Ll:<sup>q</sup>*ð Þ *D* is continuous for *k* � *n=p*≥1 � *n=q*, compact for *k* � *n=p* >1 � *n=q*. This extends to vector bundles *E* with metric over *M*.

#### **5. Deriving coupled Yang-Mills equations**

It is the case that once the geometrical setting for a gauge theory has been set out, the requirement of naturality then determines the theory. Let *π* : *P* ! *M* be a principal bundle over a four-dimensional *M* with compact simple structure group *G*, *ρ* : *G* ! Aut *E* � � a unitary representation of *<sup>G</sup>*, *<sup>E</sup>* <sup>¼</sup> *<sup>p</sup>*�*ρ<sup>E</sup>* the associated vector bundle, and *<sup>W</sup>* the bundle associated to the frame bundle of *M*. To get a mathematically rigorous development of the field equations, assume that they are variational equations and arise as the stationary points of an action integral

$$A(\mathbf{g}, \nabla, \phi) = \int\_{M} L(\mathbf{g}, \alpha, \phi) \, dv\_{\mathcal{g}},\tag{76}$$

where the Lagrangian is a 4-form constructed from *g*, ∇, and *ϕ*.

Then *P* is a manifold with a certain geometric structure. There is a free right action of *G*, so an automorphism of *P* is a map *f* : *P* ! *P*, which preserves this structure *f xg*�<sup>1</sup> ð Þ¼ *f x*ð Þ*g*�<sup>1</sup> for all *<sup>x</sup>*∈*<sup>P</sup>* and *<sup>g</sup>* <sup>∈</sup> *<sup>G</sup>*. Let Autð Þ *<sup>P</sup>* denote the group of all bundle automorphisms *f* such that the induced map *π* � *f* : *M* ! *M* preserves orientation, Aut0ð Þ *P* the subgroup which induces the identity on *M*. In the language of physics, a section *s* : *M*∍*U* ! *P* is called a local choice of gauge, an automorphism *f* ∈ Aut0ð Þ *P* is a gauge transformation, and the group G ¼ Aut0ð Þ *P* is the gauge group of the bundle.

These properties of the Lagrangian are required ð Þ*i* in a local coordinate system and choice of gauge, *<sup>L</sup>* should be a universal polynomial in *<sup>g</sup>*, *<sup>h</sup>*, <sup>Γ</sup>, *<sup>ϕ</sup>*, det ð Þ*<sup>g</sup>* �1*=*<sup>2</sup> , det ð Þ *<sup>h</sup>* �1*=*<sup>2</sup> , and their derivatives, Γ the Christoffel symbols. ð Þ *ii* the map *L* should be a natural transformation with respect to the bundle automorphism *f*,

*<sup>L</sup>* ð Þ *<sup>π</sup>* � *<sup>f</sup>* <sup>∗</sup> *<sup>g</sup>*, *<sup>f</sup>* <sup>∗</sup> <sup>∇</sup>, *<sup>ρ</sup> <sup>f</sup>* <sup>∗</sup> <sup>ð</sup> ð Þ*ϕ*Þ ¼ *<sup>f</sup>* <sup>∗</sup> *L g*ð Þ , <sup>∇</sup>, *<sup>ϕ</sup>* ð Þ *iii* it should have conformal invariance, for any *<sup>σ</sup>* on *<sup>M</sup>*, *L e<sup>i</sup>σg*, <sup>∇</sup>, *<sup>ϕ</sup>* � � <sup>¼</sup> *L g*ð Þ , <sup>∇</sup>, *<sup>ϕ</sup>* . Naturality with respect to Aut0ð Þ *<sup>P</sup>* means that *L g*, *<sup>f</sup>* <sup>∗</sup> <sup>∇</sup>, *<sup>ρ</sup> <sup>f</sup>* <sup>∗</sup> <sup>ð</sup> ð Þ*ϕ*Þ ¼ *L g*ð Þ , <sup>∇</sup>, *<sup>ϕ</sup>* . This is Weyl's principle of gauge invariance. For the case in which *L* ¼ *L g*ð Þ , ∇ requiring naturality under orientation preserving diffeomorphisms of *P*, *SO*ð Þ 4 invariant theory implies

$$L = c\_1|R\_1|^2 + c\_2|B|^2 + c\_3|W^+|^2 + c\_4|W^-|^2 + c\_5 \Omega \wedge \Omega + c\_6 \Omega \wedge \* \Omega,\tag{77}$$

where *Rs*, *B*,*W*� � � are the components of the Riemann curvature of *g*, Ω the curvature of *ω* and the *ci* are real numbers. The actions of the various values of the *ci* include topological invariants *p*1ð Þ *M* , *χ*ð Þ *M* for example.

Let us be concerned with the action which depends on the bundle curvature which is called the Yang-Mills action

$$A(\mathbf{g}, \nabla) = \int\_M \Omega \wedge \ast \Omega dv\_{\mathbf{g}} = \int\_M |\Omega|^2 \sqrt{\det(\mathbf{g})} d\mathbf{x}^1 \wedge \dots \wedge d\mathbf{x}^4. \tag{78}$$

The action is evidently regular and Diffð Þ *M* covariant. It is conformally invariant because the <sup>∗</sup> operator on two-forms is

$$A(e^{2\sigma}\mathbf{g}, \mathbf{V}) = \int\_M e^{-4\sigma} \mathbf{g}^{\vec{\eta}} \mathbf{g}^{kl} \langle \mathfrak{Q}\_{ik}, \mathfrak{Q}\_{\vec{\eta}} \rangle \left( \det \left( e^{2\mathbf{g}} \right)^{1/2} d\mathbf{x}^1 \wedge \dots \wedge d\mathbf{x}^4 = A(\mathbf{g}, \boldsymbol{\omega}) . \right. \tag{79}$$

A gauge transformation *<sup>g</sup>* <sup>∈</sup><sup>G</sup> takes <sup>∇</sup> to *<sup>g</sup>*∇*g*�<sup>1</sup> and <sup>Ω</sup> <sup>¼</sup> *<sup>D</sup>*∘∇ to *<sup>g</sup>*Ω*g*�1. The Lagrangian j j <sup>Ω</sup> <sup>2</sup> is then unchanged because the Killing form is invariant. Since j j <sup>Ω</sup> <sup>2</sup> <sup>¼</sup> <sup>Ω</sup>� j j<sup>2</sup> <sup>þ</sup> <sup>Ω</sup><sup>þ</sup> j j<sup>2</sup> , (71) shows that *A g*ð Þ , *<sup>ω</sup>* <sup>≥</sup>8*π*<sup>2</sup>*<sup>k</sup>* with equality if and only if <sup>Ω</sup>� <sup>¼</sup> 0. Consequently, self-dual connections are absolute minima of the Yang-Mills action. There are two action integrals considered by physicists. They are the fermionic and the bosonic types.

**Definition 5.1** The fermion action is defined on *E*-valued spinors *ψ* ∈Γð Þ *V* ⊗ *E* as

$$A(\mathbf{g}, \nabla, \boldsymbol{\mu}) = \int\_{M} \left( |\Omega|^2 + \langle \boldsymbol{\mu}, \mathcal{D}\boldsymbol{\mu} \rangle \right) d\boldsymbol{v}\_{\mathcal{S}},\tag{80}$$

where D is the Dirac operator and ,h i is the inner product on *V* ⊗ *E* and *dvg* the volume form.

*Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

**Definition 5.2** The boson action is defined on *E*-valued scalars *ϕ*∈Γð Þ *E* by

$$A(\mathbf{g}, \nabla, \phi) = \int\_{M} \left( \left| \Omega \right|^{2} + \left| \nabla \phi \right|^{2} + \frac{\mathbf{5}}{\mathbf{6}} \left| \phi \right|^{2} - V(\phi) \right) dv\_{\mathbf{g}}.\tag{81}$$

where *V* : *E* ! is a gauge invariant polynomial on the fiber such that degð Þ *V* ≤4.

Both Lagrangians are regular Diffð Þ *M* invariant and gauge invariant. The degree requirement comes about as we wish to vary the action over a Sobolev space and by the Sobolev inequality, any polynomial in *ϕ* whose degree does not exceed four is then integrable. Note the second term in the fermion Lagrangian is not positive definite, for suppose *ψ* ¼ *ψ*<sup>þ</sup> � *ψ*� ∈Γ *Q*þ⊕*Q*� � � satisfies <sup>D</sup>*<sup>ψ</sup>* <sup>¼</sup> *λψ* for some eigenvalue *<sup>λ</sup>*, *<sup>ϕ</sup>* <sup>¼</sup> *ϕ*<sup>þ</sup> � *ϕ*� satisfies D*ϕ* ¼ �*λϕ*. This gives that the spectrum of D is symmetric about zero.

#### **6. Theorems in four dimensions for the Yang-Mills system**

Let us calculate the first variation of the action for a spinor field. Introduce two real parameters ð Þ *u*, *v* and pick a one-parameter family of connections ∇*<sup>u</sup>* ¼ ∇<sup>0</sup> þ *uη* þ ⋯, *η*∈Γ Λ<sup>1</sup> ⊗ *gL* � � and a one-parameter family of spinors *<sup>ψ</sup><sup>v</sup>* <sup>¼</sup> *<sup>ψ</sup>*<sup>0</sup> <sup>þ</sup> *<sup>v</sup><sup>ψ</sup>* <sup>þ</sup> <sup>⋯</sup>, *<sup>ψ</sup>* <sup>∈</sup>Γð Þ *<sup>V</sup>* <sup>⊗</sup> *<sup>E</sup>* . The curvature and total covariant derivative on *V* ⊗ *E* are

$$
\mathfrak{Q}\_u = \mathfrak{Q}\_0 + \mathfrak{u}D\_0\eta + \frac{R\_\varepsilon}{2}[\eta, \eta], \qquad \overline{\nabla}\_u = \overline{\nabla}\_0 + \mathfrak{u}\rho\left(\eta\right). \tag{82}
$$

Expanding the action, it is given by

$$A(\nabla\_u, \boldsymbol{\mu}\_v) = \int\_M \left( |\Omega\_0|^2 + 2u \langle \Omega\_0 D\_0 \boldsymbol{\eta} \rangle + v \langle \boldsymbol{\eta} \mathcal{D} \boldsymbol{\phi} \rangle + v \langle \boldsymbol{\phi} \mathcal{D} \boldsymbol{\eta} \rangle \right. \tag{83}$$

$$+ u \left\langle \boldsymbol{\eta} \sum\_i \mathbf{e}^i \rho(\boldsymbol{\eta}\_i) \boldsymbol{\nu} \right\rangle + \cdots \right) dv\_\mathcal{g}.$$

In (83), *ei* � � is a local orthonormal basis. This implies the equations, which result from the first variation are for *η*∈Γ<sup>∞</sup> Λ<sup>1</sup> ⊗ *gL* � � and *<sup>ψ</sup>* <sup>∈</sup>Γ<sup>∞</sup>ð Þ *<sup>V</sup>* <sup>⊗</sup> *<sup>E</sup>*

$$\int\_{M} \left( 2\langle \mathcal{D}^\* \mathfrak{Q}, \eta \rangle + \left\langle \psi, \sum\_{i} \mathfrak{e}^i \rho(\eta\_i) \psi \right\rangle \right) d\upsilon\_{\mathfrak{g}} = 0, \qquad \int\_{M} (\langle \psi, \mathcal{D}\psi \rangle + \langle \phi, \mathcal{D}\psi \rangle) d\upsilon\_{\mathfrak{g}} = 0,\tag{84}$$

Recall that D is self adjoint, so (84) gives the pair of equations

$$D^\*\Omega = I(\phi) = -\frac{1}{2} \sum\_i \left< \psi, \varepsilon^i \rho(\sigma^a) \psi \right> \sigma\_a \otimes \varepsilon\_i, \qquad \mathcal{D}\psi = 0. \tag{85}$$

In (85), f g *<sup>σ</sup><sup>a</sup>* is a local orthogonal basis of sections of *gL*, *<sup>σ</sup><sup>a</sup>* f g the dual basis in Γ *g* <sup>∗</sup> *L* � �. The current due to *<sup>ψ</sup>* is *<sup>J</sup>*ð Þ *<sup>ψ</sup>* and it is real-valued since *<sup>ψ</sup>*,*e<sup>i</sup> ρ η<sup>i</sup>* ð Þ*<sup>ψ</sup>* � � <sup>¼</sup> *ei ρ η<sup>i</sup>* ð Þ*ψ*, *<sup>ψ</sup>* � �. It is interpreted as a one-form on the space of connections.

The boson action is defined on *E*-valued scalars *ϕ*∈ Γð Þ *E* by

$$A\_b(\mathbf{g}, \nabla, \boldsymbol{\phi}) = \int\_M \left( \left| \boldsymbol{\Omega} \right|^2 + \left| \overline{\nabla} \boldsymbol{\phi} \right|^2 + \frac{m}{6} \left| \boldsymbol{\phi} \right|^2 - V(\boldsymbol{\phi}) \right) dv\_{\mathbf{g}}.\tag{86}$$

The first variation of this action is computed as follows. Choose a one-parameter family of connections ∇*<sup>u</sup>* ¼ ∇<sup>0</sup> þ *uη* þ ⋯, *η*∈Γ Λ ⊗ *gL* � � and a one-parameter family *ϕ<sup>v</sup>* ¼ *ϕ*<sup>0</sup> þ *vτ* þ ⋯, *τ* ∈Γð Þ *V* ⊗ *E*

$$
\Omega\_{\mathfrak{u}} = \Omega\_0 + \mathfrak{u}D\_0\eta + \frac{\mathfrak{u}^2}{2}[\eta, \eta], \qquad \overline{\nabla}\_{\mathfrak{u}} = \overline{\nabla}\_0 + \mathfrak{u}\rho(\eta), \tag{87}
$$

Hence, the action is

$$\begin{split} \mathcal{A}(\boldsymbol{\varrho}, \nabla\_{\boldsymbol{u}}, \boldsymbol{\phi}\_{\boldsymbol{\varrho}}) &= \int\_{M} |\Omega\_{0} + \boldsymbol{u}D\_{0}\eta|^{2} + |\nabla\_{0}\boldsymbol{\phi}\_{0}|^{2} + \boldsymbol{u}\rho(\eta)\boldsymbol{\phi}\_{0} + \nu|\nabla\_{0}\boldsymbol{\tau}|^{2} + \frac{m}{6}|\boldsymbol{\phi}\_{0} + \nu\boldsymbol{\tau}|^{2} \\ &+ V(\boldsymbol{\phi}\_{0} + \nu\boldsymbol{\tau})d\boldsymbol{v}\_{\boldsymbol{\xi}} \\ &= \int\_{M} |\Omega\_{0}|^{2} + 2\boldsymbol{u}\langle\Omega\_{0}D\_{0}\eta\rangle + \left|\nabla\_{0}\boldsymbol{\phi}\_{0}\right|^{2} + 2\boldsymbol{u}\langle\overline{\nabla}\_{0}\boldsymbol{\phi}\_{0}\rho(\eta)\boldsymbol{\phi}\_{0}\rangle \\ &+ 2\boldsymbol{v}\langle\overline{\nabla}\_{0}\boldsymbol{\phi}\_{0}\overline{\nabla}\_{0}\boldsymbol{\tau}\rangle \\ &+ \frac{m}{6}|\boldsymbol{\phi}\_{0}|^{2} + \frac{m}{6}\boldsymbol{v}\langle\boldsymbol{\phi}, \boldsymbol{\tau}\rangle + \frac{m}{6}\boldsymbol{v}\langle\boldsymbol{\tau},\boldsymbol{\phi}\_{0}\rangle - V(\boldsymbol{\phi}\_{0} + \boldsymbol{v}\boldsymbol{\tau})d\boldsymbol{v}\_{\boldsymbol{\xi}}. \end{split} \tag{89}$$

Differentiating with respect to *u* and *v* then setting *u* ¼ *v* ¼ 0,

$$\frac{\partial A}{\partial u}\Big|\_{0} = 2\int\_{M} \left( \langle D\_{0}^{\*}\Omega\_{0}, \eta \rangle + \langle \overline{\nabla}\_{0}\phi, \rho(\eta)\phi\_{0} \rangle \right) d\mu\_{\rm g},$$

$$\frac{\partial A}{\partial v}\Big|\_{0} = \int\_{M} \left( 2\langle \overline{\nabla}\_{0}\phi\_{0}, \overline{\nabla}\_{0}\tau \rangle + \frac{m}{6} \langle \phi\_{0}, \tau \rangle + \frac{m}{6} \langle \tau, \phi\_{0} \rangle + \langle V'(\phi\_{0}), \tau \rangle \right) d\mu\_{\rm g}.\tag{90}$$

Equating the results, (90) to zero yields the coupled fermion and boson equations of motion taking *<sup>V</sup>*<sup>0</sup> <sup>¼</sup> *<sup>a</sup>*j j *<sup>ϕ</sup>* <sup>2</sup> *<sup>ϕ</sup>* <sup>þ</sup> *<sup>m</sup>*<sup>2</sup> *bϕ*

$$\begin{aligned} D^\*\Omega = J &= -\frac{1}{2} \sum \langle \phi, e^i \cdot \rho(\sigma^a) \phi \rangle \sigma\_a \otimes e\_i, &\qquad \mathcal{D}\phi = m\phi, \\ D^\*\Omega = J &= -\text{Re} \sum\_i \langle \overline{\nabla}\_i \phi, \rho(\sigma^a) \phi \rangle \sigma\_a \otimes e\_i, &\qquad \overline{\nabla}^\* \overline{\nabla} \phi = \frac{m}{6} \phi + a|\phi|^2 \phi + m\_b^2 \phi. \end{aligned} \tag{91}$$

In physics, one says Ω is a gauge field, *ω* its gauge potential, and *ψ*, *ϕ* the field of a massive particle interacting with Ω. When the fields are set equal to zero, the fermion and boson actions reduce to the Yang-Mills field equations. Self-dual connections satisfy this equation because they are absolute minima of the action. In fact, the first field equation can be used to get

$$D^\*f = DD^\*\Omega = [\Omega,\ ^\*\Omega] = \,\_\*\sum\_{a,\beta} \left<\Omega\_a,\Omega\_\beta\right> \left[\sigma^a,\sigma^\beta\right] = \mathbf{0}.\tag{92}$$

When the structure group is abelian, the equation *<sup>D</sup>*<sup>∗</sup> *<sup>J</sup>* <sup>¼</sup> 0. This expresses the fact that electric charge is conserved in electromagnetism.

*Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

The field Eqs. (91) simplify considerably when we take *a* ¼ *m* ¼ 0. Then either <sup>D</sup>*<sup>ψ</sup>* <sup>¼</sup> 0 on E-valued spinors or <sup>∇</sup><sup>∗</sup> ∇*ϕ* ¼ ð Þ *m=*6 *ϕ* with *ϕ* an E-valued scalar.

**Theorem 6.1** Let *E* be a vector bundle over a manifold *M* and ð Þ *ϕ*, Ω a solution of the coupled boson equations *<sup>D</sup>*<sup>∗</sup> <sup>Ω</sup> <sup>¼</sup> *<sup>J</sup>*, <sup>∇</sup><sup>∗</sup> ∇*ϕ* ¼ ð Þ *Rs=*6 *ϕ*. If *M* is a compact manifold with positive scalar curvature, or if *<sup>M</sup>* <sup>¼</sup> <sup>4</sup> and *<sup>ϕ</sup>* vanishes at infinity, then *<sup>ϕ</sup>* <sup>¼</sup> 0 and Ω is Yang-Mills.

**Proof**: If *M* is compact and *s*>0, integration by parts yields

$$\int\_{M} \left( \left| \nabla \phi \right|^{2} + \frac{m}{\mathsf{G}} \left| \phi \right|^{2} \right) dv\_{\mathsf{g}} = \mathbf{0}.\tag{93}$$

Thus *<sup>ϕ</sup>* <sup>¼</sup> 0 and *<sup>J</sup>* <sup>¼</sup> 0. The equation <sup>∇</sup><sup>∗</sup> ∇*ϕ* ¼ 0 can be converted to a differential inequality for ∣*ϕ*∣

$$\begin{split} \left| d^\* d \vert \phi \vert^2 = 2d^\* \left\langle \phi, \overline{\nabla} \phi \right\rangle = -2 \vert \overline{\nabla} \phi \vert^2 + 2 \langle \phi, \overline{\nabla}^\* \overline{\nabla} \phi \rangle = -2 \vert \overline{\nabla} \phi \vert^2, \\ d^\* d \vert \phi \vert^2 = 2d^\* \left( \vert d \vert \phi \rangle = -2 \vert d \vert \phi \vert \right)^2 + 2 \vert \phi \vert d^\* d \vert \phi \vert. \end{split} \tag{94}$$

Thus upon solving the second in (94) for ∣*ϕ*∣*d*<sup>∗</sup> *d*∣*ϕ*∣ and using the first, we get

$$\left|\phi\right| \left|d^\*d\left|\phi\right| = \left|d\left|\phi\right|\right|^2 - \left|\overline{\nabla}\phi\right|^2 \le \mathbf{0}.\tag{95}$$

Consequently, Δ∣*ϕ*∣ ≥0 If ∣*ϕ*∣ vanishes at infinity, the maximum principle implies that *<sup>ϕ</sup>* <sup>¼</sup> 0, hence the current *<sup>J</sup>* vanishes and <sup>Ω</sup> is a Yang-Mills field. □.

**Theorem 6.2** Let *M* be a compact Riemannian four-manifold with *Rs=*3 � ∣*W*�∣ ≥*ε*>0. There is a constant *α* such that ð Þ*i* Any Yang-Mills Ω such that Ω� k k0,2 <*α* is self-dual (ii) Any solution ð Þ Ω, *ϕ* to the massless coupled fermion Eqs. (90) with Ω� k k0,2 <*α* satisfies Ω� ¼ *J* ¼ *ϕ*� ¼ 0.

**Proof**: (i) Start with the equations *<sup>D</sup>*<sup>∗</sup> <sup>Ω</sup> <sup>¼</sup> *<sup>D</sup>*<sup>Ω</sup> <sup>¼</sup> 0 to obtain *<sup>D</sup>*Ω<sup>þ</sup> � *<sup>D</sup>*Ω� <sup>¼</sup> 0 so *<sup>D</sup>*Ω� <sup>¼</sup> *<sup>D</sup>*þΩ� <sup>¼</sup> 0 and hence □Ω� <sup>¼</sup> 0. Here, □ <sup>¼</sup> *DD*<sup>∗</sup> <sup>þ</sup> *<sup>D</sup>*<sup>∗</sup> *<sup>D</sup>* is the Laplace Beltrami operator. Integrate <sup>Ω</sup>�, □Ω� h i by parts over *<sup>M</sup>* using the Weizenbock formula,

$$
\Box = \nabla^\* \overline{\nabla} + \frac{\mathsf{R}\_\mathsf{i}}{\mathsf{3}} + \mathcal{W}^+(\mathsf{I}) - \left[ \left( \mathfrak{Q}^E \right)^+, \cdot \right] \tag{96}
$$

and apply Kato's inequality gives

$$\begin{split} \mathbf{O} = \langle \boldsymbol{\Omega}^{-}, \square \boldsymbol{\Omega}^{-} \rangle &= \int\_{M} \left( \overline{\boldsymbol{\Omega}}^{-} |\nabla^{\ast}| \nabla \boldsymbol{\Omega}^{-} + \frac{m}{3} |\boldsymbol{\Omega}^{-}|^{2} + W^{-} |\boldsymbol{\Omega}^{-}|^{2} - \boldsymbol{\Omega}^{-} \left[ (\boldsymbol{\Omega}^{E})^{-}, \boldsymbol{\Omega}^{-} \right] \right) dv\_{\mathcal{S}} \\ &= \int\_{M} \left( |\overline{\boldsymbol{\nabla}} \boldsymbol{\Omega}^{-}|^{2} + \left( \frac{m}{3} + W^{-} \right) |\boldsymbol{\Omega}^{-}|^{2} + \overline{\boldsymbol{\Omega}}^{-} \left[ \left( \boldsymbol{\Omega}^{E} \right)^{-}, \boldsymbol{\Omega}^{-} \right] \right) dv\_{\mathcal{S}} \\ &\geq \int\_{M} \left( |d| \boldsymbol{\Omega}^{-}|^{2} + \epsilon |\boldsymbol{\Omega}^{-}|^{2} - |\boldsymbol{\Omega}^{-}|^{3} \right) dv\_{\mathcal{S}}. \end{split} \tag{97}$$

By Hölder's inequality, followed by Sobolev's inequality, the last term is bounded by

$$\int\_{M} |\mathfrak{Q}^{-}|^{3} dv\_{\mathfrak{g}} \leq \alpha \|\mathfrak{Q}^{-}\|\_{0,2} \cdot \left( \|d\mathfrak{Q}^{-}\|\_{0,2}^{2} + \|\mathfrak{Q}^{-}\|\_{0,2}^{2} \right). \tag{98}$$

This is dominated by the first two terms whenever Ω� k k0,2 is sufficiently small. But this means the right-hand side is positive and a contradiction. The only way this can be is that Ω� ¼ 0.

(ii) If *<sup>ϕ</sup>* <sup>¼</sup> *<sup>ϕ</sup>*þ, *<sup>ϕ</sup>*� ð Þ∈*V*þ⊕*V*� satisfies <sup>D</sup>*<sup>ψ</sup>* <sup>¼</sup> 0, then *<sup>ϕ</sup>*�, <sup>D</sup><sup>2</sup> *<sup>ψ</sup>*� � � <sup>¼</sup> 0. Using the Weitzenböck formula for the squared Dirac operator D<sup>2</sup> , we obtain

$$\begin{split} \mathbf{0} &= \int\_{M} \left( \left| \overline{\nabla} \phi^{e} \right|^{2} + \frac{R\_{s}}{2} |\phi^{-}|^{2} + \frac{1}{2} \sum\_{i,j} \epsilon^{i} \boldsymbol{e}^{j} \cdot \overline{\phi}^{-} \, \Delta\_{ij}^{E} \phi^{-} \right) dv\_{\mathbf{g}} \\ &\geq \int\_{M} |\boldsymbol{d}| \phi^{-} \left\| \right\|^{2} + \frac{R\_{s}}{2} |\phi^{-}|^{2} + \frac{1}{2} \sum\_{i,j} \epsilon^{i} \boldsymbol{e}^{j} \overline{\phi}^{-} \, \Delta\_{ij} \phi^{-} \, \operatorname{dv}\_{\mathbf{g}}. \end{split} \tag{99}$$

Whenever Ω� k k0,2 is sufficiently small this inequality can apply, provided that *ϕϕ*� ¼ 0 so then

$$-2\mathcal{D}^\*\,\Omega = -\mathcal{Q} = \left\langle \phi^-, \epsilon^i \rho(\sigma^a)\phi \right\rangle \sigma\_a \otimes e\_i + \left\langle \phi^+, \epsilon^i \rho(\sigma^a)\phi^- \right\rangle \sigma\_a \otimes e\_i = 0. \tag{100}$$

Therefore, Ω� ¼ 0 by ð Þ*i* .

Solutions of the coupled field equations have the properties expected of elliptic equations, specifically, for *p* >2 an *L*2*<sup>p</sup>* weak solution is *C*∞. This is basically elliptic regularity. There is a subtle point in that the coupled equations are elliptic only after a choice of gauge. Rather than using a connection to identify <sup>C</sup> <sup>¼</sup> *<sup>A</sup>*<sup>1</sup> , we shall choose a point *x*∈ *M* and ball *B* ¼ *B x*ð Þ ;*r* around *x* and fix a gauge, considered as a section of the frame bundle of *E*, to pull down connections. This identifies the space of connections over *B* with *A*<sup>1</sup> � � *<sup>B</sup>*. Let *V*<sup>0</sup> be the connection corresponding to 0∈ *A*<sup>1</sup> � � *<sup>B</sup>* under this identification. Then in terms of covariant derivatives, the original connection is ∇ ¼ *d* þ *ω*, and *V*<sup>0</sup> is simply exterior differentiation *d*.

The tangent space to the orbit of the gauge group through ð Þ ∇, *ϕ* ∈C ∈ E is the image of *<sup>K</sup>* : *<sup>A</sup>*<sup>0</sup> ! *<sup>A</sup>*<sup>1</sup> <sup>þ</sup> <sup>E</sup> by *<sup>X</sup>* ! ð Þ <sup>∇</sup>*X*, *<sup>ρ</sup>*ð Þ *<sup>X</sup>* , *<sup>ϕ</sup>* . The *<sup>L</sup>*<sup>2</sup> orthogonal complement of the image, which is the kernel of the adjoint operator *K* <sup>∗</sup> , provides a natural slice for the gauge orbit. This adjoint is *<sup>K</sup>* <sup>∗</sup> : ð Þ! *<sup>η</sup>*, *<sup>ψ</sup>* <sup>∇</sup><sup>∗</sup> *<sup>η</sup>* <sup>þ</sup> h i *<sup>ψ</sup>*, *<sup>ρ</sup>*ðÞ*<sup>ϕ</sup>* , where this last term selects an element of *<sup>A</sup>*<sup>0</sup> <sup>¼</sup> *<sup>A</sup>*<sup>0</sup> � � <sup>∗</sup> via the Killing metric. There is a theorem which applies at the regular points of C � E, where the action of the gauge algebra is free which is just stated: Suppose *M* is a compact Riemannian 4-manifold possibly with boundary. If a regular field ð Þ *<sup>V</sup>*, *<sup>ϕ</sup>* <sup>∈</sup> ð Þ <sup>C</sup> � <sup>E</sup> *<sup>k</sup>*þ1,*<sup>p</sup>* with *<sup>k</sup>*<sup>≥</sup> 0, 2<sup>&</sup>lt; *<sup>p</sup>*<4. Then there is a constant *<sup>c</sup>* such that for every field ð Þ *<sup>η</sup>*, *<sup>ψ</sup>* with k k ð Þ *<sup>η</sup>*, *<sup>ψ</sup> <sup>k</sup>*þ1,*<sup>p</sup>* <sup>&</sup>lt;*<sup>c</sup>* there is a gauge transformation *g* ∈C*<sup>k</sup>*þ2,*<sup>p</sup>* unique is a neighborhood of the identity, with *K* <sup>∗</sup> *<sup>λ</sup>* <sup>ð</sup>*<sup>g</sup>* � ð Þ� *<sup>V</sup>* <sup>þ</sup> *<sup>η</sup> <sup>V</sup>*, *<sup>g</sup>* � ð Þ� *<sup>ϕ</sup>* <sup>þ</sup> *<sup>ψ</sup> <sup>ϕ</sup>*Þ ¼ 0 weakly. If <sup>∇</sup>, *<sup>ϕ</sup>*, *<sup>η</sup>* and *<sup>ψ</sup>* are *<sup>C</sup>*<sup>∞</sup>, then *<sup>g</sup>* is *<sup>C</sup>*<sup>∞</sup>.

**Theorem 6.3** Let ∇ be an *Lk*þ1,*<sup>p</sup>*, *k*≥0, 2<*p*< 4 connection on a bundle *E* over a four-manifold *<sup>M</sup>* and let *<sup>σ</sup>* : *<sup>M</sup>* ! Frameð Þ *<sup>E</sup>* be a *<sup>C</sup>*<sup>∞</sup> gauge for *<sup>E</sup>*. Then there exists a constant *<sup>c</sup>*>0 depending only on *<sup>M</sup>* such that if <sup>∇</sup> <sup>¼</sup> *<sup>d</sup>* <sup>þ</sup> *<sup>ω</sup>* and k k *<sup>ω</sup> <sup>k</sup>*þ1,*<sup>p</sup>* <sup>&</sup>lt;*<sup>c</sup>* in the gauge *<sup>σ</sup>*, then there is a gauge transformation *<sup>g</sup>* <sup>∈</sup>G*<sup>k</sup>*þ2,*<sup>p</sup>* such that *<sup>d</sup>*<sup>∗</sup> *<sup>ω</sup>* <sup>¼</sup> 0 in the gauge *<sup>g</sup>* � *<sup>σ</sup>*. If <sup>∇</sup> is *<sup>C</sup>*<sup>∞</sup>, then *<sup>g</sup>* is *<sup>C</sup>*<sup>∞</sup>.

We can choose a *C*<sup>∞</sup> gauge around a given point *x*<sup>0</sup> and modify this to a gauge in which *<sup>d</sup>*<sup>∗</sup> *<sup>ω</sup>* <sup>¼</sup> 0 using Theorem 6.2. To achieve this, it is necessary to make the *Lk*,*<sup>p</sup>* norm of the fields small.

*Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

**Theorem 6.4** Let ∇ be an *L*1,*p*, 2 <*p* <4 connection on a domain *D* ⊂ *M*4. Then there is a *C*<sup>∞</sup> gauge *σ* and a gauge transformation *g* ∈G2,*<sup>p</sup>* such that, after a constant conformal change of metric, *<sup>d</sup>*<sup>∗</sup>*<sup>ω</sup>* <sup>¼</sup> 0 in a neighborhood of 0<sup>∈</sup> *<sup>D</sup>* in the gauge *<sup>g</sup>* � *<sup>σ</sup>* and the new metric.

**Proof**: Given *ε* >0 choose a *C*<sup>∞</sup> gauge in a neighborhood of 0 ∈ *D* and a small ball *<sup>B</sup>*ð Þ 1, *<sup>τ</sup>* , *<sup>τ</sup>* <sup>&</sup>gt;1 around 0 with k k *<sup>ω</sup>* 0,*<sup>p</sup>* <sup>&</sup>lt;*<sup>ε</sup>* is the required scale. Take *<sup>B</sup>* 1, *<sup>τ</sup>*<sup>2</sup> ð Þ to the unit disk *<sup>B</sup>*ð Þ *<sup>τ</sup>*, 1 by a conformal change of metric. Since j j *<sup>ω</sup>* <sup>2</sup>*<sup>p</sup>* and j j <sup>∇</sup>*<sup>ω</sup> <sup>p</sup>* <sup>¼</sup> <sup>P</sup>*ek* ⊗ ∇*k<sup>ω</sup>* � � � � *p* have conformal weight 2*p*, rescaling gives

$$|||\boldsymbol{\alpha}|||\_{0,2p,B(\mathbf{r},\mathbf{1})}^{2p} = \tau^{2p-4}||\boldsymbol{\alpha}||\_{0,2p,B(\mathbf{1},\mathbf{r}^2)}^{p}, \qquad ||\nabla\boldsymbol{\alpha}||\_{0,p,B(\mathbf{r},\mathbf{1})}^{p} = \tau^{2p-4}||\nabla\boldsymbol{\alpha}||\_{0,p,B(\mathbf{1},\mathbf{r}^2)}^{p}. \tag{101}$$

In the new metric, Hölder's inequality gives,

$$\|\|\boldsymbol{\alpha}\|\|\_{\mathbf{1},p,\mathbf{B}(\tau,\mathbf{1})} \le \|\nabla\boldsymbol{\alpha}\|\|\_{\mathbf{0},p,\mathbf{B}(\tau,\mathbf{1})} + c\|\|\boldsymbol{\alpha}\|\|\_{\mathbf{0},\mathbf{2},p,\mathbf{B}(\tau,\mathbf{1})} \le \|\nabla\boldsymbol{\alpha}\|\|\_{\mathbf{0},p,\mathbf{B}(\mathbf{1},\mathbf{r}^2)} + c\|\|\boldsymbol{\alpha}\|\|\_{\mathbf{0},\mathbf{2},p,\mathbf{B}(\mathbf{1},\mathbf{r}^2)} \le (\mathbf{1}+c)\varepsilon,\tag{102}$$

where *c*<sup>2</sup>*<sup>p</sup>* is the volume of the unit ball in the rescaled metric, which is uniformly bounded in *τ* for *τ* < 1. When *ε* is sufficiently small, Theorem 6.3 applies.

Uhlenbeck has proved the much more difficult fact that the rescaling used here depends only on k k Ω 0,*<sup>p</sup>*.

**Theorem 6.5** Let ð Þ ∇*ϕ* ∈ð Þ C � E 1,*<sup>p</sup>*, *p*>2 be a weak solution to the coupled Yang-Mills Eq. (90). Then there is an *<sup>L</sup>*2,*<sup>p</sup>* gauge in which ð Þ <sup>∇</sup>, *<sup>ϕ</sup>* is *<sup>C</sup>*<sup>∞</sup>.

**Proof**: Fix an *x*∈ *M*, By Theorem 6.2, there is an *L*2,*<sup>p</sup>* gauge defined in a neighborhood of *<sup>x</sup>* such that <sup>∇</sup> <sup>¼</sup> *<sup>d</sup>* <sup>þ</sup> *<sup>ω</sup>* with *<sup>d</sup>*<sup>∗</sup> *<sup>ω</sup>* <sup>¼</sup> 0 in this gauge. Expanding the field equations in this gauge, we have *<sup>J</sup>* <sup>¼</sup> *<sup>D</sup>*<sup>∗</sup> <sup>Ω</sup> <sup>¼</sup> *<sup>d</sup>*<sup>∗</sup> *<sup>d</sup><sup>ω</sup>* <sup>þ</sup> *<sup>ω</sup>d<sup>ω</sup>* <sup>þ</sup> ð Þ <sup>1</sup>*=*<sup>2</sup> *ω ω*½ � ,*<sup>ω</sup>* . Hence *dd*<sup>∗</sup> *<sup>ω</sup>* <sup>¼</sup> 0, so *<sup>d</sup>*<sup>∗</sup> *<sup>d</sup><sup>ω</sup>* <sup>¼</sup> □*<sup>ω</sup>* <sup>¼</sup> <sup>∇</sup><sup>∗</sup> <sup>∇</sup>*<sup>ω</sup>* <sup>þ</sup> Ricð Þ *<sup>ω</sup>* by the Weitzenböck formula, □ <sup>¼</sup> <sup>∇</sup><sup>∗</sup> <sup>∇</sup> <sup>þ</sup> Ric <sup>þ</sup> ð Þ <sup>1</sup>*=*<sup>2</sup> <sup>P</sup>*e<sup>i</sup>* � *<sup>e</sup><sup>j</sup>* � <sup>Ω</sup>*<sup>E</sup> ij*. A boson field then weakly satisfies

$$\begin{aligned} \Delta o - \text{Ric}\,(o) - \alpha d o - \frac{1}{2} o [o, o] - \text{Re } \langle (\nabla + o) \phi, \rho(\cdot) \phi \rangle &= 0, \\ \Delta \phi + 2o \phi + \alpha o \phi(\phi) + \frac{R\_s}{6} \phi + a |\phi|^2 \phi + m^2 \phi &= 0, \end{aligned} \tag{103}$$

where Δ is the metric Laplacian on functions. Applying D to D*ϕ* ¼ *mϕ* and using the Weizenböck formula (72) for the square of the Dirac operator on *E*-valued spinors, gives equations for the fermion fields. These are uniformly elliptic systems. Regularity follows by usual elliptic theory.

#### **7. Conclusions**

An extensive theory of Yang-Mills fields coupled to scalar and spinor fields on finite dimensional manifolds has been established. As well as differential geometric ideas, the appearence and systematic use of non-abelian Lie groups is also crucial and as such play a deep role in the study of elementary particles. The Yang-Mills fields represent forces or more accurately, they can be thought of as carriers of those fundamental forces. The presentation has been innovative and proofs have been given for all of the theorems that were introduced. It can also be looked at as a starting point for the study of other topics such as the existence of singularities or isolated singularities.

*Manifolds III - Developments and Applications*

### **Author details**

Paul Bracken Department of Mathematics, University of Texas, Edinburg, TX, USA

\*Address all correspondence to: paul.bracken@utrgv.edu

© 2022 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/3.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

*Geometric Properties of Classical Yang-Mills Theory on Differentiable Manifolds DOI: http://dx.doi.org/10.5772/intechopen.105399*

#### **References**

[1] Yang CN, Mills RL. Conservation of isotopic spin and isotopic gauge invariance. Physical Review. 1954;**96**: 191-195

[2] Bleecker D. Gauge Theory and Variational Princples. Reading, MA: Addison-Wesley; 1981

[3] Weinberg S. The Quantum Theory of Fields. Vol. I. Cambridge: Cambridge University Press; 1995

[4] Weinberg S. The Quantum Theory of Fields. Vol. II. Cambridge: Cambridge University Press; 1996

[5] Jackiw R. Quantum meaning of classical field theory. Reviews of Modern Physics. 1977;**49**(3):681-706

[6] Beggs E, Majid S. Quantum Riemannian Geometry. NY: Springer-Verlag; 2020

[7] de Azcarraya J, Izquierda. Lie Groups, Lie Algebras, Cohomology and some Applications in Physics. Cmabridge: Cambridge University Press; 1998

[8] Lee JM. Introduction to Smooth Manifolds. NY: Springer-Verlag; 2013

[9] Nakahara M. Geometry. Adam Hilger, Bristol: Topology and Physics; 1990

[10] Hamilton MJD. Mathematical Gauge Theory. NY: Springer-Verlag; 2017

[11] Berline N, Getzler E, Vergne M. Heat Kernels and Dirac Operators. Berlin: Springer-Verlag; 2004

[12] Atiyah MF, Bott R. The Yang-Mills equation over Riemann surfaces. Philosophical Transactions. Royal Society of London. 1983;**A 308**:523-615 [13] Schwinger J. Gauge invariance and Mass. Physical. Review. 1962;**125**: 397-398

[14] t'Hooft G. Renormalizable Lagrangians for massive Yang-Mills fields. Nuclear Physics. 1971;**B 351**: 167-188

[15] Parker T. Gauge theories on four dimensional Riemannian manifolds. Communications in Mathematical Physics. 1982;**85**:563-602

[16] Hitchin N. Linear field equations on self-dual spaces. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences. 1981;**A 370**:173-191

[17] Atiyah M, Bott R, Patodi V. On the heat equation and the index theorem. Inventiones. 1973;**19**:279-330

[18] Bracken P. Classical Yang-Mills field equations coupled to a scalar triplet invariant under subgroups of the conformal group. Journal of Geometry and Physics. 1999;**31**:229-240

[19] Bracken P. Invariant solutions of the Yang-Mills field equations coupled to a scalar doublet. Letters in Mathematical Physics. 1999;**47**:19-31

[20] Bracken P. Hamiltonian formulation of Yang-Mills theory and gauge ambiguity in quantization. Canada Journal of Physics. 2003;**81**: 545-554

[21] Abers E, Lee BW. Gauge theories. Physics Reports. 1972;**9**(1):1-141

[22] Goldstone J, Salam A, Weinberg S. Broken Symmetries. Physics Review Letters. 1962;**127**:956-970

[23] Weinberg S. Physical processes in a convergent theory of the weak and electromagnetic interaction. Physics Review Letters. 1971;**27**:1688-1691

[24] Ivanencko D, Sardanashvily G. The gauge treatment of gravity. Physics Reports. 1983;**94**(1):1-45

[25] Rennie R. Geometry and topology of chiral anomalies in gauge theories. Advances in Physics. 1998;**39**(6):617-779

[26] Leibbrandt G. Introduction to covariant gauges. Reviews of Modern Physics. 1987;**59**(4):1067-1119

[27] Aldrovandi R, Pereira JG. An Introduction to Geometrical Physics. Singapore: World Scientific; 2017

[28] Buonchotiani AM. An algebra of the Yang-Mills field. Journal of Mathematics Physics. 1973;**14**:849-854

[29] Balachandran AP, Marmo G, Skygerstam B, Stern A. Gauge Symmetries and Fibre Bundles. Lecture Notes in Physics. 1983;**188**, Springer-Verlag

[30] Birmingham D, Blau M, Rekowski M, Thompson G. Topological field theory. Physics Reports. 1991;**209**: 129-340

[31] Uhlenbeck K. Removable singularities in Yang-Mills fields. Communications in Mathematical Physics. 1982;**80**:11-30

[32] Vinet L. Matter-coupled Yang-Mills system in Minkowski space I: Invariant solutions in the presence of scalar fields. Physics Review. 1981;**D 24**:3179-3193

[33] Harnad J, Schneider S, Vinet L. The Yang-Mills system in compactified Minkowski space, invariance conditions and *SU*ð Þ2 invariant solutions. Journal of Mathematical Physics. 1979;**20**:931-942

*Edited by Paul Bracken*

The subject of manifolds is an exciting area of research in modern mathematics. This volume presents five chapters that discuss manifolds and some of their applications to other areas of study. It is designed to provide researchers further insight into what is current in the field and will hopefully spur further study.

Published in London, UK © 2022 IntechOpen © sakkmesterke / iStock

Manifolds III - Developments and Applications

Manifolds III

Developments and Applications

*Edited by Paul Bracken*