Physlib.QFT.QED.AnomalyCancellation.LowDim.One
1 declaration
theorem
The only linear ACC solution for a pure theory with is
#solEqZeroConsider a pure gauge theory with Weyl fermion carrying a rational charge . If is a solution to the linear anomaly cancellation condition (the gravitational anomaly), which requires , then the solution is the zero vector, meaning .
