this page is one chapter in geometry of physics
previous chapter: principal connections;
next chapter: BPS charges
There are two dual kinds of mathematical formalization of quantization, one is algebraic, usually known as deformation quantization, the other is geometric, known as geometric quantization. The latter involves an intermediate stage called prequantization. This is the refinement of symplectic geometry obtained by lifting closed differential 2-forms to being curvature forms of circle bundles with connection. Since circle bundles and circle bundles with connection, as opposed to plain differential forms, have non-trivial automorphisms (they form a groupoid not just a set) the group of symmetries of a prequantized symplectic manifold differs from the group of symmetries of the underlying symplectic manifold (the symplectomorphisms): the freedom in identifying the prequantum -bundle with itself makes it is a central extension, specifically a -central extension if the base manifold is connected. This circle extension with the integrality that it relates to (e.g. via its Chern class with coefficients in ) is behind much of what is quanta-like about quantum physics. Hence while prequantization is not yet full quantization, much of the hallmark structure of quantization is present already in these “quantomorphism” -extensions of the symmetries of prequantum bundles, notably its Lie algebra subsumes the Heisenberg algebra of symplectic vector spaces, this we survey below in The geometric idea of quantization.
Hence it makes good sense to study prequantized smooth manifolds as geometries in their own right, and a sensible name for this is prequantum geometry.
As one passes from quantum mechanics to -dimensional quantum field theory such as to preserve the locality of local quantum field theory, then the process of quantization involves not just symplectic manifolds equipped with symplectic differential 2-forms, but involves “symplectic currents” which are -forms. Such higher degree analogs of symplectic forms are known historically already from the de Donder-Weyl-Hamilton equation of local classical field theory and approaches to promote their theory to a higher analog of symplectic geometry go by the names multisymplectic geometry and (p+1)-plectic geometry. The higher prequantization of such a higher degree form is naturally a circle (p+1)-bundle with connection (a bundle gerbe with connection for , generally a cocycle in Deligne cohomology of degree ), and hence higher prequantum geometry is the study of spaces that are equipped with such abelian principal infinity-connections.
This is what we discuss here. More abstractly, if we we write for the higher moduli stack of -principal infinity-connections, for instance the moduli stack for cocycles in Deligne cohomology in degree , then a prequantum -bundle over some smooth homotopy type is equivalently just a morphism , and a symmetry of such a higher prequantum geometry is a diagram of the form
This means that for a cohesive (∞,1)-topos of geometric spaces of sorts, then the corresponding -prequantum geometry is that encoded by the slice (∞,1)-topos . Hence prequantum geometry is the geometry in slices over higher moduli stacks for differential cohomology.
Quantization of course was and is motivated by experiment, hence by observation of the observable universe: it just so happens that quantum mechanics and quantum field theory correctly account for experimental observations where classical mechanics and classical field theory gives no answer or incorrect answers. A historically important example is the phenomenon called the “ultraviolet catastrophe”, a paradox predicted by classical statistical mechanics which is not observed in nature, and which is corrected by quantum mechanics.
But one may also ask, independently of experimental input, if there are good formal mathematical reasons and motivations to pass from classical mechanics to quantum mechanics. Could one have been led to quantum mechanics by just pondering the mathematical formalism of classical mechanics? (Hence more precisely: is there a natural Synthetic Quantum Field Theory?)
The following spells out an argument to this effect. It will work for readers with a background in modern mathematics, notably in Lie theory, and with an understanding of the formalization of classical/prequantum mechanics in terms of symplectic geometry.
So to briefly recall, a system of classical mechanics/prequantum mechanics is a phase space, formalized as a symplectic manifold . A symplectic manifold is in particular a Poisson manifold, which means that the algebra of functions on phase space , hence the algebra of classical observables, is canonically equipped with a compatible Lie bracket: the Poisson bracket. This Lie bracket is what controls dynamics in classical mechanics. For instance if is the function on phase space which is interpreted as assigning to each configuration of the system its energy – the Hamiltonian function – then the Poisson bracket with yields the infinitesimal time evolution of the system: the differential equation famous as Hamilton's equations.
Something to take notice of here is the infinitesimal nature of the Poisson bracket. Generally, whenever one has a Lie algebra , then it is to be regarded as the infinitesimal approximation to a globally defined object, the corresponding Lie group (or generally smooth group) . One also says that is a Lie integration of and that is the Lie differentiation of .
Therefore a natural question to ask is: Since the observables in classical mechanics form a Lie algebra under Poisson bracket, what then is the corresponding Lie group?
The answer to this is of course “well known” in the literature, in the sense that there are relevant monographs which state the answer. But, maybe surprisingly, the answer to this question is not (at time of this writing) a widely advertized fact that has found its way into the basic educational textbooks. The answer is that this Lie group which integrates the Poisson bracket is the “quantomorphism group”, an object that seamlessly leads to the quantum mechanics of the system.
Before we spell this out in more detail, we need a brief technical aside: of course Lie integration is not quite unique. There may be different global Lie group objects with the same Lie algebra.
The simplest example of this is already one of central importance for the issue of quantization, namely, the Lie integration of the abelian line Lie algebra . This has essentially two different Lie groups associated with it: the simply connected translation group, which is just itself again, equipped with its canonical additive abelian group structure, and the discrete quotient of this by the group of integers, which is the circle group
Notice that it is the discrete and hence “quantized” nature of the integers that makes the real line become a circle here. This is not entirely a coincidence of terminology, but can be traced back to the heart of what is “quantized” about quantum mechanics.
Namely, one finds that the Poisson bracket Lie algebra of the classical observables on phase space is (for a connected manifold) a Lie algebra extension of the Lie algebra of Hamiltonian vector fields on by the line Lie algebra:
This means that under Lie integration the Poisson bracket turns into an central extension of the group of Hamiltonian symplectomorphisms of . And either it is the fairly trivial non-compact extension by , or it is the interesting central extension by the circle group . For this non-trivial Lie integration to exist, needs to satisfy a quantization condition which says that it admits a prequantum line bundle. If so, then this -central extension of the group of Hamiltonian symplectomorphisms exists and is called… the quantomorphism group :
While important, for some reason this group is not very well known, which is striking because it contains a small subgroup which is famous in quantum mechanics: the Heisenberg group.
More precisely, whenever itself has a compatible group structure, notably if is just a symplectic vector space (regarded as a group under addition of vectors), then we may ask for the subgroup of the quantomorphism group which covers the (left) action of phase space on itself. This is the corresponding Heisenberg group , which in turn is a -central extension of the group itself:
At this point it is worth pausing for a second to note how the hallmark of quantum mechanics has appeared as if out of nowhere simply by applying Lie integration to the Lie algebraic structures in classical mechanics:
if we think of Lie integrating to the interesting circle group instead of to the uninteresting translation group , then the name of its canonical basis element is canonically “”, the imaginary unit. Therefore one often writes the above central extension instead as follows:
in order to amplify this. But now consider the simple special case where is the 2-dimensional symplectic vector space which is for instance the phase space of the particle propagating on the line. Then a canonical set of generators for the corresponding Poisson bracket Lie algebra consists of the linear functions and of classical mechanics textbook fame, together with the constant function. Under the above Lie theoretic identification, this constant function is the canonical basis element of , hence purely Lie theoretically it is to be called “”.
With this notation then the Poisson bracket, written in the form that makes its Lie integration manifest, indeed reads
Since the choice of basis element of is arbitrary, we may rescale here the by any non-vanishing real number without changing this statement. If we write “” for this element, then the Poisson bracket instead reads
This is of course the hallmark equation for quantum physics, if we interpret here indeed as Planck's constant. We see it arises here merely by considering the non-trivial (the interesting, the non-simply connected) Lie integration of the Poisson bracket.
This is only the beginning of the story of quantization, naturally understood and indeed “derived” from applying Lie theory to classical mechanics. From here the story continues. It is called the story of geometric quantization. We close this motivation section here by some brief outlook.
The quantomorphism group which is the non-trivial Lie integration of the Poisson bracket is naturally constructed as follows: given the symplectic form , it is natural to ask if it is the curvature 2-form of a -principal connection on complex line bundle over (this is directly analogous to Dirac charge quantization when instead of a symplectic form on phase space we consider the the field strength 2-form of electromagnetism on spacetime). If so, such a connection is called a prequantum line bundle of the phase space . The quantomorphism group is simply the automorphism group of the prequantum line bundle, covering diffeomorphisms of the phase space (the Hamiltonian symplectomorphisms mentioned above).
As such, the quantomorphism group naturally acts on the space of sections of . Such a section is like a wavefunction, except that it depends on all of phase space, instead of just on the “canonical coordinates”. For purely abstract mathematical reasons (which we won’t discuss here, but see at motivic quantization for more) it is indeed natural to choose a “polarization” of phase space into canonical coordinates and canonical momenta and consider only those sections of the prequantum line bundle which depend only on the former. These are the actual wavefunctions of quantum mechanics, hence the quantum states. And the subgroup of the quantomorphism group which preserves these polarized sections is the group of exponentiated quantum observables. For instance in the simple case mentioned before where is the 2-dimensional symplectic vector space, this is the Heisenberg group with its famous action by multiplication and differentiation operators on the space of complex-valued functions on the real line.
We discuss here the infinitesimal symmetries of prequantum geometries, exhibited by the Poisson bracket Lie algebra and its higher analogs, the Poisson bracket Lie n-algebra.
We discuss the traditional definition of the Poisson bracket of a (pre-)symplectic manifold, highlighting how conceptually it may be understood as the algebra of infinitesimal symmetries of any of its prequantizations.
Let be a smooth manifold. A closed differential 2-form is a symplectic form if it is non-degenerate in that the kernel of the operation of contracting with vector fields
is trivial: .
If is just closed with possibly non-trivial kernel, we call it a presymplectic form. (We do not require here the dimension of the kernel restricted to each tangent space to be constant.)
Given a presymplectic manifold , then a Hamiltonian for a vector field is a smooth function such that
If is such that there exists at least one Hamiltonian for it then it is called a Hamiltonian vector field. Write
for the -linear subspace of Hamiltonian vector fields among all vector fields
When is symplectic then, evidently, there is a unique Hamiltonian vector field, def. , associated with every Hamiltonian, i.e. every smooth function is then the Hamiltonian of precisely one Hamiltonian vector field (but two different Hamiltonians may still have the same Hamiltonian vector field uniquely associated with them). As far as prequantum geometry is concerned, this is all that the non-degeneracy condition that makes a closed 2-form be symplectic is for. But we will see that the definitions of Poisson brackets and of quantomorphism groups directly generalize also to the presymplectic situation, simply by considering not just Hamiltonian fuctions but pairs of a Hamiltonian vector field and a compatible Hamiltonian.
Let be a presymplectic manifold. Write
for the linear subspace of the direct sum of Hamiltonian vector fields, def. , and smooth functions on those pairs for which is a Hamiltonian for
Define a bilinear map
by
called the Poisson bracket, where is the standard Lie bracket on vector fields. Write
for the resulting Lie algebra. In the case that is symplectic, then and hence in this case
Let and let for the canonical coordinates on one copy of and that on the other (“canonical momenta”). Hence let be a symplectic vector space of dimension , regarded as a symplectic manifold.
Then is spanned over by the canonical bases vector fields . These basis vector fields are manifestly Hamiltonian vector fields via
Moreover, since is connected, these Hamiltonians are unique up to a choice of constant function. Write for the unit constant function, then the nontrivial Poisson brackets between the basis vector fields are
This is called the Heisenberg algebra.
More generally, the Hamiltonian vector fields corresponding to quadratic Hamiltonians, i.e. degree-2 polynomials in the and , generate the affine symplectic group of . The freedom to add constant terms to Hamiltonians gives the extended affine symplectic group.
Example serves to motivate a more conceptual origin of the definition of the Poisson bracket in def. .
Write
for the canonical choice of differential 1-form satisfying
If we regard as the cotangent bundle of the Cartesian space , then this is what is known as the Liouville-Poincaré 1-form.
Since is contractible as a topological space, every circle bundle over it is necessarily trivial, and hence any choice of 1-form such as may canonically be thought of as being a connection on the trivial -principal bundle. As such this is a prequantization of .
Being thus a circle bundle with connection, has more symmetry than its curvature has: for any smooth function, then
is the gauge transformation of , leading to a different but equivalent prequantization of .
Hence while a vector field is said to preserve (is a symplectic vector field) if the Lie derivative of along vanishes
in the presence of a choice for the right condition to ask for is that there is such that
For more on this see also at prequantized Lagrangian correspondence.
Notice then the following basic but important fact.
For a presymplectic manifold and a 1-form such that then for the condition is equivalent to the condition that makes
a Hamiltonian for according to def. :
Moreover, the Poisson bracket, def. , between two such Hamiltonian pairs is equivalently given by the skew-symmetric Lie derivative of the corresponding vector fields on the :
Using Cartan's magic formula and by the prequantization condition the we have
This gives the first statement. For the second we first use the formula for the de Rham differential and then again the definition of the
For a presymplectic manifold with such that , consider the Lie algebra
with Lie bracket
Then by (1) the linear map
is an isomorphism of Lie algebras
from the Poisson bracket Lie algebra, def. .
This shows that for exact pre-symplectic forms the Poisson bracket Lie algebra is secretly the Lie algebra of infinitesimal symmetries of any of its prequantizations. In fact this holds true also when the pre-symplectic form is not exact:
For a presymplectic manifold, a Cech-Deligne cocycle
for a prequantization of is
an open cover ;
1-forms ;
smooth function
such that
on all ;
on all ;
on all .
The quantomorphism Lie algebra of is
with bracket
For a presymplectic manifold and a prequantization, def. , the linear map
constitutes an isomorphism of Lie algebras
between the Poisson bracket algebra of def. and that of infinitesimal quantomorphisms, def. .
The condition on the infinitesimal quantomorphisms, together with the Cech-Deligne cocycle condition says that on
and hence that there is a globally defined function such that . This shows that the map is an isomrophism of vector spaces.
Now over each the the situation for the brackets is just that of corollary implied by (1), hence the morphism is a Lie homomorphism.
The following fact is immediate, but important.
Given a presymplectic manifold , then the Poisson bracket Lie algebra , def. , is a central Lie algebra extension of the algebra of Hamiltonian vector fields, def. , by the degree-0 de Rham cohomology group of : there is a short exact sequence of Lie algebras
Hence when is connected, then is an -extension of the Hamiltonian vector fields:
Moreover, given any choice of splitting of the underlying short exact sequence of vector spaces as , which is equivalently a choice of Hamitlonian for each Hamiltonian vector field , the Lie algebra cohomology 2-cocycle which classifies this extension is
The morphism is on elements given just by projection onto the direct summand of vector fields, taking a Hamiltonian pair to . This is surjective by the very definition of , in fact is the image of this map regarded as a morphism . Moreover, the kernel of this projection is manifestly the space of Hamiltonian pairs of the form . By the defining constraint these are precisely the pairs for which . This gives the short exact sequence as stated.
Generally, given a Lie algebra and an -valued 2-cocycle in Lie algebra cohomology, then the Lie algebra extension that it classifies is with bracket
Applied to the case at hand, given a choice of splitting this yields
Consider again example where is a symplectic vector space and where we restrict along the inclusion of the translation vector fields to get the Heisenberg algebra. Then the KS-extension of prop. also pulls back:
The Lie algebra cohomology 2-cocycle which classifiesthe Kostant-Souriau extension, manifestly restricts to the Heisenberg cocycle .
Recall the definition of L-∞ algebras.
For a graded vector space, for homogenously graded elements, and for a permutation of elements, write for the product of the signature of the permutation with a factor of for each interchange of neighbours to involved in the permutation.
An -algebra is
for each a multilinear map called the -ary bracket
of degree
such that
each is graded antisymmetric, in that for every permutation and homogeneously graded elements then
the generalized Jacobi identity holds:
for all , all and homogeneously graded elements (here the inner sum runs over all -unshuffles ).
There are various different conventions on the gradings possible, which lead to similar formulas with different signs.
In lowest degrees the generalized Jacobi identity says that
for : the unary map squares to 0:
1: for : the unary map is a graded derivation of the binary map
hence
When all higher brackets vanish, then for :
this is the graded Jacobi identity. So in this case the -algebra is equivalently a dg-Lie algebra.
When is possibly non-vanishing, then on elements on which vanishes then the generalized Jacobi identity for gives
This shows that the Jacobi identity holds up to an “exact” term, hence up to homotopy.
On connective -algebras (those whose underlying chain complex is concentrated in non-negative degrees), passage to degree-0 chain homology constitutes a functor (“0-truncation”) to plain Lie algebras
In the discussion above we amplified that the definition of the Poisson bracket of a symplectic form has an immediate generalization to presymplectic forms, hence to any closed differential 2-form. This naturally suggests to ask for higher analogs of this bracket for the case of of closed differential (p+2)-forms for .
Indeed, the natural algebraic form of definition of Hamiltonian vector fields makes immediate sense for higher , with the Hamiltonians now being -forms, and the natural algebraic form of the binary Poisson bracket of def. makes immediate sense as a bilinear pairing for any :
However, one finds that for then this bracket does not satisfy the Jacobi identity. On the other hand, the failure of the Jacobi identity turns out to be an exact form, and hence in the spirit of regarding the shift of a differential form by a de Rham differential as a homotopy or gauge transformation this suggests that the bracket might still give a Lie algebra upto higher coherent homotopy, called a strong homotopy Lie algebra or L-∞ algebra. This turns out to indeed be the case (Rogers 10).
For , we say that a pre-(p+1)-plectic manifold is a smooth manifold equipped with a closed degree- differential form .
This is called an (p+1)-plectic manifold if the kernel of the contraction map
is trivial.
Given a pre--plectic manifold , def. , write
for the subspace of the direct sum of vector fields on and differential p-forms on satisfying
We call these the pairs of Hamiltonian forms with their Hamiltonian vector fields.
Given a pre--plectic manifold , def. , define an L-∞ algebra , to be called the Poisson bracket Lie (p+1)-algebra as follows.
The underlying chain complex is the truncated de Rham complex ending in Hamiltonian forms as in def. :
with the Hamiltonian pairs, def. , in degree 0 and with the 0-forms (smooth functions) in degree .
The non-vanishing -brackets are defined to be the following
.
Definition indeed gives an L-∞ algebra in that the higher Jacobi identity is satisfied.
For the special case of -plectic this is due to (Rogers 10, lemma 3.7), for the general pre--plectic case this is (FRS 13b, prop. 3.1.2).
Repeatedly apply Cartan's magic formula as well as the consequence to find that for all vector fields and differential forms (of any degree, not necessarily closed) one has
With this, the statement follows straightforwardly.
Recall the Cech complex.
(Čech complex)
Let be a smooth manifold and let be a sheaf of chain complexes on . Let be a good open cover of , i.e. an open cover such that each finite non-empty intersection is diffeomorphic to an open ball/Cartesian space.
The Čech cochain complex of with respect to the cover and with coefficients in is in degree given by the abelian group
which is the direct sum of the values of on the given intersections as indicated; and whose differential
is defined componentwise (see at matrix calculus for conventions on maps between direct sums) by
where on the right the sum is over all components of obtained via the canonical restrictions obtained by discarding one of the original subscripts.
The Cech cohomology groups of with coefficients in relative to the given cover are the chain homology groups of the Cech complex
The Cech cohomology groups as such are the colimit (“direct limit”) of these groups over refinements of covers
Recall the Deligne complex.
The Deligne complex for Deligne cohomology of degree is the chain complex of abelian sheaves given by
So for an open cover, then we have the Cech-Deligne double complex
where vertically we have the de Rham differential and horizontally the Cech differential given by alternating sums of pullback of differential forms.
The corresponding total complex has in degree the direct sum of the entries in this double complex which are on the th nw-se off-diagonal and has the total differential
with denoting form degree.
A Cech-Deligne cocycle in degree (a “bundle gerbe with connection”) is data such that
There is an evident generalization of the prequantization, def. , of closed 2-forms by circle bundles with connection, hence by degree-2 cocycles in Deligne cohomology, to the prequantization of closed -forms by degree--cocycles in Deligne cohomology.
Given a pre-(p+1)-plectic manifold , then a prequantization is a Cech-Deligne cocycle , the prequantum (p+1)-bundle, whose curvature, def. , equals :
In terms of diagrams in the homotopy theory of smooth homotopy types, def. describes lifts of the form
This way there is an immediate generalization of def. to forms and cocycles of higher degree:
Let be any Cech-Deligne-cocycle relative to an open cover of , which gives a prequantum n-bundle for . The L-∞ algebra is the dg-Lie algebra (regarded as an -algebra) whose underlying chain complex is the Cech total complex made to end in Hamiltonian Cech cocycles
;
with differential given by .
The non-vanishing dg-Lie brackets on this complex are given by the evident action of vector fields on all the components of the Cech cochains by Lie derivative:
.
One then finds a direct higher analog of corollary (its proof however is requires a bit more work):
There is an equivalence in the homotopy theory of L-∞ algebras
between the -algebras of def. and def. (in particular def. does not depend on the choice of ) whose underlying chain map satisfies
Proposition says that all the higher Poisson -algebras are -algebras of symmetries of Deligen cocycles prequantizing the give pre--plectic form, higher “quantomorphisms”.
In fact the dg-algebra makes yet another equivalent interpretation of manifest: it is also a resolution of the Dickey bracket of conserved currents for WZW sigma-models. This we come to below.
The higher Poisson brackets come with a higher analog of the Kostant-Souriau extension, prop. .
Given a pre-(p+1)-plectic manifold , the Poisson bracket Lie (p+1)-algebra , def. , is an L-∞ extension of the Hamiltonian vector fields by the truncated de Rham complex, def. , there is a homotopy fiber sequence of -algebras of the form
To better see what this means, we may truncate this down to a statement about ordinary Lie algebras.
Given a pre-(p+1)-plectic manifold , the 0-truncation, prop. , of the higher Kostant-Souriau extension of prop. is a Lie algebra extension of the Hamiltonian vector fields by the de Rham cohomology group .
By the discussion at geometry of physics – WZW terms, prequantization of may be thought of as a parameterized WZW term for a sigma model field theory decribing the propagation of a p-brane on .
Under this perspective, a Hamiltonian vector field on is a point symmetry of this sigma-model field theory and a Hamiltonian form for is is the conserved current corresponding to this via Noether's theorem. Inspection then shows that the bracket in def. is the Dickey bracket of conserved currents, while the differential in def. expresses the shift of currents by trivial currents (KS).
Hence under this perspective, def. gives a dg-Lie algebra resolution of the Dickey bracket Lie algebra of conserved Noether currents for point symmetries of higher WZW sigma-models from gauge equivalence classes of conrved currents to the currents themselves.
For the case that is a super spacetimes and is a definite form on a super cocycle in the brane scan then this is known as the algebra of supergravity BPS charges of . Therefore we also write
From this perspective the higher Kostant-Souriau extesion as in prop. says the following:
For the curvature of a WZW term on the smooth manifold , then the Lie algebra of conserved currents covering target space point symmetries of the corresponding -brane sigma-model is a Lie algebra extension of the taget space symmetry by the th de Rham cohomology group
For a superspacetime and a definite form, definite on a super-cocycle in the brane scan, then corollary is folklore in the string theory literature, due to (AGIT 89).
This is discussed further in geometry of physics – BPS charges.
We here discuss the full finite version of quantomorphism n-groups.
Throughout, let be a braided ∞-group equipped with a Hodge filtration. Write for the corresponding moduli stack of differential cohomology.
For Smooth∞Grpd we have for is the circle (p+1)-group. Equipped with its standard Hodge filtration this gives presented via the Dold-Kan correspondence by the Deligne complex in degree .
This is the proper moduli stack of -principal ∞-connections on in that a family is a vertical -principal -connection on .
For Smooth∞Grpd or =FormalSmooth∞Grpd, for the circle (p+1)-group with its standard Hodge filtration as in example , then for any smooth manifold or formal smooth manifold, is presented via the Dold-Kan correspondence by the sheaf of vertical Deligne complexes on over .
For then the loop space object of the moduli stack of -principal -connections on is the moduli stack of flat ∞-connections with gauge group
The canonical precomposition ∞-action of the automorphism ∞-group on passes along to an ∞-action on .
Given a -principal ∞-connection there are the following concepts in higher geometric prequantum theory.
The quantomorphism ∞-group is the stabilizer ∞-group of , def. , under the -action of ;
The Hamiltonian symplectomorphism ∞-group
is the 1-image of the canonical morphism .
A Hamiltonian action of an ∞-group on is an ∞-group homomorphism
An ∞-moment map is an -group homomorphism
The Heisenberg ∞-group for a given Hamiltonian -action is the homotopy pullback
For Smooth∞Grpd, for a smooth manifold and for a prequantum line bundle on , then is Souriau’s quantomorphism group covering the Hamiltonian diffeomorphism group. In the case that is a symplectic vector space regarded as a linear symplectic manifold with Hamiltonian action on itself by translation, then is the traditional Heisenberg group.
Since is by construction a 1-monomorphism, given any -action on , not necessarily Hamiltonian, then the homotopy pullback is the Heisenberg ∞-group of the maximal sub--group of which does act via Hamiltonian symplectomorphisms. Therefore we will also write in this case.
The following is the refinement of the Kostant-Souriau extension to higher differential geometry
Given a -principal ∞-connection , there is a homotopy fiber sequence of the form
if is 0-truncated then
if then
exhibiting the quantomorphism ∞-group as an ∞-group extension of the Hamiltonian symplectomorphism ∞-group by the moduli stack of flat ∞-connections, classified by a cocycle .
(FRS 13a)
In Smooth∞Grpd, let be the circle (p+1)-group and let be p-connected, then . Hence here prop. gives
Given a -principal ∞-connection , and for a -Hamiltonian action, then there is a homotopy fiber sequence
if is 0-truncated then
if then
exhibiting the Heisenberg ∞-group as an ∞-group extension of the by the moduli stack of flat ∞-connections, classified by a cocycle .
The class of the cocycle is the obstruction to prequantizing to a moment map (the classical anomaly of ); and the the Heisenberg ∞-group extension of is the universal cancellation of this anomaly.
José de Azcárraga, Jerome Gauntlett, J.M. Izquierdo, Paul Townsend, Topological Extensions of the Supersymmetry Algebra for Extended Objects, Phys. Rev. Lett. 63 (1989) 2443 (spire)
Chris Rogers, algebras from multisymplectic geometry ,
Letters in Mathematical Physics April 2012, Volume 100, Issue 1, pp 29-50 (arXiv:1005.2230, journal).
Domenico Fiorenza, Chris Rogers, Urs Schreiber, Higher geometric prequantum theory, (arXiv:1304.0236)
Domenico Fiorenza, Chris Rogers, Urs Schreiber, L-∞ algebras of local observables from higher prequantum bundles, Homology, Homotopy and Applications, Volume 16 (2014) Number 2, p. 107 – 142 (arXiv:1304.6292)
Igor Khavkine, Urs Schreiber, -algebras of conserved currents
Last revised on June 5, 2015 at 17:02:08. See the history of this page for a list of all contributions to it.