Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  In what sense do Goldstone bosons live in the coset?

+ 7 like - 0 dislike
2050 views

Goldstone's theorem says that if a group, $G$, is broken into its subgroup, $H$, then massless particles will appear. The number of massless particles are given by the dimension of the coset, $G/H$. It is then often said that the Goldstone boson's live in the coset. In what sense is this statement true? The Lagrangian is not invariant under transformations of the coset so what does this "living" explicitly mean?

To be explicit we can consider the linear sigma model: \begin{equation} {\cal L} = \frac{1}{2} \partial _\mu \phi ^i \partial^\mu \phi ^i - \frac{m ^2 }{2} \phi ^i \phi ^i - \frac{ \lambda }{ 4} ( \phi ^i \phi ^i ) ^2 \end{equation}

We define, \begin{align} & \phi _i \equiv \pi _i \quad \forall i \neq N\\ & \phi _N \equiv \sigma \end{align} and give $\sigma$ a VEV.

The spontaneously broken Lagrangian is, \begin{equation} {\cal L} = \frac{1}{2} \partial _\mu \pi _i \partial ^\mu \pi _i + \frac{1}{2} ( \partial _\mu \sigma ) ^2 - \frac{1}{2} ( 2 \mu ^2 ) \sigma ^2 - \lambda v \sigma ^3 - \frac{ \lambda }{ 4} \sigma ^4 - \frac{ \lambda }{ 2} \pi _i \pi _i \sigma ^2 - \lambda v \pi _i \pi _i \sigma - \frac{ \lambda }{ 4} ( \pi _i \pi _i ) ^2 \end{equation} The Goldstone bosons, $\pi_i$, exibit a $O(N-1)$ symmetry, but this is not the coset group symmetry. So where in the Lagrangian do we see this symmetry?

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user JeffDror
asked Apr 16, 2014 in Theoretical Physics by JeffDror (650 points) [ no revision ]
I don't feel like I understand this topic well enough myself to give a proper answer, but there is a discussion of this in Weinberg's book, vol II, Chapter 19. In particular, section 19.6, and cosets are introduced on page 214.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user Robin Ekman
@RobinEkman: Thanks for letting me know. Unfortunately, I don't have the book. I'll take a look when I can get my hands of a copy.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user JeffDror

2 Answers

+ 5 like - 0 dislike

I understand the statement in the following way:

Pions, which are pseudo-goldstone bosons of chiral symmetry breaking, are described by the introduction of a unitary matrix $U(x)$, defined as

$$U(x)=\text{exp}\left(2i\pi^a(x)T^af_\pi^{-1}\right),$$

where $\pi^a$ is the pion field, $f_\pi$ is the pion decay constant and $T^a$ are the generators of the broken symmetry, i.e. the coset space. The pion Lagrangian can be written down in terms of $U(x)$

$$\mathcal{L}=-\frac14 f_\pi^2\text{Tr}\partial^\mu U^\dagger\partial_\mu U,$$

which by expanding the exponential form results in

$$\mathcal{L}=-\frac12\partial^\mu \pi^a\partial_\mu \pi^a+\dots,$$

where dots denote higher order terms. Thus, the statement that goldstone bosons live in the coset space can be related to the fact that the fields themselves are linked to the generators of the coset.

This can be understood in terms of Goldstone's theorem: if the original Lagrangian exhibits a continuous symmetry, the number of goldstone bosons is equal to the number of generators of the broken symmetry. Take for example the linear sigma model: if your original theory is $O(N)$-symmetric, it has $N(N-1)/2$ symmetries. If the symmetry is broken spontaneously, you end up with $O(N-1)$, leaving you with $(N-1)(N-2)/2$ symmetries. The amount of broken symmetries is the difference, i.e. $N-1$. But this is precisely the number of pions you have in your theory. We can conclude that the pions are linked directly to the broken symmetries, i.e. the coset space.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user Frederic Brünner
answered Apr 17, 2014 by Frederic Brünner (1,130 points) [ no revision ]
Thank you very much for your response. It makes things a clearer. I have seen the matrix $U(x)$ but I didn't make the connection. The way I thought of $U(x)$ was as a convenient redefinition of the pion field that leads to a nice power counting in the momentum of the pions. Is there a more to it then that?

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user JeffDror
The point is that the pion field is defined by the generators of what you call the coset, i.e. $\pi=\pi^a T^a$. I just explained it in terms of U(x) because that is a common way of describing them.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user Frederic Brünner
What exactly makes the pion field defined by the generators of the coset? Is it just that they have the same dimension so we can contract their indices as $\pi=\pi^aT^a$ which leads to a convenient field redefinition in our Lagrangian?

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user JeffDror
I have edited my answer.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user Frederic Brünner
Thanks, I think its starting to make sense. So essentially the statement that the Goldstones live in the coset arise from the fact that the number of Goldstones will be equal to the dimension of the coset and we can use this fact to make a convenient field redefinition in terms of the coset generators.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user JeffDror
That sounds alright.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user Frederic Brünner
+ 1 like - 0 dislike

It is in fact a very simple matter if you use a different parametrization of the fields. Since we care about the Goldstone bosons only, just send $\lambda\rightarrow \infty$ so that the Higgslike state decouples. Moving to the following parametrization
$$ \phi_i(x)=U(x)\langle \phi_i\rangle \,,\qquad U(x)=e^{i \hat{T}^a \pi^a(x)}\,,\qquad \langle\phi_i\rangle=\left(0,0,0\ldots,v\right)^T $$ (where $\hat{T}^a$ are the broken generators) you immediately see that there is a gauge redundancy in the definitions of the pion fields $\pi^a(x)$ since we are allowed rotate them with an $x-$dependent transformation $h(x)$ of the unbroken group $H$, namely $$ \phi_i(x)=U(x)\langle \phi_i\rangle=U(x)h(x)\langle \phi_i\rangle\,. $$ In other words, the pion field is defined only up to this equivalence $U(x)\sim U(x)h(x)$, which is the statement that they live on the coset space $G/H$.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user TwoBs
answered Apr 18, 2014 by TwoBs (315 points) [ no revision ]
Ah, very interesting! How do we know that we are able to apply a gauge transformation on the vacuum using only the broken generators and get back $\phi_i$? Or is this just the definition of the parametrization of the pion fields, $\phi_i$?

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user JeffDror
Maybe I am misunderstanding what you are asking. $h(x)$ is a transformation of the unbroken group built with the unbroken generators, not the broken ones. This is why we say that they live I the right coset $G/H$.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user TwoBs
Sorry, I don't think I was clear. I meant how do we know that we can write, $\phi_i (x) = U (x)\langle \phi_i\rangle$ or is that just the definition of the reparametrization?

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user JeffDror
In the limit $\lambda\rightarrow\infty$ you can move only around the minimum orbits, which is what the action of $U$ does for you. For finite $\lambda$ you can also move away from the minimum. This exhaust all possibilities.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user TwoBs
Ah, yes of course. Thank you, that helps a lot.

This post imported from StackExchange Physics at 2014-06-25 21:04 (UCT), posted by SE-user JeffDror

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\varnothing$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...