---
title: Transversal Shifted Poisson Unfoldings
url: https://www.emergentmind.com/topics/transversal-shifted-poisson-unfoldings
type: topic
---

# Transversal Shifted Poisson Unfoldings

Transversal shifted Poisson unfoldings formalize the problem of transporting a family of shifted Poisson structures flatly over a parameter space, while allowing the Poisson Maurer–Cartan element to be preserved not strictly but up to coherent homotopy. In the controller-theoretic formulation, a relative derived stack \(p:X\to S\) endowed with a relative \(n\)-shifted Poisson structure \(\pi\) determines a Poisson transverse controller \(\mathbb U_\pi\), and the central classification statement identifies transversal shifted Poisson unfoldings with flat splittings of this controller [2607.05918]. Earlier work on shifted Lagrangian thickenings, derived foliations, and AKSZ constructions supplies the principal geometric background for this notion by showing that shifted Poisson data can be re-expressed as Lagrangian thickening data and propagated to mapping stacks with the expected degree shift [2506.23348][2601.04064].

## 1. Relative shifted Poisson data and the transport problem

The basic input is a family \(p:X\to S\) together with a relative \(n\)-shifted Poisson structure. In a strict affine chart \(X=\Spec A\), \(S=\Spec B\), the shifted polyvectors are defined by
\[
\Pol(A/B,n) := \prod_{q\ge 0} \underline{Hom}_A\!\left( \Sym_A^q\bigl(\mathbb L_{A/B}[n+1]\bigr),A \right),
\]
and the shifted dg Lie algebra is
\[
\mathfrak{pol}_n(A/B):=\Pol(A/B,n)[n+1].
\]
A relative \(n\)-shifted Poisson structure is a Maurer–Cartan element
\[
\pi\in \MC\bigl(F^2\mathfrak{pol}_n(A/B)\bigr),\qquad d\pi+\frac12[\pi,\pi]=0.
\]

Two complexes are distinguished from the outset. The Poisson deformation complex
\[
\mathfrak g^{\mathrm{def}_\pi}:=(F^2\mathfrak{pol}_n(A/B),d_\pi)
\]
controls genuine deformations of the Poisson tensor on the fixed family, while the extended Poisson complex
\[
\mathfrak g^{\mathrm{ext}_\pi}:=(F^1\mathfrak{pol}_n(A/B),d_\pi)
\]
also includes weight-one terms, namely relative vector fields or infinitesimal reparametrizations. Here \(d_\pi=d+[\pi,-]\).

| Object | Formula | Role |
|---|---|---|
| Poisson deformation complex | \(\mathfrak g^{\mathrm{def}_\pi}=(F^2\mathfrak{pol}_n(A/B),d_\pi)\) | Genuine deformations of \(\pi\) |
| Extended Poisson complex | \(\mathfrak g^{\mathrm{ext}_\pi}=(F^1\mathfrak{pol}_n(A/B),d_\pi)\) | Includes weight-one reparametrizations |
| Poisson transverse controller | \(\mathbb U_\pi=\hofib\!\left((\mathcal F_\pi/S)\to {}^{\mathrm{ext}_\pi}\Pois_n(X/S)\right)\) | Encodes transverse symmetries with coherent null-homotopy |

The inclusion of the weight-one part is decisive: a transverse transport problem needs it because changing a transverse lift by a relative vector field is part of the geometry. The guiding idea is therefore to separate deforming a Poisson structure fiberwise from transporting it transversely over the parameter space [2607.05918].

## 2. The Poisson transverse controller and homotopy stabilizers

The Poisson transverse controller is defined as the homotopy stabilizer of the Poisson Maurer–Cartan element under the ordinary transverse foliation controller,
\[
\mathbb U_\pi := \hofib\!\left( (\mathcal F_\pi/S) \longrightarrow {}^{\mathrm{ext}_\pi}\Pois_n(X/S) \right).
\]
Informally, \(\mathbb U_\pi\) is the object of transverse symmetries together with a homotopy proving that their induced infinitesimal effect on \(\pi\) is trivial.

This construction is an instance of a general mechanism. If a derived Lie algebra \(\mathfrak a\) acts on a filtered dg Lie algebra \(\mathfrak p\), and \(m\in \MC(\mathfrak p)\), then the derivative of the action gives
\[
v_m:\mathfrak a\to \mathfrak p^m[1], \qquad a\mapsto (-1)^{|a|}a\cdot m,
\]
and the homotopy stabilizer is \(\hofib(v_m)\). In the strict cone model, the stabilizer has underlying complex \(\mathfrak a\oplus \mathfrak p\) with differential
\[
d(a,\eta)=\bigl(da,\ d_m\eta-(-1)^{|a|}a\cdot m\bigr).
\]
A closed degree-zero element is therefore a pair \((a,\eta)\) such that the induced variation \(a\cdot m\) is null-homotopic via \(\eta\).

Applied to a shifted Poisson element \(\pi\), the condition becomes
\[
d_\pi\eta = D\pi.
\]
Thus a transverse symmetry \(D\) of the Hamiltonian foliation is permitted only together with a homotopy \(\eta\) certifying that the variation of \(\pi\) is \(d_\pi\)-exact. This is the precise sense in which the Poisson Maurer–Cartan element is preserved up to coherent homotopy. In strict affine models, \(\mathbb U_\pi\) becomes a crossed dg-Lie algebroid
\[
\mathbb U_\pi = \left[ \; j_\pi \colon \text{(inner cone data)} \to D^1_{bas,\pi}(X/S) \right] \longrightarrow_S,
\]
where \(D^1_{bas,\pi}(X/S)\) is the homotopy stabilizer of the action of basic derivations on \(\pi\) [2607.05918].

## 3. Flat splittings and the classification of unfoldings

For a derived Lie algebroid \(q:\mathbb U\to_S\), the derived space of flat splittings is denoted \(\Flat^{der}_S(_S,\mathbb U)\). A strict point is a section \(s:_S\to\mathbb U\) satisfying
\[
q\circ s=\id_{_S},\qquad [s(\xi),s(\zeta)]=s([\xi,\zeta]).
\]
A flat splitting is therefore an anchor splitting with zero curvature.

The geometric unfolding space is defined as the homotopy fiber of the Poisson variation map,
\[
\Unf^{tr}_{\Pois_n}(X/S,\pi) := \hofib_{0}(\operatorname{Var}_\pi).
\]
An unfolding consists of two pieces of data: a transverse unfolding of the Hamiltonian foliation, and a coherent null-homotopy of the induced variation of \(\pi\). Under controller-admissibility, the principal theorem identifies the two descriptions:
\[
\Unf^{tr}_{\Pois_n}(X/S,\pi) \simeq \Flat^{der}_S(_S,\mathbb U_\pi).
\]
Equivalently, transversal shifted Poisson unfoldings are exactly flat splittings of the Poisson transverse controller.

The local strict models refine this statement. In a strict affine chart, a flat splitting is represented by a section \(s\) with zero curvature. In a crossed or non-effective model, one may instead have a lift \(\widetilde s\) whose curvature lies in the image of the inner map:
\[
[\widetilde s(\xi),\widetilde s(\zeta)]-\widetilde s([\xi,\zeta]) = j_\pi\bigl(\Omega_{\widetilde s}(\xi,\zeta)\bigr),
\]
with Bianchi identity
\[
d_{\widetilde s}\Omega_{\widetilde s}=0.
\]
The effective quotient controller is
\[
\mathfrak u_\pi := D^1_{bas,\pi}(X/S)/j_\pi(\cdots),
\]
and in the effective case unfoldings reduce to ordinary flat sections of \(\mathfrak u_\pi\) [2607.05918].

## 4. Classical transport, vertical symmetries, and local deformation theory

A flat splitting transports more than the Poisson tensor itself. If \(s(\xi)=(D_\xi,\eta_\xi)\), then the induced connection on twisted polyvectors is
\[
\nabla^\pi_\xi = {}_{D_\xi}+\operatorname{ad}_{\eta_\xi}.
\]
This corrected operator is necessary because the naive derivation \(D_\xi\) alone does not commute with \(d_\pi\); the homotopy correction \(\operatorname{ad}_{\eta_\xi}\) cancels the anomaly.

The same splitting acts on the vertical kernel \(\mathbb K_\pi=\fib(\mathbb U_\pi\to_S)\) by the adjoint action,
\[
\nabla^s_\xi(k)=[s(\xi),k].
\]
As a consequence, flat transport is induced on the vertical symmetry sheaf, the full twisted polyvector complex, the deformation complex, and the Poisson cohomology sheaves. The formal deformation theory of a flat splitting \(s\) is controlled by
\[
\mathfrak{Def}_{\pi,s} := \mathbf R\Gamma\bigl(S,C^\bullet_{\mathrm{CE}(_S;\mathbb K_{\pi,s})\bigr),
\]
or, in a smooth de Rham model,
\[
\Tot(\Omega_S^\bullet\otimes \mathbb K_{\pi,s}).
\]
Its cohomology gives the standard tangent-obstruction hierarchy:
\[
H^0 \text{: infinitesimal automorphisms},\qquad
H^1 \text{: first-order deformations},\qquad
H^2 \text{: primary obstructions}.
\]

This establishes that a transversal shifted Poisson unfolding is not merely a method for selecting compatible fibers. It acts on vertical symmetries, Poisson cohomology, and local deformation theory, and in the smooth proper classical case it recovers the Gauss–Manin connection [2607.05918].

## 5. \(\hslash\)-adic lifting and transport anomalies

The quantized problem is formulated as a lifting problem for transport rather than as fiberwise quantization alone. The quantum question is not merely to quantize each fiber, but to lift a flat classical unfolding to a flat quantum unfolding. One assumes an \(\hslash\)-adically complete quantized object with a filtered quantum symmetry extension whose classical limit is the classical controller. A quantized unfolding is then a flat lift
\[
\widetilde s:_S\to \mathbb U_{\pi}^{\hbar}
\]
of the classical splitting \(s\).

For a partial lift modulo \(F^{r+1}\), the next obstruction lies in the associated graded vertical kernel:
\[
\mathfrak{Obs}^{(r+1)}_{s_r} = \mathbf R\Gamma\!\left( S, C^\bullet_{\CE}\bigl(_S;\gr^{r+1}\mathbb K\bigr)_{s_r} \right),
\]
and the main obstruction class is
\[
\mathfrak a_{r+1}(s_r) \in H^2\bigl(\mathfrak{Obs}^{(r+1)}_{s_r}\bigr).
\]
This degree-two class is the transport anomaly. It vanishes if and only if the lift extends one more order; if it vanishes, extensions form a torsor under \(H^1\); infinitesimal automorphisms are governed by \(H^0\).

The Bianchi identity ensures that the curvature defect is closed, and changing the partial lift shifts it by a coboundary. Accordingly, the obstruction theory is the standard filtered Maurer–Cartan obstruction theory interpreted as anomaly theory for transport. This makes anomaly questions intrinsic to the unfolding formalism rather than external corrections appended after quantization [2607.05918].

## 6. Geometric antecedents: Lagrangian thickenings, foliations, and AKSZ

The controller-theoretic notion emerged against a background in which shifted Poisson structures were progressively identified with geometric thickening data. For derived schemes locally of finite presentation over a field \(k\) of characteristic \(0\), the main theorem of "Shifted Lagrangian thickenings of shifted Poisson derived schemes" establishes the equivalence
\[
Pois(X,n)\simeq LagThick(X,n+1).
\]
In that framework, a shifted Poisson structure produces a derived foliation
\[
F = \left( Pol(X,n), \{ \pi,-\} \right),
\]
whose formal integration yields a formal thickening
\[
\pi : X \to [X/F].
\]
The key intermediate theorem identifies isotropic, and under perfectness assumptions Lagrangian, structures on the foliation side with those on the formal leaves prestack side. As a corollary, if \(M\) is a compact oriented \(d\)-dimensional manifold and \(X\) carries an \(n\)-shifted Poisson structure, then \(\mathrm{Map}(M,X)\) has an \((n-d)\)-shifted Poisson structure [2506.23348].

The paper "AKSZ construction for shifted Poisson structures" extends this picture to derived prestacks having a deformation theory and proves the Poisson analogue of the AKSZ theorem: if \(X\) is an \(n\)-shifted derived Poisson formal prestack, \(Y\) is a \(d\)-oriented prestack, and the mapping prestack \((Y,X)\) is locally of finite presentation, then \((Y,X)\) carries a natural \((n-d)\)-shifted Poisson structure. The technical bridge is the equivalence
\[
Pois(X,n)\simeq LagThick(X,n+1),
\]
now proved for formal prestacks, together with the passage from a Poisson structure on \(X\) to an \((n+1)\)-shifted Lagrangian thickening and back after applying the mapping-stack functor. The same work also extends the nondegenerate equivalence
\[
Pois^{nd}(X,n)\simeq Symp(X,n)
\]
to prestacks with deformation theory and local finite presentation, and gives applications to mapping stacks with non-proper source and to the BV formalism [2601.04064].

The deeper foundations go back to the identification of non-degenerate \(n\)-shifted Poisson and \(n\)-shifted symplectic structures on derived Artin \(N\)-stacks, together with the compatible-pairs and obstruction-tower formalism of "Shifted Poisson and symplectic structures on derived \(N\)-stacks" [1504.01940]. Safronov’s "Lectures on shifted Poisson geometry" further organizes the subject around polyvector Maurer–Cartan models, additivity, relative/coisotropic structures, and intersection theorems producing lower-shifted Poisson structures on derived intersections [1709.07698]. These works do not define transversal shifted Poisson unfoldings as a standalone notion. This suggests, however, that the later unfolding formalism can be read as a transport-theoretic refinement of an existing equivalence between Poisson data, foliation data, coisotropic data, and Lagrangian thickening data.

## 7. Applications, scope, and terminological boundaries

The controller framework is realized in several concrete settings. For star-products, the controller becomes the crossed Lie algebra
\[
\mathbb U^\star_{\pi} = \left[ A_\hbar \xrightarrow{\hbar^{-1}\operatorname{ad}_\star} D^1_{\star,bas}(A_\hbar/S) \right],
\]
and a flat splitting gives flat transport of star-products, with induced flat connections on Hochschild and cyclic complexes. For BV observables, a flat unfolding gives the corrected transport operator
\[
\nabla^{\mathrm{BV}}_\xi = D_\xi+\{H_\xi,-\}_\omega,
\]
which commutes with the BV differential and transports classical BV cohomology, quantum BV observables, and factorization algebra structures. If observables assemble into a factorization algebra, the transport preserves factorization products. AKSZ transgression is formal and functorial, so a target-side stabilizer \((D,\lambda)\) transgresses to \((D_M,\Tr_M\lambda)\), and a target flat unfolding transgresses to a flat unfolding of the mapping-stack theory. For the Poisson sigma model, the AKSZ target is \(T^*[1](N/S)\) with Hamiltonian
\[
\Theta_\pi=\frac12\pi^{ij}(x)p_ip_j,
\]
and if the transport anomalies vanish then the Cattaneo–Felder/Kontsevich boundary product is horizontal over the parameter space:
\[
\nabla_\xi(f\star_\pi g) = \nabla_\xi(f)\star_\pi g + f\star_\pi\nabla_\xi(g).
\]
A particularly clean anomaly-free example is provided by a flat bundle of Lie algebras \(\mathfrak g\to S\), whose dual bundle carries a fiberwise linear Poisson structure and whose Rees enveloping algebra \(U_\hbar(\mathfrak g)\) gives a flat quantization [2607.05918].

Several misconceptions are thereby excluded. A transversal shifted Poisson unfolding is not simply the deformation theory of \(\pi\); it is a theory of transport of \(\pi\) along the base. It is also not identical with nondegeneracy, coisotropicity, or AKSZ transgression taken separately, although it interacts with all of them. Conversely, earlier foundational papers in shifted Poisson geometry provide the necessary Maurer–Cartan, foliation, and Lagrangian apparatus, but they do not themselves define the controller-theoretic notion of transversal unfolding [1504.01940][1709.07698].

A further terminological boundary is supplied by an unrelated statistical literature on Poisson processes with shifted trajectories. In that setting, the problem is the adaptive estimation of a non-homogeneous Poisson intensity from independent trajectories with random shifts, and the resulting inverse problem is a deconvolution or unfolding problem controlled by the shift density and analyzed over Besov balls by Meyer-wavelet thresholding. That use of “shifted” and “unfolding” concerns random misalignment of counting-process intensities, not shifted Poisson structures in derived geometry [1105.3625].

Source: https://www.emergentmind.com/topics/transversal-shifted-poisson-unfoldings