{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/30354"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/30354","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"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((y1, . . . , yd)) and Shoikhet's formality quasi-isomorphism for Hochschild chains of R((y1, . . . , yd)) 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,(vector differential)), where M is the manifold and (vector differential) 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.","abstract_html":"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((y1, . . . , yd)) and Shoikhet's formality quasi-isomorphism for Hochschild chains of R((y1, . . . , yd)) 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,(vector differential)), where M is the manifold and (vector differential) 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.","abstract_has_math":false,"creators":["Dolgushev, Vasiliy A"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Dept. of Mathematics.","school":null,"contributors":[],"advisors":["Pavel Etingof and Dmitry Tamarkin."],"committee_chairs":[],"committee_members":[],"year":2005,"date_issued":"2005","date_published":"2005","updated_at":"2026-07-22T22:21:40Z","subjects":["Mathematics."],"languages":["eng"],"rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/30354","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Pavel Etingof and Dmitry Tamarkin."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Dept. of Mathematics."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Dept. of Mathematics."]},{"key":"dc:creator","label":"Author","values":["Dolgushev, Vasiliy A"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2006-03-21T21:07:46Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2006-03-21T21:07:46Z"]},{"key":"dc:date.issued","label":"Date","values":["2005"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/30354"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2005.","This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.","Includes bibliographical references (p. 105-110)."]},{"key":"dc:description.abstract","label":"Abstract","values":["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((y1, . . . , yd)) and Shoikhet's formality quasi-isomorphism for Hochschild chains of R((y1, . . . , yd)) 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,(vector differential)), where M is the manifold and (vector differential) 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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph.D."]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["A proof of Tsygan's formality conjecture for an arbitrary smooth manifold"]}]}],"canonical_facts":{"dc:contributor.advisor":["Pavel Etingof and Dmitry Tamarkin."],"dc:contributor.department":["Massachusetts Institute of Technology. Dept. of Mathematics."],"dc:contributor.other":["Massachusetts Institute of Technology. Dept. of Mathematics."],"dc:creator":["Dolgushev, Vasiliy A"],"dc:date.accessioned":["2006-03-21T21:07:46Z"],"dc:date.available":["2006-03-21T21:07:46Z"],"dc:date.issued":["2005"],"dc:description":["Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2005.","This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.","Includes bibliographical references (p. 105-110)."],"dc:description.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((y1, . . . , yd)) and Shoikhet's formality quasi-isomorphism for Hochschild chains of R((y1, . . . , yd)) 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,(vector differential)), where M is the manifold and (vector differential) 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."],"dc:description.degree":["Ph.D."],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/1721.1/30354"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Mathematics."],"dc:title":["A proof of Tsygan's formality conjecture for an arbitrary smooth manifold"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:21:40Z"}