ComplexConjugate
ComplexConjugate[exp]
returns the complex conjugate of exp
, where the input expression must be a proper matrix element. All Dirac matrices are assumed to be inside closed Dirac spinor chains. If this is not the case, the result will be inconsistent. Denominators may not contain explicit i’s.
See also
Overview, FCRenameDummyIndices, FermionSpinSum, DiracGamma.
Examples
ComplexConjugate is meant to be applied to amplitudes, i.e. given a matrix element M, it will return M∗.
amp = (Spinor[Momentum[k1], SMP["m_e"], 1] . GA[\[Mu]] . Spinor[Momentum[p2], SMP["m_e"], 1]*
Spinor[Momentum[k2], SMP["m_e"], 1] . GA[\[Nu]] . Spinor[Momentum[p1], SMP["m_e"], 1]*
FAD[k1 - p2, Dimension -> 4]*SMP["e"]^2 - Spinor[Momentum[k1], SMP["m_e"],
1] . GA[\[Mu]] . Spinor[Momentum[p1], SMP["m_e"], 1]*Spinor[Momentum[k2],
SMP["m_e"], 1] . GA[\[Nu]] . Spinor[Momentum[p2], SMP["m_e"], 1]*FAD[k2 - p2,
Dimension -> 4]*SMP["e"]^2)
(k1−p2)2e2(φ(k1,me)).γˉμ.(φ(p2,me))(φ(k2,me)).γˉν.(φ(p1,me))−(k2−p2)2e2(φ(k1,me)).γˉμ.(φ(p1,me))(φ(k2,me)).γˉν.(φ(p2,me))
(k1−p2)2e2(φ(p2,me)).γˉμ.(φ(k1,me))(φ(p1,me)).γˉν.(φ(k2,me))−(k2−p2)2e2(φ(p1,me)).γˉμ.(φ(k1,me))(φ(p2,me)).γˉν.(φ(k2,me))
Although one can also apply the function to standalone Dirac matrices, it should be understood that the result is not equivalent to the complex conjugation of such matrices.
GA[\[Mu]]
ComplexConjugate[%]
γˉμ
γˉμ
GA[5]
ComplexConjugate[%]
γˉ5
−γˉ5
(GS[Polarization[k1, -I, Transversality -> True]] . (GS[k1 - p2] + SMP["m_e"]) .
GS[Polarization[k2, -I, Transversality -> True]])
ComplexConjugate[%]
(γˉ⋅εˉ∗(k1)).(γˉ⋅(k1−p2)+me).(γˉ⋅εˉ∗(k2))
(γˉ⋅εˉ(k2)).(γˉ⋅(k1−p2)+me).(γˉ⋅εˉ(k1))
SUNTrace[SUNT[a, b, c]]
ComplexConjugate[%]
tr(Ta.Tb.Tc)
tr(Tc.Tb.Ta)
Since FeynCalc 9.3 ComplexConjugate
will automatically rename dummy indices.
PolarizationVector[p1, \[Mu]] PolarizationVector[p2, \[Nu]] MT[\[Mu], \[Nu]]
ComplexConjugate[%]
gˉμνεˉμ(p1)εˉν(p2)
gˉ$AL($19)$AL($20)εˉ∗$AL($19)(p1)εˉ∗$AL($20)(p2)
GA[\[Mu], \[Nu]] LC[\[Mu], \[Nu]][p1, p2]
ComplexConjugate[%]
γˉμ.γˉνϵˉμνp1p2
γˉ$AL($21).γˉ$AL($22)ϵˉ$AL($22)$AL($21)p1p2
This behavior can be disabled by setting the option FCRenameDummyIndices
to False
.
ComplexConjugate[GA[\[Mu], \[Nu]] LC[\[Mu], \[Nu]][p1, p2], FCRenameDummyIndices -> False]
γˉν.γˉμϵˉμνp1p2
If particular variables must be replaced with their conjugate values, use the option Conjugate
.
GA[\[Mu]] . (c1 GA[6] + c2 GA[7]) . GA[\[Nu]]
ComplexConjugate[%]
γˉμ.(c1γˉ6+c2γˉ7).γˉν
γˉν.(c1γˉ7+c2γˉ6).γˉμ
ex = ComplexConjugate[GA[\[Mu]] . (c1 GA[6] + c2 GA[7]) . GA[\[Nu]], Conjugate -> {c1, c2}]
γˉν.(γˉ7c1∗+γˉ6c2∗).γˉμ
ex // StandardForm
(*DiracGamma[LorentzIndex[\[Nu]]] . (Conjugate[c2] DiracGamma[6] + Conjugate[c1] DiracGamma[7]) . DiracGamma[LorentzIndex[\[Mu]]]*)
It may happen that one needs to deal with amplitudes with amputated spinors, i.e. with open Dirac or Pauli indices. If the amplitude contains only a single chain of Dirac/Pauli matrices, everything remains unambiguous and the missing spinors are understood
GA[\[Mu], \[Nu], \[Rho], 5] CSI[i, j]
ComplexConjugate[%]
σi.σjγˉμ.γˉν.γˉρ.γˉ5
−σj.σiγˉ5.γˉρ.γˉν.γˉμ
However, when there are at least two spinor chains of the same type involved, such expressions do not make sense anymore. In these cases one should introduce explicit spinor indices to avoid ambiguities
DCHN[GA[\[Mu], \[Nu], \[Rho], 5], i, j] DCHN[GA[\[Mu], \[Nu], \[Rho], 5], k, l]
ComplexConjugate[%]
(γˉμ.γˉν.γˉρ.γˉ5)ij(γˉμ.γˉν.γˉρ.γˉ5)kl
(γˉ5.γˉ$AL($23).γˉ$AL($24).γˉ$AL($25))ji(γˉ5.γˉ$AL($23).γˉ$AL($24).γˉ$AL($25))lk
PCHN[CSI[i, j, k], a, b] PCHN[CSI[i, j, k], c, d]
ComplexConjugate[%]
(σi.σj.σk)ab(σi.σj.σk)cd
(σ$AL($26).σ$AL($27).σ$AL($28))ba(σ$AL($26).σ$AL($27).σ$AL($28))dc
The function does not apply Conjugate
to symbols that do not depend on I
and are unrelated to Dirac/Pauli/Color matrices. One can specify symbols that need to be explicitly conjugated using the Conjugate
option
cc SpinorU[p1] . GA[mu] . SpinorV[p2]
ComplexConjugate[%]
ccu(p1).γˉmu.v(p2)
cc(φ(−p2)).γˉmu.(φ(p1))
cc SpinorU[p1] . GA[mu] . SpinorV[p2]
ComplexConjugate[%, Conjugate -> {cc}]
ccu(p1).γˉmu.v(p2)
cc∗(φ(−p2)).γˉmu.(φ(p1))