A gauge-invariant measure for lattice chiral fermions

We nonperturbatively construct a gauge-invariant measure for overlap fermions on four-dimensional Euclidean lattices in a class of nonabelian chiral gauge theories that includes the Standard Model. On admissible gauge fields, comparing chiral projectors at successive lattice spacings yields an exponentially local current and establishes the global properties needed for Lüscher's reconstruction of a smooth, gauge-invariant fermion measure. This provides a candidate nonperturbative lattice definition of the Standard Model.