Physlib.QFT.QED.AnomalyCancellation.LowDim.Two
The Pure U(1) case with 2 fermions
We define an equivalence between `LinSols` and `Sols`.
1 declaration
definition
Equivalence between linear and cubic solutions for pure theory
For a pure gauge theory with fermions, this is the equivalence between the space of linear solutions and the space of full solutions. Specifically, it maps a solution of the linear gravitational anomaly condition, , to a solution of the full system of Anomaly Cancellation Conditions (ACCs), which includes both the linear condition and the cubic gauge anomaly condition . This equivalence is based on the mathematical fact that for any , the linear constraint implies the cubic constraint .
