Homotopy Lattice Gauge Fields

• HLGFs are homotopy-enriched discretizations of gauge fields that preserve essential topological data such as principal bundle structure and higher holonomy.
• They integrate methods from extended lattice gauge theory, higher gauge theory, and strict higher-groupoid formulations to recover information typically lost in conventional lattice truncations.
• By incorporating local homotopy variables and higher flatness constraints, HLGFs enable precise reconstruction of topological charges and bridge discrete models with continuum gauge theory.

Homotopy Lattice Gauge Fields (HLGFs) are homotopy-enriched discretizations of gauge fields in which ordinary lattice parallel transport is supplemented by data attached to homotopies of paths, higher cells, or relative homotopy classes, so that discretization retains information normally lost in standard lattice gauge theory, notably principal-bundle topology, higher holonomy, and topological-sector structure at finite cutoff. In the literature, the term encompasses several closely related constructions: extended lattice gauge fields built from path groupoids and cotriangulations, higher lattice gauge fields valued in crossed modules or strict 2-groups, strict higher-groupoid formulations based on cubical or globular homotopy groupoids, and lattice field spaces explicitly augmented by local homotopy variables (Meneses et al., 2017, Bullivant et al., 2016, Orendain et al., 2023, Dall'Olio et al., 2021, Orendain et al., 19 Mar 2026).

1. Historical emergence and conceptual scope

A central motivation for HLGFs is the observation that the usual lattice truncation keeps parallel transport along discrete paths but generally loses the information needed to reconstruct the topology of the underlying principal bundle. One early resolution is the extended lattice gauge (ELG) field of Meneses and Zapata, where a lattice gauge field is enlarged by relative homotopy data of path families subordinate to a cotriangulation. In that framework, a standard lattice gauge field is only part of the data, while the additional local homotopy classes are sufficient to recover the bundle class and its Čech cocycle data (Meneses et al., 2017).

A second lineage comes from higher gauge theory. Here the basic discretization does not stop at edge holonomies: faces carry 2-holonomy, and higher flatness constraints are imposed on 3-cells. Finite strict 2-groups, encoded as crossed modules, supply the algebraic target. This viewpoint underlies Yetter-type topological quantum field theories, higher Kitaev models, and Yang–Mills-like lattice 2-group models in which links and faces both carry dynamical degrees of freedom (Bullivant et al., 2016, Bullivant et al., 2017, Bochniak et al., 2021, Parzygnat, 2018).

A third development formulates HLGFs directly as strict morphisms from higher homotopy groupoids of a lattice into higher group objects. In “Higher homotopy and lattice gauge fields,” local lattice higher gauge fields are strict internal morphisms of groupoids in $\omega$-groupoids, and under the correct assumptions the resulting formalism subsumes both extended lattice gauge fields and other higher lattice gauge field constructions (Orendain et al., 2023). The 2026 paper “Homotopy lattice gauge fields 1: The fields and their properties” then adopts the name HLGF explicitly for higher parallel transport maps that retain how transport changes under homotopies of curves, with emphasis on bundle reconstruction and topological charge in dimensions two and three (Orendain et al., 19 Mar 2026).

A related but distinct usage appears in the program of adding explicit homotopy variables to lattice fields. There the space of lattice fields becomes a covering space whose connected components reproduce the connected components of the continuum field space, and local integer-valued topological charges become exact lattice variables rather than continuum-limit artifacts (Dall'Olio et al., 2021).

2. Foundational mathematical structures

Two mathematical ideas recur throughout the subject. The first is that gauge fields may be described by holonomy data, not primarily by local connection 1-forms. The second is that the relevant transport object is not merely a path groupoid, but a higher path or homotopy groupoid. In the holonomy approach, gauge fields are encoded by homomorphisms from a loop or path groupoid modulo thin homotopy or intimacy, subject to smoothness conditions; this clarifies why homotopy relations finer than simple retracing are the correct invariances for holonomy-based gauge theory (Meneses, 2019).

In the ELG framework, smooth parallel transport relative to a cotriangulation $\mathscr C$ is a groupoid homomorphism

$PT_{\mathscr C}: P_{\mathscr C}\to G$

defined on a cellular path groupoid, with a smoothness condition on finite-dimensional cellular path families. Two such maps are equivalent up to local gauge transformations constant on fibers above base points. Relative homotopy classes of these transports, fixed on a cellular network $P_\Gamma$, define ELG fields (Meneses et al., 2017).

In the strict higher-groupoid formulation, the source is the homotopy $\omega$-groupoid of a filtered space. If $X$ is a simplicial set or cell complex, then $\Pi_\omega(X)$ is realized by the homotopy cubical $\omega$-groupoid of the skeletal filtration of $|X|$. A local lattice higher gauge field on a contractible patch is then a strict internal morphism

$A: P^1\rho(|X|)\longrightarrow BK,$

or equivalently, in globular form,

$\mathscr C$0

with $\mathscr C$1 for a filtered topological group $\mathscr C$2 (Orendain et al., 2023).

The 2026 HLGF paper sharpens this viewpoint by defining a higher parallel transport map as a section

$\mathscr C$3

where $\mathscr C$4 is the globular $\mathscr C$5-groupoid of globes of paths and $\mathscr C$6 is a higher Atiyah groupoid. In a trivialization over vertices, this is encoded by

$\mathscr C$7

This formulation makes explicit that HLGFs transport not only points in fibers but relative homotopies of initial conditions to relative homotopies of final conditions (Orendain et al., 19 Mar 2026).

For higher gauge theory in the 2-group sense, the target is a crossed module $\mathscr C$8 satisfying the Peiffer identities

$\mathscr C$9

These relations are the algebraic expression of compatibility between 1- and 2-holonomy (Bullivant et al., 2016, Bullivant et al., 2017, Bochniak et al., 2021, Parzygnat, 2018).

3. Extended lattice gauge fields and reconstruction of bundles

The ELG construction gives one of the clearest answers to what extra data must be added to ordinary lattice gauge theory to recover principal bundles. Starting from a cotriangulated manifold $PT_{\mathscr C}: P_{\mathscr C}\to G$0, one defines gluing maps on flags of cells by

$PT_{\mathscr C}: P_{\mathscr C}\to G$1

and clutching maps on overlaps of top-dimensional cells by

$PT_{\mathscr C}: P_{\mathscr C}\to G$2

The usual lattice gauge variables are obtained by restricting these maps to the discrete $PT_{\mathscr C}: P_{\mathscr C}\to G$3-cells, while the full ELG field remembers relative homotopy classes of extensions from cell boundaries to interiors (Meneses et al., 2017).

This extra information is organized by the homotopy groups $PT_{\mathscr C}: P_{\mathscr C}\to G$4. For a $PT_{\mathscr C}: P_{\mathscr C}\to G$5-cell, extension classes form torsors under $PT_{\mathscr C}: P_{\mathscr C}\to G$6, subject to boundary constraints and multiplicative compatibility relations. The clutching maps satisfy the standard cocycle condition on triple overlaps. Taken together, these local data determine a Čech $PT_{\mathscr C}: P_{\mathscr C}\to G$7-cocycle class, hence a principal $PT_{\mathscr C}: P_{\mathscr C}\to G$8-bundle class in $PT_{\mathscr C}: P_{\mathscr C}\to G$9 (Meneses et al., 2017).

The reconstruction theorem states that equivalence classes of smooth parallel transport maps are in bijection with principal $P_\Gamma$0-bundles equipped with chosen fiber points over the base points of the cotriangulation and a gauge orbit of smooth connections modulo restricted gauge transformations. The ELG field therefore contains enough information to reconstruct both bundle topology and connection data up to the stated equivalence (Meneses et al., 2017).

This framework also describes the space of fields. For fixed $P_\Gamma$1, the space $P_\Gamma$2 of ELG fields fibers over the ordinary lattice gauge field space $P_\Gamma$3, and the forgetful map

$P_\Gamma$4

is a covering map. Connected components of $P_\Gamma$5 parametrize equivalence classes of principal $P_\Gamma$6-bundles. The associated deck transformations are built from products of homotopy groups $P_\Gamma$7 with multiplicative and boundary relations (Meneses et al., 2017).

A common misconception is that such bundle reconstruction is tied to a fixed triangulation. The ELG theory addresses this directly. Using dual Pachner moves and a notion of local relatives, it proves a criterion for when ELG fields over different cotriangulations define equivalent bundles. Bundle classes are thus invariant under refinement and Pachner moves up to local homotopy, even though the auxiliary cellular data themselves depend on the chosen cotriangulation (Meneses et al., 2017).

4. Higher gauge theory and crossed-module realizations

In higher lattice gauge theory, HLGFs are naturally realized as discrete 2-connections. On an oriented lattice one assigns a group element $P_\Gamma$8 to each oriented edge and an element $P_\Gamma$9 or $\omega$0 to each oriented face. The primary face constraint is fake flatness,

$\omega$1

which ties 2-holonomy to the boundary 1-holonomy and is the discrete analogue of vanishing fake curvature (Bullivant et al., 2016, Bullivant et al., 2017, Bochniak et al., 2021, Parzygnat, 2018).

On 3-cells one defines transported products of face variables, yielding a 2-curvature or blob holonomy. In the Hamiltonian higher Kitaev-type models, triviality of this 2-holonomy is imposed by commuting projectors. The resulting ground-state sector is topological: for a closed manifold $\omega$2,

$\omega$3

Thus the ground-state degeneracy equals the number of homotopy classes of maps from $\omega$4 to the classifying space of the underlying crossed module (Bullivant et al., 2017).

The same structure appears in the exactly solvable 3+1-dimensional model “Topological phases from higher gauge symmetry in 3+1D.” There the degrees of freedom are a $\omega$5-valued 1-form on edges and an $\omega$6-valued 2-form on faces, subject to fake-flatness and tetrahedral 2-flatness. The Hamiltonian is a sum of mutually commuting vertex, edge, and blob projectors, and the ground-state projector on $\omega$7 equals the Yetter homotopy 2-type TQFT partition function on $\omega$8 (Bullivant et al., 2016).

A more dynamical version appears in the finite 2-group model of Bullivant, Martins, and Pfeiffer. On a 4D hypercubic lattice the partition function is

$\omega$9

with

$X$0

The limit $X$1 yields Yetter’s TQFT, while finite $X$2 produce a Yang–Mills-like regime in which curvature excitations are allowed (Bochniak et al., 2021).

The surface-holonomy side of the theory was given a detailed lattice derivation in “Two-dimensional algebra in lattice gauge theory,” which uses string diagrams and crossed-module 2-groups to define nonabelian surface transport. A convergence theorem proves that the lattice surface-ordered product converges to continuum 2-holonomy and that the full two-dimensional ordering simplifies to a single vertical path ordering, recovering the Schreiber–Waldorf construction (Parzygnat, 2018).

5. Local-to-global principles and unification

A decisive structural result is that HLGFs admit a genuine local-to-global theorem. In “Higher homotopy and lattice gauge fields,” the higher homotopy Seifert–van Kampen theorem is used in cubical and globular form to show that homotopy $X$3-groupoids preserve suitable pushouts of good covers. Consequently, global HLGFs can be glued uniquely from compatible local HLGFs, and the set of global fields is the limit of the local Hom-sets (Orendain et al., 2023).

This yields several dimension-dependent identifications. In dimension one, the formalism reduces to ordinary lattice gauge fields: the relevant Hom-set is equivalent to the Hom-set from the free groupoid on the edge set to the delooping groupoid $X$4. In dimension two, local lattice higher gauge fields are equivalent to strict 2-functors into a strict 2-groupoid, reproducing standard crossed-module higher gauge theory. Under the paper’s assumptions, global globular lattice higher gauge fields then restrict canonically to ELGFs, thereby unifying the Meneses–Zapata construction with the higher-groupoid formalism (Orendain et al., 2023).

The 2026 paper sharpens this unification from the perspective of higher parallel transport. It treats simplices of paths as generators of the relevant globular $X$5-groupoid and shows that evaluation on these generators produces an ELGF satisfying face-compatibility and interior-extendibility conditions. On bases of dimension two or three, these data determine a principal $X$6-bundle over the base manifold. This depends crucially on the fact that for Lie groups $X$7, so the corresponding higher obstructions vanish in those dimensions (Orendain et al., 19 Mar 2026).

A plausible implication is that the various HLGF formalisms differ less in substance than in the choice of source higher groupoid and the packaging of the target data. One formulation emphasizes cotriangulations and relative homotopy classes, another strict $X$8-groupoid morphisms, and another crossed-module 2-connections, but all are designed to preserve the local-to-global homotopy data discarded by ordinary edge-only discretizations (Meneses et al., 2017, Orendain et al., 2023, Orendain et al., 19 Mar 2026).

6. Topological sectors, charges, and observables

One of the main reasons to introduce HLGFs is to make topological sector structure exact at finite lattice spacing. In the extended lattice-field approach of “Homotopy data as part of the lattice field,” the field space is enlarged to a covering space $X$9 whose connected components match the continuum topological sectors. In one-dimensional $\Pi_\omega(X)$0 sigma model, the additional link variables are real lifts $\Pi_\omega(X)$1 of the phase differences, and the exact lattice action and charge are

$\Pi_\omega(X)$2

The integer winding is therefore an exact lattice variable, not a continuum reconstruction (Dall'Olio et al., 2021).

In two-dimensional $\Pi_\omega(X)$3 sigma model, the local homotopy variables satisfy a flatness constraint on each plaquette,

$\Pi_\omega(X)$4

and on a torus the noncontractible cycles carry exact integer charges $\Pi_\omega(X)$5. For $\Pi_\omega(X)$6-valued fields, where $\Pi_\omega(X)$7, the local HLGF space on a plaquette is $\Pi_\omega(X)$8, so the degree enters as a genuine cell-wise lattice variable (Dall'Olio et al., 2021).

The 2026 HLGF construction gives an explicit topological-charge formula on two-dimensional bases using higher parallel transport rather than separate cochain variables. For a connection on $\Pi_\omega(X)$9, one evaluates the HLGF on a distinguished 1-globe of meridian paths winding once around the equator. The resulting 1-globe in $\omega$0 has an integer winding number, and this winding is the topological charge:

$\omega$1

In the round-metric example worked out in the paper, the charge is $\omega$2 (Orendain et al., 19 Mar 2026).

For gauge theory proper, the ELG framework identifies how characteristic classes enter through homotopy groups of the structure group. For $\omega$3 over two-manifolds, the relevant data encode the first Chern class via $\omega$4; for $\omega$5 over four-manifolds, the data on 3-cells encode the second Chern class via $\omega$6 (Meneses et al., 2017).

A distinct but related extension arises in 4D $\omega$7 lattice gauge theory coupled to a background $\omega$8 2-form field $\omega$9. There the 1-form invariant plaquette variable is

$|X|$0

and admissible lattice data define an $|X|$1 bundle whose lattice topological charge $|X|$2 is local, $|X|$3 gauge invariant, and $|X|$4 1-form gauge invariant. Its fractional part is fixed by the Pontryagin square:

$|X|$5

with

$|X|$6

This produces the exact lattice identity

$|X|$7

which is the mixed anomaly between $|X|$8 1-form symmetry and $|X|$9 periodicity (Abe et al., 2023).

Observables likewise extend beyond ordinary Wilson loops. Crossed-module models support Wilson lines and Wilson surfaces, with the latter built from 2-holonomy over closed surfaces. In the dynamical finite 2-group model, nonlocal Polyakov loops and Polyakov surfaces detect 1-form and 2-form symmetry behavior, and certain surface observables depend on both sectors and on the topological charge sector, even when local plaquette and cube observables factorize (Bochniak et al., 2021).

7. Limitations, variants, and current directions

The literature does not yet present a single universally adopted definition of HLGF. Rather, the term names a family of homotopy-sensitive discretizations. One should therefore distinguish at least four usages: ELG fields from cotriangulations, higher 2-group lattice gauge fields, strict higher-groupoid functorial constructions, and extended lattice fields with explicit homotopy variables. The 2023 higher-groupoid paper argues that, under the correct assumptions, these are not competing theories but different realizations within a common strict higher-homotopical framework (Orendain et al., 2023).

Several limitations are explicit in the literature. The strict higher-groupoid formalisms are strictly associative and unital; weak higher structures are not yet incorporated. The local-to-global theorems require filtered-connectivity hypotheses or good covers. Higher gauge Hamiltonians are mainly developed for finite strict 2-groups and closed manifolds. Continuous or nonfinite 2-groups, weak 2-groups, and general boundary theories remain open directions (Bullivant et al., 2017, Bullivant et al., 2016, Orendain et al., 2023, Bochniak et al., 2021).

The 2026 HLGF paper emphasizes a dimensional limitation of its present bundle-reconstruction theory. With the trivial filtration on $A: P^1\rho(|X|)\longrightarrow BK,$0, the globular groupoid $A: P^1\rho(|X|)\longrightarrow BK,$1 captures $A: P^1\rho(|X|)\longrightarrow BK,$2 but not higher $A: P^1\rho(|X|)\longrightarrow BK,$3 in the needed way, so the current formalism directly handles base dimensions two and three. Extending exact lattice topological charges to higher dimensions requires a nontrivial filtration on $A: P^1\rho(|X|)\longrightarrow BK,$4 (Orendain et al., 19 Mar 2026).

From the holonomy side, the topology and functional analysis of thin loop groups are also not fully settled. Questions remain about Hausdorff quotients, suitable topologies on loop-group quotients, and whether the holonomy correspondence can be upgraded to a homeomorphism for appropriate topologies. These issues matter for a rigorous differential-geometric foundation of holonomy-based HLGFs and for continuum limits (Meneses, 2019).

Current directions broaden the scope of the subject. One line develops higher-form symmetries and anomalies from regional restriction data packaged into crossed squares and crossed $A: P^1\rho(|X|)\longrightarrow BK,$5-cubes; this supplies a homotopy-theoretic description of symmetry higher groups and their Postnikov invariants in lattice gauge theory (Kapustin et al., 22 Jul 2025). Another line uses persistent homology on gauge-invariant filtrations of lattice observables to diagnose topology of confining and deconfining phases; this is not a definition of HLGFs in the structural sense, but it shows how homotopy-type information extracted from lattice data can function as a practical invariant in gauge theory (Spitz et al., 2022).

Taken together, these developments define HLGFs as a program rather than a single construction: preserve the homotopy data discarded by ordinary lattice truncation, formulate it locally on cells or higher paths, impose coherent gluing and higher flatness, and thereby recover bundle topology, higher holonomy, and topological observables directly on the lattice.