In
physics, Fujikawa's method is a way of deriving the
chiral anomaly in
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
. It uses the correspondence between
functional determinants and the
partition function, effectively making use of the
Atiyah–Singer index theorem
In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the space ...
.
Derivation
Suppose given a
Dirac field
In quantum field theory, a fermionic field is a quantum field whose quanta are fermions; that is, they obey Fermi–Dirac statistics. Fermionic fields obey canonical anticommutation relations rather than the canonical commutation relations of boso ...
which transforms according to a
representation
Representation may refer to:
Law and politics
*Representation (politics), political activities undertaken by elected representatives, as well as other theories
** Representative democracy, type of democracy in which elected officials represent a ...
of the
compact Lie group ''G''; and we have a background
connection form of taking values in the
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
The
Dirac operator (in
Feynman slash notation
In the study of Dirac fields in quantum field theory, Richard Feynman invented the convenient Feynman slash notation (less commonly known as the Dirac slash notation). If ''A'' is a covariant vector (i.e., a 1-form),
: \ \stackrel\ \gamma^1 A_ ...
) is
:
and the fermionic action is given by
:
The
partition function is
:
The
axial symmetry transformation goes as
:
:
:
Classically, this implies that the chiral current,
is conserved,
.
Quantum mechanically, the chiral current is not conserved: Jackiw discovered this due to the non-vanishing of a triangle diagram. Fujikawa reinterpreted this as a change in the partition function measure under a chiral transformation. To calculate a change in the measure under a chiral transformation, first consider the Dirac fermions in a basis of eigenvectors of the
Dirac operator:
:
:
where
are
Grassmann valued coefficients, and
are eigenvectors of the
Dirac operator:
:
The eigenfunctions are taken to be orthonormal with respect to integration in d-dimensional space,
:
The measure of the path integral is then defined to be:
:
Under an infinitesimal chiral transformation, write
:
:
The
Jacobian
In mathematics, a Jacobian, named for Carl Gustav Jacob Jacobi, may refer to:
*Jacobian matrix and determinant
*Jacobian elliptic functions
*Jacobian variety
*Intermediate Jacobian
In mathematics, the intermediate Jacobian of a compact Kähler m ...
of the transformation can now be calculated, using the
orthonormality of the
eigenvectors
:
The transformation of the coefficients
are calculated in the same manner. Finally, the quantum measure changes as
:
where the
Jacobian
In mathematics, a Jacobian, named for Carl Gustav Jacob Jacobi, may refer to:
*Jacobian matrix and determinant
*Jacobian elliptic functions
*Jacobian variety
*Intermediate Jacobian
In mathematics, the intermediate Jacobian of a compact Kähler m ...
is the reciprocal of the determinant because the integration variables are Grassmannian, and the 2 appears because the a's and b's contribute equally. We can calculate the determinant by standard techniques:
:
to first order in α(x).
Specialising to the case where α is a constant, the
Jacobian
In mathematics, a Jacobian, named for Carl Gustav Jacob Jacobi, may refer to:
*Jacobian matrix and determinant
*Jacobian elliptic functions
*Jacobian variety
*Intermediate Jacobian
In mathematics, the intermediate Jacobian of a compact Kähler m ...
must be regularised because the integral is ill-defined as written. Fujikawa employed
heat-kernel regularization, such that
:
(
can be re-written as
, and the eigenfunctions can be expanded in a plane-wave basis)
:
:
after applying the completeness relation for the eigenvectors, performing the trace over γ-matrices, and taking the limit in M. The result is expressed in terms of the
field strength In physics, field strength means the ''magnitude'' of a vector-valued field (e.g., in volts per meter, V/m, for an electric field ''E'').
For example, an electromagnetic field results in both electric field strength and magnetic field strength.
As ...
2-form,
This result is equivalent to
Chern class of the
-bundle over the d-dimensional base space, and gives the
chiral anomaly, responsible for the non-conservation of the chiral current.
References
*K. Fujikawa and H. Suzuki (May 2004). ''Path Integrals and Quantum Anomalies''. Clarendon Press. .
*S. Weinberg (2001). ''The Quantum Theory of Fields''. ''Volume II: Modern Applications''.. Cambridge University Press. .
{{DEFAULTSORT:Fujikawa Method
Anomalies (physics)