Redefinition of Gauge Invariants

• Redefinition of Gauge Invariants is the systematic alteration or extension of observables to capture the complete relational and boundary-dependent physical information in gauge theories.
• Edge modes and boundary charges are introduced to bridge subsystem divisions, ensuring that local observables recover global physical content.
• The methodology clarifies the interplay between field redefinitions and the classification of observables, impacting theoretical frameworks in quantum field and gauge theories.

A gauge invariant in theoretical physics is a quantity that remains invariant under the action of a gauge symmetry—a redundancy of description that does not alter the physical content of a theory. The process of redefining gauge invariants involves systematically altering, extending, or reconstructing the set of gauge-invariant observables to address subtle physical and mathematical issues, particularly in the presence of boundaries, subsystems, or when considering more refined decompositions of degrees of freedom. Recent research demonstrates that such redefinitions are necessary to fully account for the relational character of physical information, the impact of boundaries, and the classification of physical observables in gauge theories (Rovelli, 2020).

1. Relational Nature and Subsystem Decomposition

In standard gauge theories—such as Maxwell’s electromagnetism or non-Abelian Yang–Mills—the canonical procedure for constructing gauge invariants involves forming quantities unaffected by local gauge transformations, e.g., field strengths $F = dA$ in the continuum and lattice Wilson loops $W(\ell)=\mathrm{Tr}(U_{c_1c_2}\cdots U_{c_nc_1})$ for lattice discretizations. These invariant objects fully encode the physical content so long as the entire system is considered globally and undivided (Rovelli, 2020).

A pivotal complication arises when the system is partitioned into spatial subregions. The gauge-invariant algebra of each subregion (e.g., Wilson loops restricted to region I or II) cannot reconstruct quantities involving the degrees of freedom that are nonlocal with respect to the partition—the so-called "relational" data linking the regions. This creates a deficit: the combined local algebras fail to span the full algebra of gauge invariants of the global system, precisely due to the omission of boundary or cross-region relations encoded by edge/link variables ($U_{12}$) straddling the boundary.

This demonstrates that gauge invariance captures more than mathematical redundancy—it formalizes the relational structure of physical degrees of freedom. The variables that are gauge-variant locally become essential handles for coupling subsystems and for complete physical descriptions in the presence of boundaries (Rovelli, 2020).

2. Edge Modes, Boundary Charges, and Extended Algebras

To recover the complete set of physical information in the presence of subdivisions, the gauge-invariant content of each region must be systematically extended. This is achieved by adjoining edge or boundary variables—new degrees of freedom that live on the interface between regions:

• On the lattice, cross-link variables $U_{cb}$ ($c$ in region I, $b$ on the boundary) are promoted to independent variables that transform under residual boundary gauge transformations: $U_{cb} \to g_c U_{cb} g_b^{-1}$.
• In the continuum, edge mode fields $\phi(\sigma)$ are introduced on the spatial boundary $\partial\Sigma$, transforming as $\phi(\sigma) \to g(\sigma)\phi(\sigma)$.

This extension permits the construction of nonlocal or "dressed" Wilson lines and field strengths that traverse boundaries and remain gauge-invariant globally. Alongside these edge variables, one finds nontrivial boundary charges. For example, Maxwell theory with a boundary admits conserved charges localized at the boundary,

$$Q_{\partial\Sigma}[\epsilon] = \oint_{\partial\Sigma} \epsilon E^i dS_i,$$

which act canonically on edge modes and complete the gauge algebra closure. Non-Abelian analogs appear for Yang–Mills charges (Rovelli, 2020).

Edge variables thus serve as relational connectors, encoding the relative orientation of connections between regions and restoring the physical completeness of local descriptions.

3. Classification and Field Redefinition Invariants

The structure and classification of gauge invariants can be complicated by additional geometric data, such as a non-flat connection, or by ambiguities arising from field redefinitions. For instance, in the context of curved Yang–Mills–Higgs theories on Lie algebra bundles, the gauge-invariant field strength is

$$G = d^{X^*\nabla}A + \tfrac12 [A \wedge A]_{X^*K} + X^!\zeta,$$

where $\nabla$ is a possibly curved connection, and $\zeta$ is a 2-form twist. Physical gauge invariants (notably the field strength) are preserved under simultaneous field redefinitions (the so-called Strobl–Witten or Seiberg–Witten maps): $$\widetilde{A} = A + X^!\lambda, \quad \widetilde{\zeta} = \zeta - d^\nabla\lambda + \tfrac12 [\lambda \wedge \lambda]_K.$$ A tensor $d^\nabla \zeta$ measures the failure of the Bianchi identity and is strictly invariant under these redefinitions, thus acquiring the status of a field-redefinition invariant. Classification of the gauge theory’s physical content then proceeds via obstruction classes such as $\operatorname{Obs}(\Xi)=[d^\nabla\zeta]$ in a suitable cohomology (Fischer, 2020).

4. Composite and Dressed Gauge Invariant Fields

Beyond elementary invariants, gauge theories support systematic constructions of new gauge-invariant composite fields from connections via the introduction of "dressing fields":

• For a connection $A$ and a dressing field $u$ (with known gauge transformation properties), one constructs the composite

$\widehat{A} = u^{-1}Au + u^{-1} du.$

• This process is fundamental to symmetry breaking phenomena (e.g., generating the $W, Z,$ and $A$ bosons in the electroweak theory via $SU(2)$-invariant composites), the gauge-theoretic formulation of gravity through Cartan connections, and the emergence of mass terms in generalized connection backgrounds (Atiyah Lie algebroids) without a standard Higgs mechanism (Fournel et al., 2012).

These constructions unify symmetry-breaking, geometrization, and mass generation mechanisms within a single formal structure and clarify the meaning of physical gauge invariants across diverse theoretical frameworks.

5. Boundary-Relational Approach in Quantum Field Theories

The role of relational invariants and boundary data is emerging as a key aspect in quantum field-theoretic and condensed matter settings. For example, in polarimetric interferometry, closure traces constructed from triangular correlations constitute a complete, independent set of gauge invariants under local, non-Abelian $\mathrm{GL}(2,\mathbb{C})$ gauge transformations. The closure invariants exhaust the physical information immune to individual-element corruption, and their algebraic structure mirrors that of non-Abelian Wilson loops, with invariance under boundary (instrumental) gauge transformations (Samuel et al., 2021).

This highlights a general path: robust physical observables in extended or subdivided systems must be redefined so as to include all relational and edge-type gauge-invariant data for operational completeness.

6. Consequences for Physical Observables and Theoretical Frameworks

The redefinition of gauge invariants has several profound implications:

• Subsystem Physics: Any analysis of a subsystem in a gauge theory must account for missing relational degrees of freedom—edge modes and charges—without which the local observable algebra is incomplete. This is central for entanglement entropy studies, boundary effects, and the "splitting" of Hilbert spaces in gauge theories (Rovelli, 2020).
• Restoration of Locality/Globality: Edge mode extension ensures that locality (through restriction to subsystems) and gauge invariance (as global redundancy) are treated compatibly by augmenting local descriptions with supplementary degrees of freedom.
• Physical Coupling: Gauge-variant objects, while non-observable in isolation, encode precisely the relational data required for coupling matter to gauge fields and for describing interactions between subsystems.
• Covariant Classification: Obstructions and invariants under field redefinitions, such as $d^\nabla\zeta$, acquire operational significance in distinguishing physically inequivalent gauge-theory backgrounds (Fischer, 2020).

7. Conceptual Synthesis and Outlook

The modern understanding is that gauge invariance structures, when properly redefined, formalize not just redundancies but the fundamental relational nature of all local observable content in gauge field theories. Boundary variables and relational invariants complete the local description, enabling full recovery of global physical information even in spatially or causally divided contexts (Rovelli, 2020).

This perspective informs the increasingly prevalent boundary- and edge-mode-centric approaches in high-energy, quantum gravity, and condensed matter physics, and underpins developments in the cohomological classification of gauge-invariant data under field redefinition (Fischer, 2020), the generalization of gauge symmetry in divided systems, and the operational definition of subsystem observables. Theoretical frameworks now routinely account for such refined invariants, redefining the domain and content of local physics in gauge theories.