We construct a special class of semiclassical Fourier integral operators whose wave fronts are symplectic micromorphisms. These operators have very good properties: they form a category on which the wave front map becomes a functor into the cotangent microbundle category, and they admit a total symbol calculus in terms of symplectic micromorphisms enhanced with half-density germs. This new operator category encompasses the semi-classical pseudo-differential calculus and offers a functorial framework for the semi-classical analysis of the Schrödinger equation. We also comment on applications to classical and quantum mechanics as well as to a functorial and geometrical approach to the quantization of Poisson manifolds.
We adapt the notion of generating functions for lagrangian submanifolds to symplectic microgeometry. We show that a symplectic micromorphism always admits a global generating function. As an application, we describe hamiltonian flows as special symplectic micromorphisms whose local generating functions are the solutions of Hamilton-Jacobi equations. We obtain a purely categorical formulation of the temporal evolution in classical mechanics.
We introduce the notion of symplectic microfolds and symplectic micromorphisms between them. They form a monoidal category, which is a version of the "category" of symplectic manifolds and canonical relations obtained by localizing them around lagrangian submanifolds in the spirit of Milnor's microbundles.
We show that the category of Poisson manifolds and Poisson maps, the category of symplectic microgroupoids and lagrangian submicrogroupoids (as morphisms), and the category of monoids and monoid morphisms in the microsymplectic category are equivalent symmetric monoidal categories.
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…
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 expose the basics of the Fedosov quantization procedure, placed in the general framework of symplectic ringed spaces. This framework also includes some Poisson manifolds with non regular Poisson structures, presymplectic manifolds, complex analytic symplectic manifolds, etc.
We review recent results and ongoing investigations of the symplectic and Poisson geometry of derived moduli spaces, and describe applications to deformation quantization of such spaces.
This paper considers the enhanced symplectic "category" for purposes of quantizing quasi-Hamiltonian $G$-spaces, where $G$ is a compact simple Lie group. Our starting point is the well-acknowledged analogy between the cotangent bundle $T^*G$ in Hamiltonian geometry and the internally fused double $D(G)=G\times G$ in quasi-Hamiltonian geometry. Guillemin and Sternberg consider the former, studing half-densities and phase functions on its so-called character Lagrangians $Λ_{\mathcal{O}}\subseteq T^*G$. Our quasi-Hamiltonian counterpart replaces these character Lagrangians with the universal cent…
Deformation quantization algebroids over a complex symplectic manifold X are locally given by rings of WKB operators, that is, microdifferential operators with an extra central parameter τ. In this paper, we will show that such algebroids are classified by H^2(X;k^*), where k^* is a subgroup of the group of invertible formal Laurent series in τ^-1.
On a complex symplectic manifold, we construct the stack of quantization-deformation modules, that is, (twisted) modules of microdifferential operators with an extra central parameter, a substitute to the lack of homogeneity. We also quantize involutive submanifolds of contact manifolds.
We study a stabilization of the symplectic category introduced by A. Weinstein as a domain for the geometric quantization functor. The symplectic category is a topological category with objects given by symplectic manifolds, and morphisms being suitable lagrangian correspondences. The main drawback of Weinstein's symplectic category is that composition of morphisms cannot always be defined. Our stabilization procedure rectifies this problem while remaining faithful to the original notion of composition. The stable symplectic category is enriched over the category of spectra (in particular, its…
Ricci-type symplectic manifolds have been introduced and extensively studied by M. Cahen et al.. In this note, we describe their deformation quantizations in the split solvable symmetric case. In particular, we introduce the notion of non-formal tempered deformation quantization on such a space. We show that the set of tempered deformation quantizations is in one-to-one correspondence with the space of Schwartz operator multipliers on the real line. Moreover we prove that every invariant formal star product on a split Ricci-type solvable symmetric space is an asymptotic expansion of a tempered…
We study the orbit structure and the geometric quantization of a pair of mutually commuting hamiltonian actions on a symplectic manifold. If the pair of actions fulfils a symplectic Howe condition, we show that there is a canonical correspondence between the orbit spaces of the respective moment images. Furthermore, we show that reduced spaces with respect to the action of one group are symplectomorphic to coadjoint orbits of the other group. In the Kaehler case we show that the linear representation of a pair of compact Lie groups on the geometric quantization of the manifold is then equipped…
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.
There is a simple and natural quantization of differential forms on odd Poisson supermanifolds, given by the relation [f,dg]={f,g} for any two functions f and g. We notice that this non-commutative differential algebra has a geometrical realization as a convolution algebra of the symplectic groupoid integrating the Poisson manifold. This quantization is just a part of a quantization of the odd symplectic category (where objects are odd symplectic supermanifolds and morphisms are Lagrangian relation) in terms of Z_2-graded chain complexes. It is a straightforward consequence of the theory of BV…
We realize quantized anti de Sitter space black holes, building Connes spectral triples, similar to those used for quantized spheres but based on Universal Deformation Quantization Formulas (UDF) obtained from an oscillatory integral kernel on an appropriate symplectic symmetric space. More precisely we first obtain a UDF for Lie subgroups acting on a symplectic symmetric space M in a locally simply transitive manner. Then, observing that a curvature contraction canonically relates anti de Sitter geometry to the geometry of symplectic symmetric spaces, we use that UDF to define what we call Di…
A (biased and incomplete) review of the status of the theory of symplectic connections on supermanifolds is presented. Also, some comments regarding Fedosov's technique of quantization are made.
The recently proposed projection quantization, which is a method to quantize particular subspaces of systems with known quantum theory, is shown to yield a genuine quantization in several cases. This may be inferred from exact results established within symplectic cutting.
In this paper, we show the spectral convergence result of $\overline{\partial}$-Laplacians when $(X,ω)$ is a compact toric symplectic manifold equipped with the natural prequantum line bundle $L$. We consider a family $\{ J_s\}_s$ of $ω$-compatible complex structures tending to the large complex structure limit, and obtain the spectral convergence of $\overline{\partial}$-Laplacians acting on $L^k$.
We present explicit universal strict deformation quantization formulae for actions of Iwasawa subgroups AN of SU(1,n). This answers a question raised by Rieffel.
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.
In this paper we study overcomplete systems of coherent states associated to compact integral symplectic manifolds by geometric quantization. Our main goals are to give a systematic treatment of the construction of such systems and to collect some recent results. We begin by recalling the basic constructions of geometric quantization in both the Kahler and non-Kahler cases. We then study the reproducing kernels associated to the quantum Hilbert spaces and use them to define symplectic coherent states. The rest of the paper is dedicated to the properties of symplectic coherent states and the co…
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 …
We construct a canonical deformation quantization for symplectic supermanifolds. This gives a novel proof of the super-analogue of Fedosov quantization. Our proof uses the formalism of Gelfand-Kazhdan descent, whose foundations we establish in the super-symplectic setting.
In this note we point out the striking relation between the conditions arising within geometric quantization and the non-perturbative Poisson sigma model. Starting from the Poisson sigma model, we analyze necessary requirements on the path integral measure which imply a certain integrality condition for the Poisson cohomology class $[α]$. The same condition was considered before by Crainic and Zhu but in a different context. In the case when $[α]$ is in the image of the sharp map we reproduce the Vaisman's condition for prequantizable Poisson manifolds. For integrable Poisson manifolds we show…
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.
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 present a formal, algebraic treatment of Fedosov's argument that the coordinate algebra of a symplectic manifold has a deformation quantization. His remarkable formulas are established in the context of affine symplectic algebras.
We define and study category $\mathcal O$ for a symplectic resolution, generalizing the classical BGG category $\mathcal O$, which is associated with the Springer resolution. This includes the development of intrinsic properties parallelling the BGG case, such as a highest weight structure and analogues of twisting and shuffling functors, along with an extensive discussion of individual examples. We observe that category $\mathcal O$ is often Koszul, and its Koszul dual is often equivalent to category $\mathcal O$ for a different symplectic resolution. This leads us to define the notion of a s…
This paper contains three results about generating functions for Lie-theoretic integration of Poisson brackets and their relation to quantization. In the first, we show how to construct a generating function associated to the germ of any local symplectic groupoid and we provide an explicit (smooth, non-formal) universal formula $S_π$ for integrating any Poisson structure $π$ on a coordinate space. The second result involves the relation to semiclassical quantization. We show that the formal Taylor expansion of $S_{tπ}$ around $t=0$ yields an extract of Kontsevich's star product formula based o…
We use the theory of Berezin-Toeplitz operators of Ma and Marinescu to study the spaces of holomorphic sections of a prequantizing line bundle over compact Kähler manifolds under deformations of the complex structure. We show that the parallel transport in the induced vector bundle over the deformation space behaves like a Toeplitz operator, and compute its first coefficient. We then use this result to establish a semi-classical trace formula for the induced quantization of symplectic maps, and give an application to Witten's asymptotic expansion conjecture for the quantum representations of t…
We re-examine some topics in representation theory of Lie algebras and Springer theory in a more general context, viewing the universal enveloping algebra as an example of the section ring of a quantization of a conical symplectic resolution. While some modification from this classical context is necessary, many familiar features survive. These include a version of the Beilinson-Bernstein localization theorem, a theory of Harish-Chandra bimodules and their relationship to convolution operators on cohomology, and a discrete group action on the derived category of representations, generalizing t…
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 give an explicit form of the symplectic groupoid that integrates the semiclassical standard Podles sphere. We show that Sheu's groupoid, whose convolution C*-algebra quantizes the sphere, appears as the groupoid of the Bohr-Sommerfeld leaves of a (singular) real polarization of the symplectic groupoid. By using a complex polarization we recover the convolution algebra on the space of polarized sections. We stress the role of the modular class in the definition of the scalar product in order to get the correct quantum space.
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…
These are lecture notes for the course "Poisson geometry and deformation quantization" given by the author during the fall semester 2020 at the University of Zurich. The first chapter is an introduction to differential geometry, where we cover manifolds, tensor fields, integration on manifolds, Stokes' theorem, de Rham's theorem and Frobenius' theorem. The second chapter covers the most important notions of symplectic geometry such as Lagrangian submanifolds, Weinstein's tubular neighborhood theorem, Hamiltonian mechanics, moment maps and symplectic reduction. The third chapter gives an introd…
As a detailed application of the BV-BFV formalism for the quantization of field theories on manifolds with boundary, this note describes a quantization of the relational symplectic groupoid for a constant Poisson structure. The presence of mixed boundary conditions and the globalization of results is also addressed. In particular, the paper includes an extension to space-times with boundary of some formal geometry considerations in the BV-BFV formalism, and specifically introduces into the BV-BFV framework a "differential" version of the classical and quantum master equations. The quantization…
We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The `quantization commutes with reduction' conjecture of Guillemin and Sternberg then becomes a special case of the functoriality of quantization. In fact, our formulation yields almost unlimited generalizations of the Guillemin--Sternberg conjecture, extending it, for example, to arbitrary Lie groups or even Lie groupoids. Technically, this involves symplectic reduction and Weinstein's dual pairs on the classical side, and Kasparov'…
In this paper, we construct a quantization functor, associating a complex vector space H(V) to a finite dimensional symplectic vector space V over a finite field of odd characteristic. As a result, we obtain a canonical model for the Weil representation of the symplectic group Sp(V). The main new technical result is a proof of a stronger form of the Stone-von Neumann property for the Heisenberg group. Our result answers, for the case of the Heisenberg group, a question of Kazhdan about the possible existence of a canonical vector space attached to a coadjoint orbit of a general unipotent group…
We apply methods from strict quantization of solvable symmetric spaces to obtain universal deformation formulae for actions of a class of solvable Lie groups. We also study compatible co-products by generalizing the notion of smash product in the context of Hopf algebras.
We study the Berezin-Toeplitz quantization on symplectic manifolds making use of the full off-diagonal asymptotic expansion of the Bergman kernel. We give also a characterization of Toeplitz operators in terms of their asymptotic expansion. The semi-classical limit properties of the Berezin-Toeplitz quantization for non-compact manifolds and orbifolds are also established.
We define and study the notion of quantum polarity, which is a kind of geometric Fourier transform between sets of positions and sets of momenta. Extending previous work of ours, we show that the orthogonal projections of the covariance ellipsoid of a quantum state on the configuration and momentum spaces form what we call a dual quantum pair. We thereafter show that quantum polarity allows solving the Pauli reconstruction problem for Gaussian wavefunctions. The notion of quantum polarity exhibits a strong interplay between the uncertainty principle and symplectic and convex geometry and our a…
This paper is about the role of Planck's constant, $\hbar$, in the geometric quantization of Poisson manifolds using symplectic groupoids. In order to construct a strict deformation quantization of a given Poisson manifold, one can use all possible rescalings of the Poisson structure, which can be combined into a single "Heisenberg-Poisson" manifold. The new coordinate on this manifold is identified with $\hbar$. I present an explicit construction for a symplectic groupoid integrating a Heisenberg-Poisson manifold and discuss its geometric quantization. I show that in cases where $\hbar$ canno…
For a compact Lie group $G$ we consider a lattice gauge model given by the $G$-Hamiltonian system which consists of the cotangent bundle of a power of $G$ with its canonical symplectic structure and standard moment map. We explicitly construct a Fedosov quantization of the underlying symplectic manifold using the Levi-Civita connection of the Killing metric on $G$. We then explain and refine quantized homological reduction for the construction of a star product on the symplectically reduced space in the singular case. Afterwards we show that for $G = \operatorname{SU} (2)$ the main hypotheses …
Consider a group $Γ$ acting on a formal (Fedosov) deformation quantization $\mathbb{A}_\hbar(M)$ of a symplectic manifold $(M,ω)$. This canonically induces an action of $Γ$ by symplectomorphisms on $M$. We examine the reverse problem of extending group actions by symplectomorphisms to the deformation quantization. To do this we first define a notion of extension that does not impose restrictions on the Fedosov connection realizing $\mathbb{A}_\hbar(M)$ in its gauge equivalence class by considering composition of pull-back with certain inner automorphisms of sections of the Weyl bundle. We refo…
Many interesting C*-algebras can be viewed as quantizations of Poisson manifolds. I propose that a Poisson manifold may be quantized by a twisted polarized convolution C*-algebra of a symplectic groupoid. Toward this end, I define polarizations for Lie groupoids and sketch the construction of this algebra. A large number of examples show that this idea unifies previous geometric constructions, including geometric quantization of symplectic manifolds and the C*-algebra of a Lie groupoid.
Let $S$ be a spinor bundle of a pseudo-Euclidean vector bundle $(E,\mathrm{g})$ of even rank. We introduce a new filtration on the algebra $\mathcal{D}(M,S)$ of differential operators on $S$. As main property, the associated graded algebra $\mathrm{gr}\mathcal{D}(M,S)$ is isomorphic to the algebra $\mathcal{O}(\mathcal{M})$ of functions on $\mathcal{M}$, where $\mathcal{M}$ is the symplectic graded manifold of degree $2$ canonically associated to $(E,\mathrm{g})$. Accordingly, we define the Weyl quantization on $\mathcal{M}$ as a map $\mathcal{WQ}_\hbar:\mathcal{O}(\mathcal{M})\to\mathcal{D}(M…
