under construction, notes related to material that appears in detail elsewhere, see the References.
For semisimple Lie algebra targets
For discrete group targets
For discrete 2-group targets
For Lie 2-algebra targets
For targets extending the super Poincare Lie algebra
(such as the supergravity Lie 3-algebra, the supergravity Lie 6-algebra)
Chern-Simons-supergravity
for higher abelian targets
for symplectic Lie n-algebroid targets
for the $L_\infty$-structure on the BRST complex of the closed string:
higher dimensional Chern-Simons theory
topological AdS7/CFT6-sector
functorial quantum field theory
Reshetikhin?Turaev model? / Chern-Simons theory
FQFT and cohomology
physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
ambient (∞,1)-topos $\mathbf{H} =$ Smooth∞Grpd.
We use in there mostly just the full sub-(∞,1)-category
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 $\mathbf{B}^2 U(1)$ for the smooth 2-groupoid which is the circle 3-group.
For $\mathbf{Fields} \in \mathbf{H}$ a moduli stack of fields, we say that a map
is a local action functional.
(More generally we consider smooth super ∞-groupoids and replace $\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(\mathbf{H}, \mathbf{B}^2 U(1))$ it induces by the cobordism theorem a local prequantum field theory given by a monoidal (∞,2)-functor
Here we postcomposed with geometric realization
Considering one marked boundary condition we have boundary field theory defined in addition to the data of $\exp(i S) \colon \mathbf{Fields} \to KU Mod$ by a morphisms in $Corr_2(\mathbf{H}, KU Mod)$ which as a diagram in $\mathbf{H}$ is of the form
This is the boundary condition.
We quantize by interpreting the path integral as push-forward in generalized cohomology in complex topological K-theory $KU$.
Specifically we quantize a correspondence as above by applying the following procedure
Decompose the correspondence explicitly as
Form twisted groupoid convolution algebras to produce a co-span of Hilbert bimodules
Regard this as a cospan in KK-theory.
Assume that the middle and right objects are dualizable objects. Choose a map in KK-theory
to the dual C*-algebra. (If this is an KK-equivalence then this is the Thom isomorphism in this context.)
Consider the dual morphism to $i^\ast$, to be denoted
and then turn the above cospan into the following consecutive composite in KK-theory
This we regard as the quantization of the boundary correspondence.
(…)
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 $(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.
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 $(\mathbf{X},\omega)$ is traditionally defined to be a Lie groupoid $\mathbf{X}$ which is equipped with a (non-degenerate) differential 2-form $\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 $\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, \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 $\mathbf{X}$, which we denote by
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,\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
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
It is in this way that we may identify the symplectic groupoid of a Poisson manifold
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 $(\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, \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.
∞-Chern-Simons theory from binary and non-degenerate invariant polynomial
(adapted from ?evera 00)
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.
We write
where the first equivalence is the Dold-Kan correspondence and the last map is the map to the simplicial localization.
For $k,n \in \mathbb{N}$, $k \leq n$ we write
with $\Omega^k$ in degree $(n-k)$ (hence with $(n-k)$ vanishing entries on the right).
In particular
$\mathbf{B}^n U(1) \simeq \mathbf{B}^n U(1)_{conn^0}$
$\mathbf{B}^n U(1)_{conn} \simeq \mathbf{B}^n U(1)_{conn^n}$.
For $n,k \in \mathbb{N}$, $k \lt n$ we have
$\Omega (\mathbf{B} U(1)_{conn}) \simeq \flat \mathbf{B}^{n-1}$
$\Omega (\mathbf{B}^n U(1)_{conn}^k) \simeq \mathbf{B}^{n-1} U(1)_{conn}^k$.
(…)
under homotopy fiber product this yields the phase space prequantum bundle
(…)
Let $(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 $X$, the Poisson Lie algebroid $(\mathfrak{P}, \mathbf{\omega})$ over $X$. 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_\pi$.
By the general construction of infinity-Chern-Simons theory this means that there is a universal differential characteristic map
and its truncation (Lie integration)
Here $\tau_1 \exp(\mathfrak{P})_{conn}$ is the smooth moduli stack of fields of the 2d Poisson-Chern-Simons theory and $\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 $\mathbf{L}$.
There is the canonical universal forgetful map
which forgets the conection data of fields and only retains their “instanton sector”. The smooth groupoid $\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: $\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 $\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 $\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 $\tau_1 \exp(\mathfrak{P})$ is naturally the symplectic reduction of (in our language) of that of $\tau_1 \exp(\mathfrak{P})$ for the moment map that characterizes the equations of motion and gauge symmetries of the Poisson sigma-model.
Let $\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
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
One finds that this homotopy pullback is equivalently the symplectic reduction considered in (Cattaneo-Felder 03, page 6, 7).
That for space-filling branes $\mathfrak{C}_0, \mathfrak{C}_1 \coloneqq \mathfrak{P}$ one recovers the original moduli stack
is just the statement that the homotopy pullback of an equivalence is an equivalence.
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,\omega)$.
The symplectic groupoid associated to this is (by the discussion there) supposed to be the fundamental groupoid $\Pi_1(X)$ of $X$ equipped on its space of morphisms with the differential form $p_1^* \omega - p_2^* \omega$, where $p_1,p_2$ are the two endpoint projections from paths in $X$ to $X$.
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,\omega)$ has a global Darboux coordinate chart $\{x^i\}$. Write $\{\omega_{i j}\}$ for the components of the symplectic form in these coordinates, and $\{\omega^{i j}\}$ for the components of the inverse.
Then the Chevalley-Eilenberg algebra $CE(\mathfrak{P})$ is generated from $\{x^i\}$ in degree 0 and $\{\partial_i\}$ in degree 1, with differential given by
The differential in the corresponding Weil algebra is hence
By the discussion at Poisson Lie algebroid, the symplectic invariant polynomial is
Clearly it is useful to introduce a new basis of generators with
In this new basis we have a manifest isomorphism
with the Chevalley-Eilenberg algebra of the tangent Lie algebroid of $X$.
Therefore the Lie integration of $\mathfrak{P}$ is the fundamental groupoid of $X$, which, since we have assumed global Darboux oordinates and hence contractible $X$, is just the pair groupoid:
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
and that we may regard this as a morphism of $L_\infty$-algebroids
The corresponding infinity-Chern-Weil homomorphism that we need to compute is given by the ∞-anafunctor
Over a test space $U$ in degree 1 an element in $\exp(\mathfrak{P})_{diff}$ is a pair $(X^i, \eta^i)$
subject to the verticality constraint, which says that along $\Delta^1$ we have
The vertical morphism $\exp(\mathfrak{P})_{diff} \to \exp(\mathfrak{P})$ has in fact a section whose image is given by those pairs for which $\eta^i$ has no leg along $U$. We therefore find the desired form on $\exp(\mathfrak{P})$ by evaluating the top morphism on pairs of this form.
Such a pair is taken by the top morphism to
Using the above verticality constraint and the condition that $\eta^i$ has no leg along $U$, this becomes
By the Stokes theorem the integration over $\Delta^1$ yields
This completes the proof.
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 $\mathbf{X}$ be a smooth groupoid and $\mathbf{X} \to \mathbf{B}^2 U(1)$ the map modulating a circle 2-group-principal 2-bundle $P \to \mathbf{X}$.
Let $(\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 $\mathbf{X}$.
If we present the 2-bundle by a bundle gerbe exhibited as a multiplicative line bundle over the space of morphisms $\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
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
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 = 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(\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, \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.
Summing up, the convolution subalgebra $\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
By the discussion at groupoid convolution algebra this yields a bimodule
Consider the simple case where $(X,\omega)$ is a symplectic manifold and in fact a symplectic vector space.
Here the symplectic groupoid is the pair groupoid $Pair(X)_\bullet$ carrying the trivial twist. The atlas is the object inclusion
Notice that this is equivalent (Morita equivalent) to just the terminal map
Accordingly, the groupoid convolution algebra of $Pair(X)_\bullet$ is the C-star-algebra of compact operators $\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 \times X \stackrel{p_1}{\to} X$. Hence the $C^\ast$-bimodule here is that generated from integral kernels.
In conclusion, up to equivalence the bimodule is $L^2(X)$ regarded as a $C(X)-\mathbb{C}$-bimodule.
(…)
Stefan Bongers, Geometric quantization of symplectic and Poisson manifolds, master thesis, Utrecht 2013
Joost Nuiten, Cohomological quantization of local prequantum boundary field theory, master thesis, Utrecht 2013