nLab symplectic infinity-groupoid

Contents

under construction

Context

Symplectic geometry

\infty-Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

A symplectic \infty-groupoid is a smooth ∞-groupoid equipped with a symplectic form, or, more generally, with an n-plectic form.

This is the generalization of the notion of symplectic manifold to higher symplectic geometry. It is also the image under Lie integration of the notion of symplectic L-∞ algebroid, which is also a higher analog of symplectic manifolds, but in an infinitesimal way.

Notice that every symplectic manifold is in particular a Poisson manifold and that the structure of a Poisson manifold is equivalently encoded in the corresponding Poisson Lie algebroid. A symplectic groupoid is the Lie integration of such a Poisson Lie algebroid. Therefore, strictly speaking, already “ordinary” symplectic geometry secretly involves Lie groupoids. This insight is exploited in the refinement of geometric quantization of symplectic groupoids.

Definition

For any nn \in \mathbb{N}, a symplectic Lie n-algebroid (𝔓,ω)(\mathfrak{P}, \omega) is an L-∞ algebroid 𝔓\mathfrak{P} that is equipped with a quadratic and non-degenerate L L_\infty-invariant polynomial.

Under Lie integration 𝔓\mathfrak{P} integrates to a smooth n-groupoid τ nexp(𝔓)\tau_n \exp(\mathfrak{P}). Under the ∞-Chern-Weil homomorphism the invariant polynomial induces an differential form on an ∞-groupoid

ω:τ nexp(𝔓) dRB n+2 \omega : \tau_n \exp(\mathfrak{P}) \to \flat_{dR} \mathbf{B}^{n+2} \mathbb{R}

representing a class [ω]H dR n+2(τ nexp(𝔓))[\omega] \in H^{n+2}_{dR}(\tau_n \exp(\mathfrak{P})).

Let

SymplSmoothGrpdSmoothGrpd/( n dRB n+2) SymplSmooth\infty Grpd \hookrightarrow Smooth\infty Grpd/(\coprod_{n}\mathbf{\flat}_{dR}\mathbf{B}^{n+2}\mathbb{R})

be the full sub-(∞,1)-category of the over-(∞,1)-topos of Smooth∞Grpd over the de Rham coefficient objects on those objects in the image of this construction.

We say an object on SymplSmoothGrpdSymplSmooth \infty Grpd is a symplectic smooth \infty-groupoid.

(There are evident variations of this for the ambient Smooth∞Grpd replaced by some variant, such as SynthDiff∞Grpd or SmoothSuper∞Grpd.)

Examples

The symplectic form ω\omega on a symplectic Lie n-algebroid 𝔞\mathfrak{a} is Lie theoretically an invariant polynomial. Therefore by infinity-Chern-Weil theory it induces a moprhism

exp(ω):τ nexp(𝔞) dRB n+2 \exp(\omega) : \tau_n\exp(\mathfrak{a}) \to \mathbf{\flat}_{dR} \mathbf{B}^{n+2} \mathbb{R}

from the Lie integration of 𝔞\mathfrak{a} to the de Rham coefficient object: this is an (n+2)(n+2)-form on a smooth ∞-groupoid (as discussed at smooth ∞-groupoid – structures – de Rham cohomology) and hence equips exp(𝔞)\exp(\mathfrak{a}) with the structure of a symplectic \infty-groupoid.

We spell this out in some special cases.

n=0n = 0 – Symplectic manifolds

A symplectic Lie 0-algebroid is simply a symplectic manifold, and so is its Lie integration.

n=1n = 1 – Symplectic groupoids from Poisson Lie algebroids

We discuss the Lie integration of Poisson Lie algebroids to symplectic groupoids. For more details and applications of this see at extended geometric quantization of 2d Chern-Simons theory.

Let 𝔓\mathfrak{P} be the Poisson Lie algebroid corresponding to a Poisson manifold that comes from a symplectic manifold (X,ω)(X,\omega).

The symplectic groupoid associated to this is (by the discussion there) supposed to be the fundamental groupoid Π 1(X)\Pi_1(X) of XX equipped on its space of morphisms with the differential form p 1 *ωp 2 *ωp_1^* \omega - p_2^* \omega, where p 1,p 2p_1,p_2 are the two endpoint projections from paths in XX to XX.

We demonstrate in the following how this is indeed the result of applying the ∞-Chern-Weil homomorphism to this situation.

For simplicity we shall start with the simple situation where (X,ω)(X,\omega) has a global Darboux coordinate chart {x i}\{x^i\}. Write {ω ij}\{\omega_{i j}\} for the components of the symplectic form in these coordinates, and {ω ij}\{\omega^{i j}\} for the components of the inverse.

Then the Chevalley-Eilenberg algebra CE(𝔓)CE(\mathfrak{P}) is generated from {x i}\{x^i\} in degree 0 and { i}\{\partial_i\} in degree 1, with differential given by

d CEx i=ω ij j d_{CE} x^i = - \omega^{i j} \partial_j
d CE i=π jkx i j k=0. d_{CE} \partial_i = \frac{\partial \pi^{j k}}{\partial x^i} \partial_j \wedge \partial_k = 0 \,.

The differential in the corresponding Weil algebra is hence

d Wx i=ω ij j+dx i d_{W} x^i = - \omega^{i j} \partial_j + \mathbf{d}x^i
d W i=d i. d_{W} \partial_i = \mathbf{d} \partial_i \,.

By the discussion at Poisson Lie algebroid, the symplectic invariant polynomial is

ω=dx id iW(𝔓). \mathbf{\omega} = \mathbf{d} x^i \wedge \mathbf{d} \partial_i \in W(\mathfrak{P}) \,.

Clearly it is useful to introduce a new basis of generators with

i:=ω ij j. \partial^i := -\omega^{i j} \partial_j \,.

In this new basis we have a manifest isomorphism

CE(𝔓)=CE(𝔗X) CE(\mathfrak{P}) = CE(\mathfrak{T}X)

with the Chevalley-Eilenberg algebra of the tangent Lie algebroid of XX.

Therefore the Lie integration of 𝔓\mathfrak{P} is the fundamental groupoid of XX, which, since we have assumed global Darboux oordinates and hence contractible XX, is just the pair groupoid:

τ 1exp(𝔓)=Π 1(X)=(X×Xp 1p 2X). \tau_1 \exp(\mathfrak{P}) = \Pi_1(X) = (X \times X \stackrel{\overset{p_2}{\to}}{\underset{p_1}{\to}} X) \,.

It remains to show that the symplectic form on 𝔓\mathfrak{P} makes this a symplectic groupoid.

Notice that in the new basis the invariant polynomial reads

ω =ω ijdx id j =d(ω ij idx j) \begin{aligned} \mathbf{\omega} &= - \omega_{i j} \mathbf{d}x^i \wedge \mathbf{d} \partial^j \\ & = \mathbf{d}( \omega_{i j} \partial^i \wedge \mathbf{d}x^j) \end{aligned}

and that we may regard this as a morphism of L L_\infty-algebroids

ω:𝔗𝔓𝔗b 3 \mathbf{\omega} : \mathfrak{T}\mathfrak{P} \to \mathfrak{T}b^3 \mathbb{R}

The corresponding infinity-Chern-Weil homomorphism that we need to compute is given by the ∞-anafunctor

exp(𝔓) diff exp(ω) exp(b) dR Δ dRB 3 exp(𝔓). \array{ \exp(\mathfrak{P})_{diff} &\stackrel{\exp(\mathbf{\omega})}{\to}& \exp(b \mathbb{R})_{dR} &\stackrel{\int_{\Delta^\bullet}}{\to}& \mathbf{\flat}_{dR}\mathbf{B}^3 \mathbb{R} \\ \downarrow^{\mathrlap{\simeq}} \\ \exp(\mathfrak{P}) } \,.

Over a test space UU in degree 1 an element in exp(𝔓) diff\exp(\mathfrak{P})_{diff} is a pair (X i,η i)(X^i, \eta^i)

X iC (U×Δ 1) X^i \in C^\infty(U \times \Delta^1)
η iΩ vert 1(U×Δ 1) \eta^i \in \Omega^1_{vert}(U \times \Delta^1)

subject to the verticality constraint, which says that along Δ 1\Delta^1 we have

d Δ 1X i+η Δ 1 i=0. d_{\Delta^1} X^i + \eta^i_{\Delta^1} = 0 \,.

The vertical morphism exp(𝔓) diffexp(𝔓)\exp(\mathfrak{P})_{diff} \to \exp(\mathfrak{P}) has in fact a section whose image is given by those pairs for which η i\eta^i has no leg along UU. We therefore find the desired form on exp(𝔓)\exp(\mathfrak{P}) by evaluating the top morphism on pairs of this form.

Such a pair is taken by the top morphism to

(X i,η j) Δ 1ω ijF X iF j = Δ 1ω ij(d dRX i+η i)d dRη jΩ 3(U). \begin{aligned} (X^i, \eta^j) & \mapsto \int_{\Delta^1} \omega_{i j} F_{X^i} \wedge F_{\partial^j} \\ & = \int_{\Delta^1} \omega_{i j} (d_{dR} X^i + \eta^i) \wedge d_{dR} \eta^j \in \Omega^3(U) \end{aligned} \,.

Using the above verticality constraint and the condition that η i\eta^i has no leg along UU, this becomes

= Δ 1ω ijd UX id Ud Δ 1X j. \cdots = \int_{\Delta^1} \omega_{i j} d_U X^i \wedge d_U d_{\Delta^1} X^j \,.

By the Stokes theorem the integration over Δ 1\Delta^1 yields

=ω ijd dRx iη j| 0ω ijd dRx iη j| 1. \cdots = \omega_{i j} d_{dR} x^i \wedge \eta^j|_{0} - \omega_{i j} d_{dR} x^i \wedge \eta^j|_{1} \,.

This completes the proof.

n=2n = 2 – Symplectic 2-groupoids from Courant Lie 2-algebroids

Geometric quantization of symplectic \infty-groupoids

Idea

The notion of symplectic manifold formalizes in physics the concept of a classical mechanical system . The notion of geometric quantization of a symplectic manifold is one formalization of the general concept in physics of quantization of such a system to a quantum mechanical system .

Or rather, the notion of symplectic manifold does not quite capture the most general systems of classical mechanics. One generalization requires passage to Poisson manifolds . The original methods of geometric quantization become meaningless on a Poisson manifold that is not symplectic.

However, a Poisson structure on a manifold XX is equivalent to the structure of a Poisson Lie algebroid 𝔓\mathfrak{P} over XX. This is noteworthy, because the latter is again symplectic, as a Lie algebroid, even if the underlying Poisson manifold is not symplectic: it is a symplectic Lie algebroid .

Based on related observations it was suggested that the notion of symplectic groupoid (see the references there) should naturally replace that of symplectic manifold for the purposes of geometric quantization to yield a notion of geometric quantization of symplectic groupoids .

Since a symplectic manifold can be regarded as a symplectic Lie 0-algebroid and also as a symplectic smooth 0-groupoid, this step amounts to a kind of categorification of symplectic geometry.

More or less implicitly, there has been strong evidence that this shift in perspective is substantial: the deformation quantization (see there for references) of a Poisson manifold turns out to be constructible in terms of correlators of the 2-dimensional TQFT called the Poisson sigma-model associated with the corresponding Poisson Lie algebroid. The fact that this is 2-dimensional and not 1-dimensional, as the quantum mechanical system that it thus encodes, is a direct reflection of this categorification shift of degree – see holographic principle for more on this.

On general abstract grounds this already suggests that it makes sense to pass via higher categorification further to symplectic Lie 2-algebroids, and generally symplectic Lie n-algebroids, as well as to symplectic 2-groupoids, symplectic 3-groupoids, etc. up to symplectic \infty-groupoids.

Formal hints for such a generalization had been noted in (Ševera), in particular in its concluding table. More indirect – but all the more noteworthy – hints came from quantum field theory, where it was observed that a generalization of symplectic geometry to multisymplectic geometry of degree nn more naturally captures the description of nn-dimensional QFT (notice that quantum mechanics may be understood as (0+1)(0+1)-dimensional QFT). For, observe that the symplectic form on a symplectic Lie n-algebroid is, while always “binary”, nevertheless a representative of de Rham cohomology in degree (n+2)(n+2).

There is a natural formalization of these higher symplectic structures in the context of any cohesive (∞,1)-topos. Moreover, with (FRS) we may observe that symplectic forms on L-∞ algebroids have a natural interpretation in ∞-Lie theory: they are L L_\infty-invariant polynomials. This means that the ∞-Chern-Weil homomorphism applies to them.

We shall show below that all notions of geometric quantization of symplectic \infty-groupoids have a natural interpretation in terms of these canonical structures. For instance the higher “prequantum line bundle” is nothing but the circle n-bundle with connection that the ∞-Chern-Weil homomorphism assigns to the symplectic form, regarded as an L L_\infty-invariant polynomial, and the corresponding “holographicTQFT – the AKSZ sigma-model – is that given by the induced ∞-Chern-Simons functional.

Prequantum circle (n+1)(n+1)-bundle

Idea

What is called (geometric) prequantization is a refinement of symplectic 2-forms to curvature 2-forms on a line bundle with connection. This is called a choice of prequantum line bundle for the given symplectic form.

This has an evident generalization to closed forms of degree (n+2)(n+2). If integral, these may be refined to a curvature (n+2)(n+2)-form on a circle n-bundle with connection . Since in the context of smooth ∞-groupoids we can have circle nn-bundles over other smooth \infty-groupoids, this means that we canonically have the notion of prequantum circle (n+1)(n+1)-bundles on a symplectic nn-groupoid.

Moreover, since, as discussed above, the symplectic form on a symplectic nn-groupoid may be regarded as the image of an invariant polynomial under the unrefined ∞-Chern-Weil homomorphism

ω:X dRB n+2, \omega : X \to \mathbf{\flat}_{dR} \mathbf{B}^{n+2}\mathbb{R} \,,

the passage to the prequantum (n+1)(n+1)-bundle with connection corresponds to passing to the refined ∞-Chern-Weil homomorphism

ω^:XB n+1U(1) conn \hat \omega : X \to \mathbf{B}^{n+1}U(1)_{conn}

(as discussed there).

Definition

Let (X,ω)(X, \omega) be a symplectic \infty-groupoid. Then ω\omega represents a class

[ω]H dR n+2(X). [\omega] \in H^{n+2}_{dR}(X) \,.

We say this form is integral if it is in the image of the curvature-projection

curv:H diff n+1(X,U(1))H dR n+2(X) curv : H^{n+1}_{diff}(X,U(1)) \to H^{n+2}_{dR}(X)

from the ordinary differential cohomology of XX.

In this case we say a prequantum circle (n+1)-bundle with connection for (X,ω)(X,\omega) is a lift of ω\omega to H diff(X,B n+1U(1))\mathbf{H}_{diff}(X, \mathbf{B}^{n+1}U(1)).

Write X^X\hat X \to X for the underlying circle (n+1)-group-principal ∞-bundle.

Proposition

If (X,ω)(X, \omega) indeed comes from the Lie integration of a symplectic Lie n-algebroid (𝔓,ω)(\mathfrak{P}, \omega) such that the periods of the L-∞ cocycle π\pi that ω\omega transgresses to are integral, then X^\hat X is the Lie integration of the L-∞ extension

b n𝔓^𝔓 b^{n}\mathbb{R} \to \hat \mathfrak{P} \to \mathfrak{P}

classified by π\pi:

X^τ n+1exp(𝔓^). \hat X \simeq \tau_{n+1} \exp(\hat \mathfrak{P}) \,.

Examples

n=1n= 1 – Ordinary prequantum line bundle

See geometric quantization of symplectic groupoids.

n=2n = 2 – String Lie 2-algebra

For 𝔤\mathfrak{g} a semisimple Lie algebra with quadratic invariant polynomial ω\omega, the pair (b𝔤,ω)(b \mathfrak{g}, \omega) is a symplectic Lie 2-algebroid (Courant Lie 2-algebroid) over the point.

In this case the infinitesimal prequantum line 2-bundle is the delooping of the string Lie 2-algebra

b^𝔤b𝔰𝔱𝔯𝔦𝔫𝔤 \widehat b \mathfrak{g} \simeq b \mathfrak{string}

and the prequantum circle 2-group principal 2-bundle is the delooping of the smooth string 2-group

(X^X)=(BStringBG). (\hat X \to X) = (\mathbf{B}String \to \mathbf{B}G) \,.

Poisson L L_\infty-algebras

Idea

A Hamiltonian vector field on an ordinary symplectic manifold is a vector field vv whose contraction with the symplectic form yields an exact form

ι vω=dα. \iota_v \omega = d \alpha \,.

This definition generalizes verbatim to n-plectic geometry.

We observe below that this condition is equivalent to the fact that the flow exp(v):XX\exp(v) : X \to X of vv preserves the connection on any prequantum line bundle, up to homotopy (up to gauge transformation). In this form the definition has an immediate generalization to symplectic nn-groupoids.

Definition

Definition

Let ω:X dRB n+2U(1)\omega : X \to \mathbf{\flat}_{dR} \mathbf{B}^{n+2} U(1) be a symplectic (n1)(n-1)-groupoid and let

ω^:XB n+2U(1) conn \hat \omega : X \to \mathbf{B}^{n+2} U(1)_{conn}

be a prequantization circle n-bundle with connection.

Regard it as an object in the over-(∞,1)-topos H/B n+2U(1) conn\mathbf{H}/\mathbf{B}^{n+2}U(1)_{conn}.

Consider the internal automorphism ∞-group

Aut̲ H/B n+1U(1) conn(X)H \underline{Aut}_{\mathbf{H}/\mathbf{B}^{n+1}U(1)_{conn}}(X) \in \mathbf{H}

of auto-equivalences that respect the ∞-connection that refines ω\omega.

Examples

Ordinary Hamiltonian vector fields

Proposition

For ω:X dRB 2U(1)\omega : X \to \mathbf{\flat}_{dR} \mathbf{B}^2 U(1) an ordinary symplectic manifold, regarded as a symplectic 0-groupoid, the general definition reproduces the standard notion of Hamiltonian vector fields.

Proof

An Hamiltonian diffeomorphism is given by a diagram

X ϕ X ω^ α ω^ BU(1) conn, \array{ X &&\stackrel{\phi}{\to} && X \\ & {}_{\mathllap{\hat \omega}}\searrow &\swArrow_{\alpha}& \swarrow_{\mathrlap{\hat \omega}} \\ && \mathbf{B} U(1)_{conn} } \,,

where ϕ\phi is an ordinary diffeomorphism. To compute the Lie algebra of this, we need to consider smooth 1-parameter families of such and differentiate them.

Assume first that the connection 1-form in ω^\hat \omega is globally defined AΩ 1(X)A \in \Omega^1(X) with dA=ωd A = \omega. Then the above diagram is equivalent to

(ϕ(t) *AA)=dα(t), (\phi(t)^* A - A) = d \alpha(t) \,,

where α(t)C (X)\alpha(t) \in C^\infty(X). Differentiating this at 0 yields the Lie derivative

vA=dα, \mathcal{L}_v A = d \alpha' \,,

where vv is the vector field of which tϕ(t)t \mapsto \phi(t) is the flow.

By Cartan calculus this is

dι vA+ι vd dRA=dα d \iota_v A + \iota_v d_{dR} A = d \alpha'

hence

ι vω=d(αι vA). \iota_v \omega = d (\alpha' - \iota_v A) \,.

This says that for vv to be Hamiltonian, its contraction with ω\omega must be exact. This is precisely the definition of Hamiltonian vector fields. The corresponding Hamiltonian here is αι vA\alpha'-\iota_v A.

In the general case that the prequantum circle n-bundle with connection is not trivial, we can present it by a Cech cocycle on the Cech nerve C(P *XX)C(P_* X \to X) of the based path space surjective submersion (regarding P *XP_* X as a diffeological space and choosing one base point per connected component, or else assuming without restriction that XX is connected).

Any diffeomorphism ϕ=exp(v):XX\phi = \exp(v) : X \to X lifts to a diffeomorphism P *ϕ:P *XP *X P_*\phi : P_* X \to P_* X by setting P *ϕ(γ):(t[0,1])exp(tv)(γ(t))P_* \phi(\gamma) : (t \in [0,1]) \mapsto \exp(t v)(\gamma(t)).

So we get a diagram

C(P *X) P *ϕ C(P *X) ω^ α ω^ BU(1) conn \array{ C(P_* \to X) &&\stackrel{P_*\phi}{\to} && C(P_* \to X) \\ & {}_{\mathllap{\hat \omega}}\searrow &\swArrow_{\alpha}& \swarrow_{\mathrlap{\hat \omega}} \\ && \mathbf{B} U(1)_{conn} }

of simplicial presheaves. Now the same argument as above applies on P *XP_* X.

∞-Chern-Simons theory from binary and non-degenerate invariant polynomial

nn \in \mathbb{N}symplectic Lie n-algebroidLie integrated smooth ∞-groupoid = moduli ∞-stack of fields of (n+1)(n+1)-d sigma-modelhigher symplectic geometry(n+1)(n+1)d sigma-modeldg-Lagrangian submanifold/ real polarization leaf= brane(n+1)-module of quantum states in codimension (n+1)(n+1)discussed in:
0symplectic manifoldsymplectic manifoldsymplectic geometryLagrangian submanifoldordinary space of states (in geometric quantization)geometric quantization
1Poisson Lie algebroidsymplectic groupoid2-plectic geometryPoisson sigma-modelcoisotropic submanifold (of underlying Poisson manifold)brane of Poisson sigma-model2-module = category of modules over strict deformation quantiized algebra of observablesextended geometric quantization of 2d Chern-Simons theory
2Courant Lie 2-algebroidsymplectic 2-groupoid3-plectic geometryCourant sigma-modelDirac structureD-brane in type II geometry
nnsymplectic Lie n-algebroidsymplectic n-groupoid(n+1)-plectic geometryd=n+1d = n+1 AKSZ sigma-model

(adapted from Ševera 00)

References

Some ideas pointing to higher symplectic groupoids were indicated in

  • Pavol ?evera?, Some title containing the words “homotopy” and “symplectic”, e.g. this one (arXiv:math/0105080).

Aspects of the relation to multisymplectic geometry are in

A discussion of higher symplectic geometry in a general context is in

See also section 4.3 of

Some ingredients for the geometric quantization of symplectic Lie nn-algebroids are constructed in

Last revised on September 9, 2013 at 22:52:35. See the history of this page for a list of all contributions to it.