28.02.2014 Views

Topology, symmetry, and phase transitions in lattice gauge ... - tuprints

Topology, symmetry, and phase transitions in lattice gauge ... - tuprints

Topology, symmetry, and phase transitions in lattice gauge ... - tuprints

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

6 <strong>gauge</strong> theories<br />

Invariance of the Lagrangian requires that the covariant derivative D µ φ transforms<br />

like the field φ itself under <strong>gauge</strong> transformations, which justifies its name.<br />

This dictates the transformation law for the vector potential,<br />

A µ (x) → e −ieθ(x) [A µ (x) − i e ∂ µ]e ieθ(x) = A µ (x) + ∂ µ θ(x). (2.5)<br />

The scalar field φ is parallel transported along a spacetime path by dem<strong>and</strong><strong>in</strong>g that<br />

its covariant derivative vanishes. Inf<strong>in</strong>itesimally, one adds a correction,<br />

ieA µ (x)φ(x), (2.6)<br />

when φ(x) is transported from x to x + δx . Transportaton along a f<strong>in</strong>ite path γ to<br />

some po<strong>in</strong>t y is an iterative process that compounds the <strong>in</strong>f<strong>in</strong>itesimal corrections.<br />

They exponentiate,<br />

∫<br />

φ(y) = (P exp i eA µ dx µ )φ(x), (2.7)<br />

γ<br />

where the path order<strong>in</strong>g P rem<strong>in</strong>ds us that the <strong>in</strong>f<strong>in</strong>itesimal transportations are<br />

performed successively.<br />

If parallel transportation around a closed loop C is non-trivial,<br />

∮<br />

P exp i eA µ dx µ ̸= 1, (2.8)<br />

C<br />

then the connection has curvature. This object is called a loop holonomy. It gives<br />

the Aharonov-Bohm <strong>phase</strong> seen by a quanta of φ when it traverses the loop C.<br />

The field strength tensor F µν (x) is an <strong>in</strong>f<strong>in</strong>itesimal measure of the curvature. It<br />

measures the extent to which parallel transport depends on the path taken. Transport<strong>in</strong>g<br />

φ around a small square with sides of length ɛ <strong>in</strong> the (µ, ν) -plane gives the<br />

holonomy,<br />

where the field strength tensor is the 2-form def<strong>in</strong>ed by,<br />

≈ 1 + ieɛ 2 F µν , (2.9)<br />

F µν = − i e [D µ, D ν ] = ∂ µ A ν − ∂ ν A µ + ie[A µ , A ν ], (2.10)<br />

<strong>and</strong> the commutator is trivial for electrodynamics. The addition of the <strong>gauge</strong> <strong>in</strong>variant<br />

term − 1 4 F µνF µν to the Lagrangian encodes the contribution of the curvature<br />

of the connection specified by A µ , the photon field.<br />

Generally, the vector space of matter fields that form the st<strong>and</strong>ard fibers may<br />

be <strong>in</strong> any representation of a <strong>gauge</strong> group. The quarks of QCD belong to the fundamental<br />

representation of SU(3). Each Dirac sp<strong>in</strong> component of a quark field ψ<br />

transforms as a Grassman valued 3-vector under SU(3) matrix multiplication. S<strong>in</strong>ce<br />

the covariant derivative acts <strong>in</strong>f<strong>in</strong>itesimally on the quark field, the gluon vector potential<br />

A µ lives <strong>in</strong> the Lie algebra, su(3). It is a 3 × 3 matrix spanned by 8 traceless,<br />

hermitian generators,<br />

A µ (x) = A A µ (x)T A ,<br />

with<br />

[T A , T B ] = i f ABC T C , tr T A T B = 1 2 δAB .<br />

(2.11)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!