
5.1.1 Boundary Condition
As a continuation from the Holonomy group, let’s assume that we are compactifying one
spatial direction , let’s say x ∼ x + L , thereby making spacetime topologically
R
(
d − 1) ∗ S
1
.
The holonomy along S
1
can be described by the Wilson loop Ω = Pexp(i
H
γ
A
x
∂x) ∈ C.
or along the circumference we can write, Ω = Pexp(i
H
L
0
A
x
∂x) ∈ G. Now, a field ϕ(x)
which is charged under the gauge group G must satisfy:- ϕ(x + L) = Ωϕ(x). This is a
twisted boundary condition, where the twist is governed by the Holonomy. Now, if the
Holonomy is trivial i.e, Ω = 1, the field can be said as periodic.
We are interested in SU(2) decomposing into U(1) through compactification on a circle S
1
with a non-trivial Holonomy. Now, since compactification is introduced, we are interested
in compactifying a higher dimensional gauge theory which is a very powerful way to realize
Spontaneous Symmetry breaking via Holonomy.
5.1.2 Why Hi gher Dimensions ?
The reason being , we can obtain Effective 4D theories because gauge fields are vector
fields , A
µ
with no extra scalar-like components unless we introduce them by hand (like the
Higgs field). But in higher dimensions, gauge fields have extra components. For eg:- in 5D
[11], the gauge field can be written as A
µ
(x
µ
, x
5
) with M = 0, 1, 2, 3, 5 .
3
A
5
behaves like a scalar field from a 4D perspective. So, x
5
, when it is compactified on a
circle S
1
, it would be:-
Ω = Pexp(i
Z
L
0
A
5
∂x
5
)
This holonomy cannot be gauged away globally due to the nontrivial topology of S
1
. It
leads to symmetry breaking: only the subgroup that commutes with Ω remains unbroken.
This holonomy cannot be gauged away globally due to the nontrivial topology of S
1
. It
leads to symmetry breaking: only the subgroup that commutes with Ω remains unbroken.
This method of breaking gauge symmetry spontaneously by a Wilson loop W is also known
as the Hosotani mechanism.
3
Note:- It’s actually the index for the fifth coordinate, but in many Kaluza - Klein or extra-dimensional setups, the numbering
skips 4 to avoid confusion with the Lorentz index range , µ = 0, 1, 2, 3
16