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 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 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.
In this paper we quantize symplectic dynamical r-matrices over a possibly nonabelian base. The proof is based on the fact that the existence of a star-product with a nice property (called strong invariance) is sufficient for the existence of a quantization. We also classify such quantizations and prove a quantum analogue of the classical composition formula for coboundary dynamical r-matrices.
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…
We introduce a new kind of groupoid--a pseudo étale groupoid, which provides many interesting examples of noncommutative Poisson algebras as defined by Block, Getzler, and Xu. Following the idea that symplectic and Poisson geometries are the semiclassical limits of the corresponding quantum geometries, we quantize these noncommutative Poisson manifolds in the framework of deformation quantization.
This work is a contribution to the area of Strict Quantization (in the sense of Rieffel) in the presence of curvature and non-Abelian group actions. More precisely, we use geometry to obtain explicit oscillatory integral formulae for strongly invariant strict deformation quantizations of a class of solvable symplectic symmetric spaces. Each of these quantizations gives rise to a field of (pre)-C*-algebras whose fibers are function algebras which are closed under the deformed product. The symmetry group of the symmetric space acts on each fiber by C*-algebra automorphisms.
We give a new construction of strict deformation quantization of symplectic manifolds equipped with a proper Lagrangian fiber bundle structure, whose representation spaces are the quantum Hilbert spaces obtained by geometric quantization. The construction can be regarded as a "lattice approximation of the correspondence between differential operators and principal symbols". We analyze the corresponding formal deformation quantization. We also investigate into relations between our construction and Berezin-Toeplitz deformation quantization.
A symplectic fibration is a fibre bundle in the symplectic category. We find the relation between deformation quantization of the base and the fibre, and the total space. We use the weak coupling form of Guillemin, Lerman, Sternberg and find the characteristic class of deformation of symplectic fibration. We also prove that the classical moment map could be quantized if there exists an equivariant connection. Along the way we touch upon the general question of quantization with values in a bundle of algebras. We consider Fedosov's construction of deformation quantization in general. In the App…
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 study algebras constructed by quantum Hamiltonian reduction associated with symplectic quotients of symplectic vector spaces, including deformed preprojective algebras, symplectic reflection algebras (rational Cherednik algebras), and quantization of hypertoric varieties introduced by Musson and Van den Bergh. We determine BRST cohomologies associated with these quantum Hamiltonian reductions. To compute these BRST cohomologies, we make use of method of deformation quantization (DQ-algebras) and F-action studied in [Kashiwara-Rouquier], and in [Gordon-Losev].
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…
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…
The Feynman path integral is used to quantize the symplectic leaves of the Poisson-Lie group SU(2)*. In this way we obtain the unitary representations of U_q(su(2)). This is achieved by finding explicit Darboux coordinates and then using a phase space path integral. I discuss the *-structure of SU(2)* and give a detailed description of its leaves using various parametrizations and also compare the results with the path integral quantization of spin.
To a complex symplectic manifold X we associate a canonical quantization algebroid. Our construction is similar to that of Polesello-Schapira's deformation-quantization algebroid, but the deformation parameter is no longer central. If X is compact, the triangulated category of regular holonomic quantization modules is a linear complex Calabi-Yau category of dimension 1 + dim X.
We give a self-contained algebraic description of a formal symplectic groupoid over a Poisson manifold M. To each natural star product on M we then associate a canonical formal symplectic groupoid over M. Finally, we construct a unique formal symplectic groupoid `with separation of variables' over an arbitrary Kaehler-Poisson manifold.
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…
We describe three perspectives on higher quantization, using the example of magnetic Poisson structures which embody recent discussions of nonassociativity in quantum mechanics with magnetic monopoles and string theory with non-geometric fluxes. We survey approaches based on deformation quantization of twisted Poisson structures, symplectic realization of almost symplectic structures, and geometric quantization using 2-Hilbert spaces of sections of suitable bundle gerbes. We compare and contrast these perspectives, describing their advantages and shortcomings in each case, and mention many ope…
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…
B. Fedosov has given a simple and very natural construction of a deformation quantization for any symplectic manifold, using a flat connection on the bundle of formal Weyl algebras associated to the tangent bundle of a symplectic manifold. The connection is obtained by affinizing, nonlinearizing, and iteratively flattening a given torsion free symplectic connection. In this paper, a classical analog of Fedosov's operations on connections is analyzed and shown to produce the usual exponential mapping of a linear connection on an ordinary manifold. A symplectic version is also analyzed. Finally,…
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…
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…
To each natural star product on a Poisson manifold $M$ we associate an antisymplectic involutive automorphism of the formal neighborhood of the zero section of the cotangent bundle of $M$. If $M$ is symplectic, this mapping is shown to be the inverse mapping of the formal symplectic groupoid of the star product. The construction of the inverse mapping involves modular automorphisms of the star product.
In this paper, we initiate the study of a parametrised version of Rieffel's strict deformation quantization. We apply it to give a classification of noncommutative principal torus bundles, in terms of parametrised strict deformation quantization of ordinary principal torus bundles. The paper also contains a putative definition of noncommutative non-principal torus bundles.
Let X be a complex symplectic manifold. By showing that any Lagrangian subvariety has a unique lift to a contactification, we associate to X a triangulated category of regular holonomic microdifferential modules. If X is compact, this is a Calabi-Yau category of complex dimension dim X+1. We further show that regular holonomic microdifferential modules can be realized as modules over a quantization algebroid canonically associated to X.
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.
We describe a natural $q$-deformation of Fock and Goncharov's canonical basis for the algebra of regular functions on a cluster variety associated to a quiver of type $A$. We then describe an extension of this construction involving a cluster variety called the symplectic double.
We study modules over the algebroid stack $\W[\stx]$ of deformation quantization on a complex symplectic manifold $\stx$ and recall some results: construction of an algebra for $\star$-products, existence of (twisted) simple modules along smooth Lagrangian submanifolds, perversity of the complex of solutions for regular holonomic $\W[\stx]$-modules, finiteness and duality for the composition of ``good'' kernels. As a corollary, we get that the derived category of good $\W[\stx]$-modules with compact support is a Calabi-Yau category. We also give a conjectural Riemann-Roch type formula in this …
The cotangent bundle $T^*X$ to a complex manifold $X$ is classically endowed with the sheaf of $\cor$-algebras $\W[T^*X]$ of deformation quantization, where $\cor\eqdot \W[\rmptt]$ is a subfield of $\C[[\hbar,\opb{\hbar}]$. Here, we construct a new sheaf of $\cor$-algebras $\TW[T^*X]$ which contains $\W[T^*X]$ as a subalgebra and an extra central parameter $t$. We give the symbol calculus for this algebra and prove that quantized symplectic transformations operate on it. If $P$ is any section of order zero of $\W[T^*X]$, we show that $\exp(t\opb{\hbar} P)$ is well defined in $\TW[T^*X]$.
The Teichmüller space of punctured surfaces with the Weil-Petersson symplectic structure and the action of the mapping class group is realized as the Hamiltonian reduction of a finite dimensional symplectic space where the mapping class group acts by symplectic rational transformations. Upon quantization the corresponding (projective) representation of the mapping class group is generated by the quantum dilogarithms.
We address one of the open problems in quantization theory recently listed by Rieffel. By developping in detail Connes' tangent groupoid principle and using previous work by Landsman, we show how to construct a strict, flabby quantization, which is moreover an asymptotic morphism and satisfies the reality and traciality constraints, on any oriented Riemannian manifold. That construction generalizes the standard Moyal rule. The paper can be considered as an introduction to quantization theory from Connes' point of view.
The relationship is established between the Fedosov deformation quantization of a general symplectic manifold and the BFV-BRST quantization of constrained dynamical systems. The original symplectic manifold $\mathcal M$ is presented as a second class constrained surface in the fibre bundle ${{\mathcal T}^*_ρ}{\mathcal M}$ which is a certain modification of a usual cotangent bundle equipped with a natural symplectic structure. The second class system is converted into the first class one by continuation of the constraints into the extended manifold, being a direct sum of ${{\mathcal T}^*_ρ}{\ma…
We consider a class of \textit{factorizable} Poisson brackets which includes almost all reasonable Poisson structures. A particular case of the factorizable brackets are those associated with symplectic Lie algebroids. The BRST theory is applied to describe the geometry underlying these brackets as well as to develop a deformation quantization procedure in this particular case. This can be viewed as an extension of the Fedosov deformation quantization to a wide class of \textit{irregular} Poisson structures. In a more general case, the factorizable Poisson brackets are shown to be closely conn…
In this paper, we initiate the study of nonassociative strict deformation quantization of C*-algebras with a torus action. We shall also present a definition of nonassociative principal torus bundles, and give a classification of these as nonassociative strict deformation quantization of ordinary principal torus bundles. We then relate this to T-duality of principal torus bundles with $H$-flux. We also show that the Octonions fit nicely into our theory.
We show how combinatorial star products can be used to obtain strict deformation quantizations of polynomial Poisson structures on $\mathbb R^d$, generalizing known results for constant and linear Poisson structures to polynomial Poisson structures of arbitrary degree. We give several examples of nonlinear Poisson structures and construct explicit formal star products whose deformation parameter can be evaluated to any real value of $\hbar$, giving strict quantizations on the space of analytic functions on $\mathbb R^d$ with infinite radius of convergence. We also address further questions suc…
We extend Fedosov deformation quantization to general contact manifolds. Unlike the case of symplectic manifolds, not every classical observable on a contact manifold is generally quantized. On examination of possible obstructions to quantization, we obtain some new invariants of contact manifolds.
Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[η] \in H^0(X, Ω^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In this paper we construct a functorial in $(X, [η])$ formal quantization of the category $\mathrm{QCoh}(X)$ of quasi-coherent sheaves on $X$. We also construct its natural extension to a quasi-coherent sheaf of categories $\mathrm{QCoh}_h$ on the product $X^{(1)} \times {\mathbb S}$ of the Frobenius twist of $X$ and the projective line ${\mathbb S}=\mathbb P^1$, viewed…
We propose to study deformation quantizations of Whitney functions. To this end, we extend the notion of a deformation quantization to algebras of Whitney functions over a singular set, and show the existence of a deformation quantization of Whitney functions over a closed subset of a symplectic manifold. Under the assumption that the underlying symplectic manifold is analytic and the singular subset subanalytic, we determine that the Hochschild and cyclic homology of the deformed algebra of Whitney functions over the subanalytic subset coincide with the Whitney--de Rham cohomology. Finally, w…
The aim of this paper is two-fold. Firstly we provide necessary and sufficient criteria for the existence of a strict deformation quantization of algebraic tensor products of Poisson algebras, and secondly, we discuss the existence of products of KMS states. As an application, we discuss the correspondence between quantum and classical Hamiltonians in spin systems and we provide a relation between the resolvent of Schödinger operators for non-interacting many-particle systems and quantization maps.
In this paper, we use the parametrised strict deformation quantization of C*-bundles obtained in a previous paper, and give more examples and applications of this theory. In particular, it is used here to classify H_3-twisted noncommutative torus bundles over a locally compact space. This is extended to the case of general torus bundles and their parametrised strict deformation quantization. Rieffel's basic construction of an algebra deformation can be mimicked to deform a monoidal category, which deforms not only algebras but also modules. As a special case, we consider the parametrised stric…
We construct a nontrivial cyclic cocycle on the Weyl algebra of a symplectic vector space. Using this cyclic cocycle we construct an explicit, local, quasi-isomorphism from the complex of differential forms on a symplectic manifold to the complex of cyclic cochains of any formal deformation quantization thereof. We give a new proof of Nest-Tsygan's algebraic higher index theorem by computing the pairing between such cyclic cocycles and the $K$-theory of the formal deformation quantization. Furthermore, we extend this approach to derive an algebraic higher index theorem on a symplectic orbifold…
The standard (Berezin-Toeplitz) geometric quantization of a compact Kaehler manifold is restricted by integrality conditions. These restrictions can be circumvented by passing to the universal covering space, provided that the lift of the symplectic form is exact. I relate this construction to the Baum-Connes assembly map and prove that it gives a strict quantization of the manifold. I also propose a further generalization, classify the required structure, and provide a means of computing the resulting algebras. These constructions involve twisted group C*-algebras of the fundamental group whi…
In this preprint the notion of deformation quantization of endomorphism bundles over symplectic manifolds is defined and developed, including index theory.
We show that for every vector bundle E over any given symplectic manifold M there exists an explicitly given super-Poisson bracket on the space of sections of the dual Grassmann bundle associated to E built out of symplectic structure of M, a fibre metric on E, and a connection in E compatible with the given fibre metric. Moreover, we construct a deformation quantization for this space of sections by means of a Fedosov type procedure.
In this work various symbol spaces with values in a sequentially complete locally convex vector space are introduced and discussed. They are used to define vector-valued oscillatory integrals which allow to extend Rieffel's strict deformation quantization to the framework of sequentially complete locally convex algebras and modules with separately continuous products and module structures, making use of polynomially bounded actions of $\mathbb{R}^n$. Several well-known integral formulas for star products are shown to fit into this general setting, and a new class of examples involving compactl…
We classify filtered quantizations of conical symplectic singularities and use this to show that all filtered quantizations of symplectic quotient singularities are spherical Symplectic reflection algebras of Etingof and Ginzburg. We further apply our classification and a classification of filtered Poisson deformations obtained by Namikawa to establish a version of the Orbit method for semisimple Lie algebras. Namely, we produce a natural map from the set of adjoint orbits in a semisimple Lie algebra to the set of primitive ideals in the universal enveloping algebra. We show that the map is in…
Recently Kontsevich solved the classification problem for deformation quantizations of all Poisson structures on a manifold. In this paper we study those Poisson structures for which the explicit methods of Fedosov can be applied, namely the Poisson structures coming from symplectic Lie algebroids, as well as holomorphic symplectic structures. For deformations of these structures we prove the classification theorems and a general a general index theorem.
We give a classification of polarized deformation quantizations on a symplectic manifold with a (complex) polarization. Also, we establish a formula which relates the characteristic class of a polarized deformation quantization to its Fedosov class and the Chern class of the polarization.
We obtain a family of strict $\hat G$-invariant products on the space of holomorphic functions on a semisimple coadjoint orbit of a complex connected semisimple Lie group $\hat G$. By restriction, we also obtain strict $G$-invariant products $*_\hbar$ on a space $A(O)$ of certain analytic functions on a semisimple coadjoint orbit $O$ of a real connected semisimple Lie group $G$. The space $A(O)$ endowed with one of the products $*_\hbar$ is a Fréchet algebra, and the formal expansion of the products around $\hbar = 0$ determines a formal deformation quantization of $O$, which is of Wick type i…