# Gauge anomaly

﻿
Gauge anomaly

In theoretical physics, a gauge anomaly is an example of an anomaly: it is an effect of quantum mechanics—usually a one-loop diagram—that invalidates the gauge symmetry of a quantum field theory; i.e. of a gauge theory.

Anomalies in gauge symmetries lead to an inconsistency, since a gauge symmetry is required in order to cancel unphysical degrees of freedom with a negative norm (such as a photon polarized in the time direction). Therefore all gauge anomalies must cancel out. This indeed happens in the Standard Model.

The term gauge anomaly is usually used for vector gauge anomalies. Another type of gauge anomaly is the gravitational anomaly, because reparametrization is a gauge symmetry in gravitation.

Calculation of the anomaly

In vector gauge anomalies (in gauge symmetries whose gauge boson is a vector), the anomaly is a chiral anomaly, and can be calculated exactly at one loop level, via a Feynman diagram with a chiral fermion running in the loop (a polygon) with "n" external gauge bosons attached to the loop where $n=1+D/2$ where $D$ is the spacetime dimension. Anomalies occur only in even spacetime dimensions. For example, the anomalies in the usual 4 spacetime dimensions arise from triangle Feynman diagrams.

Let us look at the (semi)effective action we get after integrating over the chiral fermions. If there is a gauge anomaly, the resulting action will not be gauge invariant. If we denote by $delta_epsilon$ the operator corresponding to an infinitesimal gauge transformation by &epsilon;, then the Frobenius consistency condition requires that

:$left \left[delta_\left\{epsilon_1\right\},delta_\left\{epsilon_2\right\} ight\right] mathcal\left\{F\right\}=delta_\left\{left \left[epsilon_1,epsilon_2 ight\right] \right\}mathcal\left\{F\right\}$

for any functional $mathcal\left\{F\right\}$, including the (semi)effective action S where [,] is the Lie bracket. As $delta_epsilon S$ is linear in &epsilon;, we can write

:$delta_epsilon S=int_\left\{M^d\right\} Omega^\left\{\left(d\right)\right\}\left(epsilon\right)$

where &Omega;(4) is d-form as a functional of the nonintegrated fields and is linear in &epsilon;. Let us make the further assumption (which turns out to be valid in all the cases of interest) that this functional is local (i.e. &Omega;(d)(x) only depends upon the values of the fields and their derivatives at x) and that it can be expressed as the exterior product of p-forms. If the spacetime Md is closed (i.e. without boundary) and oriented, then it is the boundary of some d+1 dimensional oriented manifold Md+1. If we then arbitrarily extend the fields (including &epsilon;) as defined on Md to Md+1 with the only condition being they match on the boundaries and the expression &Omega;(d), being the exterior product of p-forms, can be extended and defined in the interior, then

:$delta_epsilon S=int_\left\{M^\left\{d+1 dOmega^\left\{\left(d\right)\right\}\left(epsilon\right).$

The Frobenius consistency condition now becomes

:$left \left[delta_\left\{epsilon_1\right\},delta_\left\{epsilon_2\right\} ight\right] S=int_\left\{M^\left\{d+1left \left[delta_\left\{epsilon_1\right\}dOmega^\left\{\left(d\right)\right\}\left(epsilon_2\right)-delta_\left\{epsilon_2\right\}dOmega^\left\{\left(d\right)\right\}\left(epsilon_1\right) ight\right] =int_\left\{M^\left\{d+1dOmega^\left\{\left(d\right)\right\}\left(left \left[epsilon_1,epsilon_2 ight\right] \right).$

As the previous equation is valid for "any" arbitrary extension of the fields into the interior,

:$delta_\left\{epsilon_1\right\}dOmega^\left\{\left(d\right)\right\}\left(epsilon_2\right)-delta_\left\{epsilon_2\right\}dOmega^\left\{\left(d\right)\right\}\left(epsilon_1\right)=dOmega^\left\{\left(d\right)\right\}\left(left \left[epsilon_1,epsilon_2 ight\right] \right).$

Because of the Frobenius consistency condition, this means that there exists a d+1-form &Omega;d+1 (not depending upon &epsilon;) defined over Md+1 satisfying

:$delta_epsilon Omega^\left\{\left(d+1\right)\right\}=dOmega^\left\{\left(d\right)\right\}\left( epsilon \right).$

&Omega;d+1 is often called a Chern-Simons form.

Once again, if we assume &Omega;d+1 can be expressed as an exterior product and that it can be extended into a d+1 -form in a d+2 dimensional oriented manifold, we can define

:$Omega^\left\{\left(d+2\right)\right\}=dOmega^\left\{\left(d+1\right)\right\}$

in d+2 dimensions. &Omega;d+2 is gauge invariant:

:$delta_epsilon Omega^\left\{d+2\right\}=ddelta_epsilon Omega^\left\{\left(d+1\right)\right\}=d^2Omega^\left\{\left(d\right)\right\}\left(epsilon\right)=0$

as d and &delta;&epsilon; commute.

*chiral gauge theory

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Anomaly (physics) — In quantum physics an anomaly or quantum anomaly is the failure of a symmetry of a theory s classical action to be a symmetry of any regularization of the full quantum theory. In classical physics an anomaly is the failure of a symmetry to be… …   Wikipedia

• Gauge theory — For a generally accessible and less technical introduction to the topic, see Introduction to gauge theory. In physics, a gauge theory is a type of field theory in which the Lagrangian is invariant under a continuous group of local transformations …   Wikipedia

• Anomaly — An anomaly is any occurrence or object that is strange, unusual, or unique. In the following particular contexts it may refer to:Astronomy* Eccentric anomaly, intermediate value used to compute the position of a celestial object as a function of… …   Wikipedia

• Anomaly matching condition — In quantum field theory, the anomaly matching condition by Gerard t Hooft states that the calculation of any chiral anomaly by using the degrees of freedom of the theory at some energy scale, must not depend on what scale is chosen for the… …   Wikipedia

• Gauge fixing — Quantum field theory (Feynman diagram) …   Wikipedia

• Mixed anomaly — In theoretical physics, a mixed anomaly is an example of an anomaly: it is an effect of quantum mechanics usually a one loop diagram that implies that the classically valid general covariance and gauge symmetry of a theory of general relativity… …   Wikipedia

• Chiral gauge theory — In quantum field theory, a chiral gauge theory is a quantum field theory with charged chiral (i.e. Weyl) fermions. For instance, the Standard Model is a chiral gauge theory. For topological reasons, chiral charged fermions cannot be given a mass… …   Wikipedia

• Gravitational anomaly — Anomalies in the usual 4 spacetime dimensions arise from triangle Feynman diagrams Not to be confused with Gravity anomaly. In theoretical physics, a gravitational anomaly is an example of a gauge anomaly: it is an effect of quantum… …   Wikipedia

• Chiral anomaly — A chiral anomaly is the anomalous nonconservation of a chiral current. In some theories of fermions with chiral symmetry, the quantization may lead to the breaking of this (global) chiral symmetry. In that case, the charge associated with the… …   Wikipedia

• Global anomaly — In theoretical physics, a global anomaly is a type of anomaly: in this particular case, it is a quantum effect that invalidates a large gauge transformations that would otherwise be preserved in the classical theory. This leads to an… …   Wikipedia