nLab
extended geometric quantization of 2d Chern-Simons theory

under construction, notes related to material that appears in detail elsewhere, see the References.

Context

\infty-Chern-Simons theory

∞-Chern-Weil theory

∞-Chern-Simons theory

∞-Wess-Zumino-Witten theory

Ingredients

Definition

Examples

Quantum field theory

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Local 2d prequantum boundary field theory and KK-Quantization

1) Local 2d prequantum field theory

ambient (∞,1)-topos H=\mathbf{H} = Smooth∞Grpd.

We use in there mostly just the full sub-(∞,1)-category

DiffStackSmoothGrpdSmoothGrpd DiffStack \hookrightarrow SmoothGrpd \hookrightarrow Smooth \infty Grpd

of differentiable stacks, i.e. the full subcategory on object that are presented by Lie groupoids but as coefficients at least we also need smooth 2-groupoids.

In particular, write B 2U(1)\mathbf{B}^2 U(1) for the smooth 2-groupoid which is the circle 3-group.

For FieldsH\mathbf{Fields} \in \mathbf{H} a moduli stack of fields, we say that a map

Fields exp(iS) B 2U(1) \array{ \mathbf{Fields} \\ \downarrow^{\mathrlap{exp(i S)}} \\ \mathbf{B}^2 U(1) }

is a local action functional.

(More generally we consider smooth super ∞-groupoids and replace B 2U(1)\mathbf{B}^2 U(1) by the moduli stack of super 2-line bundles.)

Since this is necessarily a dualizable objects in the (∞,2)-category of correspondences Corr 2(H,B 2U(1))Corr_2(\mathbf{H}, \mathbf{B}^2 U(1)) it induces by the cobordism theorem a local prequantum field theory given by a monoidal (∞,2)-functor

Corr 2(H,B 2U(1)) Corr 2(H,KUMod) exp(iS) Bord n Fields Corr 2(H) \array{ && Corr_2(\mathbf{H},\mathbf{B}^2 U(1)) &\to& Corr_2(\mathbf{H}, KU Mod) \\ & {}^{\mathllap{\exp(i S)}}\nearrow& \downarrow \\ Bord_n &\stackrel{\mathbf{Fields}}{\to}& Corr_2(\mathbf{H}) }

Here we postcomposed with geometric realization

B 2U(1)|B 2U(1)|K(,3)Bgl 1(KU)KUMod. \mathbf{B}^2 U(1) \to {\vert \mathbf{B}^2 U(1)\vert} \simeq K(\mathbb{Z},3) \to B gl_1(KU) \to KU Mod \,.

2) Local boundary 2d prequantum field theory

Considering one marked boundary condition we have boundary field theory defined in addition to the data of exp(iS):FieldsKUMod\exp(i S) \colon \mathbf{Fields} \to KU Mod by a morphisms in Corr 2(H,KUMod)Corr_2(\mathbf{H}, KU Mod) which as a diagram in H\mathbf{H} is of the form

Q i * ξ Fields 𝕀 exp(iS). \array{ && Q \\ & \swarrow && \searrow^{\mathrlap{i}} \\ \ast && \swArrow_{\mathrlap{\xi}} && \mathbf{Fields} \\ & {}_{\mathllap{\mathbb{I}}}\searrow && \swarrow_{\mathrlap{\exp(i S)}} } \,.

This is the boundary condition.

3) Quantization in KK-Theory

We quantize by interpreting the path integral as push-forward in generalized cohomology in complex topological K-theory KUKU.

Specifically we quantize a correspondence as above by applying the following procedure

  1. Decompose the correspondence explicitly as

    Q i * ξ i *χ Fields 𝕀 χ KUMod. \array{ && Q \\ & \swarrow && \searrow^{\mathrlap{i}} \\ \ast &\swArrow_{\mathrlap{\xi}}& \downarrow^{\mathrlap{i^\ast \chi}} && \mathbf{Fields} \\ & {}_{\mathllap{\mathbb{I}}}\searrow && \swarrow_{\mathrlap{\chi}} \\ && KU Mod } \,.
  2. Form twisted groupoid convolution algebras to produce a co-span of Hilbert bimodules

    ξC i *χ(Q)i *C χ(X). \mathbb{C} \stackrel{\xi}{\to} C_{i^\ast \chi}(Q) \stackrel{i^\ast}{\leftarrow} C_\chi(X) \,.

    Regard this as a cospan in KK-theory.

  3. Assume that the middle and right objects are dualizable objects. Choose a map in KK-theory

    Th(Q):(C i *χ(Q))(C i *χ(Q)) Th(Q) \colon \left(C_{i^\ast \chi}\left(Q\right)\right) \to \left(C_{i^\ast \chi}\left(Q\right)\right)^{\vee}

    to the dual C*-algebra. (If this is an KK-equivalence then this is the Thom isomorphism in this context.)

  4. Consider the dual morphism to i *i^\ast, to be denoted

    i !:(C i *(Q)) (C χ(X)) i_! \;\colon\; \left(C_{i^\ast}\left(Q\right)\right)^{\vee} \to \left(C_\chi\left(X\right)\right)^\vee

    and then turn the above cospan into the following consecutive composite in KK-theory

    i !Th(Q i *χ)ξ:ξC i *χ(Q)Th(C i *χ(Q)) i !(C χ(X)) . i_! Th\left(Q_{i^\ast \chi}\right) \xi \colon \mathbb{C} \stackrel{\xi}{\to} C_{i^\ast \chi}(Q) \stackrel{Th}{\to} (C_{i^\ast \chi}(Q))^\vee \stackrel{i_!}{\to} (C_{\chi}(X))^\vee \,.

    This we regard as the quantization of the boundary correspondence.

(…)

2d Poisson Chern-Simons theory – Idea

General

We discuss aspects of the extended geometric quantization of one of the simplest and yet interesting examples of ∞-Chern-Simons theory, namely 2d Chern-Simons theory and here specifically the case induced by a binary and non-degenerate invariant polynomial, namely the Lie integrated version of the Poisson sigma-model.

It turns out that several aspects of the extended geometric quantization of this 2d theory are known in the literature already, albeit in disguise: the 2-plectic moduli stack of fields is equivalently what in the literature is known as a symplectic groupoid and its higher geometric quantization is essentially what is known as the geometric quantization of symplectic groupoids.

The suggestion that there should be such a relation is contained already in (Cattaneo-Felder 01), but at the time of that writing the geometric quantization of symplectic groupoids had not been performed yet.

To some extent in the following we review the traditional geometric quantization of symplectic groupoids while showing at the same time how its ingredients are (more) naturally interpreted in higher symplectic geometry. This makes quantization of symplectic groupoids a good test case against which to check notions of higher geometric quantization.

Specifically, we discuss what should be the first nontrivial case of the Chern-Simons-type holographic principle realized in higher geometric quantization: The moduli stack of the 2d Chern-Simons theory is the Lie integration of the Poisson Lie algebroid associated to a Poisson manifold. The latter we may think of as defining a quantum mechanical system, hence a (21)=1(2-1) = 1-dimensional quantum field theory. The higher geometric quantization of the 2-d theory yields a 2-vector space of quantum 2-states (assigned to the point n codimension 2). Under the identification of 2-vector spaces with categories of modules over an associative algebra, this space of quantum 2-states identifies (the Morita equivalence-class of) an algebra. Suitably re-interpreting traditional results about the quantization of symplectic groupods shows that this algebra is the strict deformation quantization of that Poisson manifold.

Notice that at the level of just infinitesimal (“formal”) deformation quantization a similar holographic relation between quantization of a Poisson manifold and of its associated 2d sigma-model QFT has famously been shown by Alberto Cattaneo and Giovanni Felder to underly Kontsevich’s construction of deformation quantization (see at Poisson sigma-model). We suggest that the discussion here provides the refinement of this relation to strict deformation quantization.

All of this should be a blueprint for an analogous situaton in one dimension higher, where the analogous procedure should reproduce the famous holographic quantization of the 2d Wess-Zumino-Witten theory in terms of that of a 3d Chern-Simons theory.

Identifying “symplectic groupoids” as 2-plectic groupoids

We briefly indicate the basis for re-interpreting traditional symplectic groupoid-theory in terms of higher symplectic geometry.

The identification of the traditional notion of “symplectic groupoid” as really a 2-plectic structure is evident as soon as one translates the traditional definition of a symplectic groupoid to more intrinsic language of higher differential geometry. We discuss this in detail below, but in brief it works as follows:

A symplectic groupoid (X,ω)(\mathbf{X},\omega) is traditionally defined to be a Lie groupoid X\mathbf{X} which is equipped with a (non-degenerate) differential 2-form ωΩ 2(X 1)\omega \in \Omega^2(\mathbf{X}_1) on its smooth manifold of morphisms, such that it is annihilated by the de Rham differential as well as by the operator δ\delta that sums the pullback of ω\omega to the space X 2\mathbf{X}_2 of composable morphisms along the source and target maps and minus that along the composition map. But together this just means that regarded as a triple (0,ω,0)k=0,1,2Ω 3k(X k)(0, \omega, 0) \in \underset{k = 0,1,2}{\oplus} \Omega^{3-k}(\mathbf{X}_k) the symplectic form is a cocycle in the simplicial de Rham complex over the simplicial manifold which is the nerve of the Lie groupoid. And this finally means fully intrinsically that ω\omega is a degree-3 cocycle in the intrinsic de Rham cohomology of smooth ∞-groupoids over X\mathbf{X}, which we denote by

ω:X dRB 3U(1). \omega \;\colon\; \mathbf{X} \to \flat_{dR} \mathbf{B}^3 U(1) \,.

This simple observation shows that symplectic groupoids, which in traditional literature are treated as a topic in symplectic geometry, are really objects in higher symplectic geometry, namely in 2-plectic geometry.

More specifically, if (X,π)(X,\pi) is a Poisson manifold, there is canonically associated with it a Lie algebroid 𝔓\mathfrak{P}, the Poisson Lie algebroid. This is an example of a symplectic Lie n-algebroid and as such it carries a canonical binary invariant polynomial. Together this serves as the target space and background gauge field of what is called the Poisson sigma-model. But moreover, the Lie integration of this data is the extended Lagrangian of an ∞-Chern-Simons theory, namely a map

L:τ 1exp(𝔓) connB 2(/Γ) conn \mathbf{L} \;\colon\; \tau_1\exp(\mathfrak{P})_{conn} \to \mathbf{B}^2 (\mathbb{R}/\Gamma)_{conn}

from the moduli stack of fields of the 2d Chern-Simons theory to that of circle 2-bundles with connection.

If we concretify? the moduli stack by forgetting the connection data here and just consider the underlying instanton sectors, then this is precisely the symplectic groupoid data above

τ 1exp(𝔓) conn L B 2(/Γ) conn concretify X ω dRB 3U(1). \array{ \tau_1\exp(\mathfrak{P})_{conn} &\stackrel{\mathbf{L}}{\to}& \mathbf{B}^2 (\mathbb{R}/\Gamma)_{conn} \\ {}^{\mathllap{concretify}}\downarrow && \downarrow \\ \mathbf{X} &\stackrel{\omega}{\to}& \flat_{dR} \mathbf{B}^3 U(1) } \,.

It is in this way that we may identify the symplectic groupoid of a Poisson manifold

Xτ 1exp(𝔓) \mathbf{X} \simeq \tau_1 \exp(\mathfrak{P})

as the moduli stack of the extended prequantum 2d Chern-Simons theory which refines the Poisson sigma-model.

Hence we identify the geometric quantization of (X,ω)(\mathbf{X}, \omega) as the extended geometric quantization of the 2d Chern-Simons theory. But traditional literature shows (and this was motivation for introducing symplectic groupoids in the first place) that this encodes the quantization of the Poisson manifold (X,π)(X, \pi) itself, regarded as a quantum mechanical system. This is the traditional topic of geometric quantization of symplectic groupoids.

Taken together this says: the extended geometric quantization of the extended prequantum Poisson sigma-model computes the ordinary geometric quantization of the underlying Poisson manifold.

This statement we recognize as a geometric quantization analog of a famous relation in algebraic deformation quantization. As discussed there, the construction by Kontsevich of the algebraic deformation quantization of any Poisson manifold was identified by Cattaneo? and Felder? as a limiting case of the 3-point function in the perturbative quantization of the corresponding 2d Poisson σ\sigma-model.

These relations to traditional theory we use in the following to explore aspects of the extended geometric quantization of 2d Chern-Simons theory.

Summary and survey

∞-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)

General theory

We use the general tools for formulating notions in physics in terms of higher differential geometry as discussed at geometry of physics. Here we just collect some of the main ingredients needed below.

Definition

We write

DL:[CartSp op,Ch (Ab)][CartSp op,Ab Δ op]forget[CartSp op,KanCplx]L lhe[CartSp op,KanCplx]SmoothGrpd DL \;\colon\; [CartSp^{op}, Ch_\bullet(Ab)] \stackrel{\simeq}{\to} [CartSp^{op}, Ab^{\Delta^{op}}] \stackrel{forget}{\to} [CartSp^{op}, KanCplx] \stackrel{}{\to} L_{lhe} [CartSp^{op}, KanCplx] \simeq Smooth\infty Grpd

where the first equivalence is the Dold-Kan correspondence and the last map is the map to the simplicial localization.

Definition

For k,nk,n \in \mathbb{N}, knk \leq n we write

B nU(1) conn kDK[U̲(1)dΩ 1ddΩ k00] \mathbf{B}^n U(1)_{conn^k} \coloneqq DK\left[ \underline{U}(1) \stackrel{\mathbf{d}}{\to} \Omega^1 \stackrel{\mathbf{d}}{\to} \cdots \stackrel{\mathbf{d}}{\to} \Omega^k \stackrel{}{\to} 0 \stackrel{}{\to} \cdots \stackrel{}{\to} 0 \right]

with Ω k\Omega^k in degree (nk)(n-k) (hence with (nk)(n-k) vanishing entries on the right).

In particular

  • B nU(1)B nU(1) conn 0\mathbf{B}^n U(1) \simeq \mathbf{B}^n U(1)_{conn^0}

  • B nU(1) connB nU(1) conn n\mathbf{B}^n U(1)_{conn} \simeq \mathbf{B}^n U(1)_{conn^n}.

Example

For n,kn,k \in \mathbb{N}, k<nk \lt n we have

  1. Ω(BU(1) conn)B n1\Omega (\mathbf{B} U(1)_{conn}) \simeq \flat \mathbf{B}^{n-1}

  2. Ω(B nU(1) conn k)B n1U(1) conn k\Omega (\mathbf{B}^n U(1)_{conn}^k) \simeq \mathbf{B}^{n-1} U(1)_{conn}^k.

(…)

fieldspace τ nexp(𝔞) conn B nU(1) conn deloopedphasespace τ nexp(𝔞) B nU(1) conn n1 \array{ field space && \tau_n \exp(\mathfrak{a})_{conn} &\to& \mathbf{B}^n U(1)_{conn} \\ && \downarrow && \downarrow \\ delooped phase space && \tau_n \exp(\mathfrak{a}) &\to& \mathbf{B}^n U(1)_{conn^{n-1}} }
C 0 * τ nexp(𝔞) B nU(1) conn n1 C 1 * \array{ C_0 &\to& * \\ \downarrow && \downarrow \\ \tau_n \exp(\mathfrak{a}) &\to& \mathbf{B}^n U(1)_{conn^{n-1}} \\ \uparrow && \uparrow \\ C_1 &\to& * }

under homotopy fiber product this yields the phase space prequantum bundle

Phase(C 0,C 1)B n1U(1) conn. Phase(C_0, C_1) \to \mathbf{B}^{n-1}U(1)_{conn} \,.

(…)

The setup

Let (X,π)(X, \pi) be a Poisson manifold, which we tend to think of as defining a quantum mechanical system. This canonically induces the structure of Lie algebroid over XX, the Poisson Lie algebroid (𝔓,ω)(\mathfrak{P}, \mathbf{\omega}) over XX. This is a symplectic Lie algebroid, with graded symplectic form (binary invariant polynomial) ω\mathbf{\omega} which is in transgression with the Poisson tensor π\pi, regarded as a Lie algebroid cocycle. The transgression is witnessed by a Chern-Simons element cs πcs_\pi.

Moduli stack of fields

By the general construction of infinity-Chern-Simons theory this means that there is a universal differential characteristic map

L:exp(𝔓) connB 2 conn \mathbf{L} \;\colon\; \exp(\mathfrak{P})_{conn} \to \mathbf{B}^2 \mathbb{R}_{conn}

and its truncation (Lie integration)

L:τ 1exp(𝔓) connB 2(/Γ) conn. \mathbf{L} \;\colon\; \tau_1 \exp(\mathfrak{P})_{conn} \to \mathbf{B}^2 (\mathbb{R}/\Gamma)_{conn} \,.

Here τ 1exp(𝔓) conn\tau_1 \exp(\mathfrak{P})_{conn} is the smooth moduli stack of fields of the 2d Poisson-Chern-Simons theory and H\mathbf{H} is the extended Lagrangian of a 2d Chern-Simons theory (FRS). Infinitesimally this yields the Poisson sigma-model.

We discuss here the higher geometric quantization of this theory defined by L\mathbf{L}.

The Phase space stack

There is the canonical universal forgetful map

τ 1exp(𝔓) connτ 1exp(𝔓) \tau_1 \exp(\mathfrak{P})_{conn} \to \tau_1 \exp(\mathfrak{P})

which forgets the conection data of fields and only retains their “instanton sector”. The smooth groupoid τ 1exp(𝔓)\tau_1 \exp(\mathfrak{P}) is the symplectic groupoid which is the Lie integration of the Poisson Lie algebroid 𝔓\mathfrak{P}. (In the traditional literature this is called the symplectic groupoid only if it happens to be representable by a Lie groupoid, hence if 𝔓\mathfrak{P} is integrable in the traditional sense of Lie groupoid theory.)

Notice that this is equivalently differential concretification over the point: τ 1exp(𝔓)\tau_1 \exp(\mathfrak{P}) may be understood as the smooth moduli stack of 𝔓\mathfrak{P}-valued forms on the point.

But moreover, we may think of τ 1exp(𝔓)\tau_1 \exp(\mathfrak{P}) as being the phase space of the open string 2d Poisson-Chern-Simons sigma-model for the space-filling D-brane boundary condition: in this interpretation the objects of τ 1exp(𝔓)\tau_1 \exp(\mathfrak{P}) are the endpoints of open strings, the morphisms are solutions to the Euler-Lagrange equations of motion along an interval (an initial spatial slice of string) and composition is string concatenation.

This is the point of view suggested in (Cattaneo-Felder 01), there argued for by the observation that the space of morphisms of τ 1exp(𝔓)\tau_1 \exp(\mathfrak{P}) is naturally the symplectic reduction of (in our language) of that of τ 1exp(𝔓)\tau_1 \exp(\mathfrak{P}) for the moment map that characterizes the equations of motion and gauge symmetries of the Poisson sigma-model.

D-branes

Let 0, 1𝔓\mathfrak{C}_0, \mathfrak{C}_1 \hookrightarrow \mathfrak{P} be two Lagrangian sub-Lie algebroids of the given Poisson Lie algebroid. These correspond to coisotropic submanifolds of the underlying Poisson manifold.

Accoring to (Cattaneo-Felder 03) we are two think of these as being two D-brane inclusions for the open string Poisson-Chern-Simons model.

Their Lie integration induces two Lagrangian sub-groupoids of the symplectic groupoid

tau 1exp( 0)τ 1exp(𝔓)τ 1exp( 1). tau_1 \exp(\mathfrak{C}_0) \to \tau_1 \exp(\mathfrak{P}) \leftarrow \tau_1 \exp(\mathfrak{C}_1) \,.

This means that the moduli stack of open strings with endpoints restricted to these two D-branes is the homotopy fiber product of smooth groupoids

Fields 0, 1 τ 1exp( 0) τ 1exp( 1) τ 1exp(𝔓). \array{ & & \mathbf{Fields}_{\mathfrak{C}_0, \mathfrak{C}_1} \\ & \swarrow && \searrow \\ \tau_1 \exp(\mathfrak{C}_0) && && \tau_1 \exp(\mathfrak{C}_1) \\ & \searrow && \swarrow \\ && \tau_1 \exp(\mathfrak{P}) } \,.

One finds that this homotopy pullback is equivalently the symplectic reduction considered in (Cattaneo-Felder 03, page 6, 7).

That for space-filling branes 0, 1𝔓\mathfrak{C}_0, \mathfrak{C}_1 \coloneqq \mathfrak{P} one recovers the original moduli stack

Fields 𝔓,𝔓τ 1exp(𝔓) \mathbf{Fields}_{\mathfrak{P}, \mathfrak{P}} \simeq \tau_1 \exp(\mathfrak{P})

is just the statement that the homotopy pullback of an equivalence is an equivalence.

Constructions

Moduli of 2d CS fields and symplectic groupoids

We discuss how the moduli stack of the 2d Chern-Simons theory obtained by Lie integration of the Poisson sigma-model is a symplectic groupoid.

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.

X * τ 1exp(𝔓) ω dRB 3U(1). \array{ X &\to& * \\ \downarrow && \downarrow \\ \tau_1 \exp(\mathfrak{P}) &\stackrel{\omega}{\to}& \flat_{dR} \mathbf{B}^3 U(1) } \,.

Prequantum 2-states

Generally, given a prequantum line 2-bundle the corresponding (local) prequantum n-states are the (local) sections of this line 2-bundle, and these in turn are equivalently the twisted unitary bundles (maybe best known for the WZW model where these are the Chan-Paton gauge fields). These 2-sections/twisted bundles form a 2-vector space of prequantum 2-states. This is equivalently a category of modules over some associative algebra, well defined up to Morita equivalence.

A canonical way of constructing this algebra is as follows: present the line 2-bundle as a bundle 2-gerbe, hence as a multiplicative line bundle over the morphisms of a Lie groupoid, then the algebra is the groupoid algebra (see there for details) of sections of this line bundle. A module over this is manifestly a bundle gerbe module, which in turn is equivalently a unitary bundle twisted by the line 2-bundle.

More in detail:

Let X\mathbf{X} be a smooth groupoid and XB 2U(1)\mathbf{X} \to \mathbf{B}^2 U(1) the map modulating a circle 2-group-principal 2-bundle PXP \to \mathbf{X}.

Let ( nBU(n))//BU(1)B 2U(1)(\coprod_n \mathbf{B}U(n))//\mathbf{B}U(1) \to \mathbf{B}^2 U(1) the canonical 2-representation, the sections of the associated 2-bundle are unitary twisted bundles equivariant on X\mathbf{X}.

If we present the 2-bundle by a bundle gerbe exhibited as a multiplicative line bundle over the space of morphisms X 1\mathbf{X}_1, then there is the convolution algabra 𝒜\mathcal{A} of sections of this line bundle. Twisted unitary vector bundles are equivalently projective modules over this algebra.

This means that under the identification

ϕ:Alg k2Vect k \phi \colon Alg_k \stackrel{\simeq}{\to} 2 Vect_k

of the 2-category of 2-vector spaces with that of algebras, bimodules and intertwiners (see at n-vector space), the convolution algebra 𝒜\mathcal{A} is the 2-vector space of sections

ϕ(𝒜)Γ X(P× BU(1) nBU(n)). \phi\left(\mathcal{A}\right) \simeq \Gamma_{\mathbf{X}}\left(P \times_{\mathbf{B}U\left(1\right)} \coprod_n \mathbf{B}U\left(n\right) \right) \,.

Polarizations and branes

The full generalization of the notion of polarization from traditional geometric quantization to higher geometric quantization may need more thinking, but in the case of 2d Chern-Simons theory we can apply the following plausible shortcut.

A Poisson Lie algebroid (𝔓,ω)(\mathfrak{P}, \mathbf{\omega}) is a symplectic Lie n-algebroid for n=1n = 1. This means that if we regard it as a dg-manifold (the dg-manifold whose dg-algebra of functions is the Chevalley-Eilenberg algebra (CE(𝔓)(CE(\mathfrak{P})) then the invariant polynomial ω\mathbf{\omega} constitutes a graded symplectic form on 𝔓\mathfrak{P}. Since a real polarization of an ordinary symplectic manifold is equivalently a foliation by Lagrangian submanifolds, it hence makes sense to take a real polarization of (𝔓,ω)(\mathfrak{P}, \mathbf{\omega}) to consist of Lagrangian dg-submanifolds. As discussed there, for the Poisson Lie algebroid these corespond to the coisotropic submanifolds of the underlying Poisson manifold (X,π)(X, \pi). The same definition of polarization has been used/obtained in the study of geometric quantization of symplectic groupoids (see there).

The branes of the 2d Chern-Simons theory should be those leaves of the foliation which satisfy an extra intrability condition.

Indeed, according to branes of the Poisson sigma-model are supposed to be coisotropic submanifolds, see at Poisson sigma-model – Properties – Branes.

Quantum 2-states

Summing up, the convolution subalgebra 𝒜 q𝒜\mathcal{A}_q \hookrightarrow \mathcal{A} of polarized sections is under ϕ\phi the actual 2-vector space of states.

In geometric quantization of symplectic groupoids it is show that this is the algebra of observables of the quantum mechanical system of the underlying Poisson manifold (its strict deformation quantization).

In fact we have to quantize the whole atlas of the symplectic groupoid

Xτ 1exp(𝔓). X \to \tau_1 \exp(\mathfrak{P}) \,.

By the discussion at groupoid convolution algebra this yields a bimodule

Symplectic case

Consider the simple case where (X,ω)(X,\omega) is a symplectic manifold and in fact a symplectic vector space.

Here the symplectic groupoid is the pair groupoid Pair(X) Pair(X)_\bullet carrying the trivial twist. The atlas is the object inclusion

XPair(X),. X \to Pair(X) ,.

Notice that this is equivalent (Morita equivalent) to just the terminal map

X*. X \to * \,.

Accordingly, the groupoid convolution algebra of Pair(X) Pair(X)_\bullet is the C-star-algebra of compact operators 𝒦(X)\mathcal{K}(X). A Morita equivalence bimodule from there to the ground field is (…)

The groupoid-principal-bibundle corresponding to this atlas regarded as a Morita morphism is just the projection X×Xp 1XX \times X \stackrel{p_1}{\to} X. Hence the C *C^\ast-bimodule here is that generated from integral kernels.

In conclusion, up to equivalence the bimodule is L 2(X)L^2(X) regarded as a C(X)C(X)-\mathbb{C}-bimodule.

(…)

References

Last revised on November 20, 2014 at 11:05:52. See the history of this page for a list of all contributions to it.