7
$\begingroup$

We know that if one or more symmetries of the action of a classical field theory is violated in its quantized version the corresponding quantum theory is said to have anomaly.

  1. Is this a sole feature of quantization of a field theory? If yes, why is it that anomalies appear only after quantizing a field theory but non in ordinary non-relativistic quantum mechanics?

In field theory, if under an arbitrary symmetry transformation $\phi\rightarrow \phi^\prime=\phi+\delta\phi$, the action $S[\phi]$ is left invariant, we have a symmetry in classical field theory. But we have a symmetry of quantum field theory, if the transformation leaves the path-integral $\int\mathcal{D}\phi \exp(\frac{i}{\hbar}S[\phi])$ invariant. Therefore, even if $S(\phi)$ is invariant but the measure is not, we can have an anomaly.

  1. Does it mean that the path-integral measure $\int \mathcal{D}q(t) \exp(\frac{i}{\hbar}S[q(t)])$ in ordinary quantum mechanics always remains invariant under any classical symmetry $q\to q^\prime= q+\delta q$?
$\endgroup$
10
$\begingroup$

Quantum mechanics can also become anomalous. An example is a charged particle moving in a uniform magnetic field. On the classical level, the system is translation invariant in both x- and y-direction. Because the magnetic field is uniform, all (gauge-invariant) measurement will yield the same result at any point of the space, hence the translation symmetry is preserved. But once the system is quantized, the momentum $p_x$ and $p_y$ no longer commute with each other, i.e. $$[p_x,p_y]=\mathrm{i}\hbar B.$$ The non-commutativity is exactly proportional to $\hbar$, implying that this is indeed a quantum effect. In this case, if one chooses to preserve the translation along x, the translation along y must be broken, as $p_x$ and $p_y$ become incompatible observables. This effect is manifested in the wave function under the Landau gauge. Therefore the system becomes anomalous under translation.

Another closely related example is a charged particle moving on a sphere with a magnetic monopole (Dirac monopole) inside the sphere. Let the unit vector $\boldsymbol{n}=(n_1,n_2,n_3)$ be the coordinate that parameterize the position of the particle on the sphere ($\boldsymbol{n}^2=1$). The classical action can be written as a Wess-Zumino-Witten model $$S[\boldsymbol{n}(t)]=\frac{1}{4\pi}\int\mathrm{d}t\int_0^1\mathrm{d}u\;\boldsymbol{n}\cdot\partial_t\boldsymbol{n}\times\partial_u\boldsymbol{n}.$$ The action is invariant under the SO(3) transformation of $\boldsymbol{n}$. But after quantization, the eigenstates are spin-1/2 objects, which are not linear representations of the SO(3) symmetry group. So the system has an SO(3) anomaly.

$\endgroup$
  • $\begingroup$ I don't understand your first example. There are two types of "momentum" in this example: the momentum $P_i$ and kinematic momentum $p_i=m v_i = P_i - A_i(q)$. The momentums commute on the classical and quantum level, but kinematic momentums (that you use) do not commute already on the classical level i.e. for Poisson bracket $\{p_x, p_y\}=B$. Am I missing something? $\endgroup$ – Alex Dec 8 '18 at 14:55
  • $\begingroup$ @Alex In quantum mechanics, the non-vanishing commutator $[p_x,p_y]\neq 0$ implies that $p_x$ and $p_y$ cannot be simultaneously and consistently measured, due to the uncertainty relation. In classical mechanics, the non-vanishing Poisson bracket $\{p_x,p_y\}\neq0$, however, does not have the same physical consequence (there is no uncertainty relation in classical mechanics). This is an important difference between Poisson bracket and commutator. It is the uncertainty relation between $p_x$ and $p_y$ that gives rise to the quantum anomaly. $\endgroup$ – Everett You Dec 20 '18 at 10:10
3
$\begingroup$

Anomalies are not particular to quantum field theory, or even to quantum theory. An anomaly is an obstruction to representing some physically relevant group/algebra, often a symmetry group or an algebra of observables, on the state space, and means that your state space will carry not a representation of the symmetry group itself but of an extension. This notion is explained at length in this excellent answer by David Bar Moshe.

Whether the group/algebra that is obstructed is the classical Galilean group that needs the introduction of mass as a "central charge" to become the Bargmann group, the $\mathrm{SO}(3)$ of a particle as in Everett You's answer (which is a special case of a more general link between WZW models and anomalies) that needs the passage to its universal cover $\mathrm{SU}(2)$ on the spin-1/2 which is a central extension by $\mathbb{Z}_2$ or the algebra of fermionic non-Abelian charge densitites that is extended to the Mickelsson-Faddeev algebra (see again the answer by David) by the anomaly term is immaterial - it's all the same principle.

The fundamental character of an anomaly is not a non-invariance of the path integral measure, that's just a particular way to derive it.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.