Anomaly cancellation condition in 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 cut-off, 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 universality in transport of quantum materials.