Character expansion on a finite surface [fdip-006U]
✍️sourceAGENTDRAFTED
- November 1, 2026
Character expansion on a finite surface [fdip-006U]
✍️sourceAGENTDRAFTED
- November 1, 2026
The two-element torus law counts plaquette signs. For a noncommutative finite gauge group, irreducible characters replace those signs. Averaging each edge pairs two representation matrices; the remaining index sums count vertices. On a closed oriented surface, Euler characteristic then determines the power of each representation's dimension.
The face weight and the measure are explicit throughout. The quaternion group and the binary tetrahedral group give finite examples with the same two-dimensional spinor Wilson action. Their exact surface partition functions and one-face loop expectations depend on their different character tables. These are finite pure-gauge models; no continuum limit or matter field is assumed.
Definition 1. Finite surface gauge data and face weights [fdip-006V]AGENTDRAFTED
- November 1, 2026
Definition 1. Finite surface gauge data and face weights [fdip-006V]AGENTDRAFTED
- November 1, 2026
Let \(\Sigma \) be a connected closed oriented surface of genus \(g\), with a finite polygonal cell decomposition. Write \(V,E,\mathcal P\) for its vertices, edges and disk faces, and \(P=|\mathcal P|>0\). Each face has a nonempty cyclic boundary word. Every edge occurs exactly twice among all face boundaries, with opposite orientations; the two occurrences may belong to the same face. The link of each vertex is a circle. These surface conditions are stronger than the square-cell data: singular quotients are excluded. Loops and repeated boundary edges are allowed.
Choose one orientation per edge and a finite group \(G\). A connection is \(U\in G^E\), with the inverse assigned to a reversed traversal. Use the ordered-transport convention: if a face boundary successively traverses \(e_1^{\epsilon _1},\ldots , e_k^{\epsilon _k}\), its holonomy is \[U_p=U_{e_k}^{\epsilon _k}\cdots U_{e_1}^{\epsilon _1}.\] Orient all faces by the orientation of \(\Sigma \). Changing a starting vertex conjugates \(U_p\). A central function, or class function, is a function \(f:G\to \mathbb C\) satisfying \(f(khk^{-1})=f(h)\) for all \(h,k\in G\). It therefore defines the normalized partition sum \[Z_\Sigma (f)=\frac 1{|G|^{|E|}}\sum _{U\in G^E} \prod _{p\in \mathcal P}f(U_p).\] This uses uniform probability measure on each edge. Unnormalized counting gives \(|G|^{|E|}Z_\Sigma (f)\). A complex face weight is allowed for the algebraic identity; if \(f>0\), division by the partition sum defines a probability law.
For a fixed unitary representation \(\sigma \) of complex dimension \(d_\sigma >0\) and \(\beta \ge 0\), the Wilson action corresponds to \[f_\beta (h)=\exp \left [-\beta \left ( 1-\frac {\operatorname {Re}\chi _\sigma (h)}{d_\sigma }\right )\right ].\] The constant \(e^{-\beta }\) per face is part of this weight. For an oriented closed edge path \(C\), its normalized real Wilson loop is \[W_\sigma (C)=\frac {\operatorname {Re}\chi _\sigma (U_C)}{d_\sigma }.\] It is gauge invariant, independent of its starting vertex and unchanged by reversal. For a general central \(f\), reversal of the chosen surface orientation need not preserve the weight; the Wilson weight is inversion invariant.
Choose one unitary representative of each complex irreducible
representation, indexed by \(\widehat G\), with dimension \(d_\rho \).
The character basis gives the finite expansion
\[\begin {aligned}
f(h)&=\sum _{\rho \in \widehat G}c_\rho \chi _\rho (h),\\
c_\rho &=\frac 1{|G|}\sum _{h\in G}
f(h)\overline {\chi _\rho (h)}.
\end {aligned}\]
These coefficients are not divided by \(d_\rho \) in the expansion.
TauCeti's
TauCeti.ClassFunction.apply_eq_sum_characterPairing_mul_character
formalizes this finite class-function expansion. Its bilinear pairing
is \(|G|^{-1}\sum _h\chi _\rho (h)f(h^{-1})\); substitution by inversion
and unitarity give the displayed coefficient. This correspondence
concerns the expansion, not the surface partition theorem below.
Theorem 2. The finite surface character formula [fdip-006W]AGENTDRAFTED
- November 1, 2026
Theorem 2. The finite surface character formula [fdip-006W]AGENTDRAFTED
- November 1, 2026
For the surface data and coefficients, \[Z_\Sigma (f)=\sum _{\rho \in \widehat G} d_\rho ^{\,2-2g}\left (\frac {c_\rho }{d_\rho }\right )^P.\] The formula uses normalized counting on every edge. In particular, \(f\equiv 1\) gives \(Z_\Sigma (1)=1\); the unnormalized sum is \(|G|^{|E|}\).
Proof.
- November 1, 2026
Proof.
- November 1, 2026
First prove the required matrix orthogonality. For irreducible unitary representations \(\rho ,\tau \) and a linear map \(A:V_\tau \to V_\rho \), let \[\mathcal A(A)=\frac 1{|G|}\sum _{h\in G} \rho (h)A\tau (h)^{-1}.\] Changing the summation variable shows this is an intertwiner. Schur's lemma makes it zero when the representatives are inequivalent. For \(\rho =\tau \), it is scalar, and preservation of trace gives \(\mathcal A(A)=(\operatorname {tr}A/d_\rho )I\). Apply this to matrix units to obtain \[\frac 1{|G|}\sum _{h\in G} \rho (h)_{ij}\tau (h^{-1})_{kl} =\begin {cases} d_\rho ^{-1}\delta _{il}\delta _{jk},&\rho =\tau ,\\ 0,&\rho \ne \tau . \end {cases}\] This is a finite averaging argument; all sums below are finite.
Expand \(f\) on every face and each character as a matrix trace along the ordered boundary word. Label every face by an irreducible representation and every corner by the corresponding matrix index. An edge occurs in two face traces, once as \(\rho (U_e)\) and once as \(\tau (U_e^{-1})\). Averaging that edge gives the displayed orthogonality identity. If the adjacent faces differ, their labels must coincide for a nonzero contribution. The dual adjacency graph of a connected closed surface is connected, so one common label \(\rho \) remains on every face. A self-adjacent edge simply contracts two occurrences of this same label. Each edge contributes \(d_\rho ^{-1}\).
The two Kronecker deltas identify corner indices at the same endpoint of that edge. Around a vertex, the successive sectors form its circular link. Consequently all corners at that vertex have one common index, while no contraction equates indices at different vertices. Exactly one free index remains per vertex, contributing \(d_\rho ^{|V|}\). This also covers loops and repeated face edges: the circular link, rather than distinct face or edge names, determines the index cycle. The contribution of the common label is therefore \[c_\rho ^P d_\rho ^{|V|-|E|} =d_\rho ^{2-2g}\left (\frac {c_\rho }{d_\rho }\right )^P,\] using \(|V|-|E|+P=2-2g\). Sum over \(\rho \). For \(f=1\), character orthogonality makes the trivial coefficient one and all others zero.
The exceptional CW description of a sphere with one vertex, no edges and one face attached by a constant map lies outside the nonempty polygon convention. Its partition sum is directly \(f(1)\). The same expression still holds, since \(g=0\), \(P=1\) and \(f(1)=\sum _\rho d_\rho c_\rho \).
For \(G=\{1,-1\}\) and \(f(h)=e^{-\beta (1-h)}\), the two coefficients are \(c_+=e^{-\beta }\cosh \beta \) and \(c_-=e^{-\beta }\sinh \beta \). On the torus the normalized sum is \(c_+^P+c_-^P\). Multiplication by \(2^{|E|}\) recovers the exact square-torus partition function, since \(|E|=2P\). For a disk of \(A\) faces, insertion of its boundary Wilson sign multiplies the face weight by the sign on each interior face. This swaps \(c_+\) and \(c_-\) there. The same edge contraction then gives numerator \[c_-^A c_+^{P-A}+c_+^A c_-^{P-A}.\] Division by the partition sum recovers \((t^A+t^{P-A})/(1+t^P)\), with \(t=\tanh \beta \), under either counting convention.
For character convolution with normalized group integration, see equation (9) in [migdal1975recursion, p. 414]. Witten's Section 2.3 uses normalized Haar measure and character contractions in equations (2.44), (2.48), (2.50)–(2.51) [witten1991quantum, pp. 163–166]. His continuum construction uses heat-kernel face weights with area-dependent Casimir factors. The proof here is for a finite group and an arbitrary fixed central face weight. It does not assert subdivision invariance for the Wilson weight or transfer continuum conclusions to these finite models.
Example 3. Quaternion spinor gauge fields [fdip-006X]AGENTDRAFTED
- November 1, 2026
Example 3. Quaternion spinor gauge fields [fdip-006X]AGENTDRAFTED
- November 1, 2026
Take \(G=Q_8=\{\pm 1,\pm i,\pm j,\pm k\}\) in the unit quaternions and its defining complex spinor representation \(\sigma :Q_8\to SU(2)\). Its character is \(\chi _\sigma (h)=2\operatorname {Re}h\). The 4 linear characters factor through \(Q_8/\{\pm 1\}\cong C_2\times C_2\). The spinor has character norm \((2^2+(-2)^2)/8=1\), so is irreducible. These 5 inequivalent irreducibles are complete because \(4\cdot 1^2+2^2=8\). This is the quaternion representation already used in the group-algebra examples.
For the spinor Wilson weight, put \(q=e^{-\beta }\). Then \[f_\beta (1)=1,\qquad f_\beta (-1)=q^2,\qquad f_\beta (\pm i)=f_\beta (\pm j)=f_\beta (\pm k)=q.\] Its irreducible character coefficients are \[\begin {aligned} a&=\frac {1+q^2+6q}{8} &&\text {(trivial)},\\ b&=\frac {(1-q)^2}{8} &&\text {(each other linear character)},\\ c&=\frac {1-q^2}{4} &&\text {(spinor)}. \end {aligned}\] For a nontrivial linear character, the sum over the 6 noncentral units is \(-2\); for the spinor it is zero, while the central values are \(2,-2\). Substitution into the character inner product proves all three formulas. The surface theorem gives \[Z_\Sigma (f_\beta )=a^P+3b^P+ 2^{2-2g}\left (\frac c2\right )^P.\] At \(\beta =0\), only \(a=1\) remains. At the identity, \(a+3b+2c=1\), checking the coefficient normalization.
A one-face torus has one vertex and two loop edges \(x,y\). The square below identifies equally labelled sides in their arrow directions and all 4 corners. A positive boundary traversal is \(x,y,x^{-1},y^{-1}\). Writing \(A=U_x\) and \(B=U_y\), its holonomy is \(H=B^{-1}A^{-1}BA\).
The normalized Wilson loop is \(W_\sigma =\operatorname {Re}H\). Of the \(64\) ordered pairs \((A,B)\), exactly \(40\) commute: the two central elements have centralizer size 8 and the 6 others size 4. Their commutator is \(1\); the other \(24\) commutators are \(-1\). Hence the direct finite sum gives \[Z_{\mathbb T^2}(f_\beta )=\frac {5+3q^2}{8},\qquad \langle W_\sigma \rangle =\frac {5-3q^2}{5+3q^2}.\] The partition formula also follows from \(a+3b+c/2\). This single plaquette is the whole torus, not a disk bounded by a simple contractible loop of the earlier square-torus theorem. Its boundary word can have a nontrivial holonomy because the connection is not constrained to be flat.
Example 4. Binary tetrahedral spinor gauge fields [fdip-006Y]AGENTDRAFTED
- November 1, 2026
Example 4. Binary tetrahedral spinor gauge fields [fdip-006Y]AGENTDRAFTED
- November 1, 2026
Let \(G=2T\subset SU(2)\) be the 24 Hurwitz units. Use its defining complex spinor representation \(\sigma \), with \(\chi _\sigma (h)=2\operatorname {Re}h\), for both the Wilson action and the normalized Wilson loops of Definition 1. The complete character table has irreducibles \(1,\lambda ,\lambda ^2,\sigma ,\sigma \lambda , \sigma \lambda ^2,\tau \), with degrees \(1,1,1,2,2,2,3\). Their squared degrees sum to \(24\). The nonreal characters are kept separately as complex irreducibles here; no real isotypic multiplicity is substituted into the surface formula.
Put \(r=e^{-\beta /2}\) and \(\omega =(-1+i+j+k)/2\). In the class order of that table, \[\begin {array}{c|rrrrrrr} h&1&-1&i&\omega &-\omega &\omega ^2&-\omega ^2\\\hline |[h]|&1&1&6&4&4&4&4\\ f_\beta (h)&1&r^4&r^2&r^3&r&r^3&r \end {array}\] The resulting character coefficients are \[\begin {aligned} a&=\frac {1+r^4+6r^2+8r+8r^3}{24} &&(1),\\ b&=\frac {(1-r)^4}{24} &&(\lambda ,\lambda ^2),\\ c&=\frac {(1-r^2)(1+r^2+4r)}{12} &&(\sigma ),\\ d&=\frac {(1-r^2)(1-r)^2}{12} &&(\sigma \lambda ,\sigma \lambda ^2),\\ e&=\frac {(1-r^2)^2}{8} &&(\tau ). \end {aligned}\] To verify them, let \(s_j=\zeta ^j+\zeta ^{2j}\), where \(\zeta =e^{2\pi i/3}\). Thus \(s_0=2\) and \(s_1=s_2=-1\). The class-weighted inner products give \[\begin {aligned} c_{\lambda ^j}&=\frac {1+r^4+6r^2+4s_j(r+r^3)}{24},\\ c_{\sigma \lambda ^j}&=\frac {1-r^4+2s_j(r-r^3)}{12},\\ c_\tau &=\frac {3+3r^4-6r^2}{24}. \end {aligned}\] Factoring these expressions gives the displayed coefficients. They are nonnegative for \(\beta \ge 0\), and \(a+2b+2c+4d+3e=1\). At \(\beta =0\), only \(a=1\) remains; as \(\beta \to \infty \), each coefficient tends to its degree divided by \(24\), the character expansion of the identity indicator.
For the closed oriented surface, \[\begin {aligned} Z_\Sigma (f_\beta )={}&a^P+2b^P\\ &+2^{2-2g}\left [\left (\frac c2\right )^P +2\left (\frac d2\right )^P\right ]\\ &+3^{2-2g}\left (\frac e3\right )^P. \end {aligned}\] Unnormalized counting multiplies this by \(24^{|E|}\). These powers use complex irreducible dimensions; the quaternionic nature of the spinor does not change its complex degree two.
On the one-face torus, set \(g=1\), \(P=1\). Substitution gives \[Z_{\mathbb T^2}(f_\beta ) =a+2b+\frac c2+d+\frac e3 =\frac {7+16r^2+r^4}{24}.\] For its face loop, \(W_\sigma =\operatorname {Re}H\) and \(f_\beta (H)=e^{-\beta (1-W_\sigma )}\). Differentiating the finite sum therefore gives \[\langle W_\sigma \rangle =1+\frac {d}{d\beta }\log Z_{\mathbb T^2}(f_\beta ) =\frac {7-r^4}{7+16r^2+r^4}.\] This differs from the quaternion-group answer, despite using the same spinor trace convention. The calculation concerns the specified finite gauge group and plaquette; it does not identify the finite model with an \(SU(2)\) continuum theory.