The paper presents an extension of the geometric quantization procedure to integrable, big-isotropic structures. We obtain a generalization of the cohomology integrality condition, we discuss geometric structures on the total space of the corresponding principal circle bundle and we extend the notion of a polarization.
In this paper, Hamiltonian monodromy is studied from the point of view of geometric quantization abd theta functions, and various differential geometric aspects thereof are dealt with, all related to holonomies of suitable flat connections.
We construct Hermitian representations of Lie algebroids and associated unitary representations of Lie groupoids by a geometric quantization procedure. For this purpose we introduce a new notion of Hamiltonian Lie algebroid actions. The first step of our procedure consists of the construction of a prequantization line bundle. Next, we discuss a version of Kähler quantization suitable for this setting. We proceed by defining a Marsden-Weinstein quotient for our setting and prove a ``quantization commutes with reduction'' theorem. We explain how our geometric quantization procedure relates to a …
In this paper we pursue the study of formal geometric quantization of non-compact Hamiltonian manifolds. Our main result is the proof that two quantization process coincide. This fact was obtained by Ma and Zhang in the preprint arXiv:0812.3989 by completely different means.
This paper develops the pre-quantization of Lie group-valued moment maps, and establishes its equivalence with the pre-quantization of infinite-dimensional Hamiltonian loop group spaces.
We introduce geometric quantization for constant rank presymplectic structures with Riemannian null foliation and compact leaf closure space. We prove a quantization-commutes-with-reduction theorem in this context. Examples related to symplectic toric quasi-folds, suspensions of isometric actions of discrete groups, and K-contact manifolds are discussed.
In the framework of geometric quantization we extend the Bohr-Sommerfeld rules to a full quantization theory which resembles Heisenberg's matrix theory. This extension is possible because Bohr-Sommerfeld rules not only provide an orthogonal basis in the space of quantum states, but also give a lattice structure to this basis. This permits the definition of appropriate shifting operators. As examples, we discuss the 1-dimensional harmonic oscillator and the coadjoint orbits of the rotation group.
We establish a geometric quantization formula for a Hamiltonian action of a compact Lie group acting on a noncompact symplectic manifold with proper moment map.
We show that for a special class of geometric quantizations with "small" quantum errors, the quantum classical correspondence gives rise to an asymptotic projective representation of the group of Hamiltonian diffeomorphisms. As an application, we get an obstruction to Hamiltonian actions of finitely presented groups.
In the setting of geometric quantization, we associate to any prequantum bundle automorphism a unitary map of the corresponding quantum space. These maps are controlled in the semiclassical limit by two invariants of symplectic topology: the Calabi morphism and a quasimorphism of the universal cover of the Hamiltonian diffeomorphism group introduced by Entov, Py, Shelukhin.
We give a formulation of a deformation of Dirac operator along orbits of a group action on a possibly non-compact manifold to get an equivariant index and a K-homology cycle representing the index. We apply this framework to non-compact Hamiltonian torus manifolds to define geometric quantization from the view point of index theory. We give two applications. The first one is a proof of a [Q,R]=0 type theorem, which can be regarded as a proof of the Vergne conjecture for Abelian case. The other is a Danilov-type formula for toric case in the non-compact setting, which shows that this geometric …
We study a notion of pre-quantization for $b$-symplectic manifolds. We use it to construct a formal geometric quantization of $b$-symplectic manifolds equipped with Hamiltonian torus actions with nonzero modular weight. We show that these quantizations are finite dimensional $T$-modules.
We use the theory of Berezin-Toeplitz operators of Ma and Marinescu to study the quantum Hamiltonian dynamics associated with classical Hamiltonian flows over closed prequantized symplectic manifolds in the context of geometric quantization of Kostant and Souriau. We express the associated evolution operators via parallel transport in the quantum spaces over the induced path of almost complex structures, and we establish various semi-classical estimates. In particular, we establish a Gutzwiller trace formula for the Kostant-Souriau operator and compute explicitly the leading term. We then desc…
In this paper, we study quantization on a compact integral symplectic manifold $X$ with transversal real polarizations. In the case of complex polarizations, namely $X$ is Kähler equipped with transversal complex polarizations $T^{1, 0}X, T^{0, 1}X$, geometric quantization gives $H^0(X, L^{\otimes k})$'s. They are acted upon by $\mathcal{C}^\infty(X, \mathbb{C})$ via Toeplitz operators as $\hbar = \tfrac{1}{k} \to 0^+$, determining a deformation quantization $(\mathcal{C}^\infty(X, \mathbb{C})[[\hbar]], \star)$ of $X$.\par We investigate the real analogue to these, comparing deformation quanti…
In an earlier article we introduced a new definition for the `quantization' of a Hamiltonian loop group space $\mathcal{M}$, involving the equivariant $L^2$-index of a Dirac-type operator $\mathscr{D}$ on a non-compact finite dimensional submanifold $\mathcal{Y}$ of $\mathcal{M}$. In this article we study a Witten-type deformation of this operator, similar to the work of Tian-Zhang and Ma-Zhang. We obtain a formula for the index with infinitely many non-trivial contributions, indexed by the components of the critical set of the norm-square of the moment map. This is the main part of a new proo…
A comparison on some facts concerning the geometric quantization of symplectic manifolds is presented here. Criticism, facts and improvements on the sophisticated theory of geometric quantization are presented touching briefly, all the "salient points of the theory". The unfamiliar reader can consider this as a "soft" introduction to the topic.
In a series of papers on Bohr-Sommerfeld-Heisenberg quantization of completely integrable systems we interpreted shifting operators as quantization of functions ${\mathrm{e}}^{ \pm iθ_j}$ , where $(I_j , θ_j )$ are action angle coordinates. The aim of this paper is to show how these operators occur in geometric quantization.
We study the prequantization of quasi-presymplectic groupoids and their Hamiltonian spaces using $S^1$-gerbes. We give a geometric description of the integrality condition. As an application, we study the prequantization of the quasi-Hamiltonian $G$-spaces of Alekseev--Malkin--Meinrenken.
We describe a formalism based on quantization of quadratic hamiltonians and symplectic actions of loop groups which provides a convenient home for most of known general results and conjectures about Gromov-Witten invariants of compact symplectic manifolds and, more generally, Frobenius structures at higher genus. We state several results illustrating the formalism and its use. In particular, we establish Virasoro constraints for semisimple Frobenius structures and outline a proof of the Virasoro conjecture for Gromov -- Witten invariants of complex projective spaces and other Fano toric manifo…
The so-called quantization problem in geometric quantization is asking whether the space of wave functions is independent of the choice of polarization. In this paper, we apply SYZ transforms to solve the quantization problem in two cases: (1) semi-flat Lagrangian torus fibrations over complete compact integral affine manifolds, and (2) projective toric manifolds. More precisely, we prove that the space of wave functions associated to the real polarization is canonically isomorphic to that associated to a complex polarization via SYZ transforms in both cases.
Using the classification of formal deformation quantizations, and the formal, algebraic index theorem, I give a simple proof as to which formal deformation quantization (modulo isomorphism) is derived from a given geometric quantization.
Early in 2011 Sam Evens acting on behalf of the organizers of the summer school on quantization at Notre Dame asked me to give a short series of lectures on geometric quantization. These lectures were meant to prepare a group of graduate mathematics students for talks at the conference on quantization which were to follow the summer school. The notes that follow resulted from this request. They are a mostly faithful record of four one-hour lectures (except lecture 4) plus two appendices: the first one recalls bits and pieces of category theory; the second discusses densities.
Symplectic topology has become a thriving area of research in mathematics and physics since Gromov's discovery in 1985 of a surprising property of canonical transformations (and hence of hamiltonian flows),"the principle of the symplectic camel". We exploit this property to show that the usually EBK quantization is equivalent to the physical assumption that the only allowewed semiclassical states are those with symplectic area nh+h/2. We introduce the terminology "quantum blobs" for these states. Quantum blobs are more general and powerful tools than the usual phase space cells of quantum stat…
We study the formal geometric quantization of $b^m$-symplectic manifolds equipped with Hamiltonian actions of a torus $T$ with nonzero leading modular weight. The resulting virtual $T$-modules are finite dimensional when $m$ is odd, as in [GMW2]; when $m$ is even, these virtual modules are not finite dimensional, and we compute the asymptotics of the representations for large weight.
We introduce a method of geometric quantization for compact $b$-symplectic manifolds in terms of the index of an Atiyah-Patodi-Singer (APS) boundary value problem. We show further that b-symplectic manifolds have canonical Spin-c structures in the usual sense, and that the APS index above coincides with the index of the Spin-c Dirac operator. We show that if the manifold is endowed with a Hamiltonian action of a compact connected Lie group with non-zero modular weights, then this method satisfies the Guillemin-Sternberg ``quantization commutes with reduction'' property. In particular our quant…
The aim of this article is to study the functorial properties of the ``formal geometric quantization'' procedure which is defined for non-compact Hamiltonian manifolds (when the moment map is proper). For this purpose, we introduce a technique of symplectic cutting that uses the wonderfull compactification of Concini-Procesi.
We introduce geometric quantization in the setting of shifted symplectic structures. We define Lagrangian fibrations and prequantizations of shifted symplectic stacks and their geometric quantization. In addition, we study many examples including symplectic groupoids, Hamiltonian spaces and moduli spaces of flat connections. In the case of Hamiltonian spaces we prove a derived analog of the "quantization commutes with reduction" principle.
We review the definition of geometric quantization, which begins with defining a mathematical framework for the algebra of observables that holds equally well for classical and quantum mechanics. We then discuss prequantization, and go into details of the general method of quantization with respect to a polarization using densities and half-forms. This has applications to the theory of unitary group representations and coadjoint orbits.
I repeat my definition for quantization of a vector bundle. For the case of Toeplitz and geometric quantization of a compact Kaehler Manifold, I give a construction for quantizing any smooth vector bundle which depends functorially on a choice of connection on the bundle.
In this paper we prove the existence of isomorphisms between certain non-commutative algebras that are interesting from representation theoretic perspective and arise as quantizations of certain Poisson algebras. We show that quantizations of Kleinian resolutions obtained by three different constructions are isomorphic to each other. The constructions are via symplectic reflection algebras, quantum Hamiltonian reduction, and W-algebras. Next, we prove that parabolic W-algebras in type A are isomorphic to quantum Hamiltonian reductions associated to quivers of type A. Finally, we show that the …
These notes give an introduction to the quantization procedure called geometric quantization. It gives a definition of the mathematical background for its understanding and introductions to classical and quantum mechanics, to differentiable manifolds, symplectic manifolds and the geometry of line bundles and connections. Moreover, these notes are endowed with several exercises and examples.
We construct the geometric quantization of a compact surface using a singular real polarization coming from an integrable system. Such a polarization always has singularities, which we assume to be of nondegenerate type. In particular, we compute the effect of hyperbolic singularities, which make an infinite-dimensional contribution to the quantization, thus showing that this quantization depends strongly on polarization.
A. Weinstein has conjectured a nice looking formula for a deformed product of functions on a hermitian symmetric space of non-compact type. We derive such a formula for symmetric symplectic spaces using ideas from geometric quantization and prequantization of symplectic groupoids. We compute the result explicitly for the natural 2-dimensional symplectic manifolds: the euclidean plane, the sphere and the hyperbolic plane. For the euclidean plane we obtain the well known Moyal-Weyl product. The other cases show that Weinstein's original idea should be interpreted with care. We conclude with comm…
We prove a Fredholm property for spin-c Dirac operators $\mathsf{D}$ on non-compact manifolds satisfying a certain condition with respect to the action of a semi-direct product group $K\ltimes Γ$, with $K$ compact and $Γ$ discrete. We apply this result to an example coming from the theory of Hamiltonian loop group spaces. In this context we prove that a certain index pairing $[\mathcal{X}] \cap [\mathsf{D}]$ yields an element of the formal completion $R^{-\infty}(T)$ of the representation ring of a maximal torus $T \subset G$; the resulting element has an additional antisymmetry property under…
We show that the results of the paper Symplectic Reduction and Riemann-Roch for Circle Actions of Duistermaat, Guillemin, Meinrenken and Wu can be expressed entirely in K-theory. We show that their quantization is simply a pushforward in K-theory, and use Lerman's symplectic cutting and the localization theorem in equivariant K-theory to prove that quantization commutes with reduction. Only the case where the action is free on the zero level set of the moment map is addressed.
Kostant gave a model for the real geometric quantization associated to polarizations via the cohomology associated to the sheaf of flat sections of a pre-quantum line bundle. This model is well-adapted for real polarizations given by integrable systems and toric manifolds. In the latter case, the cohomology can be computed counting integral points inside the associated Delzant polytope. In this article we extend Kostant's geometric quantization to semitoric integrable systems and almost toric manifolds. In these cases the dimension of the acting torus is smaller than half of the dimension of t…
The prequantization map for a Poisson-Gerstenhaber algebra of dynamical variables represented by differential forms within the polysymplectic formulation of the De Donder--Weyl covariant Hamiltonian field theory is presented and the corresponding prequantum Schroedinger equation for a non-homogeneous form valued wave function is derived. This is the first step toward understanding the procedures of covariant precanonical field quantization from the point of view of geometric quantization.
Using geometric quantization, we represent curve operators in the TQFT of Witten-Reshetikhin-Turaev with jauge group SU_2 as Toeplitz operators with symbols corresponding to trace functions. As an application, we show that eigenvectors of these operators are concentrated near the level sets of these trace functions, and obtain asymptotic estimates of pairings of such eigenvectors. This yields an asymptotic for some matrix coefficients of the image of mapping classes by quantum representations.
In their simplest formulations, classical dynamics is the study of Hamiltonian flows and quantum mechanics that of propagators. Both are linked, and emerge from the datum of a single classical concept, the Hamiltonian function. We study and emphasize the analogies between Hamiltonian flows and quantum propagators; this allows us to verify G. Mackey's observation that quantum mechanics (in its Weyl formulation) is a refinement of Hamiltonian mechanics. We discuss in detail the metaplectic representation, which very explicitly shows the close relationship between classical mechanics and quantum …