Strictification and gluing of Lagrangian distributions on derived schemes with shifted symplectic forms

The Big Picture

Imagine trying to flatten a crumpled piece of paper. In any small patch, you can iron out the wrinkles. But if the paper is folded into a sphere, no amount of local flattening produces a single smooth, flat sheet. This tension between local and global structure runs through both mathematics and physics.

Now imagine the “paper” is a mathematical space encoding all solutions to a system of equations, and “flattening” means imposing a consistent organizing structure across the whole space at once.

Dennis Borisov, Ludmil Katzarkov, Artan Sheshmani, and Shing-Tung Yau tackle a deep problem in derived algebraic geometry, a branch of modern mathematics that handles spaces built from equations with hidden symmetries and higher-order structure. The question: can you always find a globally consistent Lagrangian distribution on such a space? That means a coherent way of splitting it into two complementary halves, like separating positions from momenta in classical physics. The machinery driving the proof is a shifted symplectic structure, a generalization of the mathematical form encoding that position-momentum pairing. Under natural conditions, the answer is yes.

These geometric structures show up on moduli spaces of sheaves on Calabi-Yau 4-folds, which are mathematical catalogs of all possible field configurations in certain string-theoretic settings. A globally consistent Lagrangian distribution gives new tools for computing invariants of these spaces (counting geometric objects rigorously and with correct signs), with direct implications for Donaldson-Thomas theory and the mathematics of Spin(7)-instantons.

Key Insight: Any derived scheme carrying a −2-shifted symplectic structure, under mild topological conditions on its classical points, admits a globally defined Lagrangian distribution. This solves a problem that previously had only local solutions.

How It Works

In classical mechanics, phase space tracks all possible positions and momenta of a physical system. It carries a symplectic form: a mathematical structure pairing each position coordinate with its corresponding momentum. A Lagrangian subspace is a “half-dimensional” subspace on which this pairing vanishes, like fixing all positions while letting momenta vary freely. In physics, Lagrangian submanifolds encode solutions to equations of motion.

Derived schemes generalize ordinary geometric spaces defined by polynomial equations by incorporating higher-order homotopy information. They show up when intersecting spaces or studying moduli problems where objects carry automorphisms. On these derived spaces, the symplectic form gets “shifted”: instead of being an ordinary 2-form, it lives in a degree shifted by an integer, and the conditions of being closed and non-degenerate hold only up to homotopy. The relevant case here, a −2-shifted symplectic structure, appears on moduli spaces of sheaves on Calabi-Yau 4-folds.

The core difficulty is that shifted symplectic forms are inherently “floppy,” defined up to higher homotopies, with different local representations that may not obviously fit together globally. A 2016 local Darboux theorem by Brav, Bussi, and Joyce showed that any negatively shifted symplectic form can be locally strictified (rewritten in canonical coordinates where the homotopies disappear, analogous to the standard $dq \wedge dp$ form from classical mechanics). But that result was local only.

The new paper settles the global question through two interlocking results:

1. Local strictification of isotropic distributions. The authors work with purely derived foliations, distributions confined entirely to the higher-order, non-classical part of the geometry. For such distributions equipped with an isotropic structure (the Lagrangian condition formulated up to homotopy), they prove that an equivalent distribution in canonical strict form always exists locally.

2. Gluing via partition of unity. The global result assembles these local pieces by showing that the sheaf of purely derived Lagrangian foliations is a soft sheaf. A sheaf is soft when its local sections can always be patched together globally using partitions of unity, which guarantees that global sections exist.

The Hausdorff condition on the space of classical points is doing real work here: it ensures the topological machinery for constructing partitions of unity applies.

The strictification result also works for homotopically closed forms that aren’t symplectic. When passing from a derived scheme to a derived stack (say, by quotienting by a group action), the symplectic structure lives on the quotient while the scheme underneath carries only a homotopically closed form. The authors’ framework handles this intermediate situation, which is what makes the result applicable to the physically relevant moduli spaces defined as quotient stacks.

Why It Matters

The motivating application comes from the geometry of Calabi-Yau 4-folds: complex 4-dimensional manifolds with vanishing first Chern class, the setting for certain compactifications in string theory. Donaldson and Thomas proposed using the top holomorphic form on such a manifold to define anti-self-dual instantons, discarding some curvature conditions to obtain a determined elliptic system. The moduli spaces of SU(4)-connections and Spin(7)-instantons (the latter using octonionic geometry) turn out to be set-theoretically isomorphic.

Dominic Joyce’s program aims to replicate this correspondence in algebraic geometry, producing compactified moduli spaces with virtual fundamental classes. These are the tools needed to define enumerative invariants that count instantons rigorously with correct signs. The −2-shifted symplectic structure is central to that program.

A globally defined Lagrangian distribution means the relevant moduli space can be written as a derived critical locus of a degree −1 potential globally, not just locally. That is the algebraic-geometric analog of the gauge-theoretic structure making Spin(7) instanton theory tractable. It opens the door to computing Donaldson-Thomas type invariants for Calabi-Yau 4-folds, a problem at the boundary of both pure mathematics and mathematical physics. It also shows how homotopy-algebraic techniques can resolve global geometric problems that classical methods cannot touch.

Bottom Line: By proving that Lagrangian distributions on −2-shifted symplectic derived schemes are globally constructible, this work provides the geometric foundation for rigorously defining and computing instanton invariants on Calabi-Yau 4-folds, advancing the Joyce program connecting algebraic geometry to gauge theory.