📝 SummarXiv

Abstract

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 (co)homology, DGLA, and Maurer-Cartan elements. HKR theorem is stated in section 4, while a proof is deferred to appendix. In Section 5 we talk about L-infinity morphisms. The central result of section 5 gives a penultimate step for solving the problem. We prove the main theorem in section 6.