It is an invariance of Lagrangian
under group transformations which depend on a point in the space-time
manifold. Fields in such theories are divided into two classes:
matter fields and gauge fields. The gauge fields
are vector ones. The number of such fields is equal
to the number of group generators. The matter fields can have
an arbitrary
Lorentz structure. Their internal components are transformed
according to some representation of the group. Let be an
operator which performs an infinitesimal transformation of fields under
the local gauge transformation. For the matter fields we have
For gauge fields the local gauge transformations are defined by
The following expressions, namely a covariant derivative and a gauge field
tension, are used to construct a local invariant Lagrangian:
It can be proved that
In these terms the Lagrangian of gauge theory is defined by the following
expression [Bjorken&Drell]
(1)
where is the coupling constant and
is some
Lagrangian of the matter fields which is invariant under the global gauge transformations.