# 1 Abelian Gauge Theory

(1)

## Remarks on Classical Gauge Theory

14.05.2012

As a start-up for gauge theory, let us collect some statements and properties. Let M be a mani- fold andGa group.

• For example, take the gauge groupU(1). Graphically, this is

### M G

Figure 1: The group U(1) is a unitary group, denoted by a circle to emphasize the possible phases.

Define a product of the manifold with the group, P= M×G. On the group tube, we can locally define fibres F which are isomorphic toG, F'G, which are mapped to a point Π(F) in M. Π(F) is a projection of F on M. If we find a connection onG, then we can define a vertical vector (tangential to the fibre) and a horizontal vector.

### M Π (F)

• Let’s look atZ2×, a (rectangular) strip. Take the Möbius strip:

Figure 2: The Möbius Strip: A rectangle, twisted once and glued together at the ends; it only has one edge.

(2)

Locally, the shape and geometry of the möbius strip is just a rectangle. Globally, however, it is different and a lot more complicated.

### 1 Abelian Gauge Theory

FornDirac particles, the Lagrangian density is given by L=

n

X

j=1

iψ¯jγµµψj−mψ¯jψj

If the Lagragian density is left invariant under a transformation, this transformation is called a symmetry. This Lagrangian is invariant underglobal phase transformation,

ψj→ψ0j(x)=exp (−qjΘ)ψj(x)

⇒ L → L0=L

Locally tranforming the phase can be interpreted as wandering along the fibre.

Noether’s theorem states that for every symmetry, there is a conserved quantity or current. For a global phase transformation, we find

jµ(x)=X

k

qkψ¯kγµψk

There is also a conserved charge,

Q=Z

j0(x)d3x

Now, if we do not only shift along the fibre, but also left and right, we get a local phase transformation, where the Lagrangian density is not preserved.

ψj→ψ0j(x)=exp

qjΘ(x) ψj(x)

⇒ L → L0,L

We need to find a new derivative such that the Lagrangian stays invariant: the covariant deriva- tiveDµ.

### 1.1 The covariant derivative

We are in need of a covariant derivative, such that (Dµψj)0=exp

qiΘ(x)

Dµψj(x). WithDµ, the Lagrangian will stay invariant,LL0=L.

Declare: Dµψj(x)B

h∂µ+ieqjAµi

ψj(x), where e is a pasotive constant. Then we will have gauge invariance if we also transform the gauge field,Aµ:

Aµ(x)→A0µ(x)=Aµ(x)+ f rac1e∂µΘ(x) The commutator is

(3)

With this ansatz, Dµ transforms as it should. We find that h

µAν−∂νAµi

= Dµν(x) is gauge invariant. Fµνis called Maxwell’s Field Strength in physics, or curvature in mathematics.

The Lagrangian density with the covariant derivative becomes L=ψ(i¯ D/−m)ψ−1

4FµνFµν with D/=X

µ

γµ(∂µ+ieaµ)

Then, in fact,L0=L. The equations of motion are given by

µFµν=eψγ¯ νψ (i/∂−m)ψ=eAψ/ (iD/−m)ψ=0

The third equation is called the coraviant Dirac equation. These are classically Maxwell’s equations! We also call them Dirac-Maxwell equations of motion.

Remark If the gauge fieldA(”connection”) acquires a mass term in the Lagrangian,m2AµAµ, with the Aµ bosonic fields, gauge invariance in the Lagrangian would be destroyed. This for- malism allows only for massless bosons. Gauge invariance does not work for massive gauge particles! This seems like a problem because we know from experimental physics that there are massive gauge bosons in the theory of electroweak interaction. This is allowed by another process, namely spontaneous symmetry breaking, which leads to the Higgs formalism.

In a consistens theory, counterterms are local. Interactions are only dependent on γµ. In our case, the coupling term is ¯ψ /Aψ, and renormalizability allows only certain interactions between fermions and bosons.

### 2 Non-abelian gauge theory

Let us look at a global phase transformation again, this time in a more general form, not re- stricted toU(1). CallTathe hermitian generators of some gauge group (not necessarily abelian), then the glbal phase shift will be

ψ(x)→ψ0(x)=exp (−iθaTa)ψ(x) The corresponding Lie algebra is generated by the commutator,

hTa,Tbi

= fabcTc

From the covariant derivative, we demand that for a local phase transformation, it behaves like Dµψ(x)0

=exp −iθa(x)Ta

| {z }

U(x)gG

Dµψ(x)

gGbelongs to the Lie algebraR.

(4)

### 2.1 The covariant derivative in non-abelian gauge theory

Take the same definition for the coraviant derivative as before:

Dµψ(x)=

µ+Aµ(x) ψ(x) Aµ(x)=igAaµTa

The couplinggis a positive constant, like theein abelian gauge theory. The covariant derivative transforms sensibly if the gauge field transforms like

A0µ(x)=U(x)Aµ(x)U−1(x)−

µU(x)

U−1(x)

=U(x)

Aµ+∂µ

U−1(x) Infinitesimally, the transformation is

δAµ(x)=A0µ(x)−Aµ(x)=∂µθ(x)−h

Aµ(x),θ(x)i with [·,·] being the commutator in the Lie algebra, and withθ(x)Biθa(x)Ta.

⇒ δAaµ(x)= 1

g∂µθa(x)+ fabcθb(c)Acµ(x) The commutator of two covariant derivatives is

hDµ,Dνi

ψ(x)=

µAν(x)−∂νAµ(x)+ h

Aµ(x),Aν(x)i

| {z }

=AaµT a AbνT b−AbνT b AaµT a

=Aaµ(x)Abν(x)[T a,T b]

[T a,T b]=f abcT c

Define the covariant quantityGµνas the commutator:

Gµν(x)=∂µAν−∂νAµ+h Aµ,Aνi which tranforms like

G0µν(x)=U(x)Gµν(x)U−1(x) δGµν(x)=igGaµνTa

Gaµν=∂µAaν−∂νAaµ−g fabcAbµAcν For the coraviant derivative, we write

Dρ=∂ρ+Aρ

Dρ(f g)=(Dρf)f+ f(Dρg)

The covariant derivative fulfills the Leibniz rule. As a short notation, we introduce f,g≡ faTa,gaTa

Then we get

(5)

Finally, we have arrived at theLagrangian density of a non-abelian gauge field coupled to a fermionic field:

L= 1 2g2Tr

GµνGµν

+ψ(i¯ D/−m)ψ

=−1 4

µAaν−∂νAaµ

+g fabcAbµAcνµA−1

WE still have to add kinetic energy terms, these are only the interaction terms. We see that there is not only a cubic interaction between the gauge boson field and the fermion field, but also a cubic and quartic interaction between gauge fields. The possible vertices for self-interaction, which is only possible in non-abelian gauge theory, can be read offdirectly from the Lagrangian and are:

cubic interaction:

quartic interactions:

Both quartic interactions are of the orderg2.

### 2.2 Noether currents

Last but not least, here is a list of Noether currents and tranformations.

Aµ→A0µ=Aµ+δAµ δ∂νAµ=∂νδAµ

δA0µ=UδAµU−1

Dµν →G0µν=Gµν+DµδAν−DνδAµ jµ= jaµTa

jaµ=ψγ¯ µTaψ Dµjµ=0

The last line clearly indicates that the Noether current is covariantly conserved. Naturally, for a conserved current, we ask for a conserved charge,R

j0d3x, but this is not so easy, since we went from∂µtoDµ, integration does not simply work. We need Ward identities to solve this problem and they are a lot more complicated in non-abelian gauge theory than in abelian gauge theory.

Updating...

## References

Related subjects :