AMSLaTeX, 41 pages, XYpic and eps figures. Final version; to appear in Advances Math (Michael Artin issue). Several new technical results and remarks in this version
We study deformation quantizations of the structure sheaf O_X of a smooth algebraic variety X in characteristic 0. Our main result is that when X is D-affine, any formal Poisson structure on X determines a deformation quantization of O_X (canonically, up to gauge equivalence). This is an algebro-geometric analogue of Kontsevich's celebrated result.
We give a proof of Yekutieli's global algebraic deformation quantization result which does not rely on the choice of local sections of the bundle of affine coordinate systems. Instead we use an argument inspired by algebraic De Rham cohomology.
Let X be a smooth algebraic variety over a field K containing the real numbers. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf of X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization operation from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on gauge equivalence classes. This result extends work of Kontsevich, and our own earlier work, on deformation quantization of algebraic varieties.
This note contains a correction of the proofs of the main results of the paper [A. Yekutieli, Deformation quantization in algebraic geometry, Adv. Math. 198 (2005), 383-432]. The results are correct as originally stated.
Let X be a smooth algebraic variety over a field of characteristic 0. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf O_X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization map from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on equivalence classes.
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.
This is a report on recent progress concerning the interactions between derived algebraic geometry and deformation quantization. We present the notion of derived algebraic stacks, of shifted symplectic and Poisson structures, as well as the construction of deformation quantization of shifted Poisson structures. As an application we propose a general construction of the quantization of the moduli space of $G$-bundles on an oriented space of arbitrary dimension.
For an affine toric variety $\mathrm{Spec}(A)$, we give a convex geometric description of the Hodge decomposition of its Hochschild cohomology. Under certain assumptions we compute the dimensions of the Hodge summands $T^1_{(i)}(A)$, generalizing the existing results about the Andre-Quillen cohomology group $T^1_{(1)}(A)$. We prove that every Poisson structure on a possibly singular affine toric variety can be quantized in the sense of deformation quantization.
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 give a complete identification of the deformation quantization which was obtained from the Berezin-Toeplitz quantization on an arbitrary compact Kaehler manifold. The deformation quantization with the opposite star-product proves to be a differential deformation quantization with separation of variables whose classifying form is explicitly calculated. Its characteristic class (which classifies star-products up to equivalence) is obtained. The proof is based on the microlocal description of the Szegoe kernel of a strictly pseudoconvex domain given by Boutet de Monvel and Sjoestrand.
Contrary to the classical methods of quantum mechanics, the deformation quantization can be carried out on phase spaces which are not even topological manifolds. In particular, the Moyal star product gives rise to a canonical functor $F$ from the category of affine analytic spaces to the category of associative (in general, non-commutative) $\C$-algebras. Curiously, if $X$ is the $n$-tuple point, $x^{n}=0$, then $F(X)$ is the algebra of $n\times n$ matrices.
We give a new method to prove a formula computing a variant of Caldararu's Mukai pairing \cite{Cal1}. Our method is based on some important results in the area of deformation quantization. In particular, part of the work of Kashiwara and Schapira in \cite{KS} as well as an algebraic index theorem of Bressler, Nest and Tsygan in \cite{BNT},\cite{BNT1} and \cite{BNT2} are used. It is hoped that our method is useful for generalization to settings involving certain singular varieties.
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 is the continuation of arXiv:0802.1245. We construct the Hochschild class for coherent modules over a deformation quantization algebroid on a complex Poisson manifold. We also define the convolution of Hochschild homologies, and prove that the Hochschild class of the convolution of two coherent modules is the convolution of their Hochschild classes. We study with some details the case of symplectic deformations.
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.
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.
The sheaf of rings of WKB operators provides a deformation-quantization of the cotangent bundle to a complex manifold. On a complex symplectic manifold $X$ there may not exist a sheaf of rings locally isomorphic to a ring of WKB operators. The idea is then to consider the whole family of locally defined sheaves of WKB operators as the deformation-quantization of $X$. To state it precisely, one needs the notion of algebroid stack, introduced by Kontsevich. In particular, the stack of WKB modules over $X$ defined in Polesello-Schapira (see also Kashiwara for the contact case) is better understoo…