This is a project on higher geometric quantization that I am working on with Domenico Fiorenza and Chris Rogers; in the context of differential cohomology in a cohesive topos. This page contains indications of some contents and pointers to further details.
Domenico Fiorenza, Chris Rogers, Urs Schreiber,
Geometric prequantization over cohesive -stacks
( talk handout pdf (4 pages))
There are two main formalizations of the notion of quantization: algebraic deformation quantization and geometric quantization. They are closely related where they both apply, but, as the names suggest, are in nature roughly dual to each other in a way that reflects the general duality between algebra and geometry. Moreover, deformation quantization is more natural with respect to the Heisenberg picture of quantum physics, hence the algebras of observables, whereas geometric quantization is more natural with respect to the Schrödinger picture and its emphasis on spaces of states. Indeed, geometric quantization is first and foremost a theory concerned with the construction and investigation of spaces of sections of line bundles equipped with certain extra structure.
We discuss here the generalization of this to the context of higher geometry and notably to higher differential geometry, where line bundles associated to circle bundles with connection are generalized to associated ∞-bundles of circle n-bundles with connection. As discussed at Principal ∞-bundles – models and general theory, sections of such associated ∞-bundles are equivalently cocycles in some flavor of twisted cohomology, geometrically represented by twisted ∞-bundles, and so higher geometric prequantization may also be thought of as studying aspects of twisted differential cohomology. For instance in degree 2 a section of the canonical 2-bundle associated to a circle 2-bundle is a twisted vector bundle and 2-geometric quantization overlaps to a large degree with the study of differential refinements of twisted K-theory.
These higher structures in prequantization are supposed to match corresponding higher structures known in extended quantum field theory. One expects that a notion of higher geometric quantization completes the following table, whose entries we further explain below:
classical mechanics | –quantization | quantum mechanics |
---|---|---|
symplectic geometry | –geometric quantization | quantum field theory |
higher symplectic geometry | –higher geometric quantization | extended quantum field theory |
Infinitesimally, ordinary geometric quantization is of course based on symplectic geometry: the curvature 2-form of the circle bundle with connection mentioned before is a symplectic form, and, conversely, the circle bundle with connection is the very prequantization of this symplectic structure – the prequantum line bundle – that gives geometric quantization its name. As we generalize to higher circle n-bundles with connection, the underlying symplectic geometry is generalized to what is called multisymplectic geometry or, of more direct relevance for us, n-plectic geometry. But not only may the degree of the symplectic structure increase, but also the base space itself may generalize from a symplectic manifold to a symplectic ∞-groupoid/∞-stack. For instance there is a canonical 3-plectic structure on the moduli stack of -principal bundles for any simply connected compact simple Lie group, encoded by the prequantum circle 3-bundle known as the Chern-Simons circle 3-bundle. Or for instance there is a canonical 7-plectic structure on the moduli 2-stack of string 2-group-Chern-Simons circle 7-bundle.
To capture this, write for the cohesive moduli ∞-stack of circle n-bundles with connection, in the ambient cohesive (∞,1)-topos . Then for any object to be thought of as the moduli ∞-stack of fields or as the target space for a sigma-model, a morphism
modulates a circle n-bundle with connection on . We regard this as a extended action functional in that for of cohomological dimension and sufficiently compact so that fiber integration in ordinary differential cohomology applies, the transgression of to low codimension reproduces the traditional ingredients
transgression of to | meaning in geometric quantization | |
---|---|---|
action functional | ||
ordinary (off-shell) prequantum circle bundle |
The idea is to consider the higher geometric quantization not just of the low codimension transgressions, but of all transgressions of .
While a large class of different structures and phenomena are examples or ingredients of -geometric prequantization, we find that the basic principle which controls all of the theory is a single concise general abstract construction in (∞,1)-topos theory:
any ∞-representation of the circle n-group on some object is given by a fiber sequence in Smooth∞Grpd
which at the same time is identified as the universal -associated ∞-bundle corresponding to the universal principal ∞-bundle over . Then for a circle n-bundle with connection classified (or rather: modulated) by a morphism , the ∞-groupoid of sections of the associated --bundle is canonically identified with the -twisted -cohomology of :
Since the ∞-groupoid on the right is nothing but an (∞,1)-categorical hom space in the slice (∞,1)-topos, there is a canonical ∞-action of the smooth ∞-group on it.
This ∞-group, it turns out, is the higher generalization of the group that integrates the Poisson bracket in ordinary symplectic geometry: the quantomorphism group. In particular, over linear base spaces it contains the higher analog of the Heisenberg group and its action on the space of states.
These structures are summarized in the following table:
higher geometric quantization | cohesive homotopy type theory | twisted cohomology |
---|---|---|
n-plectic ∞-groupoid | twisting cocycle in de Rham cohomology | |
symplectomorphism group | ||
prequantum circle n-bundle | twisting cocycle in differential cohomology | |
Planck's constant | divisibility of twisting class | |
quantomorphism group Heisenberg group | twist automorphism ∞-group | |
Hamiltonian quantum observables with Poisson bracket | infinitesimal twist automorphisms | |
Hamiltonian actions of a smooth ∞-group / dual moment maps | -∞-action on the twisting | |
gauge reduction | -∞-quotient of the twisting | |
Hamiltonian symplectomorphisms | ∞-image of | twists in de Rham cohomology that lift to differential cohomology |
∞-representation of n-group on | local coefficient bundle | |
prequantum space of states | cocycles in -twisted V-cohomology | |
prequantum operator | ∞-action of twist automorphisms on twisted cocycles | |
trace to higher dimension | fiber integration in ordinary differential cohomology adjoined with one in nonabelian differential cohomology |
Therefore -geometric prequantization, understood this way, is in itself a fundamental topic in higher twisted cohomology and nonabelian cohomology. But of course, as the name suggests, we are interested in it as a theory of quantum physics. We expect that -geometric prequantization is to ordinary geometric quantization as extended functorial quantum field theory is to 1-functorial FQFT: it refines all structures to full codimension and reproduces them by transgression back to mapping spaces.
Notably, -geometric prequantization applies seamlessly to the “extended action functionals” of ∞-Chern-Simons theory: as discussed there, these are precisely defined to be differential refinements of universal characteristic classes to moduli ∞-stacks of connections on G-principal ∞-bundles, for some smooth ∞-group. Hence these systems – which secretly contain many known quantum field theories that are traditionally not identified as being of ∞-Chern-Simons type – canonically come to us as prequantum circle -bundles with connection on moduli -stacks of field configurations.
Applying -geometric prequantization to these systems is clearly not only possible, but seems to be the compelling step to take. This is what we are investigating in this project.
Let be a choice of ambient cohesive ∞-topos, that models the kind of higher geometry – the kind of cohesion – in which we consider geometric prequantization. For instance for differential geometry we take Smooth∞Grpd or for supergeometry we take SmoothSuper∞Grpd.
We call an object equivalently
depending on taste and situation.
(The first term has the advantage that it enjoys a certain tradition in the literature (for instance: moduli stacks), while it has the disadvantage that there is no good reason to introduce a new term for what should be called an ∞-sheaf. The second term has the advantage that it is true to the perspective of (∞,1)-topos theory, but the disadvantage that it may invoke in the reader associations with structures much more restricted than ∞-stacks. The third term has the advantage that is quite possibly the one with the most promising future, the main disadvantage being that the future is hard to predict.)
Let furthermore
be a line object;
the corresponding multiplicative group.
A default setup for -geometric prequantization in the context of differential geometry would be to choose
the field of complex numbers
the Lie group, under multiplication, of invertible complex numbers.
Given this ambient data, we conceptualize geometric prequantization as follows, in four items.
In the following objects denoted for generically denote objects of cohomology dimension .
For an extended ∞-model? Lagrangian is a morphism in of the form
Here we say that is, equivalently;
the target space of the sigma-model;
the moduli ∞-stack of gauge fields of a (higher) gauge theory.
And we say equivalently that itself is the
off-shell prequantum circle n-bundle.
Its curvature we call the n-plectic structure on .
Consider as an object of the slice ∞-topos.
The quantomorphism ∞-group of is the internal automorphism ∞-group
By the discussion at ∞-action, defining an -action of the circle n-group on an object
is equivalently giving a fiber sequence of the form
This is interpreted as the universal -associated ∞-bundle.
For the moduli of the given prequantum circle n-bundle , the space of sections of the -associated -bundle is
This is the space of prequantum states.
If we regard as a local coefficient bundle, then this is equivalently the space of -twisted cohomology with coefficients in .
There is a canonical action of the quantomorphism group on the space of sections
For , we call
the corresponding prequantum operator.
(…)
This is discussed in (DCT, 4.4.17.1).
This is discussed in (DCT, 4.4.17.2).
higher dimensional Chern-Simons theory
prequantum circle (4k+3)-bundle
from Beilinson-Deligne cup product
The quantomorphism -group of this should be
For there is, up to equivalence, a unique autoequivalence
the one induced by the nontrivial automorphism of . Since the cup-product is strictly invariant under this, this extends to
But for any further nontrivial such autoequivalence in the slice we would need in particular a gauge transformation parameterized by -forms over test manifolds from to itself. But the only closed -forms that we can produce naturally from are multiples of . But these all vanish since is of odd degree .
The total space of the prequantum 3-bundle is
as it appears in The moduli 3-stack of the C-field.
But the quantomorphism group of this will be small, as the Chern-Simons form is far from being gauge invariant.
However, when we consider CS theory given by
then diagonal gauge transformations have interesting extensions to quantomorphisms, because for the given gauge transformation at stage of definition , the Chern-Simons form transforms by an exact term
quantomorphism 7-group of 7d String-Chern-Simons theory?
The total space of the prequantum 7-bundle is
For literature on traditional geometric quantization, see there.
Geometric prequantization of n-plectic geometry over smooth manifolds is discussed in
Formulations in (∞,1)-topos theory are in sections 2.9.11 and 3.4.17 of
For the broader context see also
and the applications discussed there.
differential cohomology in a cohesive topos
∞-geometric prequantization
Last revised on October 17, 2012 at 12:51:41. See the history of this page for a list of all contributions to it.