The cup and cap product in twisted Hochschild (co)homology is computed for the standard quantum 2-sphere and used to construct a cyclic 2-cocycle that represents the fundamental Hochschild class.
The fundamental Hochschild cohomology class of the standard Podles quantum sphere is expressed in terms of the spectral triple of Dabrowski and Sitarz by means of a residue formula.
The recent result of Brown and Zhang establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalgebras over which the Hopf algebra is faithfully flat, and applied to the standard Podles quantum 2-sphere.
The purpose of the paper is twofold: First, known results of the noncommutative spin geometry of the standard Podles sphere are extended by discussing Poincare duality and orientability. In the discussion of orientability, Hochschild homology is replaced by a twisted version which avoids the dimension drop. The twisted Hochschild cycle representing an orientation is related to the volume form of the distinguished covariant differential calculus. Integration over the volume form defines a twisted cyclic 2-cocycle which computes the q-winding numbers of quantum line bundles. Second, a "twisted" …
We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of all Podles quantum spheres relative to arbitary automorphisms. Our calculations are based on a free resolution due to Masuda, Nakagami and Watanabe. The dimension drop in Hochschild homology can be overcome by twisting by automorphisms induced from the canonical modular automorphism associated to the Haar state on quantum SU(2). We specialize our results to the standard quantum sphere, and identify the class in twisted cyclic cohomology of the 2-cocycle discovered by Schmuedgen and Wagner …
We continue the investigation of twisted homology theories in the context of dimension drop phenomena. This work unifies previous equivariant index calculations in twisted cyclic cohomology. We do this by proving the existence of the resolvent cocycle, a finitely summable analogue of the JLO cocycle, under weaker smoothness hypotheses and in the more general setting of `modular' spectral triples. As an application we show that using our twisted resolvent cocycle, we can obtain a local index formula for the Podles sphere. The resulting twisted cyclic cocycle has non-vanishing Hochschild class w…
Building on the now established presentation of the standard Podles sphere as an example of a noncommutative complex structure, we investigate how its classical Kahler geometry behaves under $q$-deformation. Discussed are noncommutative versions of Hodge decomposition, Lefschetz decomposition, the Kahler identities, and the refinement of de Rham cohomology by Dolbeault cohomology
This document is supplementary material for the author's paper \emph{The cup product on hochschild cohomology for localizations of filtered koszul algebras}, arXiv:1304.0527. We give a detailed computation of the Hochschild cohomology algebra for the Down-Up algebra with parameters $(0,1,0)$.
We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the associative formal deformation theory of a smash product with its formal deformation theory as a module algebra over the given Hopf algebra (when the Hopf algebra is sufficiently semisimple). As a second …
Given an acyclic twisting cochain $π:C\to A$, from a curved dg coalgebra $C$ to a dg algebra $A$, we show that the associated twisted hom complex $\mathrm{Hom}^π_k(C,A)$ has cohomology equal to the Hochschild cohomology of $A$, as a graded ring. As a corollary we find that the Hochschild cohomology of a Koszul algebra $A$, along with its cup product, is a subquotient of the tensor product algebra $A^!\otimes A$ of $A$ with its Koszul dual.
We prove the additive version of the conjecture proposed by Ginzburg and Kaledin. This conjecture states that if X/G is an orbifold modeled on a quotient of a smooth affine symplectic variety X (over C) by a finite group G\subset Aut(X) and A is a G-stable quantum algebra of functions on X then the graded vector space HH(A^G) of the Hochschild cohomology of the algebra A^G of invariants is isomorphic to the graded vector space H_{CR}(X/G)((h)) of the Chen-Ruan (stringy) cohomology of the orbifold X/G.
We define a BV-structure on the Hochschild-cohomology of a unital, associative algebra A with a symmetric, invariant and non-degenerate inner product. The induced Gerstenhaber algebra is the one described in Gerstenhaber's original paper on Hochschild-cohomology. We also prove the corresponding theorem in the homotopy case, namely we define the BV-structure on the Hochschild-cohomology of a unital A-infinity-algebra with a symmetric and non-degenerate infinity-inner product.
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…
Using non-commutative differential forms, we construct a complex called singular Hochschild cochain complex for any associative algebra over a field. The cohomology of this complex is isomorphic to the Tate-Hochschild cohomology in the sense of Buchweitz. By a natural action of the cellular chain operad of the spineless cacti operad, introduced by R. Kaufmann, on the singular Hochschild cochain complex, we provide a proof of the Deligne's conjecture for this complex. More concretely, the complex is an algebra over the (dg) operad of chains of the little $2$-discs operad. By this action, we als…
Given a differential graded (dg) symmetric Frobenius algebra $A$ we construct an unbounded complex $\mathcal{D}^{*}(A,A)$, called the Tate-Hochschild complex, which arises as a totalization of a double complex having Hochschild chains as negative columns and Hochschild cochains as non-negative columns. We prove that the complex $\mathcal{D}^*(A,A)$ computes the singular Hochschild cohomology of $A$. We construct a cyclic (or Calabi-Yau) $A$-infinity algebra structure, which extends the classical Hochschild cup and cap products, and an $L$-infinity algebra structure extending the classical Gers…
In this paper, we compute the product structure of the Hochschild cohomology of preprojective algebras of quivers of type D and E over a field of characteristic zero.
We give a formula for a cocycle generating the Hochschild cohomology of the Weyl algebra with coefficients in its dual.It is given by an integral over the configuration space of ordered points on a circle. Using this formula and a non-commutative version of formal geometry, we obtain an explicit expression for the canonical trace in deformation quantization of symplectic manifolds.
We calculate the first Hochschild cohomology group of quantum matrices, the quantum general linear group and the quantum special linear group in the generic case when the deformation parameter is not a root of unity. As a corollary, we obtain information about twisted Hochschild homology of these algebras.
We give some general results on the ring structure of Hochschild cohomology of smash products of algebras with Hopf algebras. We compute this ring structure explicitly for a large class of finite dimensional Hopf algebras of rank one.
In this review we discuss the relevance of the Hochschild cohomology of renormalization Hopf algebras for local quantum field theories and their equations of motion.
The obstructions for an arbitrary fusion algebra to be a fusion algebra of some semisimple monoidal category are constructed. Those obstructions lie in groups which are closely related to the Hochschild cohomology of fusion algebras with coefficients in the K-theory of the ground (algebraically closed) field.
Let $B$ be a quantum algebra possessing a semiclassical limit $A$. We show that under certain hypotheses $B^e$ can be thought of as a deformation of the Poisson enveloping algebra of $A$, and we give a criterion for the Hochschild cohomology of $B$ to be a deformation of the Poisson cohomology of $A$ in the case that $B$ is Koszul. We verify that condition for the algebra of $2\times 2$ quantum matrices and calculate its Hochschild cohomology and the Poisson cohomology of its semiclassical limit.
We show that the continuous Hochschild cohomology and the differential Hochschild cohomology of the Hida test algebra endowed with the normalized Wick product are the same.
We construct the Gerstenhaber bracket on Hochschild cohomology of a twisted tensor product of algebras, and, as examples, compute Gerstenhaber brackets for some quantum complete intersections arising in work of Buchweitz, Green, Madsen, and Solberg. We prove that a subalgebra of the Hochschild cohomology ring of a twisted tensor product, on which the twisting is trivial, is isomorphic, as Gerstenhaber algebras, to the tensor product of the respective subalgebras of the Hochschild cohomology rings of the factors.
We formulate the Gerstenhaber algebra structure of Hochschild cohomology of finite group extensions of some quantum complete intersections. When the group is trivial, this work characterizes the graded Lie brackets on Hochschild cohomology of these quantum complete intersections, previously only known for a few cases. As an example, we compute the algebra structure for two generator quantum complete intersections extended by select groups.
The Hochschild homology/cohomology an associative algebra, together with the Connes differential, the contraction map and the Lie derivative, forms the structure of calculus. In this paper we compute explicitely the calculus structure of preprojective algebras of Dynkin quivers over a field of characteristic zero. This also completes the work in math.AG/0502301, where the Batalin-Vilkovisky structure of the Hochschild cohomology of preprojective algebras of non-Dynkin quivers are computed and the calculus can be easily computed from that.
We give a general construction of rings graded by the conjugacy classes of a finite group. Some examples of our construction are the Hochschild cohomology ring of a finite group algebra, the Grothendieck ring of the Drinfel'd double of a group, and the orbifold cohomology ring for a global quotient. We generalize the first two examples by deriving product formulas for the Hochschild cohomology ring of a group crossed product and for the Grothendieck ring of an abelian extension of Hopf algebras. Our results account for similarities in the product structures among these examples.
For an affine toric variety $\mathrm{Spec}(A)$, we give a convex geometric description of the Hodge decomposition of its Hochschild cohomology. Under certain assumptions we compute the dimensions of the Hodge summands $T^1_{(i)}(A)$, generalizing the existing results about the Andre-Quillen cohomology group $T^1_{(1)}(A)$. We prove that every Poisson structure on a possibly singular affine toric variety can be quantized in the sense of deformation quantization.
It has been shown in previous work that the modular group acts projectively on the center of a factorizable ribbon Hopf algebra. The center is the zeroth Hochschild cohomology group. In this article, we extend this projective action of the modular group to an arbitrary Hochschild cohomology group of a factorizable ribbon Hopf algebra, in fact up to homotopy even to a projective action on the entire Hochschild cochain complex.
Quantum Drinfeld Hecke algebras are generalizations of Drinfeld Hecke algebras in which polynomial rings are replaced by quantum polynomial rings. We identify these algebras as deformations of skew group algebras, giving an explicit connection to Hochschild cohomology. We compute the relevant part of Hochschild cohomology for actions of many reflection groups and we exploit computations from our paper with Shroff for diagonal actions. By combining our work with recent results of Levandovskyy and Shepler, we produce examples of quantum Drinfeld Hecke algebras. These algebras generalize the brai…
Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild cohomology complex of an n-algebra is an (n+1)-algebra. This generalizes a conjecture by Deligne for n=1, now proven by several authors.
We apply the sheaf cohomology BGG method developed by the authors and Lachowska-Qi to the computation of Hochschild cohomology groups of various blocks of the small quantum group. All our computations of the center of the corresponding block agree with the conjectures of Lachowska-Qi. In the case of the nontrivial singular block for $\mathfrak{g} = \mathfrak{sl}_3$, we obtain the H*$(\mathfrak{u}, \mathbb{C}) = \mathbb{C}[\mathcal{N}]$-module structure of HH*$(\mathfrak{u}_λ)$.
We consider deformations of quantum exterior algebras extended by finite groups. Among these deformations are a class of algebras which we call truncated quantum Drinfeld Hecke algebras in view of their relation to classical Drinfeld Hecke algebras. We give the necessary and sufficient conditions for which these algebras occur, using Bergman's Diamond Lemma. We compute the relevant Hochschild cohomology to make explicit the connection between Hochschild cohomology and truncated quantum Drinfeld Hecke algebras. To demonstrate the variance of the allowed algebras, we compute both classical type …
Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule algebra. When this bimodule algebra is a finite group extension (under a diagonal action) of a quantum symmetric algebra, we give explicitly the graded vector space structure. This yields a complete description of the Hochschild cohomology ring of the corresponding skew group algebra.
We exploit the Fedosov-Weinstein-Xu (FWX) resolution proposed in q-alg/9709043 to establish an isomorphism between the ring of Hochschild cohomology of the quantum algebra of functions on a symplectic manifold M and the ring H(M, C((h))) of De Rham cohomology of M with the coefficient field C((h)) without making use of any version of the formality theorem. We also show that the Gerstenhaber bracket induced on H(M,C((h))) via the isomorphism is vanishing. We discuss equivariant properties of the isomorphism and propose an analogue of this statement in an algebraic geometric setting.