Related papers: Global formality at the $G_\infty$-level

To any $\mathfrak{g}$-manifold $M$ are associated two dglas $\operatorname{tot}\big(\Lambda^{\bullet} \mathfrak{g}^\vee \otimes_{\Bbbk} T_{\operatorname{poly}}^{\bullet} \big)$ and $\operatorname{tot} \big(\Lambda^{\bullet}…

The global formality of Dolgushev depends on the choice of a torsion-free covariant derivative. We prove that the globalized formalities with respect to two different covariant derivatives are homotopic. More explicitly, we derive the…

Let $i: \mathrm{L} \hookrightarrow \mathrm{X}$ be a compact K\"{a}hler Lagrangian in a holomorphic symplectic variety $\mathrm{X}/\mathbf{C}$. We use deformation quantisation to show that the endomorphism differential graded algebra…

Following the work of Duistermaat-Singer \cite{DS} on isomorphisms of algebras of global pseudodifferential operators, we classify isomorphisms of algebras of microlocally defined semiclassical pseudodifferential operators. Specifically, we…

We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the…

In this article, $X$ will denote a ${\cal C}^{\infty}$ manifold. In a very famous article, Kontsevich showed that the differential graded Lie algebra (DGLA) of polydifferential operators on $X$ is formal. Calaque extended this theorem to…

According to a statement by Pavel Etingof, in the special case of an affine variety $X$ with a faithful action by a finite group $G$, the sheaf of (twisted) Cherednik algebras $\mathcal{H}_{1, c, \psi, X, G}$ with formal parameters $c,…

We give some formality criteria for a differential graded Lie algebra to be formal. For instance, we show that a DG-Lie algebra L is formal if and only if the natural spectral sequence computing the Chevalley-Eilenberg cohomology H(L,L)…

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of DG…

Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of…

We construct a 2-colored operad G^+ which, on the one hand, extends the operad G governing homotopy Gerstenhaber algebras and, on the other hand, extends the 2-colored operad governing open-closed homotopy algebras (OCHA). We show that…

In this short note we prove an equivariant version of the formality of multidiffirential operators for a proper Lie group action. More precisely, we show that the equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism between the…

Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\infty}$ minimal models…

Kontsevich's formality theorem and the consequent star-product formula rely on the construction of an $L_\infty$-morphism between the DGLA of polyvector fields and the DGLA of polydifferential operators. This construction uses a version of…

We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable…

In this paper, we will look at the algebra of global differential operators $D_X$ on wonderful compactifications $X$ of symmetric spaces $G/H$ of type $A_1$ and $A_2$. We will first construct a global differential operator on these…

We prove a version of Temkin's local altered uniformization theorem. We show that for any rig-smooth, quasi-compact and quasi-separated admissible formal $\mathcal{O}_K$-model $\mathfrak{X}$, there is a finite extension $K'/K$ such that…

The main goal of this paper is to study the formal geometry of dg manifolds \`a la Fedosov. For any dg manifold $(\mathcal{M}, Q)$, we construct a Fedosov dg foliation (or dg Lie algebroid) $\mathcal{F}_Q \to \mathcal{N}_Q$. We establish…

In this short note we describe an alternative global version of the twisting procedure used by Dolgushev to prove formality theorems. This allows us to describe the maps of Fedosov resolutions, which are key factors of the formality…

DQ-algebroids locally defined on a symplectic manifold form a 2-gerbe. By adapting the method of P. Deligne to the setting of DQ-algebroids we show that this 2-gerbe admits a canonical global section, namely that every symplectic manifold…