HOME

TheInfoList



OR:

In
physics Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which rel ...
, Fujikawa's method is a way of deriving the
chiral anomaly In theoretical physics, a chiral anomaly is the anomalous nonconservation of a chiral current. In everyday terms, it is equivalent to a sealed box that contained equal numbers of left and right-handed bolts, but when opened was found to have mor ...
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 a ...
. It uses the correspondence between
functional determinant In functional analysis, a branch of mathematics, it is sometimes possible to generalize the notion of the determinant of a square matrix of finite order (representing a linear transformation from a finite-dimensional vector space to itself) to the ...
s 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 spac ...
.


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 ...
\psi 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 ...
\rho of the
compact Lie group In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural gen ...
''G''; and we have a background
connection form In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms. Historically, connection forms were introduced by Élie Cart ...
of taking values in the
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi iden ...
\mathfrak\,. The
Dirac operator In mathematics and quantum mechanics, a Dirac operator is a differential operator that is a formal square root, or half-iterate, of a second-order operator such as a Laplacian. The original case which concerned Paul Dirac was to factorise formally ...
(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_1 ...
) is :D\!\!\!\!/\ \stackrel\ \partial\!\!\!/ + i A\!\!\!/ and the fermionic action is given by :\int d^dx\, \overlineiD\!\!\!\!/ \psi The partition function is :Z \int \mathcal\overline\mathcal\psi\,e^. The
axial symmetry Axial symmetry is symmetry around an axis; an object is axially symmetric if its appearance is unchanged if rotated around an axis.
transformation goes as :\psi\to e^\psi\, :\overline\to \overlinee^ :S\to S + \int d^dx \,\alpha(x)\partial_\mu\left(\overline\gamma^\mu\gamma_\psi\right) Classically, this implies that the chiral current, j_^\mu \equiv \overline\gamma^\mu\gamma_\psi is conserved, 0 = \partial_\mu j_^\mu. 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 In mathematics and quantum mechanics, a Dirac operator is a differential operator that is a formal square root, or half-iterate, of a second-order operator such as a Laplacian. The original case which concerned Paul Dirac was to factorise formally ...
: :\psi = \sum\limits_\psi_ia^i, :\overline\psi = \sum\limits_\psi_ib^i, where \ are
Grassmann Hermann Günther Grassmann (german: link=no, Graßmann, ; 15 April 1809 – 26 September 1877) was a German polymath known in his day as a linguist and now also as a mathematician. He was also a physicist, general scholar, and publisher. His mat ...
valued coefficients, and \ are eigenvectors of the
Dirac operator In mathematics and quantum mechanics, a Dirac operator is a differential operator that is a formal square root, or half-iterate, of a second-order operator such as a Laplacian. The original case which concerned Paul Dirac was to factorise formally ...
: :D\!\!\!\!/ \psi_i = -\lambda_i\psi_i. The eigenfunctions are taken to be orthonormal with respect to integration in d-dimensional space, :\delta_i^j = \int\frac\psi^(x)\psi_i(x). The measure of the path integral is then defined to be: :\mathcal\psi\mathcal\overline = \prod\limits_i da^idb^i Under an infinitesimal chiral transformation, write :\psi \to \psi^\prime = (1+i\alpha\gamma_)\psi = \sum\limits_i \psi_ia^, :\overline\psi \to \overline^\prime = \overline(1+i\alpha\gamma_) = \sum\limits_i \psi_ib^. 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 In linear algebra, two vectors in an inner product space are orthonormal if they are orthogonal (or perpendicular along a line) unit vectors. A set of vectors form an orthonormal set if all vectors in the set are mutually orthogonal and all of ...
of the
eigenvectors In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted ...
:C^i_j \equiv \left(\frac\right)^i_j = \int d^dx \,\psi^(x) -i\alpha(x)\gamma_psi_j(x) = \delta^i_j\, - i\int d^dx \,\alpha(x)\psi^(x)\gamma_\psi_j(x). The transformation of the coefficients \ are calculated in the same manner. Finally, the quantum measure changes as :\mathcal\psi\mathcal\overline = \prod\limits_i da^i db^i = \prod\limits_i da^db^^(C^i_j), 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: :\begin^(C^i_j) &= \exp\left 2\ln(\delta^i_j-i\int d^dx\, \alpha(x)\psi^(x)\gamma_\psi_j(x))\right\ &= \exp\left i\int d^dx\, \alpha(x)\psi^(x)\gamma_\psi_i(x)\rightend 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 :\begin-2\ln C^i_j &= 2i\lim\limits_\alpha\int d^dx \,\psi^(x)\gamma_ e^\psi_i(x)\\ &= 2i\lim\limits_\alpha\int d^dx\, \psi^(x)\gamma_ e^\psi_i(x)\end (^2 can be re-written as D^2+\tfrac gamma^\mu,\gamma^\nu_, and the eigenfunctions can be expanded in a plane-wave basis) := 2i\lim\limits_\alpha\int d^dx\int\frac\int\frac \psi^(k^\prime)e^\gamma_ e^e^\psi_i(k) := -\frac(\tfracF)^, 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. ...
2-form, F \equiv F_\,dx^\mu\wedge dx^\nu\,. This result is equivalent to (\tfrac)^
Chern class In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Y ...
of the \mathfrak-bundle over the d-dimensional base space, and gives the
chiral anomaly In theoretical physics, a chiral anomaly is the anomalous nonconservation of a chiral current. In everyday terms, it is equivalent to a sealed box that contained equal numbers of left and right-handed bolts, but when opened was found to have mor ...
, 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)