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

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

145 submissions , 122 unreviewed
3,930 questions , 1,398 unanswered
4,852 answers , 20,624 comments
1,470 users with positive rep
501 active unimported users
More ...

Algebra, commutators and test functions

+ 4 like - 0 dislike
90 views

I am trying to make sense out of the algebra of the generators of the conformal group and I am running into some issues regarding how to calculate commutators.

For instance, for translations of a "test operator" $\phi(x)$, we know that $ \phi(x+a) = \phi(x) + a^\mu \partial_\mu \phi(x) + \cdots$ if we simply Taylor expand. Moreover, in the Heisenberg picture, we can also write

$$ \exp(i a^\mu P_\mu) \; \phi(x) \; \exp(-i a^\mu P_\mu) = \phi(x) + i a^\mu [ P_\mu, \phi(x)] + \cdots $$

from which we conclude that $[P_\mu, \phi(x)] = -i \partial_\mu \phi(x)$. Why then do we say that $P_\mu = -i \partial_\mu$ is the generator of translation? From the above definition, the equality does not hold directly since we used a commutator to define $P_\mu$'s action on $\phi(x)$, but introductory quantum mechanics teaches us that $P_\mu = -i \partial_\mu$. My problem seems to be that I can't reconcile this with rigorous group theoretical concepts.

What made this confusion arise was the calculation of commutators of algebra generators for the conformal group. For example, taking $D$ to be the generator of dilatations, to prove that $[D, P_\mu] = i P_\mu$, one needs to apply the commutator $[D, P_\mu]$ onto a test function $\phi(x)$ outside of the commutator after replacing the $D$ and $P_\mu$ by their differential definition. So how do we go from $[P_\mu, \phi(x)] = -i \partial_\mu \phi(x)$ to $P_\mu = - i\partial_\mu$ where the equality makes sense?

This post imported from StackExchange Physics at 2014-06-21 21:34 (UCT), posted by SE-user physguy
asked Jun 20, 2014 in Mathematics by physguy (20 points) [ no revision ]
Maybe you are looking for this? en.wikipedia.org/wiki/Stone%E2%80%93von_Neumann_theorem

This post imported from StackExchange Physics at 2014-06-21 21:34 (UCT), posted by SE-user Robin Ekman

2 Answers

+ 4 like - 0 dislike

The issue here is that there two distinct actions of the translation group on fields present in your computations.

Definitions of the group actions.

The two group actions to which I'm referring are as follows. For conceptual simplicity, let $\phi$ denote an operator-valued field defined on $\mathbb R$; generalization to higher dimensions is straightforward. Let $\mathcal H$ denote the Hilbert space of the theory, then we assume (at least in theories for which we want to talk about translation-invariance) that there is a unitary representation $\hat U$ of the translation group of $\mathbb R$ acting on the Hilbert space.

This unitary representation then induces an action $\rho_1$ of the translation group acting on fields as follows: \begin{align} (\rho_1(a)\hat \phi)(x) = \hat U(a)\hat\phi(x)\hat U(a)^{-1}. \tag{1} \end{align} On the other hand, we can define a second action of the translation group acting on fields as follows: \begin{align} (\rho_2(a)\hat \phi)(x) = \hat \phi(x-a) \tag{2} \end{align}

Infinitesimal generators.

Each of the group actions above possesses an infinitesimal generator.

To determine what that is for $\rho_1$, we write $\hat U(a) = e^{-ia\hat P}$, so that $\hat P$ is the infinitesimal generator of $\hat U$, and we notice that if we expand the right hand side of $(1)$ in $a$ we have \begin{align} \hat U(a)\hat\phi(x)\hat U(a)^{-1} &= (\hat I - ia\hat P)\hat \phi(x) (\hat I + ia\hat P) + O(a^2) \\ &= \hat \phi(x) + ia\hat\phi(x)\hat P - ia\hat\phi(x) \hat P + O(a^2) \\ &=\hat \phi(x) -ia\Big(\hat P\hat \phi(x)-\hat \phi(x) \hat P\Big) + O(a^2) \\ &= \hat\phi(x) -ia[\hat P,\hat \phi(x)] + O(a^2) \end{align} inspecting the term that is first order in $a$, we see immediately that the operator \begin{align} \hat \phi(x) \mapsto [\hat P,\hat \phi(x)] \end{align} is the infinitesimal generator of the first group action $\rho_1$. It turns out by the way that this operator has a special name: the adjoint operator, and it is often denoted $\mathrm{ad}_{\hat P}$. So all in all, we see that $\mathrm{ad}_{\hat P}$ is the infinitesimal generator of $\rho_1$ since we have shown that \begin{align} (\rho_1(a)\hat \phi)(x) = \big(\hat I -ia \,\mathrm{ad}_{\hat P} + O(a^2)\big)\hat\phi(x) \end{align} As an aside, this is all intimiately related to the so-called Hadamard Lemma for the Baker-Campbell-Hausdorff formula.

To determine the infinitesimal generator for $\rho_2$, we expand the right hand side of $(2)$ in $a$ using Taylor's formula to obtain \begin{align} \hat\phi(x+a) &= \hat \phi(x) - a \partial\phi(x) + O(a^2) \\ &= \left(1-ia(-i\partial) + O(a^2)\right)\hat\phi(x) \\ \end{align} so that the infinitesimal generator of the group action $\rho_2$ is $-i\partial$. We can summarize these results as follows. Let's call the infinitesimal generator of $\rho_1$ $P_1$ and the infinitesimal generator of $\rho_2$ $P_2$, then we have shown that \begin{align} P_1 = \mathrm{ad}_{\hat P}, \qquad P_2 = -i\partial \end{align} Notice, in particular, that these are not the same mathematical objects.

Fields that transform in special ways under translations.

Although the group actions $\rho_1$ and $\rho_2$ are distinct and have distinct generators, it is sometimes the case in field theory that one considers fields $\hat \phi$ that transform as follows: \begin{align} \hat U(a)\hat\phi(x) \hat U(a)^{-1} = \hat\phi(x-a). \end{align} Notice that the left hand side of this is just the action of $\rho_1$ on $\hat\phi$, and the right hand side is the action of $\rho_2$ on $\hat\phi$, so for this special class of fields, the two group actions agree! In this special case, it also follows that the infinitesimal generators of $\rho_1$ and $\rho_2$ agree on these special fields; \begin{align} P_1 \hat\phi(x) = P_2\hat\phi(x), \end{align} or more explicitly \begin{align} \mathrm{ad}_{\hat P}\hat\phi(x) = -i\partial\hat\phi(x). \end{align}

This post imported from StackExchange Physics at 2014-06-21 21:34 (UCT), posted by SE-user joshphysics
answered Jun 21, 2014 by joshphysics (830 points) [ no revision ]
+ 0 like - 0 dislike

I don't have time to give a complete answer, but the gist of it is, $P_\mu = -i \partial_\mu$ is not true for the quantum fields you are talking about. This paper might be of help: http://arxiv.org/pdf/hep-th/0206008.pdf

This post imported from StackExchange Physics at 2014-06-21 21:34 (UCT), posted by SE-user DrEntropy
answered Jun 20, 2014 by DrEntropy (0 points) [ no revision ]

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).
To avoid this verification in future, please log in or register.




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

Your rights
...