Homotopy lattice gauge fields 1: The fields and their properties

This paper introduces homotopy lattice gauge fields (HLGFs), a framework based on higher parallel transport that enriches standard lattice gauge theory with homotopy data to reconstruct principal bundles and compute topological charges without requiring prior knowledge of higher category theory.

The Gist

The Big Picture: Why Do We Need This?

Imagine you are trying to take a high-resolution photograph of a complex, swirling galaxy (the universe) using a camera that only has a low-resolution grid (a lattice).

In physics, Gauge Fields are like the invisible "glue" or "force fields" that hold particles together (like the electromagnetic force or the strong nuclear force). To study them on a computer, physicists use Lattice Gauge Theory (LGT). They chop up space into a grid of tiny squares (like graph paper) and measure the field only at the intersections (vertices) and along the lines connecting them.

The Problem:
Standard Lattice Gauge Theory is great, but it's a bit "blind." It only looks at the lines (paths). If you draw a loop on the grid and measure the field along it, you get a number. But if you wiggle that loop slightly without changing its endpoints, standard theory often ignores the difference.

This is a problem because in the real, smooth universe, how you wiggle a loop matters. If you wiggle a loop in a way that creates a "knot" or a twist in the fabric of space, that twist carries deep physical information (called topology). Standard lattice theory loses this information. It's like trying to describe a knotted rope by only looking at the two ends; you miss the knot entirely.

The Solution:
The authors introduce Homotopy Lattice Gauge Fields (HLGFs). Think of this as upgrading the camera. Instead of just looking at the lines, this new method looks at the lines AND the surfaces they sweep out when they wiggle. It captures the "shape" of the movement, not just the start and end points.

---

Key Concepts Explained with Analogies

1. The "Wiggle" vs. The "Path" (Parallel Transport)

• Standard View: Imagine a hiker walking from Point A to Point B. Standard lattice theory only cares about the final destination and the path taken.
• HLGF View: Imagine the hiker is holding a long, flexible ribbon. As they walk, they might twist the ribbon, loop it, or wave it around. HLGFs don't just track where the hiker went; they track how the ribbon moved.
• Why it matters: If the ribbon ends up twisted differently, it means the "terrain" (the gauge field) has a hidden twist in it. This twist is the Topological Charge. Standard theory misses this; HLGFs catch it.

2. The "Homotopy Lattice" (The Grid with Memory)

• The Grid: Imagine a standard 3D grid made of cubes.
• The Upgrade: In HLGFs, the grid isn't just static lines. It's a dynamic structure where every line has a "shadow" or a "surface" attached to it.
• The Analogy: Think of a standard lattice as a wireframe model of a building. You can see the beams. HLGF is like a building made of clay. You can see the beams, but you can also see how the clay stretches and deforms between the beams. This "clay" represents the homotopy (the continuous deformation or wiggle).

3. The "Topological Charge" (The Knot Count)

• The Concept: In physics, some fields are "knotted." You can't untie them without cutting the universe. This knot count is the Topological Charge.
• The Problem: On a standard grid, you can't see the knot because the grid is too coarse. It's like trying to count the knots in a shoelace by only looking at the tips of the laces.
• The HLGF Solution: Because HLGFs track the "surfaces" swept out by the paths, they can see the knot.
• The Result: The paper shows that for 2D and 3D spaces, HLGFs can calculate this knot count exactly, even while still on the grid. They provide a formula to count the knots without needing to zoom out to the "smooth" universe.

4. The "Bundle" (The Suitcase Analogy)

• The Concept: A gauge field is mathematically described as a "Principal Bundle."
• The Analogy: Imagine a suitcase (the base space) filled with clothes (the fibers). A gauge field tells you how to pack the clothes as you move the suitcase.
• The Issue: Standard lattice theory often forgets the global shape of the suitcase. It might think the suitcase is a simple box when it's actually a twisted Möbius strip.
• The Fix: HLGFs are smart enough to realize, "Hey, this suitcase is twisted!" For 2D and 3D spaces, HLGFs can reconstruct the exact shape of the suitcase (the bundle) just by looking at the grid data.

---

How It Works (The "Secret Sauce")

The authors use a branch of math called Non-Abelian Algebraic Topology.

• Abelian math is like adding numbers: $2 + 3 = 3 + 2$. Order doesn't matter.
• Non-Abelian math is like putting on socks and shoes: You must put on socks before shoes. If you reverse the order, you can't walk.

In the real world, the order of operations in gauge fields matters (it's non-abelian).

• Old Math: Tried to force the complex, non-abelian world into simple, commutative boxes. It lost information.
• New Math (HLGFs): Uses a structure called an Infinity Groupoid.
  • Think of this as a Russian Nesting Doll.
  • Level 1: Points (Vertices).
  • Level 2: Lines (Paths).
  • Level 3: Surfaces (Wiggles of paths).
  • Level 4: Volumes (Wiggles of surfaces).
  • ...and so on.

HLGFs organize the data into these nesting dolls. By looking at how the dolls fit together, the math naturally preserves the "twists" and "knots" that standard methods throw away.

Why Should You Care?

1. Better Simulations: If you are simulating the early universe or particle collisions on a computer, standard methods might miss subtle "knots" in the energy fields. HLGFs could make these simulations more accurate.
2. Quantum Gravity: To understand how gravity works at the smallest scales, we need to understand how space itself is "knotted." HLGFs provide a language to talk about these knots on a discrete grid.
3. Mathematical Beauty: The authors show that the "messy" problem of continuous space can be solved using a "clean" discrete grid, provided you look at the grid with the right kind of eyes (the homotopy lens).

Summary in One Sentence

This paper introduces a new way to map the universe onto a computer grid that doesn't just track where things go, but also tracks how they wiggle and twist, allowing physicists to see hidden "knots" in the fabric of reality that were previously invisible.

Technical Summary

1. Problem Statement

Standard Lattice Gauge Theory (LGT) provides a successful non-perturbative framework for Quantum Field Theory (QFT) by discretizing the base manifold into a lattice. However, standard LGT suffers from a critical topological deficiency:

• Loss of Topological Information: Standard lattice gauge fields (LGFs) are defined by parallel transport along 1-dimensional paths (links). They fail to capture the topological structure of the underlying principal $G$-bundle in the continuum. Consequently, standard LGFs do not naturally determine a principal bundle over the base manifold, and topological charges (like the instanton number) cannot be defined unambiguously without taking a continuum limit.
• The Local-to-Global Problem: Reconstructing the global homotopy type of a space (or a bundle) from local data is difficult in higher dimensions because higher homotopy groups ($\pi_k$ for $k>1$) are abelian, while the structures governing gauge fields are non-abelian.

The authors aim to introduce a new discretization scheme, Homotopy Lattice Gauge Fields (HLGFs), that retains the topological information of the continuum gauge field (specifically the bundle structure and topological charge) while remaining defined on a discrete lattice.

2. Methodology

The authors employ a framework from Non-Abelian Algebraic Topology (NAAT), developed by Brown, Higgins, and collaborators, to solve the local-to-global problem in higher homotopy.

• Filtered Spaces and Skeletal Filtrations: Instead of a simple lattice, the base manifold $M$ is equipped with a skeletal filtration $X_*$ derived from a cellular decomposition (e.g., a triangulation). Here, $X_k$ represents the $k$-skeleton of the decomposition.
• Higher Parallel Transport: The core concept is extending parallel transport from 1-dimensional paths to higher-dimensional homotopies (globes).
  • 1-globes: Paths (curves) in the 1-skeleton $X_1$.
  • 2-globes: Homotopies between paths, restricted to the 2-skeleton $X_2$.
  • $k$-globes: Higher homotopies restricted to $X_k$.
• Thin Homotopy Equivalence: To ensure the algebraic structure forms a groupoid, the authors define "thin homotopy" relative to vertices. Two singular $k$-globes are equivalent if they can be deformed into each other within the $k$-skeleton without sweeping out volume in higher dimensions. This allows the construction of a strict $\infty$-groupoid (or $\omega$-groupoid) of paths and homotopies, denoted $\rho_\circ(X_*)$.
• The Higher Homotopy Atiyah Groupoid: The authors construct a target structure, $At_{1,\circ}(X_*; \rho_\circ G)$, which is an $\infty$-groupoid internal to groupoids. Its objects are fibers over vertices, and its morphisms represent parallel transport maps and their higher homotopies, respecting the action of the gauge group $G$.
• Definition of HLGFs: An HLGF is defined as a section of the projection from the higher homotopy Atiyah groupoid to the path groupoid of the lattice:
  $$PT: \rho_{1,\circ} X_* \to At_{1,\circ}(X_*; \rho_\circ G)$$
  This section maps paths and their homotopies in the lattice to transport maps and homotopies in the fiber.

3. Key Contributions

A. Formal Definition of HLGFs

The paper rigorously defines HLGFs not merely as data on links, but as higher parallel transport operations on a filtered space. This formulation:

• Generalizes standard LGFs (which only track 1-globes).
• Incorporates data about the homotopy of paths (2-globes) and higher homotopies.
• Provides a natural algebraic setting for gauge transformations as natural transformations between sections.

B. Reconstruction of Principal Bundles

A major theoretical result is that for base spaces of dimension 2 or 3, an HLGF uniquely determines a principal $G$-bundle over the base manifold.

• Mechanism: The higher parallel transport data (specifically the 2-globes) encodes the "gluing" information of the bundle transition functions up to homotopy.
• Limitation: For dimensions $d \geq 4$, the current framework (using a trivial filtration on the gauge group $G$) fails to capture $\pi_k(G)$ for $k \geq 2$ because $\pi_2(G)$ is trivial for Lie groups, and the trivial filtration prevents capturing higher homotopy information of the group itself. Thus, the bundle reconstruction is guaranteed only for $d=2,3$.

C. Topological Charge Formula

The authors derive an exact, discrete formula for the topological charge (winding number) in 2 dimensions.

• By evaluating the HLGF on a specific 1-globe of paths representing the equator (a loop of meridians), the result is a 1-globe in the gauge group $G$.
• The homotopy class of this resulting 1-globe corresponds to the winding number.
• Result: $Q(A_{HL}) = W(A_{HL}([m]))$, where $[m]$ is the homotopy class of the equatorial path. This allows the calculation of topological charge directly on the lattice without a continuum limit.

D. Connection to Extended Lattice Gauge Fields (ELGFs)

The paper establishes a 1-to-1 correspondence between HLGFs and Extended Lattice Gauge Fields (ELGFs) previously proposed by Meneses and Zapata.

• ELGFs are defined by consistent evaluations on "simplices of paths" (generators of the $\infty$-groupoid).
• The HLGF framework provides the rigorous algebraic justification (via NAAT) for why ELGFs successfully characterize bundles, unifying the geometric intuition of ELGFs with the algebraic power of $\infty$-groupoids.

4. Results

• Geometric Motivation: The paper demonstrates how a continuum gauge field induces a higher parallel transport map via the Barrett-Kobayashi construction, which is then discretized via the homotopy lattice cutoff.
• Algebraic Structure: The space of HLGFs is shown to be a groupoid (or higher structure) where gauge transformations act naturally.
• Topological Invariance: The topological charge is proven to be an integer invariant computable directly from the discrete data of the HLGF on a 2D triangulation.
• Example: The authors explicitly calculate the topological charge for the Levi-Civita connection on a round $S^2$ with a specific triangulation, obtaining $Q=2$, matching the continuum result.

5. Significance

• Bridging Continuum and Lattice: HLGFs offer a way to perform QFT on a lattice while preserving the topological classification of the continuum theory. This addresses a long-standing issue in lattice gauge theory where topological sectors are often lost or require fine-tuning.
• Non-Abelian Algebraic Topology in Physics: The paper successfully imports advanced mathematical tools (NAAT, $\infty$-groupoids, filtered spaces) into theoretical physics, providing a robust language for "higher gauge fields."
• Foundation for Quantum Field Theory: This paper (Part 1) lays the groundwork for Part 2, which aims to define the measure and path integral on the space of HLGFs. By preserving topological data, this framework promises to enable exact calculations of topological susceptibilities and other non-perturbative observables in lattice QFT, potentially leading to "quantum perfect" lattice actions (e.g., for 2D Yang-Mills).
• Refinement of Standard LGT: The framework is shown to be a refinement of standard LGT; it agrees with standard predictions for 1D observables but provides access to higher-dimensional observables (homotopy data) that standard LGT discards.

In summary, this paper introduces a mathematically rigorous and physically motivated discretization of gauge fields that retains the essential topological structure of the continuum theory, enabling the exact calculation of topological charges and the reconstruction of principal bundles on discrete lattices in low dimensions.