⚛️ high-energy theory

Asymptotic boundary structure of Lagrangian gauge theories

This paper develops a formalism for Lagrangian gauge theories with asymptotic boundaries by demonstrating how divergent bulk presymplectic structures yield a pair of compatible boundary $Q$ -cocycles—a renormalized structure and an anomaly cocycle—thereby recovering known holographic Weyl anomalies in AdS and extending them to null infinity in flat space.

Original authors: Ivan Dneprov, Maxim Grigoriev, Mikhail Markov

Published 2026-06-30

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Ivan Dneprov, Maxim Grigoriev, Mikhail Markov

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are standing on the shore of a vast, infinite ocean. The ocean represents the universe (spacetime) where all the physics happens. The shore represents the "boundary" or the edge of this universe. In many theories of physics, especially those involving gravity, what happens at this edge is just as important as what happens in the deep water.

This paper is like a sophisticated guidebook for understanding the "shoreline" of the universe, specifically for theories where things can be described by a specific mathematical recipe (called "Lagrangian gauge theories"). The authors, Ivan Dneprov, Maxim Grigoriev, and Mikhail Markov, have developed a new way to translate the complex physics of the deep ocean into a clear, manageable set of rules for the shore.

Here is a breakdown of their work using simple analogies:

1. The Problem: The "Infinite" Edge

In physics, when you try to calculate the energy or behavior of a system at the very edge of the universe (like "infinity"), the numbers often blow up. They become infinite or "divergent." It's like trying to measure the height of a wave that keeps getting taller and taller until it breaks your ruler.

The authors note that while we know how to describe the equations of motion at this edge, describing the energy (the Lagrangian) is tricky because the math gets messy and infinite right at the boundary.

2. The Solution: A "Residue" Map

The authors propose a clever mathematical trick to fix this mess. They treat the infinite ocean and the shoreline as two connected parts of a single geometric object.

Think of the physics in the deep ocean as a noisy radio signal that gets louder and louder as you approach the shore.

The "Renormalized" Signal: The authors show that you can filter out the noise to get a clean, finite signal at the shore. This is the "renormalized" part. It tells you the standard, expected physics of the boundary (like the standard rules of a game played on the beach).
The "Anomaly" Signal: Here is the surprise. When you filter the noise, a new, hidden signal emerges. The authors call this the "anomaly." It's like finding a secret message hidden inside the static of the radio. This message wasn't obvious before, but it is a real, physical part of the boundary theory.

They compare this process to a "residue map" in mathematics. Imagine a river flowing into a lake. If you look at the water right at the edge, you might see a specific swirl or pattern (the residue) that tells you something about the river's flow, even if the river itself is too wide to measure directly.

3. The Two New Rules

For every physical theory in the "deep ocean" (the bulk), this method produces two distinct sets of rules for the "shore" (the boundary):

The Standard Boundary Rules (Renormalized): This is the familiar physics you would expect. It describes how the boundary behaves in a standard way, similar to how a shadow mimics the shape of an object.
The Anomaly Rules: This is the new discovery. It describes a special kind of physics that only exists because of the way the universe is curved or how the boundary is defined. The authors show that this "anomaly" rule is actually the same as a famous concept in physics called the "Holographic Weyl Anomaly."

4. Real-World Examples (The Lab Tests)

To prove their theory works, the authors applied their method to two specific scenarios:

Scenario A: The AdS Universe (Anti-de Sitter Space): This is a universe with a specific type of curvature, often used in the famous "AdS/CFT" correspondence (a theory that links gravity to quantum mechanics).
- Result: When they applied their method here, the "Anomaly Rule" they found perfectly matched the known "Holographic Weyl Anomaly." This confirmed their math was correct. It's like checking a new map against a known landmark and finding they match perfectly.
Scenario B: The Flat Universe (Minkowski Space): This is our everyday universe, which is flat and has no curvature. The edge of this universe is called "null infinity" (the point where light rays go when they travel forever).
- Result: This was a breakthrough. No one had fully mapped the "Anomaly Rules" for this flat universe before. The authors discovered that the boundary of our flat universe follows a new set of rules called "Carrollian" theories. These are theories where time and space behave in a very strange, ultra-slow way (like a movie played in extreme slow motion). They found an infinite tower of these theories, generalizing known limits of physics.

5. The Big Picture

The paper doesn't just say "we fixed the math." It says:

If you have a physical theory in a universe with a boundary, you can systematically extract two theories on that boundary.
One is the "renormalized" version (the standard physics).
The other is the "anomaly" version (a new, hidden layer of physics).
In the case of our flat universe, this anomaly layer reveals a whole new family of theories that were previously unknown.

In summary: The authors built a universal translator that takes the messy, infinite math of the universe's edge and converts it into two clean, finite rulebooks. One rulebook tells us what we already knew, and the other reveals a hidden, exotic layer of physics that governs the very edge of reality.

Technical Summary: Asymptotic Boundary Structure of Lagrangian Gauge Theories

Problem Statement
The paper addresses the structural relationship between local gauge theories defined on spacetimes with boundaries and the gauge theories induced on those boundaries. While the correspondence between bulk gauge theories and boundary theories is well-understood for finite boundaries (often via the Batalin-Vilkovisky (BV) and Batalin-Fradkin-Vilkovisky (BFV) formalisms, particularly in the context of AKSZ sigma models), the extension to asymptotic boundaries (boundaries at infinity, such as null infinity in Minkowski space or the conformal boundary in AdS) presents specific challenges for Lagrangian systems.

The core difficulty arises because the presymplectic structures encoding the Lagrangian action in the bulk typically diverge polynomially at the asymptotic boundary. Consequently, a naive pullback of these structures to the boundary is ill-defined, preventing a direct derivation of the boundary theory's Hamiltonian or BV formulation. The authors seek a systematic, geometric method to extract well-defined boundary structures from these divergent bulk data, specifically for Lagrangian gauge theories formulated within the Gauge Partial Differential Equation (gPDE) framework.

Methodology
The authors employ the gauge PDE (gPDE) formalism, which describes gauge theories as Q-bundles over the de Rham complex of spacetime. This approach generalizes the AKSZ sigma model to non-topological and non-Lagrangian theories and naturally incorporates the BV structure.

The methodology proceeds through the following steps:

Compactification and Q-Boundaries: The authors introduce the notion of a gPDE with asymptotic boundaries. This involves viewing the asymptotic boundary not merely as a limit but as a submanifold of a compactified spacetime. They define "Q-boundaries" on graded manifolds, where the homological vector field $Q$ is tangent to the boundary, and the boundary is defined by a function $\Omega$ (and its $Q$ -image $\xi = Q\Omega$ ) vanishing.
Renormalization of Divergent Cocycles: The central technical innovation is the construction of a map that takes a Q-cocycle in the bulk which diverges polynomially at the boundary (of the form $\Omega^p v_{div}$ $Ω^{p} v_{d i v}$ ) and extracts a pair of well-defined Q-cocycles on the boundary:
- A renormalized cocycle ( $v_R$ ) of the same ghost degree as the original bulk cocycle.
- An anomaly cocycle ( $v_A$ ) of ghost degree one lower.
  This construction utilizes a vector field $d$ (of ghost degree $-1$) satisfying $d\Omega=0$ and $d\xi=1$ , and a derived vector field $\nabla = [Q, d]$ . The maps $R$ (renormalization) and $A$ (anomaly) are defined via Lie derivatives along $\nabla$ and pullback to the boundary.
Application to Presymplectic Structures: The authors apply this map to the compatible presymplectic structures of Lagrangian gPDEs. Since the bulk presymplectic form $\omega$ $ω$ has ghost degree $\dim(X)-1$ $dim (X) - 1$ , the induced boundary structures are:
- $\omega_R$ : A presymplectic structure of degree $\dim(\partial X)$ , interpreted as defining a BFV system (the renormalized boundary phase space).
- $\omega_A$ : A presymplectic structure of degree $\dim(\partial X)-1$ , interpreted as defining a BV system on the boundary, associated with the holographic Weyl anomaly.

Key Contributions and Results

General Formalism for Asymptotic Boundaries: The paper establishes a rigorous geometric framework for "gauge PDEs with asymptotic boundaries." It demonstrates that any Q-cocycle in the bulk that diverges polynomially at the boundary generates a pair of compatible Q-cocycles on the boundary system. This generalizes the concept of residue maps from b-geometry to the context of gauge theories and BRST cohomology.
Derivation of Boundary Actions: The authors explicitly derive the boundary actions determined by the anomaly presymplectic structure ( $\omega_A$ ). They show that for asymptotically AdS spaces, this action coincides with the known holographic Weyl anomaly.
Explicit Examples on AdS:
- Scalar Fields: For a scalar field with specific mass and conformal weight, the anomaly action yields the first-order action for higher-order singleton fields on the boundary, with equations of motion $\square^\ell \phi = 0$ .
- Maxwell Fields: The construction recovers the standard BFV formulation for the renormalized structure and generates higher-order conformally invariant actions for the anomaly structure (e.g., the Paneitz equation for $\ell=2$ ).
Novel Results on Minkowski Space:
- The paper fills a gap in the literature by applying this framework to Minkowski space and its null infinity.
- For scalar and Maxwell fields, the authors derive the full-scale gauge PDE description of the boundary structure at null infinity.
- They construct an infinite tower of manifestly conformally-Carroll invariant theories on the boundary. These generalize the "magnetic limits" of scalar and Maxwell fields.
- Specifically, for the Maxwell field in $d=4$ (boundary dimension), the anomaly action reproduces the magnetic limit of Maxwell theory. For higher dimensions, it yields new conformally invariant differential operators and actions (e.g., the $d=6$ Yang-Mills energy functional in the abelian limit).

Significance and Claims
The paper claims that the proposed formalism provides a systematic, invariant geometric tool to study the boundary structure of Lagrangian gauge theories on asymptotically flat and AdS spacetimes.

Unification: It unifies the treatment of boundary structures for both AdS and Minkowski spaces within the gPDE framework, treating the asymptotic boundary as a Q-submanifold of a compactified space.
Resolution of Divergence: It resolves the issue of divergent presymplectic structures by showing that the divergence naturally splits into a renormalized part (defining the standard boundary phase space) and an anomaly part (defining a new, non-trivial boundary action).
Discovery of New Theories: The authors highlight that while the AdS results align with known holographic anomalies, the application to Minkowski space reveals a previously unknown family of Carroll-invariant theories. These theories are derived directly from the bulk Lagrangian via the anomaly map, rather than being postulated.
Scope: The authors modestly note that while the explicit examples are restricted to constant curvature backgrounds (flat AdS and Minkowski), the general approach is applicable to full-fledged gravity and gauge fields on curved backgrounds, though the analysis of those specific cases is left for future work.

In summary, the paper provides a robust mathematical machinery to extract boundary gauge theories from bulk Lagrangian systems, successfully recovering known holographic anomalies in AdS and discovering new conformally invariant boundary dynamics in Minkowski space.

1. The Problem: The "Infinite" Edge

2. The Solution: A "Residue" Map

3. The Two New Rules

4. Real-World Examples (The Lab Tests)

5. The Big Picture

More like this