Deformation quantisation for unshifted symplectic structures on derived Artin stacks (Q1783970)

The existence of quantisations of \(n\)-shifted Poisson structures is a formality for \(n>0.\) This follows from the equivalence of operads \(E_{n+1}\simeq P_{n+1},\) and leads to the existence of positively shifted symplectic structures by the equivalence between symplectic and non-degenerate Poisson structures. Also, quantisation for non-degenerate \((-1)\)-shifted Poisson structures is established, and this article considers the final \(n=0\) case. Unshifted symplectic structures arise on objects incorporating both stacky and derived structures. This is because the non-degeneracy of the symplectic form implies that the cotangent complex must have both positive and negative terms. Examples include the derived moduli stack of perfect complexes on an algebraic \(K3\) surface and the derived moduli stack of locally constant \(G\)-torsors on a compact oriented topological surface; here \(G\) is an algebraic group with a Killing form on the corresponding Lie algebra. Common to the construction of deformation quantisation for manifolds and for smooth algebraic varieties is the reduction étale locally to affine space. This is not possible for derived Artin stacks, and the author develops an approach to show that all non-degenerate Poisson structures can be quantised even if the Hochschild complex is not formal. This can be applied to the quantization of non-degenerate \((-1)\)-shifted Poisson structures combined with the formality of the \(E_2\)-operad. In [J. Topol. 10, No. 1, 178--210 (2017; Zbl 1401.14017)], the author proved the correspondence between \(n\)-shifted symplectic and non-degenerate Poisson structures \(\pi\). This proof relies on the existence of a morphism of commutative bidifferential bigraded algebras (CDGA) \(\mu(-,\pi)\) from the de Rham algebra to the algebra \(T_{\pi}\widehat{\text{Pol}}(X,n)\) of polyvectors with differential shifted by \(\pi.\) The idea was extended to give the existence of quantizations for \((-1)\)-shifted symplectic structures where \(\mu\) is an \(A_{\infty}\)-morphism from the de Rham algebra to the ring of differential operators. To use these techniques on \(0\)-shifted symplectic structures, the polyvectors and the differential operators are replaced by the Hochschild complex \(\text{CC}^\bullet_R(X)\) of a derived Artin stack \(X\), given by a resolution by stacky CDGAs. This has an \(E_2\) operad structure, and a Levi decomposition \(w\) for the Grothendieck-Techmüller group gives a \(P_2\)-operad structure. Quantisations \(\Delta\) are defined then as certain Maurer-Cartan elements \(\Delta\in\text{CC}^\bullet_R(X)[\![\hbar]\!].\) These give curved deformations of the dg category of perfect complexes. Let \(\Delta\) be a quantization. Then \([\Delta,-]\) defines a derivation from \(\mathcal O_X\) to \(\text{CC}^\bullet_R(X)[\![\hbar]\!]\) and determines a map \(\Omega^1_X\rightarrow\text{CC}^\bullet_R(X)[\![\hbar]\!][1].\) Let \(\mu_w(-,\Delta)\) be the resulting morphism of CDGAs. This gives a notion of compatibility between \(E_1\) quantisations \(\Delta\) and generalised pre-symplectic structures (power series \(\omega\) of elements of the de Rham complex). If \(\mu_w(\omega,\Delta)\simeq\hbar^2\frac{\partial\Delta}{\partial\hbar},\) \(\omega\) and \(\Delta\) is said to be \(w\)-compatible. The first result of the article proves that every non-degenerate quantizaton of a stacky CDGA \(A\) has a unique \(w\)-compatible generalised pre-symplectic structure, giving a map \(\mathcal Q\mathcal P(A,0)^{\text{nondeg}}\rightarrow\text{H}^2(F^2\text{DR}(A))\times\hbar\text{H}^2(F^1\text{DR}(A))\times\hbar^2\text{H}^1(\text{DR}(A))[\![\hbar]\!]\) on the space of non-degenerate \(0\)-shifted \(E_1\) quantizations of \(A\). Consider the spaces \(\mathcal Q\mathcal P(A,0)/G^{k+1}\) consisting of \(E_1\) quantisations of order \(k\), i.e. Maurer-Cartan elements in \(\prod_{j\geq 2}(F_j\text{CC}^\bullet_R(A)/F_{j-k-1})\hbar^{j-1}\) where \(F\) is the good truncation filtration in the Hochschild direction. The next result of the article proves that there is a map \(\mathcal Q\mathcal P(A,0)^{\text{nondeg}}\rightarrow(\mathcal Q\mathcal P(A,0)^{\text{nondeg}}/G^2)\times\hbar^2\text{H}^2(\text{DR}(A))[\![\hbar]\!]\) is given by an equivalence and thus quantization reduces to a first order problem. This problem is resolved by introducing a notion of self-duality which are defined for line bundles \(\mathcal L\) with an involution \(\mathcal L\simeq\mathcal L^\vee\) to the Grothendieck-Verdier dual. In the present setting, this is given by considering anti-involutive associated algebras and categories. In general, a self-dual quantization of \(X\) over \(R\) leads to a curved \(A_{\infty}\)-category with \(R[\![\hbar]\!]\)-semilinear anti-involution deforming the dg category of perfect complexes on \(X.\) When the quantizations are self-dual, the first-order obstruction vanishes, leading to a main result stating that the equivalence class of self-dual quantizations of a given non-degenerate Poisson structure is parametrised by \(\hbar^2\text{H}^2(\text{DR}(A))[\![\hbar]\!],\) and in particular such quantizations always exist. Also, a global version of these result for derived Artin \(N\)-stacks are given. The article describe commutative bidifferential bigraded algebras as formal completions of derived \(N\)-stacks along derived affines, together with the complex of of polyvectors \(\widehat{\text{Pol}}(A,0)\) on these objects, and the space \(\mathcal P(A,0)\) of Poisson structures. A quantization \(Q\widehat{\text{Pol}}(A,0)\) of the complex of polyvectors is introduced. This is defined in terms of the Hochschild complex, and it introduces an anti-involution of this complex whose fixed points give rise to self-dual quantizations. Then the author introduces generalized pre-symplectic structures as de Rham power series, recalls formality quasi-isomorphisms for the \(E_2\) operad associated to Levi decompositions \(w\) of the Grothendieck-Teichmüller group, and give the notion of \(w\)-compatibility between quantizations and generalized pre-symplectic structures. The above mentioned results follow, and establish the existence of quantisations of non-degenerate unshifted Poisson (and symplectic) structures on stacky derived affines. From this follows the result that for Levi decompositions corresponding to even associators, constant power series correspond to Kontsevich-Tamarkin quantizations. The final chapter globalise the results to the setting of derived Artin \(N\)-stacks, by giving étale functoriality on \(\infty\)-categories and applying descent arguments. This proves how \(E_1\) quantisations in the present meaning give rise to curved \(A_\infty\) deformations of the dg category of perfect complexes on a derived Artin \(N\)-stack. The article is highly nontrivial and gives a really nice application of deformation quantization in model categories. It gives an indication of how to do formal deformation theory in derived categories, and completes the theory of deformation quantization of symplectic structures on Artin stacks.