The covariant lattice Dirac operator [fdip-009N]
✍️sourceAGENTDRAFTED
- November 1, 2026
The covariant lattice Dirac operator [fdip-009N]
✍️sourceAGENTDRAFTED
- November 1, 2026
How does a fermion move through a fixed gauge connection? The spatial Dirac operator combines centered differences with Clifford matrices. The connection background compares fields at neighboring vertices by parallel transport. Combining them requires two separate factors: a Clifford module \(S\) and an internal representation \(F\). The gauge links act on \(F\), while the gamma matrices act on \(S\).
This separation makes the operator gauge covariant and skew-adjoint. It also identifies its finite matrix as a possible kernel for the paired Grassmann integral, without claiming a positive probability density. At the trivial connection, the Fourier blocks retain the centered difference's sine symbol. Their exact zero modes depend on the parity of the finite periods; the extra local branches of the continuous momentum symbol are a different count. Fixed antiperiodic boundary conditions change the sampling but do not remove those branches.
A group acting on spin frames has a different role from an internal gauge group. Even when both are described using \(SU(2)\) or a binary rotation group, their actions and the Clifford compatibility must be supplied separately.
Definition 1. Covariant centered differences with an internal fiber [fdip-009O]AGENTDRAFTED
- November 1, 2026
Definition 1. Covariant centered differences with an internal fiber [fdip-009O]AGENTDRAFTED
- November 1, 2026
Use the periodic grid and Clifford module: \(d\ge 1\), periods \(N_j\ge 3\), \(\Lambda =\prod _j\mathbb Z/N_j\mathbb Z\), and \(S=(\mathbb C^2)^{\otimes d}\) with Hermitian matrices \(\gamma _j\). Thus \(\dim _{\mathbb C}S=2^d\) and \[\gamma _i\gamma _j+\gamma _j\gamma _i=2\delta _{ij}I_S.\] The lattice spacing is one. Choose a nonzero finite-dimensional complex Hermitian space \(F\), with \(q=\dim _{\mathbb C}F\), and a unitary representation \(\rho :G\to U(F)\) of a finite or compact group, continuous in the compact case. The invariant metric is part of the representation datum. The field space is \[\mathcal H=\ell ^2(\Lambda )\otimes S\otimes F,\] identified with maps \(\psi :\Lambda \to S\otimes F\), with \[\langle \psi ,\phi \rangle =\sum _{x\in \Lambda }\langle \psi (x),\phi (x)\rangle _{S\otimes F}.\] Dimensions are over \(\mathbb C\); adjoints use the declared Hermitian inner products.
Assign \(U_j(x)\in G\) to the oriented edge \(x\to x+e_j\), and also write \(U_j(x)\) for its unitary action \(\rho (U_j(x))\) on \(F\). The source-to-head convention means that comparing a value at \(x+e_j\) with one at \(x\) uses the inverse transport. Define \[\begin {gathered} (T_j^U\psi )(x) = (I_S\otimes U_j(x)^{-1})\psi (x+e_j),\\ ((T_j^U)^{-1}\psi )(x)\\ = (I_S\otimes U_j(x-e_j))\psi (x-e_j). \end {gathered}\] Substitution verifies that the second operator is the inverse of the first. Put \[\nabla _j^U=\frac {T_j^U-(T_j^U)^{-1}}2,\qquad \Gamma _j=\gamma _j\otimes I_F,\] where \(\Gamma _j\) acts pointwise on the field. The covariant lattice Dirac operator is \[D_U=\sum _{j=1}^d\Gamma _j\nabla _j^U.\] This is the centered nearest-neighbor convention in [wingate2025lattice, Section 9.1, Equations (9.1)–(9.2), p. 19], with spacing one and the declared link orientation.
For \(g:\Lambda \to G\), write \(g_x=\rho (g(x))\) in operator formulas. The transformed links and field are \[\begin {aligned} U_j^g(x)&=g_{x+e_j}U_j(x)g_x^{-1},\\ (\mathcal G\psi )(x)&=(I_S\otimes g_x)\psi (x). \end {aligned}\] This is an internal gauge transformation: it fixes the lattice and the chosen Clifford matrices. Links and \(\mathcal G\) commute with every \(\Gamma _j\), because they act on the other tensor factor.
Theorem 2. Gauge covariance and skew-adjointness of the Dirac operator [fdip-009P]AGENTDRAFTED
- November 1, 2026
Theorem 2. Gauge covariance and skew-adjointness of the Dirac operator [fdip-009P]AGENTDRAFTED
- November 1, 2026
For the declared unitary internal connection, \[\begin {aligned} (T_j^U)^*&=(T_j^U)^{-1},\\ D_U^*&=-D_U,\\ D_{U^g}\mathcal G&=\mathcal G D_U. \end {aligned}\] Consequently the spectrum and determinant of \(D_U\), and of \(mI+D_U\) for a fixed scalar \(m\), are gauge invariant.
Proof.
- November 1, 2026
Proof.
- November 1, 2026
The operator \(T_j^U\) is the product of pointwise unitary multiplication by \(I_S\otimes U_j(x)^{-1}\) and the periodic forward shift. Reindexing the counting inner product shows that the shift is unitary, as in Definition [fdip-000R]. Their product is therefore unitary, with the inverse already displayed in the definition. Thus \((\nabla _j^U)^*=-\nabla _j^U\). Since \(\Gamma _j^*=\Gamma _j\) and \(\Gamma _j\) commutes with \(\nabla _j^U\), the adjoint of their product is its negative. Summing proves the second identity.
The transformed inverse link is \[U_j^g(x)^{-1}=g_xU_j(x)^{-1}g_{x+e_j}^{-1}.\] Therefore \[\begin {aligned} (T_j^{U^g}\mathcal G\psi )(x) &=(I_S\otimes g_xU_j(x)^{-1})\psi (x+e_j)\\ &=(\mathcal G T_j^U\psi )(x). \end {aligned}\] Both shifts are invertible, so the same intertwining identity holds for their inverses and hence their centered differences. Commutation of \(\mathcal G\) with each \(\Gamma _j\) then gives \(D_{U^g}\mathcal G=\mathcal G D_U\). The operator \(\mathcal G\) is unitary and invertible. The two Dirac matrices are conjugate, as are their scalar translates, proving the spectral and determinant statements.
For a general connection, the coordinate shifts need not commute. Accordingly the free identity \(D^2=\sum _j\nabla _j^2\) cannot be imported without its commutation hypothesis. In the present notation direct expansion gives \[\begin {aligned} D_U^2&=\sum _j(\nabla _j^U)^2\\ &\quad +\sum _{i<j}\Gamma _i\Gamma _j [\nabla _i^U,\nabla _j^U], \end {aligned}\] where \([A,B]=AB-BA\). The first sum includes the identity on \(S\); the second sum need not vanish. Skew-adjointness still implies \(D_U^*D_U=-D_U^2\ge 0\). This does not identify that square with the nearest-neighbor connection Laplacian.
The formal adjoint identities linked in the free square theorem support the algebraic ingredients; the shifted-link reindexing and the internal-factor commutation are the explicit calculations here. In any chosen orthonormal basis of \(\mathcal H\), the paired Grassmann formula applies to \(mI+D_U\) as a finite complex matrix. This observation requires neither positivity nor invertibility and is not an ordinary probability interpretation.
Theorem 3. Free and antiperiodic Dirac kernels with internal multiplicity [fdip-009Q]AGENTDRAFTED
- November 1, 2026
Theorem 3. Free and antiperiodic Dirac kernels with internal multiplicity [fdip-009Q]AGENTDRAFTED
- November 1, 2026
For the covariant Dirac data, take the trivial connection \(U_j(x)=I_F\) and write \(D_0\) for its operator. If \(e\) is the number of even periods, then \[\dim _{\mathbb C}\ker D_0=q\,2^{d+e}.\] There are exactly \(2^e\) zero momentum blocks, each of dimension \(q\,2^d\). If instead every coordinate has the fixed scalar antiperiodic boundary condition, the corresponding operator \(D^-\) satisfies \[\dim _{\mathbb C}\ker D^- =\begin {cases} q\,2^d,&\text {all }N_j\text { are odd},\\ 0,&\text {some }N_j\text { is even}. \end {cases}\] The antiperiodic statement applies to the specified scalar boundary condition on \(S\otimes F\). Interpreting its seam transport as a \(G\)-connection requires \(-I_F\in \rho (G)\); otherwise it is an external scalar twist, or can be supplied by an additional \(\mathbb Z_2\) factor.
Proof.
- November 1, 2026
Proof.
- November 1, 2026
Tensor the complete normalized finite Fourier basis with \(S\otimes F\). For \(p_j=2\pi r_j/N_j\), \(0\le r_j<N_j\), the block is \[\begin {aligned} D_0(p)&=i\sum _j\Gamma _j\sin p_j,\\ D_0(p)^2&=-s(p)I_{S\otimes F},\\ s(p)&=\sum _j\sin ^2p_j. \end {aligned}\] The square follows from the Clifford anticommutators; the internal factor is the identity. If \(s(p)>0\), the inverse is \(-D_0(p)/s(p)\). If \(s(p)=0\), every sine vanishes and the entire block is zero. A coordinate has only \(p_j=0\) when \(N_j\) is odd, and also \(p_j=\pi \) when it is even. The \(2^e\) choices and complete Fourier decomposition give the asserted dimension. Setting \(q=1\) recovers Proposition [fdip-000T].
For the antiperiodic box, the complete basis from Example [fdip-006J] instead has \(p_j=(2r_j+1)\pi /N_j\). Tensoring with \(S\otimes F\) gives the same matrix symbol and square. In the interval \(0<p_j<2\pi \), the only possible zero is \(p_j=\pi \). The equation \(2r_j+1=N_j\) has one allowed solution exactly when \(N_j\) is odd. Thus there is one zero block if every period is odd and none otherwise. Its dimension is \(q\,2^d\). These scalar seam operators commute in different coordinates; the calculation asserts no such property for arbitrary links.
For two coordinates the explicit comparison is \[\begin {array}{c|ccc} (N_1,N_2)&(4,4)&(4,3)&(3,3)\\\hline \dim \ker D_0&16q&8q&4q\\ \dim \ker D^-&0&0&4q \end {array}\] These are dimensions over \(\mathbb C\) in the chosen reducible module \(S\), with internal multiplicity \(q\). They count exact zero vectors on a finite grid, not physical species or chirality.
Proposition 4. The corner branches of the centered Dirac symbol [fdip-009R]AGENTDRAFTED
- November 1, 2026
Proposition 4. The corner branches of the centered Dirac symbol [fdip-009R]AGENTDRAFTED
- November 1, 2026
Extend the free Fourier symbol to the continuous momentum torus \((\mathbb R/2\pi \mathbb Z)^d\): \[\mathcal D(p)=i\sum _j\Gamma _j\sin p_j.\] Its zero matrices occur exactly at the \(2^d\) corners \(p^\epsilon =\pi \epsilon \), with \(\epsilon \in \{0,1\}^d\). Near each corner, \[\begin {aligned} \mathcal D(p^\epsilon +k) &=i\sum _j\widetilde \Gamma _j k_j+O(\|k\|^3),\\ \widetilde \Gamma _j&=(-1)^{\epsilon _j}\Gamma _j, \end {aligned}\] where the remainder is measured in the operator norm on \(S\otimes F\). The matrices \(\widetilde \Gamma _j\) obey the same Clifford anticommutation relations as \(\Gamma _j\).
Proof.
- November 1, 2026
Proof.
- November 1, 2026
The identity \(\mathcal D(p)^2=-(\sum _j\sin ^2p_j)I\) holds for every real momentum. If \(\mathcal D(p)=0\), its square forces each sine to vanish; conversely those vanishing sines make the matrix zero. Modulo \(2\pi \), each coordinate is \(0\) or \(\pi \). The expansion follows from \(\sin (\pi \epsilon _j+k_j)=(-1)^{\epsilon _j}\sin k_j\) and \(\sin k_j=k_j+O(|k_j|^3)\). The gamma matrices have norm one, and there are finitely many coordinates, so summing the remainders gives the stated operator-norm bound. Finally \[\widetilde \Gamma _i\widetilde \Gamma _j +\widetilde \Gamma _j\widetilde \Gamma _i =2\delta _{ij}I,\] since the two signs cancel when \(i=j\), while the off-diagonal anticommutator was already zero.
Thus the centered symbol has \(2^d\) local first-order branches on the same specified spinor/internal carrier. This is the algebraic doubling mechanism behind the sine propagator and opposite-slope discussion in [wingate2025lattice, Sections 9.1–9.2, Equations (9.6)–(9.7), (9.13)–(9.14), pp. 20–21]. The finite periodic grid samples only \(2^e\) of these corners exactly; an odd period need not sample \(\pi \). Fixed boundary twists alter the allowed momenta, as in Example [fdip-006J], without removing the corners of this symbol.
The chosen \(S\) is reducible, so the number of corners is not a count relative to a minimal physical spinor representation. Nor does the local Taylor expansion construct a quantum continuum limit. The precisely scoped Nielsen–Ninomiya comparison concerns a different theorem: free local translation-invariant Hamiltonians on an infinite odd-dimensional lattice, with isolated relativistic zeros and compatible smooth charge projections. Under its hypotheses the total chiral index vanishes separately for each charge [friedan1982nielsen, Sections 1–2, pp. 481–484; Equations (6), (10)–(11)]. The finite count and the Taylor calculation here do not remove any of those hypotheses or supply that theorem's conclusion.
Remark 5. Spin-frame compatibility is separate from internal covariance [fdip-009S]AGENTDRAFTED
- November 1, 2026
Remark 5. Spin-frame compatibility is separate from internal covariance [fdip-009S]AGENTDRAFTED
- November 1, 2026
The internal gauge theorem uses \(I_S\otimes \rho (g(x))\) on field values. It does not cover an arbitrary unitary transformation on \(S\). Already in one coordinate, the chosen gamma matrix is \[X=\begin {pmatrix}0&1\\1&0\end {pmatrix}.\] For \(Z=\operatorname {diag}(1,-1)\), one has \(ZXZ=-X\). With trivial links and fixed lattice directions, \[ZD_0Z=-D_0\ne D_0.\] The inequality holds for every permitted period \(N\ge 3\): the Fourier momentum \(2\pi /N\) has nonzero sine. Thus even a constant unitary change on the spin factor fails the claimed fixed-gamma conjugacy unless the Clifford/frame data are transformed compatibly.
A spin action instead comes with its specified vector action and Clifford compatibility. For a constant orthogonal frame change \(R\), the relevant relation has the form \[\sigma (s)c(v)\sigma (s)^{-1}=c(Rv).\] An action on lattice differences must respect the same change of directions; a varying frame needs additional transport data. No such spin-frame transformation is part of the internal gauge statement above. The compact real Spin cover uses the positive quadratic form, and its action is on the spatial vector carrier. It is not, by its name alone, an action on an arbitrary internal fiber.
In dimension three, the quaternion map \(SU(2)\to SO(3)\) has kernel \(\{1,-1\}\). Its binary finite subgroups supply useful representations, but their roles remain distinct. For example the faithful two-dimensional fiber \(F=\mathbb C^2\) of \(2T\) can be used internally in \(S\otimes F\); then it commutes with the gamma matrices on \(S\). The corresponding three-dimensional rotation representation kills the center and is different data. Neither choice identifies the internal factor with the spatial Clifford module or provides a lattice frame action.