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.
We give a popular introduction to formality theorems for Hochschild complexes and their applications. We review some of the recent results and prove that the truncated Hochschild cochain complex of a polynomial algebra is non-formal.
We prove the formality theorem for the differential graded Lie algebra module of Hochschild chains for the algebra of endomorphisms of a smooth vector bundle. We discuss a possible application of this result to a version of the algebraic index theorem for Poisson manifolds.
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 define a homotopy equivalence on the set of stable formality quasi-isomorphisms and prove that the set of homotopy classes of stable formality quasi-isomorphisms form a torsor for the group corresponding to the zeroth cohomology of the full (directed) graph complex. This result may be interpreted as a complete description of homotopy classes of formality quasi-i…
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]]…
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 of R[[y_1, ..., y_d]] proposed in paper math.QA/0010321 by Shoikhet. This result allows us to describe traces on the quantum algebra of functions on an arbitrary Poisson manifold.
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…
It is believed arXiv:0808.2762, arXiv:math/9904055 that, among the coefficients entering Kontsevich's formality quasi-isomorphism arXiv:q-alg/9709040, there are irrational (possibly even transcendental) numbers. In this paper, we prove that a formality quasi-isomorphism for Hochschild cochains of a polynomial algebra over rationals can be constructed recursively. The proof that the proposed recursive algorithm works, is based on the existence of formality quasi-isomorphism over reals. However, the algorithm requires no explicit knowledge of the coefficients entering Kontsevich's construction. …
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.
In his seminal paper "Formality conjecture", M. Kontsevich introduced a graph complex $GC_{1ve}$ closely connected with the problem of constructing a formality quasi-isomorphism for Hochschild cochains. In this paper, we express the cohomology of the full directed graph complex explicitly in terms of the cohomology of $GC_{1ve}$. Applications of our results include a recent work by the first author which completely characterizes homotopy classes of formality quasi-isomorphisms for Hochschild cochains in the stable setting.
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 construct a 2-colored operad G^+ which, on the one hand, extends the operad G governing homotopy Gerstenhaber algebras and, on the other hand, extends the 2-colored operad governing open-closed homotopy algebras (OCHA). We show that Tamarkin's G-structure on the Hochschild cochain complex C(A) of an A-infinity algebra A extends naturally to a G^+ structure on the pair (C(A), A). We show that a formality quasi-isomorphism for the Hochschild cochains of the polynomial algebra can be obtained via transfer of this G^+ structure to the cohomology of the pair (C(A), A). We show that G^+ is a sub …
The solution of Deligne's conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this paper we construct a natural chain of quasi-isomorphisms of homotopy Gerstenhaber algebras between the Hochschild cochain complex C(A) of a regular commutative algebra A over a field of characteristic zero and the Gerstenhaber algebra of multiderivations of A. Unlike the original approach of the second author based on the computation of obstructions our method a…
We define a notion of astrongly homotopy BV algebra and apply it to deformation theory problems. Formality conjectures for Hochschild and cyclic chains are formulated. We prove some partial results supporting these conjectures.
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 twisting with the square root of the Todd class gives an isomorphism of precalculi between these pairs of objects. Our methods use formal geometry to globalize the local formality quasi-isomorphisms introduced by Kontsevich and Shoikhet (the existence of the latter was conjectured by Tsygan). We also rely on the fact - recently proved by the first two authors - t…
Over a field of characteristic zero we prove two formality conditions. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. We also prove that a commutative dg algebra is formal as a dg associative algebra if and only if it is formal as a commutative dg algebra. We present some consequences of these theorems in rational homotopy theory.
We show that Connes' B-operator on a cyclic differential graded k-module M is a model for the canonical circle action on the geometric realization of M. This implies that the negative cyclic homology and the periodic cyclic homology of a differential graded category can be identified with the homotopy fixed points and the Tate fixed points of the circle action on its Hochschild complex.
In this paper we apply homotopical localization to the framework of differential graded algebras over an operad. We get plus construction by performing nullification with respect to an universal acyclic algebra. This plus construction for Lie and Leibniz algebras up to homotopy yields two new homology theories for associative algebras. They are closely related to cyclic and Hochschild homologies. We also compute their first homology groups.
The formality theorem for Hochschild chains of the algebra of functions on a smooth manifold gives us a version of the trace density map from the zeroth Hochschild homology of a deformation quantization algebra to the zeroth Poisson homology. We propose a version of the algebraic index theorem for a Poisson manifold which is based on this trace density map.
This paper interprets Hesselholt and Madsen's real topological Hochschild homology functor THR in terms of the multiplicative norm construction. We show that THR satisfies cofinality and Morita invariance, and that it is suitably multiplicative. We then calculate its geometric fixed points and its Mackey functor of components, and show a decomposition result for group-algebras. Using these structural results we determine the homotopy type of THR($\mathbb{F}_p$) and show that its bigraded homotopy groups are polynomial on one generator over the bigraded homotopy groups of $H\mathbb{F}_p$. We th…
We study the Hochschild structure of a smooth space or orbifold, emphasizing the importance of a pairing defined on Hochschild homology which generalizes a similar pairing introduced by Mukai on the cohomology of a K3 surface. We discuss those properties of the structure which can be derived without appealing to the Hochschild-Kostant-Rosenberg isomorphism and Kontsevich formality, namely: -- functoriality of homology, commutation of push-forward with the Chern character, and adjointness with respect to the generalized pairing; -- formal Hirzebruch-Riemann-Roch and the Cardy condition from phy…
In this paper we continue our study of logarithmic topological Hochschild homology. We show that the inclusion of the connective Adams summand into the p-local complex connective K-theory spectrum, equipped with suitable log structures, is a formally log THH-etale map, and compute the V(1)-homotopy of their logarithmic topological Hochschild homology spectra. As an application, we recover Ausoni's computation of the V(1)-homotopy of the ordinary THH of ku.
It is well-known that the Kontsevich formality [K97] for Hochschild cochains of the polynomial algebra $A=S(V^*)$ fails if the vector space $V$ is infinite-dimensional. In the present paper, we study the corresponding obstructions. We construct an $L_\infty$ structure on polyvector fields on $V$ having the even degree Taylor components, with the degree 2 component given by the Schouten-Nijenhuis bracket, but having as well higher non-vanishing Taylor components. We prove that this $L_\infty$ algebra is quasi-isomorphic to the corresponding Hochschild cochain complex. We prove that our $L_\inft…
We prove that the shifted Hochschild chain complex $C\_*(A,A)[m]$ of a symmetric open Frobenius algebra $A$ of degree $m$ has a natural homotopy coBV-algebra structure. As a consequence $HH\_*(A,A)[m]$ and $HH^*(A,A^\vee)[-m]$ are respectively coBV and BV algebras. The underlying coalgebra and algebra structure may not be resp. counital and unital. We also introduce a natural homotopy BV-algebra structure on $C\_*(A,A)[m]$ hence a BV-structure on $HH\_*(A,A)[m]$. Moreover we prove that the product and coproduct on $HH\_*(A,A)[m]$ satisfy the Frobenius compatibility condition i.e. $HH\_*(A,A)[m…
We define a topological Hochschild (THH) and cyclic (TC) homology theory for differential graded (dg) categories and construct several non-trivial natural transformations from algebraic K-theory to THH(-). In an intermediate step, we prove that the homotopy theory of dg categories is Quillen equivalent, through a four step zig-zag of Quillen equivalences, to the homotopy theory of Eilenberg-Mac Lane spectral categories. Finally, we show that over the rationals two dg categories are topological equivalent if and only if they are quasi-equivalent.
In the 1980's, Ravenel introduced sequences of spectra $X(n)$ and $T(n)$ which played an important role in the proof of the Nilpotence Theorem of Devinatz--Hopkins--Smith. In the present paper, we solve the homotopy limit problem for topological Hochschild homology of $X(n)$, which is a generalized version of the Segal Conjecture for the cyclic groups of prime order. This result is the first step towards computing the algebraic K-theory of $X(n)$ using trace methods, which approximates the algebraic K-theory of the sphere spectrum in a precise sense. We solve the homotopy limit problem for top…
Given a map $f: X\rightarrow Y$ of simply connected spaces of finite type such. The space of based loops at $f$ of the space of maps between $X$ and $Y$ is denoted by $Ω_{f} Map(X,Y)$. For $n> 0$, we give a model categorical interpretation of the existence (in functorial way) of an injective map of $\mathbb{Q}$-vector spaces $π_{n} Ω_{f}Map(X,Y_{\mathbb{Q}}) \rightarrow HH^{-n}(C^{\ast}(Y),C^{\ast}(X)_{f})$, where $HH^{\ast}$ is the (negative) Hochschild cohomology and $C^{\ast}(X)_{f}$ is the rational cochain complex associated to $X$ equipped with a structure of $C^{\ast}(Y)$-differential gr…
We prove the graded braided commutativity of the Hochschild cohomology of $A$ with trivial coefficients, where $A$ is a braided Hopf algebra in the category of Yetter-Drinfeld modules over the group algebra of an abelian group, under some finiteness conditions on a projective resolution of $A$ as $A$-bimodule. This is a generalization of a result by Mastnak, Pevtsova, Schauenburg and Witherspoon to a context which includes Nichols algebras such as the Jordan and the super Jordan plane. We prove this result by constructing a coduoid-up-to-homotopy structure on the aforementioned projective reso…
Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we assign the complex Hom^{cont}_X(C(X),M) of continuous Hochschild cochains with values in M. Our first main result is that when X is smooth over K there is a functorial isomorphism between the complex of continuous Hochschild cochains and RHom_{X2}(O_X,M), in the derived category D(Mod(O_{X2})). The second main result is that if X is smooth of relative dimension…
We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant global sections recover the associated graded algebra of the Hochschild cohomology of [X/G], under a natural filtration. This sheaf is an algebra over the polyvector fields T^{poly}_X on X, and is generated as a T^{poly}_X-algebra by the sum of the determinants det(N_{X^g}) of the normal bundles of the fixed loci in X. We employ our understanding of Hochschild…
We calculate the integral homotopy groups of THH(l) at any prime and of THH(ko) at p=2, where l is the Adams summand of the connective complex p-local K-theory spectrum and ko is the connective real K-theory spectrum.
The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our results. This mild hypothesis is satisfied in all cases of interest in finite and mixed characteristic algebraic geometry. We prove firstly that the topological Hochschild homology groups, and the homotopy groups of the fixed point spectra $TR^r$, are finitely generated modules. We use this to establish the continuity of these homology theories for any given ideal…
We prove the existence of minimal models a la Sullivan for operads with nontrivial arity zero. So up-to-homotopy algebras with strict units are just operad algebras over these minimal models. As an application, we give another proof of the formality of the unitary n-little disks operad over the rationals.
In 'Hochschild (co)homology of exterior algebras' (Han, Xu, 2007), the authors computed the additive and multiplicative structure of $H\!H^\ast\!(A;\!A)$, where $A$ is the $n$-th exterior algebra over a field. In this paper, we derive all their results using a different method (AMT), as well as calculate the additive structure of $H\!H_k\!(A;\!A)$ and $H\!H^k\!(A;\!A)$ over $\mathbb{Z}$. We provide concise presentations of algebras $H\!H_\ast\!(A;\!A)$ and $H\!H^\ast\!(A;\!A)$, as well as determine their generators in the Hochschild complex. Lastly, we compute an explicit free resolution (span…
Making use of the recent theory of noncommutative motives, we prove that every additive invariant satisfies Galois descent. Examples include mixed complexes, Hochschild homology, cyclic homology, periodic cyclic homology, negative cyclic homology, connective algebraic K-theory, mod-l algebraic K-theory, nonconnective algebraic K-theory, homotopy K-theory, topological Hochschild homology, and topological cyclic homology.
We calculate the topological Hochschild homology groups of a maximal order in a central algebra over the rationals. Since the positive-dimensional THH groups consist only of torsion, we do this one prime ideal at a time for all the nonzero prime ideals in the center of the maximal order. This allows us to reduce the problem to studying the THH groups of maximal orders A in simple algebras over Q_p. We show that the topological Hochschild homology of A/(p) splits as the tensor product of its Hochschild homology and the topological Hochschild homology of F_p. We use this result in Brun's spectra…
We compute the $\mathbb{A}^1$-localization of several invariants of schemes namely, topological Hochschild homology ($\mathrm{THH}$), topological cyclic homology ($\mathrm{TC}$) and topological periodic cyclic homology ($\mathrm{TP}$). This procedure is quite brutal and kills the completed versions of most of these invariants. The main ingredient for the vanishing statements is the vanishing of $\mathbb{A}^1$-localization of de Rham cohomology (and, eventually, crystalline cohomology) in positive characteristics.
We compute the $G$-equivariant homotopy type of the real topological cyclic homology of spherical group rings with anti-involution induced by taking inverses in the group, where $G$ denotes the group $Gal(\mathbb{C}/\mathbb{R})$. The real topological Hochschild homology of a spherical group ring $\mathbb{S}[Γ]$, with anti-involution as described, is an $O(2)$-cyclotomic spectrum and we construct a map commuting with the cyclotomic structures from the $O(2)$-equivariant suspension spectrum of the dihedral bar construction on $Γ$ to the real topological Hochschild homology of $\mathbb{S}[Γ]$, wh…
