Register to reply

Counting degrees of freedom for Goldstone bosons

by karlzr
Tags: bosons, counting, degrees, freedom, goldstone
Share this thread:
karlzr
#1
Apr6-14, 04:46 AM
P: 86
I mean Goldstone bosons in the title. Sorry I don't know how to edit the title.

Goldstone's Theorem says that there is a massless Goldstone mode for each breaking symmetry. For instance symmetry of a theory is broken from SU(N) to SU(N-1), the # of Goldstone bosons is [itex] (N^2-1)-((N-1)^2-1)=2N-1[/itex] . The Goldstone modes are from some scalar fields. Take the electroweak theory in SM as an example, the [itex]SU(2)_L*U(1)[/itex] is broken to [itex]U(1)[/itex] where three degrees of freedom from the Higgs scalar H become Goldstone modes.

Then comes my question. Let's consider that the scalar fields live in the fundamental representation of SU(N) and thus there are [itex] 2N[/itex] degrees of freedom. If all [itex] N^2-1[/itex] symmetries in the gauge group are broken, how can we have [itex] N^2-1[/itex] Goldstone modes since there are only [itex] 2N[/itex] scalars in total?
Phys.Org News Partner Physics news on Phys.org
Symphony of nanoplasmonic and optical resonators produces laser-like light emission
Do we live in a 2-D hologram? New Fermilab experiment will test the nature of the universe
Duality principle is 'safe and sound': Researchers clear up apparent violation of wave-particle duality
The_Duck
#2
Apr6-14, 02:25 PM
P: 860
Quote Quote by karlzr View Post
Then comes my question. Let's consider that the scalar fields live in the fundamental representation of SU(N) and thus there are [itex] 2N[/itex] degrees of freedom. If all [itex] N^2-1[/itex] symmetries in the gauge group are broken, how can we have [itex] N^2-1[/itex] Goldstone modes since there are only [itex] 2N[/itex] scalars in total?
A scalar in the fundamental representation of SU(N) can't break all ##N^2-1## symmetries. It can at most break SU(N) down to SU(N-1), breaking ##2N-1## symmetries.
samalkhaiat
#3
Apr6-14, 03:39 PM
Sci Advisor
P: 908
Quote Quote by karlzr View Post
Goldstone's Theorem says that there is a massless Goldstone mode for each breaking symmetry. For instance symmetry of a theory is broken from SU(N) to SU(N-1), the # of Goldstone bosons is [itex] (N^2-1)-((N-1)^2-1)=2N-1[/itex] . The Goldstone modes are from some scalar fields. Take the electroweak theory in SM as an example, the [itex]SU(2)_L*U(1)[/itex] is broken to [itex]U(1)[/itex] where three degrees of freedom from the Higgs scalar H become Goldstone modes.
Here you are doing ok. But then, you come up with this!
Then comes my question. Let's consider that the scalar fields live in the fundamental representation of SU(N) and thus there are [itex] 2N[/itex] degrees of freedom. If all [itex] N^2-1[/itex] symmetries in the gauge group are broken, how can we have [itex] N^2-1[/itex] Goldstone modes since there are only [itex] 2N[/itex] scalars in total?
This means that you did not understand the OK part of your post.

Goldstone bosons need a space to live in. If a symmetry group [itex]G[/itex] breaks down spontaneously to one of its subgroup [itex]H[/itex], then Goldstone bosons appear as the parameters of the coset space [itex](G / H)[/itex], i.e., there will be [itex](\mbox{ dim } G - \mbox{ dim } H)[/itex] Goldstone bosons. So, if you (as you are suggesting) take [itex]H = G \subset G[/itex], then the “coset space” [itex]G / G[/itex] will have zero dimension, i.e., zero Goldstone bosons.

Sam

samalkhaiat
#4
Apr6-14, 03:42 PM
Sci Advisor
P: 908
Counting degrees of freedom for Goldstone bosons

Quote Quote by The_Duck View Post
... It can at most break SU(N) down to SU(N-1), breaking ##2N-1## symmetries.
Why not down to [itex]SU(N - M)[/itex]?
The_Duck
#5
Apr6-14, 05:04 PM
P: 860
Quote Quote by samalkhaiat View Post
Why not down to [itex]SU(N - M)[/itex]?
Let's take N = 3 for concreteness. Suppose we have a scalar in the fundamental representation of some SU(3) group which acquires a nonzero vacuum expectation value and therefore breaks some of the SU(3) symmetries. Without loss of generality we can take the VEV to be (0, 0, v) for some v, because any VEV can be rotated into the 3 direction by an SU(3) transformation. So this is the general case. This VEV breaks SU(3) down to SU(2). So in general a scalar field in the fundamental representation can only break SU(N) to SU(N-1).
karlzr
#6
Apr6-14, 06:34 PM
P: 86
Quote Quote by The_Duck View Post
A scalar in the fundamental representation of SU(N) can't break all ##N^2-1## symmetries. It can at most break SU(N) down to SU(N-1), breaking ##2N-1## symmetries.
Thanks, that makes sense.

Quote Quote by samalkhaiat View Post
Here you are doing ok. But then, you come up with this!

This means that you did not understand the OK part of your post.

Goldstone bosons need a space to live in. If a symmetry group [itex]G[/itex] breaks down spontaneously to one of its subgroup [itex]H[/itex], then Goldstone bosons appear as the parameters of the coset space [itex](G / H)[/itex], i.e., there will be [itex](\mbox{ dim } G - \mbox{ dim } H)[/itex] Goldstone bosons. So, if you (as you are suggesting) take [itex]H = G \subset G[/itex], then the “coset space” [itex]G / G[/itex] will have zero dimension, i.e., zero Goldstone bosons.

Sam
Thanks.
Could you explain a little more about "Goldstone bosons appear as the parameters of the coset space"? I only know they would appear in the exponent.
andrien
#7
Apr7-14, 09:46 AM
P: 1,020
Quote Quote by The_Duck View Post
Let's take N = 3 for concreteness. Suppose we have a scalar in the fundamental representation of some SU(3) group which acquires a nonzero vacuum expectation value and therefore breaks some of the SU(3) symmetries. Without loss of generality we can take the VEV to be (0, 0, v) for some v, because any VEV can be rotated into the 3 direction by an SU(3) transformation. So this is the general case. This VEV breaks SU(3) down to SU(2). So in general a scalar field in the fundamental representation can only break SU(N) to SU(N-1).
Can not you break ##SU(3)## to ##U(1)× U(1)##.
The_Duck
#8
Apr7-14, 02:12 PM
P: 860
Quote Quote by andrien View Post
Can not you break ##SU(3)## to ##U(1)× U(1)##.
How? Not by the VEV of a single scalar in the fundamental representation, I think, which is the scenario I was considering.
samalkhaiat
#9
Apr7-14, 06:45 PM
Sci Advisor
P: 908
Quote Quote by The_Duck View Post
Let's take N = 3 for concreteness. Suppose we have a scalar in the fundamental representation of some SU(3) group which acquires a nonzero vacuum expectation value and therefore breaks some of the SU(3) symmetries. Without loss of generality we can take the VEV to be (0, 0, v) for some v, because any VEV can be rotated into the 3 direction by an SU(3) transformation. So this is the general case. This VEV breaks SU(3) down to SU(2). So in general a scalar field in the fundamental representation can only break SU(N) to SU(N-1).
Yes, that is true for the simple case of one complex vector in [itex]SU(N)[/itex]. However, for example, putting two complex N-vector [itex]( \vec{ \phi } , \vec{ \chi } )[/itex] requires that the [itex]SU(N)[/itex] invariant potential to depend not only on [itex]\phi^{ \dagger }_{ i } \phi_{ i }[/itex] and [itex]\chi^{ \dagger }_{ i } \chi_{ i }[/itex], but also on the invariant product [itex]( \phi^{ \dagger }_{ i } \chi_{ i } + C.C. )[/itex]. The minimization of such potential shows that the two vectors [itex]( \vec{ \phi } , \vec{ \chi } )[/itex] can have non-zero entries in the last two components. These configurations are invariant under the [itex]SU(N - 2)[/itex] mixing of the first [itex]( N - 2 )[/itex] components.
In general, the pattern of a symmetry breaking [itex]G \rightarrow H[/itex] or (which is the same thing) the nature of the unbroken subgroup [itex]H[/itex] depends on [itex]G[/itex], on the representations chosen for the scalar fields [itex]( \phi_{ i } , \chi_{ i } , … )[/itex], and on the form of the invariant potential.

OK, here is an exercise for you: Take [itex]G = SU(3) \times SU(3)[/itex] and let the field [itex]\Phi[/itex] be a [itex]3 \times 3[/itex] matrix in the [itex]( 3 , \bar{ 3 })[/itex] representation. Write down the most general invariant potential for the matrix [itex]\Phi[/itex]. Minimize your potential and show that, for hermitian [itex]\langle \Phi \rangle[/itex], the unbroken subgroup [itex]H[/itex] contains at least [itex]SU(2) \times U(1)[/itex].

Sam
samalkhaiat
#10
Apr7-14, 06:57 PM
Sci Advisor
P: 908
Quote Quote by karlzr View Post
Could you explain a little more about "Goldstone bosons appear as the parameters of the coset space"? I only know they would appear in the exponent.

One can show this using Cartan decomposition of the algebra of [itex]G[/itex], but unless one has a sound knowledge in group theory, one can easily get lost in the details. This is (badly) explained in sec. 19.6 of Weinberg’s text QFT Vol.2.

However, we can simplify the subject considerably by some physical arguments. So, let [itex]G[/itex] be the symmetry group of order [itex]r[/itex], and let [itex]\phi_{ i } ( x )[/itex] be a multiplet of scalar fields transforming according to some n-dimensional representation. The G-invariant action is of the form:
[tex]S = \int d^{ 4 } x \ \left( \frac{ 1 }{ 2 } \partial_{ \mu } \vec{ \phi } \cdot \partial^{ \mu } \vec{ \phi } + U ( \phi ) \right) . \ \ \ (1)[/tex]
Now, let us assume that at the classical level the symmetry is spontaneously broken, i.e. [itex]U( \phi )[/itex] has degenerate minima. We choose one of them, [itex]\vec{ V }[/itex], around which we expand perturbation theory, and call [itex]H[/itex] the little group (of order s) of the vector [itex]\vec{ V }[/itex], i.e. the subgroup of [itex]G[/itex] which leaves [itex]\vec{ V }[/itex] invariant. We know that when [itex]G \rightarrow H[/itex] a number of field components of [itex]\vec{ \phi }[/itex] are massless (Goldstone modes). Since we are only interested in these modes, i.e. in the long distance behaviour (IR limit) of correlation functions, the fluctuations of the massive fields in the functional integral can be neglected. In this limit, the remaining massless components of [itex]\vec{ \phi } ( x )[/itex] can be parametrized in terms of a matrix representation of G, [itex]R ( g(x) )[/itex], acting on [itex]\vec{ V }[/itex]:
[tex]\phi_{ i } ( x ) = R_{ i j } ( g(x) ) \ V_{ j } , \ \ g(x) \in G . \ \ \ (2)[/tex]
Now, if we multiply [itex]g(x)[/itex] on the right by an element [itex]h(x) \in H[/itex] and use the fact that [itex][H][/itex] leaves [itex]V_{ j }[/itex] invariant, we find that [itex]\phi_{ i } ( x )[/itex] does not get modified:
[tex]
R_{ i j } \left( g(x) h(x) \right) \ V_{ j } = R_{ i k } \left( g(x) \right) \ R_{ k j } \left( h(x) \right) \ V_{ j } = R_{ i k } \left( g(x) \right) \ V_{ j } = \phi_{ i } ( x ) .
[/tex]
This shows that [itex]\phi_{ i } ( x )[/itex] is a function of the elements of the coset space [itex]G / H[/itex].
We can now divide the set of generators of the Lie algebra of [itex]G[/itex] into the set of generators corresponding to the Lie algebra of [itex]H[/itex]:
[tex]\mathcal{ L } ( H ) : \ \ T^{ a }_{ i j } \ V_{ j } = 0 , \ \ ( a = 1 , 2 , … , s) ,[/tex]
and the remaining set which generates the coset space [itex]G / H[/itex]. It is such that
[tex]\sum_{ a = s + 1 }^{ r } T^{ a }_{ i j } \ V_{ j } \lambda_{ a } = 0 \ \Rightarrow \ \lambda_{ a } = 0, \ \ \forall a .[/tex]
Thus, for [itex]a > s[/itex], the vectors [itex]( V^{ a } )_{ i } \equiv T^{ a }_{ i j } \ V_{ j }[/itex] are linearly independent. Therefore, the matrix [itex]R_{ i j }[/itex] can be parametrized in terms of a set of local coordinates, [itex]\chi_{ a } ( x )[/itex], on the coset space [itex]G / H[/itex] as:
[tex]
R ( \chi ( x ) ) = \exp \left( \sum_{ a = s + 1 }^{ r } T^{ a } \chi_{ a } ( x ) \right) . \ \ \ (3)
[/tex]
To finish the job, we need to verify that the fields [itex]\chi_{ a } ( x )[/itex] are massless. Since [itex]U ( \phi )[/itex] is group invariant and derivative-free, it does not depend on [itex]g(x)[/itex] and therefore gives constant contribution to the action. So, it can be neglected. Inserting eq(2) and eq(3) in eq(1), we obtain the following for the action integral:
[tex]S = \frac{ 1 }{ 2 } \int d^{ 4 } x \ V_{ j } \ \partial_{ \mu } R^{ - 1 }_{ j k } ( x ) \ \partial^{ \mu } R_{ k i } ( x )\ V_{ i } .[/tex]
Expanding this action near the identity shows that all the remaining fields are indeed massless.

I hope that helps.

Sam
karlzr
#11
Apr7-14, 10:22 PM
P: 86
Quote Quote by samalkhaiat View Post
OK, here is an exercise for you: Take [itex]G = SU(3) \times SU(3)[/itex] and let the field [itex]\Phi[/itex] be a [itex]3 \times 3[/itex] matrix in the [itex]( 3 , \bar{ 3 })[/itex] representation. Write down the most general invariant potential for the matrix [itex]\Phi[/itex]. Minimize your potential and show that, for hermitian [itex]\langle \Phi \rangle[/itex], the unbroken subgroup [itex]H[/itex] contains at least [itex]SU(2) \times U(1)[/itex].

Sam
##(3, \bar{3})## means ##\Phi \rightarrow M\Phi N^\dagger##, right? So the most general potential should look like ##U\big(Tr(\Phi^\dagger \Phi)^n\big)##. If ##\langle \Phi \rangle## is hermitian, can we rotate it so that only the (11) component is nonvanishing? In that case, the symmetry should be broken to ##SU(2)\otimes SU(2)##.


Register to reply

Related Discussions
Difference between gapless excitations and Goldstone bosons Atomic, Solid State, Comp. Physics 5
Question about counting degrees of freedom General Math 5
What is meant by saying that the Goldstone-bosons are eaten by gauge bosons? High Energy, Nuclear, Particle Physics 3
Goldstone bosons in Models with global symmetry, broken by Orbifolding Beyond the Standard Model 4
Goldstone bosons 1st order phase transition Quantum Physics 13