Definition

Let PMP\to M be a with AA, let ρ:GGL(V)\rho:G\to\operatorname{GL}(V) be a finite-dimensional , and let γ\gamma be a piecewise smooth closed loop based at xx. Choosing pPxp\in P_x, around γ\gamma gives a holonomy element hA,γ,pGh_{A,\gamma,p}\in G. The Wilson loop in the representation ρ\rho is

Wρ,γ(A):=tr ⁣(ρ(hA,γ,p)).W_{\rho,\gamma}(A) := \operatorname{tr}\!\bigl(\rho(h_{A,\gamma,p})\bigr).

Changing pp conjugates the holonomy element, so invariance of the under conjugation makes Wρ,γ(A)W_{\rho,\gamma}(A) independent of this choice.

Gauge invariance

Under a , based holonomy is conjugated by the value of the transformation at the basepoint. Therefore

Wρ,γ(uA)=Wρ,γ(A).W_{\rho,\gamma}(u\cdot A)=W_{\rho,\gamma}(A).

Thus the Wilson loop is a function on gauge-equivalence classes of connections, even though the holonomy element itself depends on a point in the fiber. This is the basic mechanism by which a geometric transport operator produces a gauge-invariant observable.

Geometric meaning

The Wilson loop packages the of the along γ\gamma through the character of ρ\rho. For a flat connection, it depends only on the based homotopy class of γ\gamma. For a curved connection, smoothly homotopic loops can have different Wilson values; infinitesimal loops detect the to leading order.

If γ1\gamma^{-1} is the oppositely oriented loop, then

Wρ,γ1(A)=tr ⁣(ρ(hA,γ,p1)),W_{\rho,\gamma^{-1}}(A) = \operatorname{tr}\!\bigl(\rho(h_{A,\gamma,p}^{-1})\bigr),

which need not equal Wρ,γ(A)W_{\rho,\gamma}(A) for an arbitrary representation.

Conventions

Some authors normalize the trace by dimV\dim V, insert a sign or coupling constant in the exponential convention for holonomy, or reserve “Wilson loop” for its expectation value in a quantum . The representation and normalization must therefore be specified. Before taking the trace, the parallel-transport operator is often called a Wilson line; along an open path it transforms at both endpoints and is not by itself gauge invariant.

References
  1. Kenneth G. Wilson, “Confinement of quarks,” Physical Review D 10 (1974), 2445–2459. DOI record. Relevant: the original lattice-gauge Wilson observable.
  2. John C. Baez and Javier P. Muniain, Gauge Fields, Knots and Gravity, World Scientific, 1994. DOI record. Relevant: holonomy and gauge-invariant loop observables.