A construction of the Glashow-Weinberg-Salam model on the lattice with exact gauge invariance

We present a gauge-invariant and non-perturbative construction of the Glashow-Weinberg-Salam model on the lattice, based on the lattice Dirac operator satisfying the Ginsparg-Wilson relation. Our construction covers all SU(2) topological sectors with vanishing U(1) magnetic flux and would be usable for a description of the baryon number non-conservation. In infinite volume, it provides a gauge-invariant regularization of the electroweak theory to all orders of perturbation theory. First we formulate the reconstruction theorem which asserts that if there exists a set of local currents satisfying cetain properties, it is possible to reconstruct the fermion measure which depends smoothly on the gauge fields and fulfills the fundamental requirements such as locality, gauge-invariance and lattice symmetries. Then we give a closed formula of the local currents required for the reconstruction theorem.