Related papers: $L_\infty$-resolutions and twisting in the curved …
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…
In this paper we complete the proof of Caldararu's conjecture on the compatibility between the module structures on differential forms over poly-vector fields and on Hochschild homology over Hochschild cohomology. In fact 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…
Proofs of Tsygan's formality conjectures for chains would unlock important algebraic tools which might lead to new generalizations of the Atiyah-Patodi-Singer index theorem and the Riemann-Roch-Hirzebruch theorem. Despite this pivotal role…
We extend the Kontsevich formality $L_\infty$-morphism $\U\colon T^\ndot_\poly(\R^d)\to\D^\ndot_\poly(\R^d)$ to an $L_\infty$-morphism of an $L_\infty$-modules over $T^\ndot_\poly(\R^d)$, $\hat \U\colon C_\ndot(A,A)\to\Omega^\ndot(\R^d)$,…
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…
The primary aim of this essay, drawn from the author's MMath dissertation at Oxford, is to present and explain Kontsevich's formality theorem. The first two sections introduce the main topic. Sections 3 and 4 discuss Hochschild…
We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains…
We extend M. Kontsevich's formality morphism to a homotopy braces morphism and to a homotopy Gerstenhaber morphism. We show that this morphism is homotopic to D. Tamarkin's formality morphism, obtained using formality of the little disks…
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 paper we prove Lie algebroid versions of Tsygan's formality conjecture for Hochschild chains both in the smooth and holomorphic settings. In the holomorphic setting our result implies a version of Tsygan's formality conjecture for…
In this review we give a detailed introduction to the theory of (curved) $L_\infty$-algebras and $L_\infty$-morphisms. In particular, we recall the notion of (curved) Maurer-Cartan elements, their equivalence classes and the twisting…
This dissertation is an exposition of Kontsevich's proof of the formality theorem and the classification of deformation quantisation on a Poisson manifold. We begin with an account of the physical background and introduce the Weyl-Moyal…
We summarise some of our recent works on $L_\infty$-algebras and quasi-groups with regard to higher principal bundles and their applications in twistor theory and gauge theory. In particular, after a lightning review of $L_\infty$-algebras,…
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…
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…
We consider L-infinity quasi-isomorphisms for Hochschild cochains whose structure maps admit "graphical expansion". We introduce the notion of stable formality quasi-isomorphism which formalizes such an L-infinity quasi-isomorphism. We…
We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more…
This is the first of a series of papers on the $L^2$-theory for formally integrable structures. It is devoted to constructing a resolution of the solution sheaf for a class of overdetermined systems introduced by L. H{\"o}rmander. A…
$\newcommand{\poly}{_{\operatorname{poly}}^{\bullet}}\newcommand{\td}{(\operatorname{td}_{L/A}^{\nabla})^{\frac{1}{2}}}\newcommand{\cx}[1]{\operatorname{tot}\big(\Gamma(\Lambda^\bullet…