Let $Γ$ be a finite group acting faithfully and linearly on a vector space $V$. Let $T(V)$ ($S(V)$) be the tensor (symmetric) algebra associated to $V$ which has a natural $Γ$ action. We study generalized quadratic relations on the tensor algebra $T(V)\rtimes Γ$. We prove that the quotient algebras of $T(V)\rtimes Γ$ by such relations satisfy PBW property. Such quotient algebras can be viewed as quantizations of linear or constant Poisson structures on $S(V)\rtimes Γ$, and are natural generalizations of symplectic reflection algebras.
We study the Hochschild cohomology and the Gerstenhaber algebra structure on the algebraic non-commutative torus/quantum torus orbifolds resulting by the action of finite subgroups of $SL_2(\mathbb Z)$. We also examine the Poisson structures and compute the Poisson cohomology.
In this paper, we compute the Gerstenhaber bracket on the Hoch-schild cohomology of $C^\infty(M)\rtimes G$ for a finite group $G$ acting on a compact manifold $M$. Using this computation, we obtain geometric descriptions for all noncommutative Poisson structures on $C^\infty(M)\rtimes G$ when $M$ is a symplectic manifold. We also discuss examples of deformation quantizations of these noncommutative Poisson structures.
We examine PBW deformations of finite group extensions of skew polynomial rings, in particular the quantum Drinfeld orbifold algebras defined by the first author. We give a homological interpretation, in terms of Gerstenhaber brackets, of the necessary and sufficient conditions on parameter functions to define a quantum Drinfeld orbifold algebra, thus clarifying the conditions. In case the acting group is trivial, we determine conditions under which such a PBW deformation is a generalized enveloping algebra of a color Lie algebra; our PBW deformations include these algebras as a special case.
This paper discusses the notion of a deformation quantization for an arbitrary polynomial Poisson algebra A. We examine the Hochschild cohomology group H^3(A) and find that if a deformation of A exists it can be given by bidifferential operators. We then compute an explicit third order deformation quantization of A and show that it comes from a quantized enveloping algebra. We show that the deformation extends to a fourth order deformation if and only if the quantized enveloping algebra gives a fourth order deformation; moreover we give an example where the deformation does not extend. A corre…
Whenever a given Poisson manifold is equipped with discrete symmetries the corresponding algebra of invariant functions or the algebra of functions twisted by the symmetry group can have new deformations, which are not captured by Kontsevich Formality. We consider the simplest example of this situation: $\mathbb{R}^2$ with the reflection symmetry $\mathbb{Z}_2$. The usual quantization leads to the Weyl algebra. While Weyl algebra is rigid, the algebra of even or twisted by $\mathbb{Z}_2$ functions has one more deformation, which was identified by Wigner and is related to Feigin's $gl_λ$ and to…
A skew Laurent polynomial ring R[x^{\pm 1};α] is reversible if it has a reversing automorphism, that is, an automorphism of period two that transposes x and x^{-1} and restricts to an automorphism of R. We study invariants for reversing automorphisms and apply our methods to determine the rings of invariants of reversing automorphisms of two simple skew Laurent polynomial rings, namely a localization of the enveloping algebra of the two-dimensional non-abelian solvable Lie algebra and the coordinate ring of the quantum torus. These two skew Laurent polynomial rings are deformations of Poisson …
In this paper, we study formal deformations of Poisson structures, especially for three families of Poisson varieties in dimensions two and three. For these families of Poisson structures, using an explicit basis of the second Poisson cohomology space, we solve the deformation equations at each step and obtain a large family of formal deformations for each Poisson structure which we consider. With the help of an explicit formula, we show that this family contains, modulo equivalence, all possible formal deformations. We show moreover that, when the Poisson structure is generic, all members of …
We introduce dg Lie algebras controlling the deformations of vertex algebras and vertex Poisson algebras, utilizing the notion of operadic dg Lie algebra and the theory of chiral algebra. In terms of those dg Lie algebras, we formulate the deformation quantization problem of vertex Poisson algebras to vertex algebras.
We study deformation of Courant pairs with a commutative algebra base. We consider the deformation cohomology bi-complex and describe a universal infinitesimal deformation. In a sequel, we formulate an extension of a given deformation of a Courant pair to another with extended base. This leads to describe the obstruction in extending a given deformation. We also discuss about the construction of versal deformation of Courant pairs. As an application, we explicitly compute universal infinitesimal deformation of Poisson algebra structures
We study $\mathbb Z_2$-graded Poisson structures defined on $\mathbb Z_2$-graded commutative polynomial algebras. In small dimensional cases, we exhibit classifications of such Poisson structures, obtain the associated Poisson $\mathbb Z_2$-graded cohomology and in some cases, deformations of these Poisson brackets and $P_\infty$-algebra structures. We highlight differences and analogies between this $\mathbb Z_2$-graded context and the non graded context, by studying for example the links between Poisson cohomology and singularities.
We construct an analogue of the Livernet--Loday operad for two compatible brackets. The Livernet--Loday operad can be used to define $\star$-products and deformation quantization for Poisson structures. We make use of our operad in the same way, introducing a definition of (operadic) deformation quantization of compatible Poisson structures.
We give an elementary proof of the result by Leichtnam, Tang, and Weinstein that there exists a deformation quantization with separation of variables on a complex manifold endowed with a Kaehler-Poisson structure vanishing on a Levi nondegenerate hypersurface and nondegenerate on its complement.
We consider Poisson superalgebras with constant nondegenerate bracket realized on the smooth Grassmann-valued functions with compact supports in R^{2n}. The deformations with even and odd deformation parameters of these superalgebras are presented for n>1.
We give an $L_\infty$-interpretation of the classification, obtained in [AP2], of the formal deformations of a family of exact Poisson structures in dimension three. We indeed obtain again the explicit formulas for all the formal deformations of these Poisson structures, together with a classification in the generic case, by constructing a suitable quasi-isomorphism between two $L_\infty$-algebras, which are associated to these Poisson structures.
We give a simple formula for the operator C_3 of the standard deformation quantization with separation of variables on a Kähler manifold M. Unlike C_1 and C_2, this operator can not be expressed in terms of the Kähler-Poisson tensor on M. We modify C_3 to obtain a covariant deformation quantization with separation of variables up to the third order which is expressed in terms of the Poisson tensor on M and thus can be defined on an arbitrary complex manifold endowed with a Poisson bivector field of type (1,1).
We study the deformation complex of the dg wheeled properad of $\mathbb{Z}$-graded quadratic Poisson structures and prove that it is quasi-isomorphic to the even M. Kontsevich graph complex. As a first application we show that the Grothendieck-Teichmüller group acts on the genus completion of that wheeled properad faithfully and essentially transitively. As a second application we classify all universal quantizations of $\mathbb{Z}$-graded quadratic Poisson structures together with the underlying (so called) homogeneous formality maps. In particular we show that two universal quantizations of …
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 is the first of two papers on vertex Poisson algebras associated with Courant algebroids, and their deformations. In this work, we study relationships between vertex Poisson algebras and Courant algebroids. For any $\N$-graded vertex Poisson algebra $A=\coprod_{n\in\N} A_{(n)}$, we show that $A_{(1)}$ is a Courant $A_{(0)}$-algebroid. On the other hand, for any Courant $\mathcal{A}$-algebroid $\mathcal{B}$, we construct an $\N$-graded vertex Poisson algebra $A=\coprod_{n\in\N}A_{(n)}$ such that $A_{(0)}$ is $\mathcal{A}$ and the Courant $\mathcal{A}$-algebroid $A_{(1)}$ is isomorphic to $…
We classify in this paper Poisson structures on modules over semisimple Lie algebras arising from classical r-matrices. We then study their quantizations and the relation to classical invariant theory.
We express the difference between Poisson bracket and deformed bracket for Kontsevich deformation quantization on any Poisson manifold by means of second derivative of the formality quasi-isomorphism. The counterpart on star products of the action of formal diffeomorphisms on Poisson formal bivector fields is also investigated.
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.
Given a Lie algebra, there uniquely exists a Poisson algebra which is called a Lie-Poisson algebra over the Lie algebra. We will prove that given a Loday/Leibniz algebra there exists uniquely a noncommutative Poisson algebra over the Loday algebra. The noncommutative Poisson algebras are called the Loday-Poisson algebras. In the super/graded cases, the Loday-Poisson bracket is regarded as a noncommutative version of classical (linear) Schouten-Nijenhuis bracket. It will be shown that the Loday-Poisson algebras form a special subclass of Aguiar's dual-prePoisson algebras. We also study a proble…
In this paper, we first recall the notion of (noncommutative) Poisson conformal algebras and describe some constructions of them. Then we study the formal distribution (noncommutative) Poisson algebras and coefficient (noncommutative) Poisson algebras. Next, we introduce the notion of conformal formal deformations of commutative associative conformal algebras and show that Poisson conformal algebras are the corresponding semi-classical limits. At last, we develop the cohomology theory of noncommutative Poisson conformal algebras and use this cohomology to study their deformations.
In our earlier article [Lett. Math. Phys. 107 (2017), 475-503, arXiv:1409.8188], we explicitly described a topological Hopf algebroid playing the role of the noncommutative phase space of Lie algebra type. Ping Xu has shown that every deformation quantization leads to a Drinfeld twist of the associative bialgebroid of h-adic series of differential operators on a fixed Poisson manifold. In the case of linear Poisson structures, the twisted bialgebroid essentially coincides with our construction. Using our explicit description of the Hopf algebroid, we compute the corresponding Drinfeld twist ex…
These notes are based on the course given at the School of Geometry, University Kasdi Merbah (Ouargla) 2012. The aim of the course was the deformation quantization of Poisson Lie groups. In these notes we only review Kontsevich's formality theorem.
We compute the Hochschild homology of the crossed product $\Bbb C[S_n]\ltimes A^{\otimes n}$ in terms of the Hochschild homology of the associative algebra $A$ (over $\Bbb C$). It allows us to compute the Hochschild (co)homology of $\Bbb C[W]\ltimes A^{\otimes n}$ where $A$ is the $q$-Weyl algebra or any its degeneration and $W$ is the Weyl group of type $A_{n-1}$ or $B_n$. For a deformation quantization $A_+$ of an affine symplectic variety $X$ we show that the Hochschild homology of $S^n A$, $A=A_+[\hbar^{-1}]$ is additively isomorphic to the Chen-Ruan orbifold cohomology of $S^nX$ with coef…
A simple iterative procedure is suggested for the deformation quantization of (irregular) Poisson brackets associated to the classical Yang-Baxter equation. The construction is shown to admit a pure algebraic reformulation giving the Universal Deformation Formula (UDF) for any triangular Lie bialgebra. A simple proof of classification theorem for inequivalent UDF's is given. As an example the explicit quantization formula is presented for the quasi-homogeneous Poisson brackets on two-plane.
As a generalization of the linear Poisson bracket on the dual space of a Lie algebra, we introduce certain non-linear Poisson brackets which are ``cocycle perturbations'' of the linear Poisson bracket. We show that these special Poisson brackets are equivalent to Poisson brackets of central extension type, which resemble the central extensions of an ordinary Lie bracket via Lie algebra cocycles. We are able to formulate (strict) deformation quantizations of these Poisson brackets by means of twisted group C*-algebras. We also indicate that these deformation quantizations can be used to constru…
We give simple explicit formulas for deformation quantization of Poisson-Lie groups and of similar Poisson manifolds which can be represented as moduli spaces of flat connections on surfaces. The star products depend on a choice of Drinfeľd associator and are obtained by applying certain monoidal functors (fusion and reduction) to commutative algebras in Drinfeľd categories. From a geometric point of view this construction can be understood as a quantization of the quasi-Poisson structures on moduli spaces of flat connections.
A.A. Kirillov introduced the family algebras in 2000. In this paper we study the noncommutative Poisson bracket P on the classical family algebra. We show that P is the first-order deformation from the classical family algebra to the quantum family algebra. We will prove that the noncommutative Poisson bracket is in fact a Hochschild 2-coboundary therefore the deformation is infinitesimally trivial. In the last part of this paper we also talk about Mackey's analogue and the quantization problem of the family algebras.
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.
As one knows, for every Poisson manifold $M$ there exists a formal noncommutative deformation of the algebra of functions on it; it is determined in a unique way (up to an equivalence relation) by the given Poisson bivector. Let a Lie algebra $\mathfrak g$ act by derivations on the functions on $M$. The main question, which we shall address in this paper is whether it is possible to lift this action to the derivations on the deformed algebra. It is easy to see, that when dimension of $\mathfrak g$ is $1$, the only necessary and sufficient condition for this is that the given action is by Poiss…
To each natural deformation quantization on a Poisson manifold M we associate a Poisson morphism from the formal neighborhood of the zero section of the cotangent bundle to M to the formal neighborhood of the diagonal of the product M x M~, where M~ is a copy of M with the opposite Poisson structure. We call it dequantization of the natural deformation quantization. Then we "dequantize" Fedosov's quantization.
We introduce a natural nondegeneracy condition for Poisson structures, called holonomicity, which is closely related to the notion of a log symplectic form. Holonomic Poisson manifolds are privileged by the fact that their deformation spaces are as finite-dimensional as one could ever hope: the corresponding derived deformation complex is a perverse sheaf. We develop some basic structural features of these manifolds, highlighting the role played by the divergence of Hamiltonian vector fields. As an application, we establish the deformation-invariance of certain families of Poisson manifolds de…
This is a review aimed at a physics audience on the relation between Poisson sigma models on surfaces with boundary and deformation quantization. These models are topological open string theories. In the classical Hamiltonian approach, we describe the reduced phase space and its structures (symplectic groupoid), explaining in particular the classical origin of the non-commutativity of the string end-point coordinates. We also review the perturbative Lagrangian approach and its connection with Kontsevich's star product. Finally we comment on the relation between the two approaches.
We give an explicit construction of a deformation quantization of the algebra of functions on a Poisson manifolds, based on Kontsevich's local formula. The deformed algebra of functions is realized as the algebra of horizontal sections of a vector bundle with flat connection.
Poisson algebraic structures on current manifolds (of maps from a finite dimensional Riemannian manifold into a 2-dimensional manifold) are investigated in terms of symplectic geometry. It is shown that there is a one to one correspondence between such current manifolds and Poisson current algebras with three generators. A geometric meaning is given to q-deformations of current algebras. The geometric quantization of current algebras and quantum current algebraic maps is also studied.
We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the subcomplex of differential forms on a symplectic manifold vanishing on a Lagrangian submanifold, endowed with the Koszul bracket. As a corollary we generalize a recent result by Hitchin on deformations of holomorphic Poisson manifolds.
We establish a connection between smooth symplectic resolutions and symplectic deformations of a (possibly singular) affine Poisson variety. In particular, let V be a finite-dimensional complex symplectic vector space and G\subset Sp(V) a finite subgroup. Our main result says that the so-called Calogero-Moser deformation of the orbifold V/G is, in an appropriate sense, a versal Poisson deformation. That enables us to determine the algebra structure on the rational cohomology H^*(X) of any smooth symplectic resolution X \to V/G (multiplicative McKay correspondence). We prove further that if G i…
The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent sheaves. The global category is very degenerate in general. Thus, we introduce a new notion of a semi-formal deformation, a replacement in algebraic geometry of an actual deformation (versus a formal one). Deformed algebras obtained by semi-formal deformations are Noetherian and have polynomial growth. We propose constructions of semi-formal quantizations of…
We consider the problem of deforming simultaneously a pair of given structures. We show that such deformations are governed by an L-infinity algebra, which we construct explicitly. Our machinery is based on Th. Voronov's derived bracket construction. In this paper we consider only geometric applications, including deformations of coisotropic submanifolds in Poisson manifolds, of twisted Poisson structures, and of complex structures within generalized complex geometry. These applications can not be, to our knowledge, obtained by other methods such as operad theory.
We generalize some results concerning affine algebras at the critical level to the corresponding quantum algebras. In particular, we show that the Wakimoto realization provides a homomorphism of Poisson algebras from the center of a quantum affine algebra to a Heisenberg-Poisson algebra. This homomorphism is a q-deformation of the Miura transformation. It is given by the same formulas as the spectra of transfer-matrices of the corresponding quantum integrable models. The image of the center in the Heisenberg-Poisson algebra is a Poisson subalgebra of the latter, which is a q-deformation of the…
This note is an overview of the Poisson sigma model (PSM) and its applications in deformation quantization. Reduction of coisotropic and pre-Poisson submanifolds, their appearance as branes of the PSM, quantization in terms of L-infinity and A-infinity algebras, and bimodule structures are recalled. As an application, an "almost" functorial quantization of Poisson maps is presented if no anomalies occur. This leads in principle to a novel approach for the quantization of Poisson-Lie groups.
Let $(X,ω)$ be a symplectic orbifold which is locally like the quotient of a $\mathbb{Z}_2$ action on $\reals^n$. Let $A^{((\hbar))}_X$ be a deformation quantization of $X$ constructed via the standard Fedosov method with characteristic class being $ω$. In this paper, we construct a universal deformation of the algebra $A^{((\hbar))}_X$ parametrized by codimension 2 components of the associated inertia orbifold $\widetilde{X}$. This partially confirms a conjecture of Dolgushev and Etingof in the case of $\mathbb{Z}_2$ orbifolds. To do so, we generalize the interpretation of Moyal star-product …
We construct a Chern-Simons type of theory using the $l_\infty$ algebra encoded by a Poisson structure on arbitrary Riemann surfaces with boundaries. A deformation quantization within the Batalin-Vilkovisky framework is performed by constructing propagators with Dirichlet boundary condition on Fulton-MacPherson compactified configuration space. Our results show that the BV quantization is independent of several gauge choices in propagators, which leads to global observables that are candidates for geometric invariants of Poisson structure and topological invariants for the worldsheet structure…
Let $\{{\cdot},{\cdot}\}_{\boldsymbol{\mathcal{P}}}$ be a variational Poisson bracket in a field model on an affine bundle $π$ over an affine base manifold $M^m$. Denote by $\times$ the commutative associative multiplication in the Poisson algebra $\boldsymbol{\mathcal{A}}$ of local functionals $Γ(π)\to\Bbbk$ that take field configurations to numbers. By applying the techniques from geometry of iterated variations, we make well defined the deformation quantization map ${\times}\mapsto{\star}={\times}+\hbar\,\{{\cdot},{\cdot}\}_{\boldsymbol{\mathcal{P}}}+\bar{o}(\hbar)$ that produces a noncommu…
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…
Let $P$ be a Poisson structure on a finite-dimensional affine real manifold. Can $P$ be deformed in such a way that it stays Poisson? The language of Kontsevich graphs provides a universal approach -- with respect to all affine Poisson manifolds -- to finding a class of solutions to this deformation problem. For that reasoning, several types of graphs are needed. In this paper we outline the algorithms to generate those graphs. The graphs that encode deformations are classified by the number of internal vertices $k$; for $k \leqslant 4$ we present all solutions of the deformation problem. For …
I prove that every finite-dimensional Poisson manifold X admits a canonical deformation quantization. Informally, it means that the set of equivalence classes of associative algebras close to the algebra of functions on X is in one-to-one correspondence with the set of equivalence classes of Poisson structures on X modulo diffeomorphisms. In fact, a more general statement is proven ("Formality conjecture"), relating the Lie superalgebra of polyvector fields on X and the Hochschild complex of the algebra of functions on X. Coefficients in explicit formulas for the deformed product can be interp…
