Feynman Slash Notation
   HOME

TheInfoList



OR:

In the study of Dirac fields 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 ...
,
Richard Feynman Richard Phillips Feynman (; May 11, 1918 – February 15, 1988) was an American theoretical physicist, known for his work in the path integral formulation of quantum mechanics, the theory of quantum electrodynamics, the physics of the superflu ...
invented the convenient Feynman slash notation (less commonly known as the
Dirac Distributed Research using Advanced Computing (DiRAC) is an integrated supercomputing facility used for research in particle physics, astronomy and cosmology in the United Kingdom. DiRAC makes use of multi-core processors and provides a variety o ...
slash notation). If ''A'' is a
covariant vector In physics, especially in multilinear algebra and tensor analysis, covariance and contravariance describe how the quantitative description of certain geometric or physical entities changes with a change of basis. In modern mathematical notation ...
(i.e., a
1-form In differential geometry, a one-form on a differentiable manifold is a smooth section of the cotangent bundle. Equivalently, a one-form on a manifold M is a smooth mapping of the total space of the tangent bundle of M to \R whose restriction to ea ...
), : \ \stackrel\ \gamma^1 A_1 + \gamma^2 A_2 + \gamma^3 A_3 + \gamma^4 A_4 where ''γ'' are the
gamma matrices In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
. Using the
Einstein summation notation In mathematics, especially the usage of linear algebra in Mathematical physics, Einstein notation (also known as the Einstein summation convention or Einstein summation notation) is a notational convention that implies summation over a set of i ...
, the expression is simply : \ \stackrel\ \gamma^\mu A_\mu.


Identities

Using the
anticommutator In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory. Group theory The commutator of two elements, ...
s of the gamma matrices, one can show that for any a_\mu and b_\mu, :\begin &\equiv a^\mu a_\mu \cdot I_4 = a^2 \cdot I_4 \\ + &\equiv 2 a \cdot b \cdot I_4. \end where I_4 is the identity matrix in four dimensions. In particular, :^2 \equiv \partial^2 \cdot I_4. Further identities can be read off directly from the gamma matrix identities by replacing the
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
with
inner product In mathematics, an inner product space (or, rarely, a Hausdorff space, Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation (mathematics), operation called an inner product. The inner product of two ve ...
s. For example, :\begin \operatorname() &\equiv 4 a \cdot b \\ \operatorname() &\equiv 4 \left a \cdot b)(c \cdot d) - (a \cdot c)(b \cdot d) + (a \cdot d)(b \cdot c) \right\\ \operatorname(\gamma_5 ) &\equiv 4 i \varepsilon_ a^\mu b^\nu c^\lambda d^\sigma \\ \gamma_\mu \gamma^\mu &\equiv -2 \\ \gamma_\mu \gamma^\mu &\equiv 4 a \cdot b \cdot I_4 \\ \gamma_\mu \gamma^\mu &\equiv -2 \\ \end where \varepsilon_ is the
Levi-Civita symbol In mathematics, particularly in linear algebra, tensor analysis, and differential geometry, the Levi-Civita symbol or Levi-Civita epsilon represents a collection of numbers; defined from the parity of a permutation, sign of a permutation of the n ...
.


With four-momentum

This section uses the
metric signature In mathematics, the signature of a metric tensor ''g'' (or equivalently, a real quadratic form thought of as a real symmetric bilinear form on a finite-dimensional vector space) is the number (counted with multiplicity) of positive, negative an ...
. Often, when using the
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin- massive particles, called "Dirac par ...
and solving for cross sections, one finds the slash notation used on
four-momentum In special relativity, four-momentum (also called momentum-energy or momenergy ) is the generalization of the classical three-dimensional momentum to four-dimensional spacetime. Momentum is a vector in three dimensions; similarly four-momentum is ...
: using the
Dirac basis In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
for the gamma matrices, :\gamma^0 = \begin I & 0 \\ 0 & -I \end,\quad \gamma^i = \begin 0 & \sigma^i \\ -\sigma^i & 0 \end \, as well as the definition of contravariant four-momentum in
natural units In physics, natural units are physical units of measurement in which only universal physical constants are used as defining constants, such that each of these constants acts as a Coherence (units of measurement), coherent unit of a quantity. For e ...
, : p^\mu = \left(E, p_x, p_y, p_z \right) \, we see explicitly that :\begin &= \gamma^\mu p_\mu = \gamma^0 p^0 - \gamma^i p^i \\ &= \begin p^0 & 0 \\ 0 & -p^0 \end - \begin 0 & \sigma^i p^i \\ -\sigma^i p^i & 0 \end \\ &= \begin E & -\vec \cdot \vec \\ \vec \cdot \vec & -E \end. \end Similar results hold in other bases, such as the
Weyl basis In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
.


See also

*
Weyl basis In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
*
Gamma matrices In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...


References

* Quantum field theory Spinors Richard Feynman de:Dirac-Matrizen#Feynman-Slash-Notation {{quantum-stub