Related papers: Formality theorem with coefficients in a module

Given a transitive DG-Lie algebroid $(\mathcal{A}, \rho)$ over a smooth separated scheme $X$ of finite type over a field $\mathbb{K}$ of characteristic $0$ we define a notion of connection $\nabla \colon \mathbf{R}\Gamma(X,\mathrm{Ker}…

The rational homotopy type of a differential graded algebra (DGA) can be represented by a family of tensors on its cohomology, which constitute an $A_\infty$-minimal model of this DGA. When only the cohomology is needed to determine the…

We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.

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…

Recently M. Kontsevich found a combinatorial formula defining a star-product of deformation quantization for any Poisson manifold. Kontsevich's formula has been reinterpreted physically as quantum correlation functions of a topological…

Let $(\mathrm{X},\sigma)$ be a holomorphic symplectic manifold. We study the differential graded category of canonical Lagrangian $\mathrm{D}$-branes $\mathcal{D}_\mathrm{Lag}(\mathrm{X},\sigma)$ along with its deformation quantisation,…

In this paper we prove that the sheaf of $\Lscr$-poly-differential operators for a locally free Lie algebroid $\Lscr$ is formal when viewed as a sheaf of $G_\infty$-algebras via Tamarkin's morphism of DG-operads $G_\infty\r B_\infty$. In an…

This paper provides a description of an algebraic setting for the Lagrangian formalism over graded algebras and is intended as the necessary first step towards the noncommutative C-spectral sequence (variational bicomplex). A noncommutative…

We extend the formality theorem of Maxim Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes on smooth and complex manifolds.

Let $D:\Omega\xrightarrow{}\Omega$ be a differential operator defined in the exterior algebra $\Omega$ of differential forms over the polynomial ring $S$ in $n$ variables. In this work we give conditions for deforming the module structure…

Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present…

This article gives an exposition of the deformation theory for pairs $(X, E)$, where $X$ is a compact complex manifold and $E$ is a holomorphic vector bundle over $X$, adapting an analytic viewpoint \`{a} la Kodaira-Spencer. By introducing…

In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme…

The category of unital (unbounded) dg cocommutative coalgebras over a field of characteristic zero is provided with a structure of simplicial closed model category. This generalizes the model structure defined by Quillen in 1969 for…

Consider the real vector space of formal sums of non-empty, finite unoriented graphs without multiple edges and loops. Let the vertices of graphs be unlabelled but let every graph $\gamma$ be endowed with an ordered set of edges…

We prove a stronger version of the Kontsevich Formality Theorem for orientable manifolds, relating the Batalin-Vilkovisky (BV) algebra of multivector fields and the homotopy BV algebra of multidifferential operators of the manifold.

Let $X$ be a partial flag variety, equipped with the Borel action by multiplication. We give a criterion for the equivariant derived category with modular coefficients to be formal.

For a morphism of smooth schemes over a regular affine base we define functors of derived direct image and extraordinary inverse image on coderived categories of DG-modules over de Rham DG-algebras. Positselski proved that for a smooth…

Let $G$ be a classical group of Lie rank $l$ and let $C$ be an algebraically closed field of characteristic zero. For $l$ differential indeterminates $\boldsymbol{v}=(v_1,\dots,v_l)$ over $C$ we constructed in a previous paper a general…

Let $F$ be a local non-Archimedean field with ring of integers $o$. Let $\bf X$ be a one-dimensional formal $o$-module of $F$-height $n$ over the algebraic closure of the residue field of $o$. By the work of Drinfeld, the universal…