Nonabelian multiplicative integration and curvature obstructions for surface holonomy

This paper establishes a geometric framework linking nonabelian multiplicative integration on surfaces to surface holonomy, interpreting the local Stokes law as a curvature obstruction and deriving a global three-dimensional Stokes relation that reproduces the Wess-Zumino phase formula.

The Gist

Imagine you are a hiker trying to understand the landscape of a strange, multi-dimensional world. In physics, there's a concept called holonomy, which is basically a way of measuring how much you "twist" or "rotate" as you travel along a path. If you walk in a circle on a flat surface, you end up facing the same direction. But if you walk in a circle on a sphere (like the Earth), you might end up facing a different direction when you return to your start. That change is the holonomy.

For a long time, physicists have known how to calculate this for paths (1D lines). But in modern theories like string theory, we need to understand what happens when you travel over surfaces (2D sheets), not just lines. This is called surface holonomy.

This paper by Hollis Williams acts as a bridge between two different ways of doing math to solve this problem. Here is the breakdown using simple analogies:

1. The Two Maps

The paper compares two different "maps" or languages used to describe these surface journeys:

• The Abstract Map (Higher Category Theory): This is like a map drawn by a mathematician who uses very high-level, abstract symbols. It's powerful but can be hard for physicists to read because it relies on complex, unfamiliar structures.
• The Concrete Map (Multiplicative Integration): This is the map the author focuses on. It was invented by a mathematician named Yekutieli. Instead of abstract symbols, it uses a method similar to how you might calculate the area of a shape by chopping it into tiny squares and adding them up. It's more "hands-on" and analytical.

The author's main job is to show that the "Concrete Map" (Multiplicative Integration) works just as well as the "Abstract Map" for describing these surface journeys, but it does so using more familiar tools.

2. The "Curvature Obstruction" (The Bumpy Road)

The core discovery of the paper is about curvature.

• The Analogy: Imagine you are trying to paint a perfect, flat sheet of paper. If the paper is perfectly flat, you can fold it up and unfold it without any issues. But if the paper is crumpled (curved), you can't just fold it back perfectly; the crumple "obstructs" the process.
• The Physics: In this theory, when you try to calculate the "holonomy" (the total twist) of a surface, the result depends on the shape of the space. If the space is curved, the result changes.
• The Law: The paper proves a specific rule (a "Stokes law") that says: The difference in the result between two different paths over a surface is caused entirely by the "curvature" inside the volume between them.

Think of it like this: If you take two different routes to get from point A to point B, and you end up with different amounts of "twist," the paper proves that the only reason for this difference is the amount of "bumpiness" (curvature) in the 3D space sandwiched between your two routes.

3. The "Wess-Zumino Phase" (The Magic Number)

The paper takes this general rule and applies it to a specific, famous problem in physics called the Wess-Zumino term.

• The Context: In string theory, particles are like tiny vibrating strings. When these strings move, they sweep out surfaces. There is a specific "phase" (a kind of quantum magic number) associated with these surfaces that is crucial for the theory to work.
• The Result: The author shows that if you use their "Concrete Map" (Multiplicative Integration) to calculate the holonomy of these surfaces, you get the exact same "magic number" that physicists have been using for decades.
• The Takeaway: This proves that the "Concrete Map" isn't just a theoretical curiosity; it actually reproduces the famous formulas used in string theory, but it does so by looking at the problem as a simple accumulation of tiny pieces (integration) rather than abstract algebra.

4. The "Non-Abelian" Challenge (The Messy Puzzle)

The paper distinguishes between two types of math:

• Abelian (Orderly): Like adding numbers. $2 + 3$ is the same as $3 + 2$. In this orderly world, the author successfully proved the rule connecting the surface twist to the 3D curvature.
• Non-Abelian (Chaotic): Like putting on a shirt and then a jacket. If you do it in reverse (jacket then shirt), it doesn't work the same way. The order matters.
• The Limit: The author successfully solved the "Orderly" (Abelian) version of the problem. They suggest that the "Chaotic" (Non-Abelian) version likely follows a similar pattern, but it is much harder to solve because the order of operations creates a mess of extra terms. They didn't solve the messy version in this paper, but they laid the groundwork for how one might try.

Summary

In short, this paper says:
"We have a new, more concrete way to calculate how surfaces twist in complex physics theories. We proved that this method works perfectly for 'orderly' systems and reproduces the famous formulas used in string theory. We also showed that the difference in results between two surfaces is strictly determined by the curvature of the space between them. While we haven't fully solved the 'chaotic' (non-Abelian) version yet, this work proves that this concrete method is a valid and powerful tool for understanding these high-dimensional physics concepts."

Technical Summary

Technical Summary: Nonabelian Multiplicative Integration and Curvature Obstructions for Surface Holonomy

Problem Statement
Surface holonomy is a central concept in higher gauge theory, bundle gerbes, and the geometric formulation of Wess–Zumino terms in string theory. While categorical frameworks (e.g., 2-bundles with 2-connections, transport 2-functors) provide powerful conceptual descriptions of higher parallel transport, they rely on higher category theory and abstract constructions that are often inaccessible to physicists and differential geometers. Conversely, while the relationship between surface holonomy and the integral of 3-form curvature is well-established in the abelian gerbe literature, a rigorous, explicit analytic derivation of the nonabelian Wess–Zumino phase remains an open challenge. Existing nonabelian generalizations of gerbes are technically involved and typically formulated using higher category theory. This paper addresses the gap between abstract categorical definitions and concrete analytic control by investigating the relation between surface holonomy and nonabelian multiplicative integration (MI) on surfaces.

Methodology
The paper utilizes the framework of nonabelian multiplicative integration developed by Yekutieli. This approach constructs nonabelian line and surface integrals as explicit limits of elementary Riemann products, analogous to path-ordered exponentials but extended to higher dimensions, without relying on category or homotopy theory machinery.

Key methodological steps include:

1. Framework Setup: The authors define the necessary geometric and algebraic structures, specifically Lie crossed modules $(\Phi: H \to G, \triangleright)$ and differential crossed modules $(\partial: \mathfrak{h} \to \mathfrak{g}, \triangleright)$. A 2-connection is defined as a pair of forms $(\alpha, \beta)$ satisfying a "fake-flatness" condition ($F_\alpha + \partial(\beta) = 0$).
2. Analytic Construction: Surface holonomy is defined as the limit of ordered Riemann products over a subdivision of a surface (a "kite" consisting of a base path and a surface map).
3. Local Analysis: The authors reinterpret Yekutieli's local multiplicative Stokes theorem. This theorem relates the product of surface holonomies around the boundary of a small 3-simplex to the integral of the associated 3-curvature $H = d\beta + \alpha \triangleright \beta$ over the simplex's interior, up to higher-order error terms.
4. Globalization (Abelian Case): Under the assumption that the gauge fields take values in an abelian ideal (where holonomies commute), the authors globalize the local Stokes law. They triangulate a 3-chain interpolating between two surfaces with a common boundary and sum the local relations.
5. Recovery of Standard Results: The derived global relation is applied to the specific case of the Wess–Zumino-Witten (WZW) model to verify consistency with established physics.

Key Contributions and Results

1. Curvature Obstruction Law: The paper establishes that the local multiplicative Stokes theorem acts as a "curvature obstruction law" for higher holonomy. Specifically, the failure of surface holonomy to be invariant under infinitesimal deformations is governed by the 3-curvature $H$. For a small 3-simplex $f$, the product of boundary holonomies satisfies:
   $$h_1 h_2 h_3 h_4^{-1} = \exp_H \left( \int_f H + \epsilon(f) \right)$$
   where $\epsilon(f)$ is a higher-order error term.

2. Abelian 3D Stokes Relation: In the abelian setting (where $H$ is an abelian ideal), the internal contributions of a triangulation cancel pairwise. This yields a global relation for two surfaces $\Sigma_0$ and $\Sigma_1$ with a common boundary, separated by a 3-chain $V$:
   $$MI(\alpha, \beta | \Sigma_1) = MI(\alpha, \beta | \Sigma_0) \exp_H \left( \int_V H \right)$$
   This demonstrates that the difference in surface holonomy is determined by the exponential of the integrated 3-curvature over the interpolating manifold.

3. Reproduction of the Wess–Zumino Phase: By applying the abelian result to a sigma model with target space $G$ and a 2-form gauge field $B$ (where $H = dB$), the authors show that the formalism reproduces the standard Wess–Zumino action. The phase difference between two worldsheet surfaces is shown to be:
   $$\Delta S_{WZ} = \int_W H$$
   where $W$ is the closed 3-manifold formed by the two surfaces. The paper confirms that the quantization of this phase ($2\pi k n$) follows naturally from the integrality of the underlying cohomology class, providing a geometric interpretation of the Wess–Zumino term as the logarithm of a surface holonomy.

4. Nonabelian Generalization (Prospective): The paper discusses the potential for extending these results to the nonabelian case. It posits that while the local Stokes law holds generally, the globalization to a nonabelian phase formula is complicated by non-commutativity, requiring careful handling of ordering, transport, and twisting effects inherent in the crossed-module structure.

Significance and Claims
The paper claims to provide a geometric interpretation of multiplicative integration on surfaces in terms of surface holonomy, clarifying its relationship with the classical theory of bundle gerbes and Wess–Zumino terms.

• Analytic Rigor: The work offers a rigorous analytic framework for higher parallel transport that avoids the abstract machinery of higher category theory, making the concepts more accessible to differential geometers and physicists.
• Derivation of the Abelian Phase: The primary result is the derivation of the abelian Wess–Zumino phase relation directly from the principles of multiplicative integration, confirming that this formalism correctly captures the known physics of abelian gerbes.
• Foundation for Nonabelian Extensions: While the paper does not derive a complete nonabelian phase formula (acknowledging this as an open problem requiring a global version of multiplicative integration), it provides strong evidence that such a derivation is possible. The authors suggest that the local multiplicative Stokes theorem serves as the necessary local geometric input for a future nonabelian theory.
• Physical Relevance: The results are framed as relevant to higher gauge theories, Wilson surface operators, and theories with generalized global symmetries. The authors suggest that multiplicative integration could serve as a concrete analytic realization of higher parallel transport, potentially bridging the gap between transport 2-functors and differential geometry foundations.

The authors remain modest regarding the nonabelian case, stating that a fully rigorous global nonabelian phase formula is beyond the scope of the current work but represents a promising direction for future investigation in string theory and condensed matter physics.