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.
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.
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.
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 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].
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.
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 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.
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.
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…
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 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.
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…
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…
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…
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.
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…
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…
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 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.
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]$.
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 …
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,…
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 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…
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 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…
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…
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…
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…
In this preprint the notion of deformation quantization of endomorphism bundles over symplectic manifolds is defined and developed, including index theory.
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…
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.
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…
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 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…
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…
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.
