AbstractIt is known that the four-dimensional Abelian chiral gauge theories of an anomaly-free set of Wely fermions can be formulated on the lattice preserving the exact gauge invariance and the required locality property in the framework of the Ginsparg–Wilson relation. This holds true in two dimensions. However, in the related formulation including the mirror Ginsparg–Wilson fermions, and therefore having a simpler fermion path-integral measure, it has been argued that the mirror fermions do not decouple: in the 345 model with Dirac– and Majorana–Yukawa couplings to the XY-spin field, the two-point vertex function of the (external) gauge field in the mirror sector shows a singular non-local behavior in the paramagnetic strong-coupling phase. We re-examine why the attempt seems to be a “Mission: Impossible” in the 345 model. We point out that the effective operators to break the fermion number symmetries (‘t Hooft operators plus others) in the mirror sector do not have sufficiently strong couplings even in the limit of large Majorana–Yukawa couplings. We also observe that the type of Majorana–Yukawa term considered is singular in the large limit due to the nature of the chiral projection of the Ginsparg–Wilson fermions, but a slight modification without such a singularity is allowed by virtue of their very nature. We then consider a simpler four-flavor axial gauge model, the $1^4(-1)^4$ model, in which the U(1)$_A$ gauge and Spin(6)(SU(4)) global symmetries prohibit the bilinear terms but allow the quartic terms to break all the other continuous mirror fermion symmetries. We formulate the model so that it is well behaved and simplified in the strong-coupling limit of the quartic operators. Through Monte Carlo simulations in the weak gauge-coupling limit, we show numerical evidence that the two-point vertex function of the gauge field in the mirror sector shows regular local behavior, and we argue that all you need is to kill the continuous mirror fermion symmetries with would-be gauge anomalies non-matched, as originally claimed by Eichten and Preskill. Finally, by gauging a U(1) subgroup of the U(1)$_A$$\times$ Spin(6)(SU(4)) of the previous model, we formulate the $2 1 (-1)^3$ chiral gauge model, and argue that the induced fermion measure term satisfies the required locality property and provides a solution to the reconstruction theorem formulated by Lüscher. This gives us “A New Hope” for the mission to be accomplished.
Read full abstract