Connections, holonomy and twisted operators [fdip-006C]
✍️sourceAGENTDRAFTED
- November 1, 2026
Connections, holonomy and twisted operators [fdip-006C]
✍️sourceAGENTDRAFTED
- November 1, 2026
If local field frames can differ, how are neighboring values compared? An ordinary edge difference compares two values in the same field space. A connection first transports one endpoint value to the other. The resulting positive precision depends on this extra background data. Changing frames at the vertices changes its matrix by an isometry; transport around a cycle retains information that vertex frames cannot remove.
A spanning tree reduces this information to finitely many holonomies. For a complex line on a cycle, the determinant can then be computed exactly. A nontrivial twist can remove the constant zero mode, and the normalized complex Gaussian gives an explicit holonomy action on a supplied circle. Antiperiodic spatial differences provide a related example: exact kernel dimensions change, while the additional low-energy branches of the centered symbol remain.
Definition 1. A connection background and its positive precision [fdip-006D]AGENTDRAFTED
- November 1, 2026
Definition 1. A connection background and its positive precision [fdip-006D]AGENTDRAFTED
- November 1, 2026
Fix a finite or compact Hausdorff group \(G\) and a finite-dimensional real or complex representation \(\rho :G\to \operatorname {GL}(F)\), continuous in the compact case. Supply a positive inner product for which \(\rho \) is orthogonal or unitary. If necessary, start from any positive inner product and average it: \[\langle x,y\rangle _G =\int _G\langle \rho (g)x,\rho (g)y\rangle _0\,dg.\] Here \(dg\) is normalized right Haar measure; for a finite group it is the uniform average. Haar existence and inversion from left to right are given in [gleason2010haar, Theorem 4.3, pp. 6–9; Proposition 4.1, pp. 4–5]. Compactness makes its nonzero total mass finite, allowing normalization. Right invariance gives invariance of the displayed pairing. The integrand is continuous and strictly positive for \(x=y\ne 0\), so the average is positive. The invariant metric is part of the data used below.
On a finite incidence presentation, a connection assigns \(U_e\in G\) to every chosen oriented edge. Reversing that edge assigns \(U_{\bar e}=U_e^{-1}\). Set \(H=F^V\) and \(K=F^E\), with the sums of the supplied fiber inner products. Write \(U_e\) also for \(\rho (U_e)\) in operator formulas. For scalar weights \(w_e>0\) and mass \(m>0\), define \[\begin {aligned} (d_Uf)(e)&=f(h(e))-U_ef(s(e)),\\ W&=\operatorname {diag}(w_eI_F),\\ L_U&=d_U^*Wd_U,\qquad Q_U=L_U+m^2I_H. \end {aligned}\] The adjoint uses these declared inner products. Directly, \[\langle f,Q_Uf\rangle =\sum _e w_e\|f(h(e))-U_ef(s(e))\|^2+m^2\|f\|^2.\] Thus \(Q_U\ge m^2I_H>0\). This is the unitary connection version of the difference energy; the adjoint qualification is also explicit in [kenyon2011spanning, Section 3.3, p. 6].
At \(m=0\), the same sum shows \[\ker L_U=\ker d_U =\{f:f(h(e))=U_ef(s(e))\text { for every }e\}.\] Its elements are called parallel sections. The unpinned massless Gaussian is normalizable exactly when this space is zero: then \(L_U\) is positive definite; otherwise the density is constant along a nonzero kernel direction and its integral diverges. This is separate from the pinned construction. Nontrivial group holonomy need not eliminate all parallel vectors in a higher-dimensional or nonfaithful representation.
Mathlib's LinearMap.ker_adjoint_comp_self gives
\(\ker (A^*A)=\ker A\) for finite-dimensional inner-product spaces.
Apply it to \(A=W^{1/2}d_U\); positive weights make \(W^{1/2}\)
invertible. This supports the kernel identity, not the connection,
holonomy or normalizability assertions.
Proposition 2. Gauge covariance and transport of selected laws [fdip-006E]AGENTDRAFTED
- November 1, 2026
Proposition 2. Gauge covariance and transport of selected laws [fdip-006E]AGENTDRAFTED
- November 1, 2026
For a connection background, the gauge group \(G^V\) changes the frame independently at each vertex. For \(g=(g_v)_{v\in V}\), define \[\begin {aligned} (gU)_e&=g_{h(e)}U_eg_{s(e)}^{-1},\\ (G_Vf)_v&=\rho (g_v)f_v,\\ (G_Ea)_e&=\rho (g_{h(e)})a_e. \end {aligned}\] Then \[\begin {aligned} d_{gU}G_V&=G_Ed_U,\\ Q_{gU}&=G_VQ_UG_V^{-1},\\ \det Q_{gU}&=\det Q_U. \end {aligned}\] In particular, the massive spectra and Gaussian normalizers are gauge invariant.
Proof.
- November 1, 2026
Proof.
- November 1, 2026
On an edge with endpoints \(s,h\), \[\begin {aligned} (d_{gU}G_Vf)(e) &=\rho (g_h)f_h-\rho (g_hU_eg_s^{-1})\rho (g_s)f_s\\ &=\rho (g_h)(f_h-\rho (U_e)f_s). \end {aligned}\] This proves the first identity. Both \(G_V\) and \(G_E\) are isometries, and scalar weights imply \(G_E^*WG_E=W\). Taking adjoints in \(d_{gU}=G_Ed_UG_V^{-1}\) therefore gives \[d_{gU}^*Wd_{gU}=G_Vd_U^*Wd_UG_V^{-1}.\] The mass term commutes with \(G_V\). Multiplicativity of the determinant gives its invariance. The same isometry preserves real Euclidean volume, or the real volume underlying a complex Hermitian space, so changing variables also preserves the corresponding Gaussian integral.
For a fixed incidence presentation, \(U\mapsto gU\) is a group action: \(g_2(g_1U)=(g_2g_1)U\). Its action groupoid has connections as objects and gauge transformations as arrows. If a selector is included, use an orthogonal projector \(P\) on real \(H\), or a complex-linear orthogonal projector on complex \(H\), and transport it by \[P'=G_VPG_V^{-1}.\] The identity, composition and inverse obey this equation by conjugation. Together with relabelings that carry the connection values, these are the connection counterparts of selected-background arrows. The earlier scalar backgrounds and relabeling arrows are recovered with \(F=\mathbb R\), \(G=\{1\}\) and their original selector rank condition.
On the selected space \(X=\operatorname {im}P\), the compressed inverse is \(C_P=(PQ_U^{-1}P)|_X\). The restriction \(G_X:X\to \operatorname {im}P'\) satisfies \[C_{P'}=G_XC_PG_X^{-1}.\] Indeed insert the three conjugation identities for \(P'\), \(Q_{gU}^{-1}\) and \(P'\). Inversion transports the selected precision. For real fields this is exactly the selected Gaussian transport; for complex fields the Gaussian convention is specified in Example 6.
Unitarity is essential for this argument. A nonorthogonal matrix representation with an unchanged Euclidean metric need not satisfy \(G_E^*WG_E=W\); changing connection matrices alone would then fail to produce the asserted conjugacy.
Theorem 3. Graph connections are classified by holonomy [fdip-006F]AGENTDRAFTED
- November 1, 2026
Theorem 3. Graph connections are classified by holonomy [fdip-006F]AGENTDRAFTED
- November 1, 2026
Let \(\Gamma \) be a finite connected graph with chosen edge orientations and root \(o\). For a path traversing \(e_1,\ldots ,e_k\), use inverse edge values when traversing backwards and define its holonomy by \[U_{e_k}\cdots U_{e_1}.\] Thus the rightmost factor transports first. Use the same composition convention for loops: \(\beta \alpha \) first traverses \(\alpha \) and then \(\beta \). The gauge classes of \(G\)-valued connections are \[\operatorname {Hom}(\pi _1(\Gamma ,o),G)/G \;\cong \;G^{b_1}/G,\qquad b_1=|E|-|V|+1,\] where \(G\) acts by simultaneous conjugation. The second identification depends on a spanning tree and orientations of the remaining edges. This classifies group-valued connections, not their possibly nonfaithful representation images or the spectra of their precisions.
Proof.
- November 1, 2026
Proof.
- November 1, 2026
Choose a spanning tree \(T\). Each vertex \(v\) has a unique tree path from \(o\); let \(t_v\in G\) be its transport, with \(t_o=1\). Use the gauge \(g_v=t_v^{-1}\). If a tree edge runs from \(s\) to \(h\), its path transports satisfy \(t_h=U_et_s\), with the equivalent inverse identity when the rooted path traverses the edge backwards. Hence \[(gU)_e=t_h^{-1}U_et_s=1\qquad (e\in T).\] Every connection therefore has a representative with all tree values one. The remaining \(|E|-|T|=b_1\) edge values are unrestricted.
A gauge transformation carrying one such representative to another satisfies \(g_hg_s^{-1}=1\) on every tree edge. Tree connectivity forces all \(g_v\) to equal one element \(a\in G\). It conjugates every remaining edge value by \(a\). Conversely every simultaneous conjugation comes from this constant gauge. This proves the classification by \(G^{b_1}/G\), including the case of a tree, where \(b_1=0\).
Traversing a path and then its inverse gives cancelling group factors, so transport is unchanged by removing backtracking. The loops that run from \(o\) through the tree to the source of a non-tree edge, traverse it and return through the tree are a free basis of \(\pi _1(\Gamma ,o)\). This is [hatcher2002algebraic, Proposition 1A.2 and its proof, pp. 84–85]: contract the tree to obtain a wedge of \(b_1\) circles. Assigning arbitrary values to this free basis gives every group homomorphism. In tree gauge these values are precisely the non-tree edge values. A general gauge conjugates each rooted loop holonomy by \(g_o\), proving the first identification as well.
With two-cells attached, call a connection flat when the ordered holonomy around every attaching boundary is the identity in \(G\). Equivalently the graph homomorphism kills the normal subgroup generated by those boundaries. It therefore factors through the fundamental group of the resulting space. A representation \(\rho \) can send a nonidentity group element to the identity operator; operator flatness alone is therefore insufficient when \(\rho \) is nonfaithful.
In the representation on \(F\), a parallel section is determined by its root value \(x\in F\). Tree transport defines its other values, and each non-tree edge condition says that its rooted holonomy fixes \(x\). Consequently evaluation at \(o\) identifies the space of parallel sections with the common fixed space of the holonomy representation. This proves the massless-kernel criterion of Definition 1 in terms of cycle data.
Theorem 4. Determinants of a twisted cycle [fdip-006G]AGENTDRAFTED
- November 1, 2026
Theorem 4. Determinants of a twisted cycle [fdip-006G]AGENTDRAFTED
- November 1, 2026
Let \(C_n\), \(n\ge 3\), have vertices \(0,\ldots ,n-1\) and edges \(j\to j+1\) modulo \(n\). Take a complex line with unitary connection, positive weights \(w_j\), and total oriented holonomy \(u=\prod _jU_j=e^{i\theta }\). For \(L_\theta =d_U^*Wd_U\), \[\det L_\theta =\left (\prod _jw_j\right )(2-2\cos \theta ).\] For unit weights and \(c\ge 0\), let \(\omega \ge 0\) be determined by \(2\cosh \omega =2+c\). Then \[\det (cI+L_\theta )=2\cosh (n\omega )-2\cos \theta .\] The first formula is the cycle case of the weighted line-bundle matrix-tree formula, [kenyon2011spanning, Theorem 5, Section 7.1, p. 13]. Its unweighted precursor is [kenyon2011spanning, Theorem 1, p. 7]. Both cycle identities are proved directly below.
Proof.
- November 1, 2026
Proof.
- November 1, 2026
Use Theorem 3 to set \(U_0=\cdots =U_{n-2}=1\) and \(U_{n-1}=u\). The square incidence matrix has row equations \(f_{j+1}-f_j\) for \(j<n-1\) and \(f_0-uf_{n-1}\) for the last row. In its determinant expansion the only nonzero permutations choose all source entries or all head entries: choosing one head entry forces the next row to choose its head entry, and so around the cycle. Their signed sum is \(1-u\) up to an overall sign. Hence \[\det (d_U^*Wd_U) =|\det d_U|^2\det W =|1-u|^2\prod _jw_j.\] Since \(|1-e^{i\theta }|^2=2-2\cos \theta \), this proves the first formula, including trivial holonomy.
For unit weights introduce the unitary shift \[(T_\theta f)_j=\begin {cases} f_{j+1},&j<n-1,\\ u^{-1}f_0,&j=n-1. \end {cases}\] The last edge difference is \(u(T_\theta f-f)_{n-1}\), so its modulus is unchanged. Thus \(L_\theta =2I-T_\theta -T_\theta ^*\). The seam convention is \(f_n=u^{-1}f_0\); its modes and eigenvalues are \[\begin {aligned} p_k&=(2\pi k-\theta )/n,\qquad 0\le k<n,\\ f_k(j)&=n^{-1/2}e^{ip_kj},\\ L_\theta f_k&=(2-2\cos p_k)f_k. \end {aligned}\] Distinct modes are orthogonal because their ratios are nontrivial \(n\)-th roots of unity; the finite geometric sum vanishes. There are \(n\) modes, so they form a complete basis.
Put \(r=e^\omega \) and \(z_k=e^{ip_k}\). The numbers \(z_k\) are all roots of \(z^n=u^{-1}\). Since \[c+2-z-z^{-1}=r^{-1}(r-z)(r-z^{-1}),\] the product of the eigenvalues is \[\begin {aligned} \det (cI+L_\theta ) &=r^{-n}(r^n-u^{-1})(r^n-u)\\ &=r^n+r^{-n}-u-u^{-1}\\ &=2\cosh (n\omega )-2\cos \theta . \end {aligned}\] The computation remains valid at \(c=0\), when \(r=1\).
Example 5. An antiperiodic four-cycle has no parallel line section [fdip-006H]AGENTDRAFTED
- November 1, 2026
Example 5. An antiperiodic four-cycle has no parallel line section [fdip-006H]AGENTDRAFTED
- November 1, 2026
Give the unit four-cycle total holonomy \(u=-1\), or \(\theta =\pi \). In the tree gauge, three links are one and the final link is minus one. The cycle modes have momenta \(-\pi /4,\pi /4,3\pi /4,5\pi /4\), so \[\operatorname {spec}L_\pi =\{2-\sqrt 2,2-\sqrt 2,2+\sqrt 2,2+\sqrt 2\}.\] All 4 eigenvalues are positive, and \(\det L_\pi =((2-\sqrt 2)(2+\sqrt 2))^2=4\).
The arrows show the chosen orientation; labels are connection values, not edge weights, which are all one. The thick edge carries the remaining holonomy after the other three form a tree. A parallel section would have \(f_0=f_1=f_2=f_3\) along those tree edges and \(f_0=-f_3\) along the last edge, forcing zero. Thus the massless complex Gaussian exists without a pin. With trivial holonomy the constant line is a kernel instead. This is a change of background connection, distinct from conditioning a scalar Gaussian on pinned values.
Example 6. A normalized complex holonomy action on the circle [fdip-006I]AGENTDRAFTED
- November 1, 2026
Example 6. A normalized complex holonomy action on the circle [fdip-006I]AGENTDRAFTED
- November 1, 2026
Use the supplied unit-circle mesh, now with complex fields and total holonomy \(e^{i\theta }\). On \(\mathbb C^n\), take \[\langle z,w\rangle _n=\frac 1n\sum _j\overline {z_j}w_j, \qquad Q_{n,\theta }=n^2L_\theta +\mu I,\qquad \mu >0.\] Here \(L_\theta \) is the unit-weight twisted cycle, \(n\ge 3\), and the same factor \(n^2\) fixes the circle length scale. Let \(d\operatorname {vol}_n\) be the real volume induced by this Hermitian pairing. If \(z_j=x_j+iy_j\), then \[d\operatorname {vol}_n=n^{-n}\prod _jdx_j\,dy_j.\] Indeed \(z\mapsto z/\sqrt n\) is an orthonormal coordinate change in complex dimension \(n\), hence real dimension \(2n\).
Choose the complex Gaussian convention \[\begin {aligned} Z_n(\theta )&=\pi ^{-n}\int _{\mathbb C^n} e^{-\langle z,Q_{n,\theta }z\rangle _n} \,d\operatorname {vol}_n(z),\\ W_n(\theta )&=-\log Z_n(\theta ). \end {aligned}\] Unitary diagonalization gives one factor per eigenvalue \(\lambda >0\). Polar coordinates evaluate it: \[\begin {aligned} \pi ^{-1}\int _{\mathbb R^2}e^{-\lambda (x^2+y^2)}dx\,dy &=2\int _0^\infty e^{-\lambda r^2}r\,dr\\ &=\lambda ^{-1}. \end {aligned}\] Therefore \[Z_n(\theta )=(\det _{\mathbb C}Q_{n,\theta })^{-1}, \qquad W_n(\theta )=\log \det _{\mathbb C}Q_{n,\theta }.\] This complex convention has no factor \(1/2\) in the determinant action; the earlier real Gaussian action uses a different exponent and real field dimension.
Since \(Q_{n,\theta }=n^2(L_\theta +\mu n^{-2}I)\), define the explicitly subtracted finite action by \[\widetilde W_n(\theta )=W_n(\theta )-2n\log n.\] The cycle determinant gives \[\begin {aligned} \widetilde W_n(\theta ) &=\log (2\cosh (n\omega _n)-2\cos \theta ),\\ 2\cosh \omega _n&=2+\mu /n^2,\qquad \omega _n\ge 0. \end {aligned}\] Thus the removed term is independent of holonomy; it is part of the stated normalization, not a finite determinant omitted from the formula.
The identity \(\cosh \omega -1=2\sinh ^2(\omega /2)\) gives \(\omega _n=2\operatorname {arsinh}(\sqrt {\mu }/(2n))\). For \(t>0\), integrate the derivative \((\operatorname {arsinh}t)'=(1+t^2)^{-1/2}\) to obtain \[\frac 1{\sqrt {1+t^2}} \le \frac {\operatorname {arsinh}t}{t}\le 1.\] Consequently \(n\omega _n\to \sqrt \mu \). The positive limiting argument of the logarithm is at least \(2\cosh \sqrt \mu -2>0\), so \[\widetilde W_n(\theta )\longrightarrow W(\theta )=\log (2\cosh \sqrt \mu -2\cos \theta ).\] This is a direct limit of the normalized finite determinants, beyond the separate fixed-mode comparison; no interchange of an infinite product is used.
For \(\mu >0\), \(W(\theta )\) is minimized exactly at trivial holonomy \(\theta =0\) modulo \(2\pi \), since \(\cos \theta \le 1\). Equivalently the integrated matter factor \(e^{-W}\) is largest there. At \(\mu =0\) and nontrivial holonomy the same finite calculation gives \(W(\theta )=\log (2-2\cos \theta )\). At trivial holonomy there is a zero mode: the unpinned Gaussian integral diverges and this determinant action is undefined. Its formal logarithm of zero is not a normalized Gaussian action. The circle, its scale and the connection remain supplied data.
Example 7. Antiperiodic spatial Dirac modes [fdip-006J]AGENTDRAFTED
- November 1, 2026
Example 7. Antiperiodic spatial Dirac modes [fdip-006J]AGENTDRAFTED
- November 1, 2026
Keep the spatial Clifford module \(S=(\mathbb C^2)^{\otimes d}\), with \(\dim _{\mathbb C}S=2^d\), and periods \(N_j\ge 3\). Give scalar fields on the fundamental box \(0\le x_j<N_j\) the antiperiodic extension \[f(x+N_je_j)=-f(x)\qquad (1\le j\le d).\] The forward shift \(T_j^-\) uses this extension at a seam. It is a signed permutation, hence unitary in the counting pairing; shifts in different coordinates commute. They act on the lattice factor only, so they commute with the Clifford matrices on \(S\). Define \[D^- =\sum _{j=1}^d\gamma _j\otimes \frac {T_j^--(T_j^-)^{-1}}2.\] These are fixed flat line twists, each with holonomy minus one.
For labels \(0\le r_j<N_j\), set \[p_j=\frac {(2r_j+1)\pi }{N_j},\qquad \chi _r(x)=\left (\prod _jN_j\right )^{-1/2} e^{i\sum _jp_jx_j}.\] The exponential obeys the declared antiperiodic extension. Differences of two allowed momenta are periodic Fourier momenta, so the same geometric-sum proof as Theorem [fdip-000S] makes these functions a complete orthonormal basis of fields on the box. On its momentum block, \[\begin {aligned} D^-(p)&=i\sum _j\gamma _j\sin p_j,\\ -D^-(p)^2&=\left (\sum _j\sin ^2p_j\right )I_S. \end {aligned}\] The square follows from the Clifford anticommutators and commuting coordinate shifts, exactly as in the untwisted calculation.
A block is zero precisely when every \(\sin p_j=0\); otherwise its inverse is \(-D^-(p)/(\sum _j\sin ^2p_j)\). Since \(0<p_j<2\pi \), the only possible zero is \(p_j=\pi \), which requires \(2r_j+1=N_j\). It occurs once when \(N_j\) is odd and never when it is even. Hence \[\dim _{\mathbb C}\ker D^-= \begin {cases} 2^d,&\text {all periods are odd},\\ 0,&\text {at least one period is even}. \end {cases}\] For two directions the comparison with Proposition [fdip-000T] is \[\begin {array}{c|ccc} (N_1,N_2)&(4,4)&(4,3)&(3,3)\\\hline \dim \ker D&16&8&4\\ \dim \ker D^-&0&0&4 \end {array}\] These are dimensions in the specified reducible module, not physical species or chirality counts.
The twist changes exact zeros without removing the centered symbol's extra low-energy branches. For large \(N_j\), an allowed momentum lies within \(\pi /N_j\) of each corner coordinate \(0\) or \(\pi \), with distance to \(0\) understood modulo \(2\pi \). Thus \(|\sin p_j|\le \pi /N_j\) near every such corner. After restoring a fixed-length mesh spacing \(a_j=L_j/N_j\), the corresponding \(|\sin p_j|/a_j\) is bounded by \(\pi /L_j\); branches near the \(\pi \) corners remain at finite energy alongside the branch near zero. This does not say that the rescaled antiperiodic eigenvalues tend to zero at fixed circle lengths. The additional branches are the centered-difference doubling problem, whose sine symbol is discussed in [wingate2025lattice, Section 9.1, Equations (9.6)–(9.7), p. 20]. A boundary twist alone does not supply its Wilson-operator remedy.
Remark 8. Fixed connections and dynamical fields [fdip-006K]AGENTDRAFTED
- November 1, 2026
Remark 8. Fixed connections and dynamical fields [fdip-006K]AGENTDRAFTED
- November 1, 2026
A connection in this chapter is fixed background data. Gauge transformations compare its descriptions; taking their quotient does not prescribe a probability law on connections. The holonomy action integrates matter while retaining the connection as a parameter. To make the connection dynamical one must also specify its integration measure and action, and then integrate or sum over connection configurations.
The earlier induced action on weighted graphs likewise keeps the weights fixed. One could subsequently promote them to integration variables, but that is an additional model choice. Neither the fixed-weight action nor the present connection construction makes weights dynamical or supplies gravitational dynamics. A prescribed circle limit and a twisted spatial Dirac operator also do not supply a time direction, reflection positivity or Lorentzian reconstruction. These distinctions remain part of the open physical interfaces.