We prove that after inverting the Planck constant $h$, the Bezrukavnikov–Kaledin quantization $(X, {\mathcal {O}}_h)$ of symplectic variety $X$ in characteristic $p$ with $H^2(X, {\mathcal {O}}_X) =0$ is Morita equivalent to a certain central reduction of the algebra of differential operators on $X$.

We settle several fundamental questions about the theory of universal deformation quantization of Lie bialgebras by giving their complete classification up to homotopy equivalence. Moreover, we settle these questions in a greater generality: we give a complete classification of the associated universal formality maps. An important new technical ingredient introduced in this paper is a polydifferential endofunctor ${\mathcal {D}}$ in the category of augmented props with the property that for any representation of a prop ${\mathcal {P}}$ in a vector space $V$ the associated prop ${\mathcal {D}}{\mathcal {P}}$ admits an induced representation on the graded commutative algebra $\odot ^\bullet V$ given in terms of polydifferential operators. Applying this functor to the minimal resolution $\widehat {\mathcal {L}\textit{ieb}}_\infty$ of the genus completed prop $\widehat {\mathcal {L}\textit{ieb}}$ of Lie bialgebras we show that universal formality maps for quantizations of Lie bialgebras are in one-to-one correspondence with morphisms of dg props

\[F: \mathcal{A}\textit{ssb}_\infty \longrightarrow {\mathcal{D}}\widehat{\mathcal{L}\textit{ieb}}_\infty \]

$\mathcal {A}\textit{ssb}_\infty$

$\mathfrak{A}$

${\mathcal {L}} ie_\infty$

${\mathcal {L}} ie_\infty$

$\mathsf {Def}({\mathcal {A}} ss{\mathcal {B}}_\infty \rightarrow {\mathcal {E}} nd_{\odot ^\bullet V})$

$\mathsf {Def}({\mathcal {L}} ie{\mathcal {B}}\rightarrow {\mathcal {E}} nd_V)$

$\odot V$

$V$

$\mathsf {Def}(\mathcal {A}\textit{ssb}_\infty \stackrel {F}{\rightarrow } {\mathcal {D}}\widehat {\mathcal {L}\textit{ieb}}_\infty )$

$\{F_\mathfrak{A}\}$

$GRT=GRT_1\rtimes {\mathbb {K}}^*$

$\{\mathfrak{A}\}$

Gross, Hacking and Keel have constructed mirrors of log Calabi–Yau surfaces in terms of counts of rational curves. Using $q$-deformed scattering diagrams defined in terms of higher-genus log Gromov–Witten invariants, we construct deformation quantizations of these mirrors and we produce canonical bases of the corresponding non-commutative algebras of functions.

We prove a $\unicode[STIX]{x1D6E4}$-equivariant version of the algebraic index theorem, where $\unicode[STIX]{x1D6E4}$ is a discrete group of automorphisms of a formal deformation of a symplectic manifold. The particular cases of this result are the algebraic version of the transversal index theorem related to the theorem of A. Connes and H. Moscovici for hypo-elliptic operators and the index theorem for the extension of the algebra of pseudodifferential operators by a group of diffeomorphisms of the underlying manifold due to A. Savin, B. Sternin, E. Schrohe and D. Perrot.

We determine the additional structure which arises on the classical limit of a DQ-algebroid.

We prove a version of Kontsevich’s formality theorem for two subspaces (branes) of a vector space X. The result implies, in particular, that the Kontsevich deformation quantizations of S(X*) and ∧(X) associated with a quadratic Poisson structure are Koszul dual. This answers an open question in Shoikhet’s recent paper on Koszul duality in deformation quantization.

The classical Fourier–Mukai duality establishes an equivalence of categories between the derived categories of sheaves on dual complex tori. In this article we show that this equivalence extends to an equivalence between two dual objects. Both of these are generalized deformations of the complex tori. In one case, a complex torus is deformed formally in a non-commutative direction specified by a holomorphic Poisson structure. In the other, the dual complex torus is deformed in a $B$-field direction to a formal gerbe. We show that these two deformations are Fourier–Mukai equivalent.

A symplectic fibration is a fibre bundle in the symplectic category (a bundle of symplectic fibres over a symplectic base with a symplectic structure group). We find the relation between the deformation quantization of the base and the fibre, and that of the total space. We consider Fedosov's construction of deformation quantization. We generalize the Fedosov construction to the quantization with values in a bundle of algebras. We find that the characteristic class of deformation of a symplectic fibration is the weak coupling form of Guillemin, Lerman, and Sternberg. We also prove that the classical moment map could be quantized if there exists an equivariant connection.