S. Basak,Asit K. De
Abstract:We investigate a U(1) lattice chiral gauge theory with domain wall fermions and compact gauge fixing. In the reduced model limit, our perturbative and numerical investigations show that there exist no extra mirror chiral modes. The longitudinal gauge degrees of freedom have no effect on the free domain wall fermion spectrum consisting of opposite chiral modes at the domain wall and at the anti-domain wall which have an exponentially damped overlap.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the problem of the longitudinal gauge degrees of freedom coupling to the fermion degrees of freedom when implementing the chiral gauge theory (Chiral Gauge Theory, LχGT) on the lattice. Specifically, the researchers try to construct a U(1) lattice chiral gauge theory model by using the methods of domain - wall fermions and compact gauge fixing. In the reduced - model limit, their numerical and perturbative studies show that there are no additional mirror - chiral modes. The longitudinal gauge degrees of freedom have no impact on the free domain - wall fermion spectrum of the chiral modes. These chiral modes are located on the domain wall and the anti - domain wall respectively, and the overlap between them decays exponentially.
### Background of the Paper
In the non - perturbative study of quantum field theory, lattice - regularized chiral gauge theory has been a long - standing problem. Due to the lack of chiral gauge invariance, the longitudinal gauge degrees of freedom will couple with the fermion degrees of freedom, thus destroying the chiral nature of the theory. For example, the chiral gauge theory proposed by Smit - Swift has problems in this regard. Although some recent developments have successfully constructed a chiral gauge theory that does not violate gauge invariance and locality by using the Dirac operator satisfying the Ginsparg - Wilson relation, an explicit non - perturbative numerical model is still lacking.
### Research Methods
This paper adopts the gauge - fixing method to control the longitudinal gauge degrees of freedom. Specifically, the researchers use the domain - wall fermion model and introduce compact gauge fixing. In the reduced - model limit, they turn off the transverse gauge coupling, simplifying the model into a chiral Yukawa theory, in which fermions interact with the longitudinal gauge degrees of freedom. Through this simplification, they can study the problem more clearly.
### Main Findings
1. **No Additional Mirror - Chiral Modes**: In the reduced - model limit, numerical and perturbative studies show that no additional mirror - chiral modes emerge.
2. **Impact of Longitudinal Gauge Degrees of Freedom**: The longitudinal gauge degrees of freedom have no significant impact on the free domain - wall fermion spectrum of the chiral modes. These chiral modes are located on the domain wall and the anti - domain wall respectively, and the overlap between them decays exponentially.
3. **Recovery of Gauge Symmetry**: Through appropriate gauge fixing and adjustment of the anomalous terms, gauge symmetry can be recovered in the continuous limit, while making the gauge field smooth.
### Conclusions
This research confirms the effectiveness of the gauge - fixing method in constructing chiral gauge theories, especially when using domain - wall fermions. These results lay the foundation for further expansion to non - Abelian gauge groups and provide an important reference for future non - perturbative numerical studies.
### Formula Summary
- Free action of domain - wall fermions:
\[
S_F=\sum_{XY}\psi_X\left(\partial_5 - w_5+M\right)_{XY}\psi_Y
\]
where,
\[
(\partial_5)_{XY}=\frac{1}{2}\sum_{\alpha = 1}^5\gamma_\alpha(\delta_{X+\hat{\alpha},Y}-\delta_{X-\hat{\alpha},Y})
\]
\[
(w_5)_{XY}=\frac{r}{2}\sum_{\alpha = 1}^5(\delta_{X+\hat{\alpha},Y}+\delta_{X-\hat{\alpha},Y}-2\delta_{XY})
\]
- Pure - gauge action of gauge fixing:
\[
S_B(U)=S_g(U)+S_{gf}(U)+S_{ct}(U)
\]
where,
\[
S_{gf}(U)=\tilde{\kappa}\left(\sum_{xyz}\Box(U)_{xy}\Box(U)_{yz}-\sum_xB_x\right)