A nonabelian Wilson surface on a lattice

Imagine the universe as a giant, six-dimensional grid, like a massive, invisible city made of tiny cubes. In this city, there are special "strings" (think of them as heavy, glowing threads) that can move around. This paper is about figuring out the rules for how these strings move and change when they travel through this grid, specifically when the strings carry a complex kind of "charge" (like a color or a tag) that makes them interact in complicated ways.

Here is a breakdown of the paper's main ideas using everyday analogies:

1. The Problem: Moving Heavy Threads

In physics, we often study how particles move. But here, we are looking at strings (long, thin objects) rather than dots.

The Abelian Case (Simple): Imagine a string moving through a calm, empty room. It leaves a trail behind it, like a snail leaving slime. If the string moves in a circle, the amount of "slime" it leaves behind is a simple number. This is easy to calculate.
The Non-Abelian Case (Complex): Now imagine the string is made of a material that changes color as it moves, and the order in which it changes colors matters. If it goes Red-then-Blue, it's different from Blue-then-Red. This is the "non-abelian" part. The paper tries to figure out how to calculate the "slime trail" (called a Wilson surface) for these complex, color-changing strings on a grid.

2. The Grid: The "Hexeract" City

The author builds a specific type of city grid to study this.

The Building Blocks: Instead of just squares (2D) or cubes (3D), the grid is made of 6D hypercubes (called "hexeracts").
The Checkerboard Rule: This grid has a special "bipartite" structure, like a giant checkerboard. Every "white" square is only connected to "black" squares, and vice versa.
Why this matters: This checkerboard pattern is crucial. It helps the author define how the string's "color tags" (indices) should be arranged. Think of it like a dance floor where partners must always switch between two types of shoes (left and right) as they step.

3. The "Spike" Trick: Creating and Destroying String Segments

The most creative part of the paper is how the author handles the string splitting or changing shape.

The Spike: Imagine a string moving along a path, and suddenly it does a "zig-zag." It goes forward, then immediately turns back on the exact same path, creating a tiny loop or a "spike."
The Magic Rule: The author proposes that when this spike happens, the string effectively gains two new color tags. However, because the spike is so tight (it covers zero area), these two tags must cancel each other out perfectly, like a positive and negative charge meeting.
The "K-Spike": The author calls this a "K-spike" (K for Kronecker delta, a math term for "perfect match"). It's like a temporary knot that ties two parts of the string together so tightly they act as one.
Why it's useful: This trick allows the string to split into two separate strings or merge two strings into one without breaking the laws of physics. It's like a magician pulling a rabbit out of a hat, but the rabbit is actually just two halves of a string that were temporarily tied together.

4. The "Universal Operator": The Traffic Cop

The paper introduces a special tool called the Universal Plaquette Holonomy.

The Analogy: Imagine a traffic cop standing at every intersection (or "plaquette") of the grid.
The Job: When a string moves across an intersection, this cop decides how the string's color tags change.
The "Unit" Operator: The author finds a special version of this cop that acts like the number "1" in math. If you move a string around a loop and come back to where you started, this "Unit" operator ensures the string is exactly the same as when it left. It's the "do nothing" button that still keeps the rules consistent.

5. Splitting Strings: The "Annihilation" Party

One of the hardest questions is: How does one string split into two?

The Problem: If you just cut a string, you might lose its "charge" (like cutting a charged wire and having electricity disappear).
The Solution: The paper argues that a string can only split if it first forms a K-spike.
- Imagine two people holding hands (the string). They want to let go and walk in different directions.
- They can't just let go; they have to meet in the middle, hold hands tightly (the spike), and then "annihilate" the connection.
- If the connection is perfect (a K-spike), the string splits cleanly into two new strings, and the total "charge" is preserved. If the connection isn't perfect, the string can't split; it's stuck.

6. The Big Picture: What Happens in the Real World?

The paper concludes by asking: What does this look like if we zoom out to the smooth, continuous world we live in?

Tiny Strings: If a string shrinks down to a tiny point, it loses all its complex color tags and becomes a simple, neutral particle. It behaves like a boring, non-interacting dot.
Big Strings: If the string stays long and stretched out, it keeps its complex color tags. It behaves like a wild, interacting object that follows the complex rules of the grid.
The Takeaway: The theory suggests that the "non-abelian" (complex) nature of these strings only exists when they are extended objects. If you shrink them down, they become simple and "abelian" (boring).

Summary

This paper builds a mathematical model for how complex, color-changing strings move on a 6D grid. It uses a "checkerboard" grid and a clever "spike" trick to show how these strings can split, merge, and move without breaking the rules of physics. It proposes that the complexity of these strings only exists when they are long; if they shrink to a point, they become simple and neutral.

1. Problem Statement

The paper addresses the fundamental challenge of defining nonabelian surface holonomy (a generalization of the Wilson loop to two-dimensional surfaces) within the context of the 6d $(2,0)$ superconformal theory.

Context: In the abelian case (U(1)), the worldvolume theory of an M5-brane is described by a self-dual two-form gauge potential $B$ , and surface holonomies are well-defined for closed surfaces. However, for nonabelian gauge groups (e.g., $U(N)$ ), a consistent definition of nonabelian surface holonomy has been elusive.
Specific Challenge: The paper focuses on how a surface holonomy acts on a heavy, electrically charged self-dual string (modeled as a first-quantized Schrödinger wave function) as it moves adiabatically.
Key Obstacle: In a nonabelian theory, if a string splits or merges, the number of color indices changes. A standard unitary evolution requires preserving the dimension of the Hilbert space. If a single string with one color index splits into two strings, the mapping from a single index to two indices is not naturally unitary. The paper seeks a lattice regularization that resolves this unitarity issue and defines the dynamics of string splitting/merging.

2. Methodology

The author employs a lattice regularization approach on a bipartite hypercubic lattice (specifically a 6D "hexeract" lattice).

Lattice Structure: The lattice is composed of 6D hypercubes (hexeracts) with a bipartite structure (white and black vertices). This structure is crucial for assigning color indices to string segments based on their orientation relative to the vertices.
Color Index Assignment:
- Color indices are placed on the edges of the lattice.
- Indices are assigned as fundamental ( $\psi^i$ ) or anti-fundamental ( $\psi_i$ ) depending on whether the string arrow points away from or toward a white vertex. This alternating assignment respects the bipartite nature of the lattice.
String Dynamics and "Spikes":
- The paper introduces "spike" configurations: a string segment that doubles back on itself along a single edge (anti-parallel segments).
- K-spikes: A specific type of spike where the wave function acquires a Kronecker delta structure ( $\delta^i_{i'}$ ), representing a gauge-invariant, zero-area deformation.
- Moves: The dynamics are defined by discrete moves:
  - $K$ -moves: Creation of a spike (adding a pair of indices $i, i'$ with $\delta^i_{i'}$ ).
  - $R$ -moves: Annihilation of a spike (removing the pair).
  - Plaquette Moves: $0\to4$ , $1\to3$ , $2\to2$ , $3\to1$ , and $4\to0$ moves describing how a string sweeps across a plaquette.
Universal Plaquette Holonomy: A unitary operator $U$ is defined for each plaquette. It transports the string wave function across the plaquette, contracting indices and introducing new ones according to the move type.

3. Key Contributions and Results

A. Resolution of Unitarity via Bipartite Structure

The paper demonstrates that by placing color indices on edges and utilizing the bipartite lattice, string splitting and merging can be described unitarily.

Mechanism: When a string splits, it does not simply split one index into two. Instead, the process involves the creation of a K-spike (a zero-area loop) which carries a Kronecker delta. This allows the wave function to transition from a state with $N$ indices to a state with $N+2$ indices (or vice versa) while maintaining gauge invariance.
Normalization: The normalization constant for spike creation/annihilation is fixed to $c = 1/\sqrt{N}$ to preserve the total probability (norm) of the wave function during splitting/merging events.

B. Definition of the Universal Plaquette Holonomy

The author defines a universal plaquette holonomy $U_{ijk\ell}$ that governs the transport of strings across a plaquette.

Properties:
- Cyclic Symmetry: $U_{ijk\ell} = U_{j\ell ki} = \dots$ (invariant under cyclic permutation of indices).
- Unitarity: The operator satisfies a compactness condition ensuring probability conservation: $(U_{ijk\ell})^* U_{ij'k'\ell'} = \delta_{k}^{k'} \delta_{\ell}^{\ell'}$ .
- Unit Operator: A specific solution for the "unit" plaquette operator is found in the form $I_{ijk\ell} = S_{ik}S_{j\ell}$ , where $S$ is a symmetric, unitary matrix. This operator acts as the identity for string transport up to gauge transformations.

C. Wilson Surface Construction

The paper constructs the Wilson surface for a 3D cube (and generalizes to arbitrary surfaces) by "lassoing" the cube with a string.

Formula: The Wilson surface $W$ is defined as the trace (normalized by $1/N^3$ ) of the product of universal plaquette holonomies on the six faces of the cube.
Gauge Invariance: The construction ensures that the Wilson surface is gauge invariant, provided the string starts and ends at the same point (or is a closed loop).

D. Dimensional Reduction and Continuum Limit

Dimensional Reduction: When the lattice is compactified on a circle, the surface holonomy reduces to a line holonomy (Wilson line) of non-abelian Yang-Mills theory. The bipartite structure ensures that the resulting line holonomy transforms correctly in the fundamental or anti-fundamental representation.
Continuum Limit:
- In the limit of vanishing lattice spacing ( $a \to 0$ ), the theory appears to become locally abelian (free tensor multiplets) for point-like strings (strings that shrink to zero size).
- However, extended strings (those with fixed physical length $L = na$ as $a \to 0$ ) retain non-abelian interactions. The non-abelian nature is encoded in the extended nature of the objects, not in point-like local commutators.
- The paper suggests that the non-abelian degrees of freedom are carried by these extended strings, while point-like excitations are abelian.

4. Significance

Non-Abelian Generalization: This work provides a concrete, consistent lattice framework for non-abelian surface holonomies, a long-standing problem in the formulation of the 6d $(2,0)$ theory.
String Splitting Mechanism: It resolves the unitarity paradox of string splitting in non-abelian theories by introducing the concept of K-spikes and the specific index structure required by the bipartite lattice.
Connection to M-Theory: The formalism directly models the dynamics of M2-branes ending on M5-branes, offering a discrete description of self-dual strings in the 6d theory.
Topological Nature: The construction relies primarily on the topology of the lattice (bipartite structure) rather than the metric, suggesting a deep topological underpinning for the 6d theory.
Bridge to 4d YM: The dimensional reduction results provide a clear link between the 6d surface holonomy and standard 4d non-abelian gauge theory (Wilson loops), validating the consistency of the approach.

In summary, Gustavsson proposes that non-abelian surface holonomy is best understood not as a continuous field theory limit, but as a discrete, topological theory on a bipartite lattice where string dynamics (splitting/merging) are governed by specific "spike" configurations that preserve unitarity and gauge invariance.