Vladimir Hinich
In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of Tamarkin's result.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Let $α$ be a quadratic Poisson bivector on a vector space $V$. Then one can also consider $α$ as a quadratic Poisson bivector on the vector space $V^*[1]$. Fixed a universal deformation quantization (prediction some weights to all Kontsevich graphs [K97]), we have deformation quantization of the both algebras $S(V^*)$ and $Λ(V)$. These are graded quadratic algebras, and therefore Koszul algebras. We prove that for some universal deformation quantization, independent on $α$, these two algebras are Koszul dual. We characterize some deformation quantizations for which this theorem is true in the …
Duflo--Kontsevich-type isomorphisms for Tamarkin--Tsygan calculi of dg manifolds
该研究为dg流形建立了Duflo--Kontsevich型定理，通过特定映射实现两类演算的同构，证实了相关上同调层面的猜想。
We extend Tamarkin's formality of the little disk operad to the framed little disk operad.
The paper contains an alternative proof of M. Kontsevich Formality Theorem.
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 appendix we prove a strengthening of Halbout's globalization result for Tamarkin's local quasi-isomorphism.
We study homotopy theory of the wheeled prop controlling Poisson structures on arbitrary formal graded finite-dimensional manifolds and prove, in particular, that Grothendieck-Teichmueller group acts on that wheeled prop faithfully and homotopy non-trivially. Next we apply this homotopy theory to the study of the deformation complex of an arbitrary Maxim Kontsevich formality map and compute the full cohomology group of that deformation complex in terms of the cohomology of a certain graph complex introduced earlier by Maxim Kontsevich in [K1] and studied by Thomas Willwacher in [W1].
The explicit realization of M. Kontsevich's formality on $R^d$ is the main step of the proof of formality theorem on any manifold. We present here a coherent choice of orientations and signs in order to write completely M. Kontsevich's proof for $R^d$, including all the signs appearing in the formality equation.
Boris Shoikhet noticed that the proof of lemma 1 in section 2.3 of math.QA/0504420 contains an error. In this note I give a correct proof of this lemma which was suggested to me by Dmitry Tamarkin. The correction does not change the results of math.QA/0504420.
It is known that one can associate a Kontsevich-type formality morphism to every Drinfeld associator. We show that this morphism may be extended to a Kontsevich-Shoikhet formality morphism of cochains and chains, by describing the action of the Grothendieck-Teichmüller group on such objects (up to homotopy).
Goldman-Turaev formality from the Kontsevich integral
通过Kontsevich积分构造Goldman-Turaev同态展开，解决框架化Goldman-Turaev Lie双代数的形式性问题，并证明与Goldman括号和Turaev上括号的兼容性。
We show that Kontsevich's formality of the little disk operad, obtained using graphs, is homotopic to Tamarkin's formality, for a special choice of a Drinfeld associator. The associator is given by parallel transport of the Alekseev-Torossian connection.
We state the analogs of Kontsevich's formality conjecture for Hochschild and cyclic chains, as well as their
We prove Kontsevich's cyclic formality conjecture.
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Ω^\ndot(\R^d)$, $A=C^\infty(\R^d)$. The construction of the map $\hat \U$ is given in Kontsevich-type integrals. The conjecture that such an $L_\infty$-morphism exists is due to Boris Tsygan \cite{Ts}. As an application, we obtain an explicit formula for isomorphism $A_*/[A_*,A_*]\simto A/\{A,A\}$ ($A_*$ is the Kontsevich deformation quantization of the algebra $A$ by a Poisson b…
We construct a functor that associates to any dg cooperad of dg commutative algebras (satisfying some conditions) an augmented commutative algebra. When applied to the cohomology operad of Francis Brown's moduli spaces it produces an algebra that formally models the algebra of multiple zeta values. We prove that there is an injection from the graded dual of the Grothendieck-Teichmueller Lie algebra into the indecomposables of the algebra associated to the Gerstenhaber cooperad, and that there is a morphism from the algebra associated to Brown's moduli spaces to the algebra associated to the Ge…
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 operad, if in the latter construction one uses the Alekseev-Torossian associator. Similar statements can also be shown in the "chains" case, i.e., on Hochschild homology instead of cohomology. This settles two well known and long standing problems in deformation quantization and unifies the several known graphical constructions of formality morphisms and homot…
$\newcommand{\poly}{_{\operatorname{poly}}^{\bullet}}\newcommand{\td}{(\operatorname{td}_{L/A}^{\nabla})^{\frac{1}{2}}}\newcommand{\cx}[1]{\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otimes_R\mathcal{#1}\poly\big)}\newcommand{\cy}[1]{\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{#1}\poly)}$Kontsevich's formality theorem states that there exists an $L_\infty$ quasi-isomorphism from the dgla $T\poly(M)$ of polyvector fields on a smooth manifold $M$ to the dgla $D\poly(M)$ of polydifferential operators on $M$, which extends the classical Hochschild--Kostant--Rosenberg map. In this paper, we ex…
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.
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.
We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.
In this article, we use Harrison cohomology to provide a framework for commutative deformations. In particular, Kontsevich's result that formality of (the Hochschild complex of) an associative algebra implies its deformability is adapted for commutative algebras, with the Harrison complex.
The Kontsevich-Soibelman solution of the cyclic version of Deligne's conjecture and the formality of the operad of little discs on a cylinder provide us with a natural homotopy calculus structure on the pair (C^*(A), C_*(A)) ``Hochschild cochains + Hochschild chains'' of an associative algebra A. We show that for an arbitrary smooth algebraic variety X with the structure sheaf O_X the sheaf (C^*(O_X), C_*(O_X)) of homotopy calculi is formal. This result was announced in paper [29] by the second and the third author.
It is noted that the higher version of M. Kontsevich's Formality Theorem is much easier than the original one. Namely, we prove that the higher Hochschild-Kostant-Rosenberg map is already a homotopy e_{n+1}-formality quasi-isomorphism whenever n is at least 2.
We prove that the Kontsevich integrals (in the sense of the formality theorem) of all even wheels are equal to zero. We deduce this theorem from the result of \cite{FSh} on the deformation quantization with traces.
Using new configuration spaces, we give an explicit construction that extends Kontsevich's Lie-infinity quasi-isomorphism from polyvector fields to Hochschild cochains to a quasi-isomorphism of A-infinity algebras equipped with actions by homotopy derivations of the Lie algebra of polyvector fields. One may term this formality a formality of two-colored noncommutative Gerstenhaber homotopy algebras. In our result the action of polyvector fields by homotopy derivations of the wedge product on polyvector fields is not the adjoint action by the Schouten bracket, but a homotopy nontrivial and, in …
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 Hochschild chains of the structure sheaf of any complex manifold and in the smooth setting this result allows us to describe quantum traces for an arbitrary Poisson Lie algebroid. The proofs are based on the use of Kontsevich's quasi-isomorphism for Hochschild cochains of R[[y_1,...,y_d]], Shoikhet's quasi-isomorphism for Hochschild chains of R[[y_1,...,y_d]]…
It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial) functions on this vector space as an associative differential graded algebra. This result is an $A_\infty$-version of the Formality conjecture of Maxim Kontsevich [K].
We prove that the operad of framed little 2-discs is formal. Tamarkin and Kontsevich each proved that the unframed 2-discs operad is formal. The unframed 2-discs is an operad in the category of S^1-spaces, and the framed 2-discs operad can be constructed from the unframed 2-discs by forming the operadic semidirect product with the circle group. The idea of our proof is to show that Kontsevich's chain of quasi-isomorphisms is compatible with the circle actions and so one can essentially take the operadic semidirect product with the homology of S^1 everywhere to obtain a chain of quasi-isomorphi…
We prove a relative version of Kontsevich's formality theorem. This theorem involves a manifold M and a submanifold C and reduces to Kontsevich's theorem if C=M. It states that the DGLA of multivector fields on an infinitesimal neighbourhood of C is L-infinity-quasiisomorphic to the DGLA of multidifferential operators acting on sections of the exterior algebra of the conormal bundle. Applications to the deformation quantisation of coisotropic submanifolds are given. The proof uses a duality transformation to reduce the theorem to a version of Kontsevich's theorem for supermanifolds, which we a…
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 that it is based on the use of covariant tensors unlike Kontsevich's original proof, which is based on $\infty$-jets of polydifferential operators and polyvector fields. Using our construction we prove that if a group G acts smoothly on a manifold M and M admits a G-invariant affine connection then there exists a G-equivariant quasi-isomorphism of formality…
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 graphical calculus. In this article we present the details of this graphical calculus with emphasis on its algebraic features. It is a morphism of differential graded Lie algebras between the Kontsevich DGLA of admissible graphs and the Chevalley-Eilenberg DGLA of linear homomorphisms between polyvector fields and polydifferential operators. Kontsevich's pro…
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 detail so(3)), and free Lie algebras generated by a vector space of dimension at least 2. We show that for these examples formality in Kontsevich's sense does NOT hold, although some of them allow unconditioned deformability. We compute the L-infinity-structure on the cohomology given by homotopy transfer in certain cases.
The formality morphism $\boldsymbol{\mathcal{F}}=\{\mathcal{F}_n$, $n\geqslant1\}$ in Kontsevich's deformation quantization is a collection of maps from tensor powers of the differential graded Lie algebra (dgLa) of multivector fields to the dgLa of polydifferential operators on finite-dimensional affine manifolds. Not a Lie algebra morphism by its term $\mathcal{F}_1$ alone, the entire set $\boldsymbol{\mathcal{F}}$ is an $L_\infty$-morphism instead. It induces a map of the Maurer-Cartan elements, taking Poisson bi-vectors to deformations $μ_A\mapsto\star_{A[[\hbar]]}$ of the usual multiplica…
In this article, $X$ will denote a ${\cal C}^{\infty}$ manifold. In a very famous article, Kontsevich showed that the differential graded Lie algebra (DGLA) of polydifferential operators on $X$ is formal. Calaque extended this theorem to any Lie algebroid. More precisely, given any Lie algebroid $E$ over $X$, he defined the DGLA of $E$-polydifferential operators, $Γ(X, ^{E}D^{*}_{poly})$, and showed that it is formal. Denote by $Γ(X, ^{E}T^{*}_{poly})$ the DGLA of $E$-polyvector fields. Considering $M$, a module over $E$, we define $Γ(X, ^{E}T_{poly}^{*}(M))$ the $Γ(X, ^{E}T^{*}_{poly})$-modul…
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 Kontsevi…
On a flat manifold, M. Kontsevich's formality quasi-isomorphism is compatible with cup-products on tangent cohomology spaces, in the sense that its derivative at any formal Poisson 2-tensor induces an isomorphism of graded commutative algebras from Poisson cohomology space to Hochschild cohomology space relative to the associated deformed multiplication. We give here a detailed proof of this result, with signs and orientations precised.
In this short note we describe an alternative global version of the twisting procedure used by Dolgushev to prove formality theorems. This allows us to describe the maps of Fedosov resolutions, which are key factors of the formality morphisms, in terms of a twist of the fiberwise quasi-isomorphisms induced by the local formality theorems proved by Kontsevich and Shoikhet. The key point consists in considering $L_\infty$-resolutions of the Fedosov resolutions obtained by Dolgushev and an adapted notion of Maurer-Cartan element. This allows us to perform the twisting of the quasi-isomorphism int…
We give a new computation of Hochschild (co)homology of the exterior algebra, together with algebraic structures, by direct comparison with the symmetric algebra. The Hochschild cohomology is determined to be essentially the algebra of even-weight polyvector fields. From Kontsevich's formality theorem, the differential graded Lie algebra of Hochschild cochains is proved to be formal when the vector space generating the exterior algebra is even dimensional. We conjecture that formality fails in the odd dimensional case, proving this when the dimension is one. In all dimensions, formal deformati…
We give a quantum field theory interpretation of Kontsevich's deformation quantization formula for Poisson manifolds. We show that it is given by the perturbative expansion of the path integral of a simple topological bosonic open string theory. Its Batalin-Vilkovisky quantization yields a superconformal field theory. The associativity of the star product, and more generally the formality conjecture can then be understood by field theory methods. As an application, we compute the center of the deformed algebra in terms of the center of the Poisson algebra.
Whenever a given Poisson manifold is equipped with discrete symmetries the corresponding algebra of invariant functions or the algebra of functions twisted by the symmetry group can have new deformations, which are not captured by Kontsevich Formality. We consider the simplest example of this situation: $\mathbb{R}^2$ with the reflection symmetry $\mathbb{Z}_2$. The usual quantization leads to the Weyl algebra. While Weyl algebra is rigid, the algebra of even or twisted by $\mathbb{Z}_2$ functions has one more deformation, which was identified by Wigner and is related to Feigin's $gl_λ$ and to…
Continuous Hochschild Cohomology and Formality
研究基于波西采尔斯基反导出范畴的完备局部凸（弯曲）微分分次代数变形理论，定义霍赫希尔德复形并证明相关形式性定理，计算了各类矩阵分解的连续霍赫希尔德上同调。
These are lecture notes for the course "Poisson geometry and deformation quantization" given by the author during the fall semester 2020 at the University of Zurich. The first chapter is an introduction to differential geometry, where we cover manifolds, tensor fields, integration on manifolds, Stokes' theorem, de Rham's theorem and Frobenius' theorem. The second chapter covers the most important notions of symplectic geometry such as Lagrangian submanifolds, Weinstein's tubular neighborhood theorem, Hamiltonian mechanics, moment maps and symplectic reduction. The third chapter gives an introd…
A version of Kontsevich Formality theorem is proven for smooth DG algebras. As an application of this, it is proven that any quasiclassical datum of noncommutative unfolding of an isolated surface singularity can be quantized.
Strong Homotopy Algebras for Chiral Higher Spin Gravity via Stokes Theorem
本文通过斯托克斯定理证明预卡拉比-丘型强同伦代数满足$A_\infty$关系，为手征高自旋引力提供新表述，并暗示统一已知形式性定理的构造。
For an oriented 2-dimensional manifold $Σ$ of genus $g$ with $n$ boundary components the space $\mathbb{C}π_1(Σ)/[\mathbb{C}π_1(Σ), \mathbb{C}π_1(Σ)]$ carries the Goldman-Turaev Lie bialgebra structure defined in terms of intersections and self-intersections of curves. Its associated graded (under the natural filtration) is described by cyclic words in $H_1(Σ)$ and carries the structure of a necklace Schedler Lie bialgebra. The isomorphism between these two structures in genus zero has been established in [G. Massuyeau, Formal descriptions of Turaev's loop operations] using Kontsevich integral…
A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $\infty$-functor from pointed conilpotent homotopy bialgebras to augmented $E_2$-algebras which consists in an appropriate "cobar" construction. Then we prove that the (derived) formal moduli problem of homotopy bialgebras structures on a bialgebra is equivalent to the (derived) formal moduli problem of $E_2$-algebra structures on this "cobar" construction. We show consequently that the $E_3$-algebra structure on the higher Hochschil…
We prove a version of Kontsevich's formality theorem for two subspaces (branes) of a vector space $X$. The result implies in particular that the Kontsevich deformation quantizations of $\mathrm{S}(X^*)$ and $\wedge(X)$ associated with a quadratic Poisson structure are Koszul dual. This answers an open question in Shoikhet's recent paper on Koszul duality in deformation quantization.
M. Kontsevich's graph complexes and universal structures on graded symplectic manifolds
本文将 Kontsevich 的图复形构造推广到任意度 $n\geq1$ 的分次辛流形，利用完整图复形 $\mathsf{fGC}_d$ 对泛结构进行分类，并展示了其在生成哈密顿函数新泛形变及 Courant 代数胚形变中的应用。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。