Definition
Wilson loop
The trace of connection holonomy around a closed loop in a chosen representation.
Definition
Let be a principal -bundle with connection , let be a finite-dimensional representation, and let be a piecewise smooth closed loop based at . Choosing , parallel transport around gives a holonomy element . The Wilson loop in the representation is
Changing conjugates the holonomy element, so invariance of the trace under conjugation makes independent of this choice.
Gauge invariance
Under a gauge transformation, based holonomy is conjugated by the value of the transformation at the basepoint. Therefore
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 conjugacy class of the holonomy along through the character of . For a flat connection, it depends only on the based homotopy class of . For a curved connection, smoothly homotopic loops can have different Wilson values; infinitesimal loops detect the curvature to leading order.
If is the oppositely oriented loop, then
which need not equal for an arbitrary representation.
Conventions
Some authors normalize the trace by , insert a sign or coupling constant in the exponential convention for holonomy, or reserve “Wilson loop” for its expectation value in a quantum gauge theory. 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
- Kenneth G. Wilson, “Confinement of quarks,” Physical Review D 10 (1974), 2445–2459. DOI record. Relevant: the original lattice-gauge Wilson observable.
- John C. Baez and Javier P. Muniain, Gauge Fields, Knots and Gravity, World Scientific, 1994. DOI record. Relevant: holonomy and gauge-invariant loop observables.