Anomaly cancellation in the lattice effective electroweak theory

The anomaly cancellation is at the basis of the perturbative consistence of the Standard Model, and it provides a partial explanation of charge quantization. We consider an effective electroweak theory on a lattice, with a quartic interaction describing the weak forces and an interaction with the e.m. field. We prove the validity of the anomaly cancellation at a non-perturbative level and with a finite lattice cutoff, even if the lattice breaks some important symmetries, on which perturbative arguments for the cancellation are based. The method of the proof has analogies with the one adopted for establishing the universality in transport of quantum materials.