🔢 mathematics

AKSZ Construction for Shifted Contact Structures

This paper establishes the AKSZ theorem for shifted contact structures by introducing quotient mapping stacks to prove they inherit shifted contact properties, thereby defining derived analogues of topological field theories and generating cohomological contact extended topological field theories.

Original authors: Efe żzbudak, Kadri żlker Berktav

Published 2026-06-15

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Efe żzbudak, Kadri żlker Berktav

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 an architect trying to design a new kind of building, but instead of bricks and mortar, you are working with pure mathematics that describes shapes in "higher dimensions." This paper is about a specific blueprint for building these shapes, which the authors call the AKSZ construction, but they are applying it to a very tricky type of geometry called shifted contact structures.

Here is the story of what they did, explained without the heavy math jargon.

The Problem: The "Twisted" Map

In the world of these mathematical shapes, there is a standard way to create a new shape by taking all the possible ways to map one shape (let's call it the Source, like a piece of clay) into another shape (the Target, like a mold).

Usually, if your Target is a "symplectic" shape (a very balanced, smooth kind of geometry), this mapping process works perfectly. You get a new, beautiful shape out of it.

However, the authors found a problem when the Target is a contact shape.

The Analogy: Imagine the Target shape is a balloon that has a special, invisible string attached to every point on its surface. This string represents a "twist" or a "line bundle."
The Obstruction: When you try to map your Source (the clay) into this balloon, the math tries to pull all those strings together. But because the Source has volume (it's not just a flat sheet), the strings get tangled. The math says, "I can't make a single, clean line out of all these tangled strings."
The Result: The standard method fails. You cannot build the new shape directly because the "strings" (the twisting line bundle) don't line up correctly.

The Solution: The "Quotient" Trick

To fix this, the authors invented a clever workaround. Instead of trying to force the strings to line up on the original map, they decided to change the rules of the game.

Symplectification (Un-tangling): First, they imagine a "super-version" of the Target balloon. In this super-version, the strings are untangled and stretched out into a long, straight line. This is called the symplectification.
The Group Action (The Spin): They noticed that this super-version has a special property: you can spin the whole thing around a central axis (a mathematical action by a group called $G_m$ ).
The Quotient (The Filter): Instead of using the messy, tangled map, they built a new shape by taking the "super-version" map and dividing out the spinning.
- Analogy: Imagine you have a spinning top with a pattern on it. If you spin it fast, the pattern blurs. If you take a photo of the blur, you get a clean, symmetrical circle. The authors did this mathematically. They took the messy map, spun it, and looked at the "blur" (the quotient).
- The Result: This "blur" or Quotient Mapping Stack magically untangles the strings. It creates a perfect, new shape that has the "contact" structure they were looking for.

The "Weak" Version

The authors also asked: "What if the balloon didn't have those tricky strings at all?"

If the Target shape is simple enough that the strings are just straight and easy to handle (mathematically, "globally trivializable"), you can use the old, standard map.
However, even then, the new shape isn't a "perfect" contact shape. It's a "weak" version. It's like a shadow of the real thing—it has the general shape, but it lacks the sharp, perfect definition of the full version.

Boundaries and Gluing (The Puzzle Pieces)

Real-world physics and geometry often involve shapes with edges (boundaries).

Legendrian Morphisms: The authors showed that if you have a shape with a boundary, the way it connects to the rest of the universe follows a specific rule called a Legendrian morphism.
Analogy: Think of two puzzle pieces. If you try to glue them together, the edges must match perfectly. The authors proved that their new mathematical "glue" (the quotient mapping stack) ensures that when you join two shapes, the edges fit together in a way that preserves the special "contact" geometry.
Topological Gluing: They proved that if you glue two shapes together, the result is exactly the same as mathematically "intersecting" their edges. This allows them to build complex shapes out of simpler ones, like building a house out of bricks.

The "Master Equation" (The Blueprint Check)

In physics and advanced math, there is a rule called the Classical Master Equation (CME). Think of this as a quality control check. It ensures that the shape you built is stable and makes sense physically.

The authors proved that their new "Quotient Mapping Stack" passes this test. They showed that the "energy" or "flow" (mathematically, the transgression of a form) moves through the shape in a way that satisfies the equation. This means their construction isn't just a pretty picture; it's a functional, stable mathematical object.

Real-World Applications (The Models)

Finally, they used their new construction to build specific models that mathematicians and physicists care about:

The Jacobi Sigma Model: A model for a 2-dimensional surface (like a sheet of paper) interacting with a specific type of geometry.
The Courant-Jacobi Sigma Model: A model for a 3-dimensional space (like a room).
Loop Spaces: A model for paths (like a string moving through space).

They showed that their method works for all these different dimensions. Furthermore, they mentioned that by combining their geometric construction with a technique called "perverse linearization" (which they developed in a companion paper), they can turn these shapes into Extended Topological Field Theories.

Analogy: This is like taking their architectural blueprint and turning it into a machine that can calculate the "number" or "invariant" of a shape, which helps physicists understand the fundamental laws of the universe.

Summary

In short, the authors found that the standard way to build certain mathematical shapes fails because of "tangled strings." They fixed this by creating a new method: take a super-version of the shape, spin it, and look at the result. This new method, the Quotient Mapping Stack, successfully builds these shapes, handles boundaries correctly, passes all stability tests, and can be used to model complex physical theories.

Technical Summary: AKSZ Construction for Shifted Contact Structures

Problem Statement
The paper addresses the extension of the AKSZ (Alexandrov–Kontsevich–Schwartz–Zaboronsky) construction from derived symplectic geometry to the setting of shifted contact structures within derived algebraic geometry. While the AKSZ construction for shifted symplectic structures is well-established (Pantev, Toën, Vaquié, and Vezzosi [8]), a direct application to contact structures faces a fundamental obstruction in the derived setting.

In classical graded contact geometry, the AKSZ formalism often assumes a globally trivializable contact line bundle, allowing the space of maps $\text{Map}(Y, X)$ to inherit a weak contact structure. However, in derived algebraic geometry, derived contact stacks carry non-trivial twisting line bundles. The paper identifies that for an $n$ -shifted contact derived Artin stack $X$ and an $O$ -compact, $d$ -oriented derived stack $Y$ , the standard mapping stack $\text{Map}(Y, X)$ fails to admit a contact structure. This is because the required twisting line bundle on the mapping stack is constructed via the derived pushforward of the contact line bundle from the target. For a $d$ -oriented source, this pushforward yields a perfect complex with Tor-amplitude $[0, d]$ , whereas a contact structure requires a line bundle (a perfect complex of amplitude $[0, 0]$ ). This cohomological obstruction prevents the definition of a global contact structure on the unmodified mapping stack.

Methodology
To resolve this obstruction, the authors introduce a quotient mapping stack formalism, drawing an analogy to Symplectic Field Theory where moduli spaces are defined on the symplectification modulo the Liouville scaling action.

Symplectification and Quotient: The authors utilize the derived symplectification $\tilde{X} \to X$ , which is a principal $\mathbb{G}_m$ -bundle over the contact stack $X$ equipped with a weight 1, $n$ -shifted symplectic structure. They define the quotient mapping stack as:
$X_Y = [\text{Map}(Y, \tilde{X}) / \mathbb{G}_m]$
Here, the quotient is taken by the constant multiplicative group action ( $\mathbb{G}_m \hookrightarrow \text{Map}(Y, \mathbb{G}_m)$ ), which acts by scalar multiplication on the fibers of the target symplectification.
Transgression and Descent: The construction relies on the transgression of the symplectic form from $\tilde{X}$ to the mapping stack $\text{Map}(Y, \tilde{X})$ . By integrating the pullback of the symplectic form along the orientation of $Y$ , an $(n-d)$ -shifted symplectic structure is obtained on $\text{Map}(Y, \tilde{X})$ . Crucially, this form carries a weight 1 with respect to the $\mathbb{G}_m$ -action. The authors then apply the derived transversality theorem, which states that the quotient of a shifted symplectic stack by a weight 1 $\mathbb{G}_m$ -action descends the symplectic structure to a contact structure on the base.
Boundary and Gluing: The formalism is extended to stacks with boundary. The authors define derived fillings and demonstrate that restriction maps between quotient mapping stacks induce Legendrian morphisms. They further prove that the topological gluing of cobordisms corresponds to the derived intersection (homotopy pullback) of these Legendrian boundary conditions.
Master Equation: The paper establishes the transgression of the canonical contact 1-form and verifies that the resulting geometry satisfies the Derived Classical Master Equation (CME). This is achieved by showing that the induced contact distribution is non-degenerate, governed by the derived de Rham differential.

Key Contributions and Results

Theorem A (The Quotient Mapping Stack): Proves that if $X$ is an $n$ -shifted contact derived Artin stack and $Y$ is an $O$ -compact, $d$ -oriented derived stack, the quotient mapping stack $X_Y = [\text{Map}(Y, \tilde{X})/\mathbb{G}_m]$ admits an $(n-d)$ -shifted contact structure. This resolves the obstruction present in the unmodified mapping stack.
Theorem B (Weak Structures): Formalizes the notion of weak shifted contact structures. It proves that if the contact line bundle on $X$ is globally trivializable ( $L_X \simeq \mathcal{O}_X$ ), the unmodified mapping stack $\text{Map}(Y, X)$ inherits only a weak contact structure due to the non-trivial Tor-amplitude of the source's orientation class. This recovers and contextualizes results from graded contact geometry (Contreras et al. [3]) within the derived framework.
Theorem C & D (Legendrian Fillings and Topological Gluing): Establishes that derived fillings induce Legendrian morphisms between quotient mapping stacks. Furthermore, the quotient mapping stack of a homotopy pushout of cobordisms is canonically equivalent to the derived intersection of the corresponding Legendrian boundary conditions, formalizing topological gluing in the derived contact setting.
Theorem E & F (Transgression and CME): Demonstrates that the integration functional transgresses the canonical $n$ -shifted 1-form on $\tilde{X}$ to a weight 1, $(n-d)$ -shifted 1-form on the quotient stack. This form induces a non-degenerate distribution, satisfying the geometric requirements of the Derived Classical Master Equation.
Applications (Sigma Models): The authors define derived analogues of specific topological field theories by selecting specific dimensions for $n$ $n$ and $d$ $d$ :
- Derived Jacobi Sigma Model: $n=1, d=2$ (Target: 1-shifted contact stack; Source: 2-manifold).
- Derived Courant-Jacobi Sigma Model: $n=2, d=3$ (Target: 2-shifted contact stack; Source: 3-manifold).
- Derived Loop Space Integration: $n=1, d=1$ (Target: 1-shifted contact stack; Source: Circle), realizing the integration of Jacobi structures into derived contact groupoids.
Theorem G (Linearized ETFTs): By composing the geometric construction with "perverse linearization" (developed in a companion paper [7]), the authors elevate these moduli spaces to generate Cohomological Contact Extended Topological Field Theories (ETFTs). This maps topological cobordisms to linearized Legendrian spans, extracting numerical invariants via $\ell$ -adic vanishing cycles.

Significance
The paper claims to successfully transport the AKSZ-contact formalism into derived algebraic geometry, overcoming the algebraic obstructions inherent in the derived setting. By introducing the quotient mapping stack, it provides a rigorous geometric framework for defining shifted contact structures on moduli spaces of fields. This framework not only generalizes previous results on graded contact manifolds but also provides the necessary geometric data (Legendrian morphisms, gluing, and CME satisfaction) to construct Extended Topological Field Theories. The work bridges the gap between derived symplectic geometry and contact topology, offering a unified approach to topological field theories involving Jacobi and Courant-Jacobi structures.