A Proof of Tsygan's Formality Conjecture for an Arbitrary Smooth Manifold

Abstract

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 in the traditional investigations and the efforts of various people the most general version of Tsygan's formality conjecture has not yet been proven. In my thesis I propose Fedosov resolutions for the Hochschild cohomological and homological complexes of the algebra of functions on an arbitrary smooth manifold. Using these resolutions together with Kontsevich's formality quasi-isomorphism for Hochschild cochains of R[[y_1, >..., y_d]] and Shoikhet's formality quasi-isomorphism for Hochschild chains of R[[y_1,..., y_d]] I prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold. The construction of the formality quasi-isomorphism for Hochschild chains is manifestly functorial for isomorphisms of the pairs (M,\nabla), where M is the manifold and \nabla is an affine connection on the tangent bundle. In my thesis I apply these results to equivariant quantization, computation of Hochschild homology of quantum algebras and description of traces in deformation quantization.

PhD thesis, M.I.T

References in corpus (5)

• Relative formality theorem and quantisation of coisotropic submanifolds
• BRST theory without Hamiltonian and Lagrangian
• Riemann-Roch-Hirzebruch theorem and Topological Quantum Mechanics
• Quantization of formal classical dynamical r-matrices: the reductive case
• Deformation quantization of submanifolds and reductions via Duflo-Kirillov-Kontsevich map

Cited by in corpus (20)

• Hochschild cohomology and Atiyah classes
• The Homotopy Braces Formality Morphism
• Erratum to: "A Proof of Tsygan's Formality Conjecture for an Arbitrary Smooth Manifold"
• A cohomological framework for homotopy moment maps
• A Version of the Goldman-Millson Theorem for Filtered L-infinity Algebras
• On an enhancement of the category of shifted L-infinity algebras
• The Van den Bergh duality and the modular symmetry of a Poisson variety
• The calculus structure of the Hochschild homology/cohomology of preprojective algebras of Dynkin quivers
• Noncommutative calculus and operads
• Hochschild and cyclic (co)homology of preprojective algebras of quivers of type T
• On global deformation quantization in the algebraic case
• The product in the Hochschild cohomology ring of preprojective algebras of Dynkin quivers
• Convergence of Star Product: From Examples to a General Framework
• The Homotopy Class of twisted $L_{\infty }$-morphisms
• A proof of Tsygan's formality conjecture for Hamiltonian actions
• Noncommutative calculus and the Gauss-Manin connection
• On The Formality Theorem for the Differential Graded Lie Algebra of Drinfeld
• Singular propagators in deformation quantization and Shoikhet-Tsygan formality
• The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal
• Formality theorem for Hochschild (co)chains of the algebra of endomorphisms of a vector bundle