^{1}

^{2}

^{3}

Study of gauge symmetry is carried over the different interacting and non-interacting field theoretical models through a prescription based on Lagrangian formulation. And the prescription is capable of testing whether a given model possesses a gauge symmetry or not. It can successfully formulate the gauge transformation generator in all the cases whatever subtleties are involved in it. It is found that the prescription has the ability to show a direction how to extend the phase space using auxiliary fields to restore the gauge invariance of a theory. Like the usual phase space, the prescription is found to be equally powerful in the extended phase space of a theory.

The most important model in particle physics now is the standard model; it describes the weak, strong and electromagnetic interactions between quarks and leptons which are now said to be the elementary particles of atom.

Particle physics is the science of the smallest constituents of matter, and how they interact. It evolves from physical chemistry, where it was first resolving that all chemical substances, like molecules, are made up of chemical elements, At the turn of 19^{th} to 20^{th} century, it was then found out that the atoms were not elementary, rather they had constituents, a single nucleus and a number of indistinguishable electrons [

Early 20^{th} century, it was then found that nucleus was not elementary but a constitution of proton and neutron. Later on, constitutes of neutron and proton were revealed to be quarks. Consequently, that gave rise of the standard model that answered the unresolved questions, by mathematical formulations and theories. One of the most crucial formulations is the Lagrangian that describes the behaviour of a system, with the concept of relativity and quantum mechanics [

And the main objective of this manuscript is a description of the interaction between fundamental particles in terms of the exchange of fundamental force particles and gauge coupling on the view of standard model (SM).

Elementary particles are then classified into two according to energy state statistics. Elementary particles that obey Bose-Einstein statistics are called Bosons i.e. there can be arbitrary many of them in any given state of fixed quantum numbers, they also have spin ( n ℏ ). While Fermions are those that obey Fermi-Dirac statistics and have to adhere to the Pauli principle i.e. only single fermion can be in any given state with fixed quantum number, and they have spin ( n + 1 2 ) ℏ [

Elementary particles are known to be 38 in number; 24 are Fermions, 13 Bosons and 1 Higgs. The union of special relativity and quantum mechanics that describes these particles is called quantum field theory [

Standard model explains that fermions are the constituents of matter which are subdivided into two: Quarks and Leptons and gauge bosons mediate their interactions. Quarks are six particles same as Leptons with anti-particles of the same properties except for charge. These twelve particles are of three families or generations naturally.

1) Electron neutrino (ν_{e}), electron (e^{−}), up quark (u), down quark (d);

2) Muon neutrino (ν_{μ}), muon (μ^{−}), charm Quark (c), strange quark (s);

3) Tau neutrino (ν_{τ}), Tau (τ^{−}), top quark (t), bottom quark (b).

Each generation consists of two leptons with charges Q = 0 and Q = −1 and two quarks with charges Q = + 2 3 and Q = − 1 3 .

All visible matter in the universe is made from the first generation of matter particles,up quarks, down quarks, and electrons. This is because all second and third generation particles are unstable and quickly decay into stable first-generation particles [

1) Colour charge: a question may rise, why one saw only those combinations of quarks and antiquarks that had integer charge, and why no one ever saw a q, q-q, q-q-q-bar, or countless other combinations [

The range or limitation of a force explains the distance covered by that force and where you cannot find that force. The range of forces is related to the mass of exchange particle M [

An amount of energy Δ E = m c 2 borrowed for a time Δt is governed by the Uncertainty Principle:

Δ E ⋅ Δ T ~ ℏ

The maximum distance the particle can travel is Δ χ = c Δ t , where c is velocity of light.

Δ χ = ℏ c / Δ E

Δ χ = ℏ c / M c 2 forces’ range formula.

The photon has M = 0, which shows infinite range of EM force.

W boson has a mass of 80 GeV/c^{2}, Range of weak force is

197 MeV fm/8 × 10^{5} MeV = 2 × 10^{−3} fm [

A gauge theory is one that possesses invariance under a set of local transformations”, i.e. transformations whose parameters are space-time dependent [

In the case of quantum electrodynamic (QED), the gauge symmetry is abelian, [

In the 1950’s Yang and Mills considered (as a purely mathematical exercise) extending gauge invariance to include local non-abelian (i.e. non-commuting) transformations such as SU (2).

In this case one needs a set of massless vector fields (three in the case of SU (2)), which were formally called “Yang-Mills” fields, but are now known as “gauge fields”.

Consider the Lagrangian density for a free Dirac field ψ:

L = Ψ ¯ ( i γ μ ∂ μ − m ) Ψ (1.1)

This Lagrangian density is invariant under a phase transformation of the fermion field

Ψ → e i Q ω Ψ , Ψ ¯ = e i Q ω Ψ ¯ , (1.2)

Q Ψ = + Ψ , Q Ψ ¯ = − Ψ ¯

where Q is the charge operator ω is a real constant (i.e. independent of x) and ψ ¯ is the conjugate field.

The set of all numbers e^{−iω} form a group2. This particular group is “abelian” which is tosay that any two elements of the group commute. This just means that [

e − i ω 1 e − i ω 2 = e − i ω 2 e − i ω 1 . (1.3)

This particular group is called U(1) which means the group of all unitary 1 × 1 matrices. A unitary matrix satisfies U^{+} = U^{−1} with U^{+} being the adjoint matrix.

We can now state the invariance of the Lagrangian Equation (1.1) under phase transformations in amore fancy way by saying that the Lagrangian is invariant under global U (1) transformations. By global we mean that ω does not depend on x.

We assume that the parameter ω is sufficiently small that we can expand in ω and neglect all but the linear term. Thus, we write

e − i ω = 1 − i ω + O ( ω 2 ) (1.4)

Under such infinitesimal phase transformations, the field ψ changes according to:

Ψ → Ψ + δ Ψ = Ψ + i Q ω Ψ (1.5)

and the conjugate field ψ ¯ by

Ψ ¯ → Ψ ¯ + δ Ψ ¯ = Ψ ¯ + i Q ω Ψ ¯ = Ψ ¯ − i ω Ψ ¯ (1.6)

such that the Lagrangian density remains unchanged (to order ω).

At this point we should note that global transformations are not very attractive from a theoretical point of view. The reason is that making the same transformation at every space-time point requires that all these points ’know’ about the transformation [

Thus, we have two options at this point. Either, we simply note the invariance of Equation (1.1) under global U (1) transformations and put this aside as a curiosity, or we insist that invariance under gauge transformations is a fundamental property of nature. If we take the latter option, we have to require invariance under local transformations. Local means that the parameter of the transformation, ω, now depends on the space-time point x. Such local (i.e. space-time dependent) transformations are called “gauge transformations”.

If the parameter ω depends on the space-time point then the field ψ transforms as follows under infinitesimal transformations

δ Ψ ( x ) = i ω ( x ) Ψ ( x ) ; δ Ψ ¯ = − i ω ( x ) Ψ ¯ ( x ) . (1.7)

Note that the Lagrangian density Equation (1.1) now is no longer invariant under these transformations, because of the partial derivative between ψ ¯ and ψ. This derivative will act on the space-time dependent parameter ω(x) such that the Lagrangian density changes by an amount δ L , where

δ L = − Ψ ¯ ( x ) γ μ ( ∂ μ Q ω ( x ) ) Ψ ( x ) . (1.8)

The square brackets in [∂_{µ}Q_{ω}(x)] are introduced to indicate that the derivative ∂_{µ} acts only inside the brackets. It turns out that we can restore gauge invariance if we assume that the fermion field interacts with a vector field A_{µ}, called a “gauge field”, with an interaction term [

− e ψ ¯ γ μ A μ Q ψ (1.9)

Added to the Lagrangian density which now becomes:

L = ψ ¯ ( i γ μ ( ∂ μ + i e Q A μ ) − m ) ψ (1.10)

In order for this to work we must also assume that apart from the fermion field transforming under a gauge transformation according to Equation (1.7) the gauge field, A_{µ}, also changes according to

− e Q A μ → − e Q ( A μ + δ A μ ( x ) ) = − e Q A μ + Q ∂ μ ω ( x ) (1.11)

So δ A μ ( x ) = − Q ∂ μ ω ( x ) e .

This change exactly cancels with Equation (1.8), so that once this interaction term has been added the gauge invariance is restored. We recognize Equation (1.10) as being the fermionic part of the Lagrangian density for QED, where e is the electric charge of the fermion and A_{µ} is the photon field [

In order to have a proper quantum field theory, in which we can expand the photon field A_{µ}_{ }in terms of creation and annihilation operators for photons, we need a kinetic term for the photon, i.e. a term which is quadratic in the derivative of the field A_{µ}. Without such a term the Euler-Lagrange equation for the gauge field would be an algebraic equation and we could use it to eliminate the gauge field altogether from the Lagrangian. We need to ensure that in introducing a kinetic term we do not spoil the invariance under gauge transformations.

This is achieved by defining the field strength tensor, F_{µν}, as

F μ υ = ∂ μ A υ − ∂ υ A μ (1.12)

where the derivative is understood to act on the A-field only. It is easy to see that under the gauge transformation Equation (1.11) each of the two terms on the right-hand side of Equation (1.12) change, but the changes cancel out. Thus, we may add to the Lagrangian any term which depends on F_{µν} (and which is Lorentz invariant, thus, with all Lorentz indices contracted) [

Such a term is a F_{µν}F_{µν}. This gives the desired term which is quadratic in the derivative of the field A_{µ}. If we choose the constant a to be −1/4 then the Lagrange equations of motion match exactly (the relativistic formulation of) Maxwell’s equations.

We have thus arrived at the Lagrangian density for QED, but from the viewpoint of demanding invariance under U (1) gauge transformations rather than starting with Maxwell’s equations and formulating the equivalent quantum field theory.

The Lagrangian density for QED is:

L = − 1 4 F μ υ F μ υ + ψ ¯ ( i γ μ ( ∂ μ + i e Q A μ ) − m ) ψ (1.13)

Or we can say the Lagrangian for a fermion coupled to a U (1) gauge field is quantum electrodynamics (QED), if we call the fields electron and photon: [

L Q E D = 1 4 F μ υ F μ υ + ψ ¯ ( i D − m ) (1.14)

where

i D = ( i γ μ ( ∂ μ + i e Q A μ ) )

QCD is the theory of the strong interaction, [_{µ}(x) with a Lorentz index µ = 0, 1, 2, 3, just as in electromagnetism. Therefore, conditions must be imposed on A_{µ}(x) to select only the physical degrees of freedom, as different A_{µ}(x) can give rise to the same physics. These conditions are called gauge conditions or gauge choices. For the same reason, A_{µ}(x) are called gauge potentials, and gluons are called gauge particles.

QCD is an unbroken gauge theory, belonging to the group of non-abelian SU (3) [

It is easy to see that L is invariant under a global SU (3) transformation

ψ ′ ( x ) = U ψ ( x ) (3.1)

where U is a 3 × 3 unitary matrix acting on colour index, and “global” means that the field at different spacetime is transformed in exactly the same way. A generic SU (3) matrix requires 8 real parameters, usually written in the form [

U = exp ( i ∑ a θ a λ a / 2 ) (3.2)

where λ a / 2 ( a = 1 , ⋯ , 8 ) are 3 × 3 hermitian matrices and are called generators of SU (3) rotations.

If we introduce 8 gluon potentials, A_{µ} a, as well as the associated covariant derivative, D μ ≡ ∂ μ + i g A a μ λ a / 2 , the free quark lagrangian can be modified to

L q = ψ ¯ ( i D − m q ) ψ (3.3)

According to Maxwell theory on magnetism anti symmetric field strength tensor F_{µνa} and the kinetic energy term for the gluons are

L g = 1 4 F μ υ a F μ υ a (3.4)

The above equation is the Lagrangian for the gluon.

The full QCD Lagrangian density is the sum of quark and gluon term

L Q C D = L q + L g (3.5)

L Q C D = ψ ¯ ( i D − m q ) ψ − 1 4 F μ υ a F μ υ a (3.6)

Gauge transformation of weak interaction is similar to QCD, only which differs from it as discussed in chapter two that it is of 2 × 2 matrix and it is mediated by 3-gauge bosons [

L W E A K = ψ ¯ ( i γ μ ∂ μ − m ) ψ − g ( ψ ¯ γ μ τ α 2 ψ ) W μ α − 1 4 W μ ν α W α μ ν (3.7)

It is discussed in this paper, what is meant by standard model, how it comes to existence and also the most crucial part of it.

Clear explanation is made right from the history of it, to the emergence of elementary particles, and what are known to be elementary now and then. A wide explanation was made about the theories that explained the four fundamental forces, followed by explaining that they are part of gauge theory, and at last deriving their Lagrangian formulation.

This paper can serve as an introduction to the model as well as a good productive to someone well acquainted to the model.

Finally my grateful thanks to my teachers and my colleagues in the International University of Africa (IUA)-Physics Department and my the staff of physics in the Sudan University of Science and Technology (SUST)for their great help.

The authors declare no conflicts of interest.

Abdelgabar, M.I., Yakubu, A. and Abdallah, M.D. (2021) The Lagrangian Formulation and Gauge Theory of the Standard Model. Open Access Library Journal, 8: e7875. https://doi.org/10.4236/oalib.1107875