Counting degrees of freedom for Goldstone bosons

  1. 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?
  2. jcsd
  3. 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.
  4. samalkhaiat

    samalkhaiat 1,194
    Science Advisor

    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.

  5. samalkhaiat

    samalkhaiat 1,194
    Science Advisor

    Why not down to [itex]SU(N - M)[/itex]?
  6. 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).
  7. Thanks, that makes sense.

    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.
  8. Can not you break ##SU(3)## to ##U(1)× U(1)##.
  9. How? Not by the VEV of a single scalar in the fundamental representation, I think, which is the scenario I was considering.
  10. samalkhaiat

    samalkhaiat 1,194
    Science Advisor

    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].

  11. samalkhaiat

    samalkhaiat 1,194
    Science Advisor

    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:
    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 ) .
    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:
    R ( \chi ( x ) ) = \exp \left( \sum_{ a = s + 1 }^{ r } T^{ a } \chi_{ a } ( x ) \right) . \ \ \ (3)
    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.

    1 person likes this.
  12. ##(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)##.
Know someone interested in this topic? Share this thead via email, Google+, Twitter, or Facebook

Have something to add?

Draft saved Draft deleted