On Maximal Diagonalizable Lie Subalgebras of the First Hochschild Cohomology

Let A be a basic connected finite dimensional algebra over an algebraically closed field, with ordinary quiver without oriented cycles. Given a presentation of A by quiver and admissible relations, Assem and de la Peña have constructed an embedding of the space of additive characters of the fundamental group of the presentation into the first Hochschild cohomology group of A. We compare the embeddings given by the different presentations of A. In some situations, we characterise the images of these embeddings in terms of (maximal) diagonalizable subalgebras of the first Hochschild cohomology group (endowed with its Lie algebra structure).     

Hochschild cohomology and “smoothness” in monoidal categories

We introduce and investigate the properties of Hochschild cohomology of algebras in an abelian monoidal category M. We show that the second Hochschild cohomology group of an algebra in M classifies extensions of A up to an equivalence. We characterize algebras of Hochschild dimension 0 (separable algebras), and of Hochschild dimension ≤1 (formally smooth algebras). Several particular cases and applications are included in the last section of the paper.     

The ordinary quivers of Hochschild extension algebras for self-injective Nakayama algebras

Let T be a Hochschild extension algebra of a finite dimensional algebra A over a field K by the standard duality A-bimodule Hom_K(A, K). In this paper, we determine the ordinary quiver of T if A is a self-injective Nakayama algebra by means of the ?-graded second Hochschild homology group HH₂(A) in the sense of Sköldberg.     

Hochschild Cohomology of Quiver Algebras Defined by Two Cycles and a Quantum-Like Relation II

We consider quiver algebras A _q over a field k defined by two cycles and a quantum-like relation depending on a nonzero element q in k. We determine the Hochschild cohomology ring of A _q and give necessary and sufficient conditions for A _q to have the finitely generated Hochschild cohomology ring.     

On the first Hochschild cohomology group of an algebra

Let A≡KΔ /I be a factor of a path algebra. We develop a strategy to compute dim H ¹(A), the dimension of the first Hochschild cohomology group of A, using combinatorial data from (Δ,I). That allows us to connect dim H ¹(A) with the rank and p-rank of the fundamental group π₁(Δ,I) of (Δ,I). We get explicit formulae for dim H ¹(A), when every path in Δ parallel to an arrow belongs to I or when I is homogeneous. Received: 12 April 1999 / Revised version: 9 October 2000     

Constructions of stable equivalences of Morita type for finite dimensional algebras II

Suppose k is a field. Let A and B be two finite dimensional k-algebras such that there is a stable equivalence of Morita type between A and B. In this paper, we prove that (1) if A and B are representation-finite then their Auslander algebras are stably equivalent of Morita type; (2) The n-th Hochschild homology groups of A and B are isomorphic for all n≥1. A new proof is also provided for Hochschild cohomology groups of self-injective algebras under a stable equivalence of Morita type.     

Hochschild Cohomology of Quiver Algebras Defined by Two Cycles and a Quantum-Like Relation

We consider quiver algebras A _q over a field k defined by two cycles and a quantum-like relation depending on a nonzero element q in k, and describe the minimal projective bimodule resolution of A _q . In particular, in the case q = 1, we determine the Hochschild cohomology ring of A ₁ and show that it is a finitely generated k-algebra. Moreover the Hochschild cohomology ring of A ₁ modulo nilpotence is isomorphic to the polynomial ring of two variables.     

An Application of a Theorem of Sheila Brenner for Hochschild Extension Algebras of a Truncated Quiver Algebra

Let A be a truncated quiver algebra over an algebraically closed field such that any oriented cycle in the ordinary quiver of A is zero in A. We give the number of the indecomposable direct summands of the middle term of an almost split sequence for a class of Hochschild extension algebras of A by the standard duality module D(A).

     

Twisted Homology of Quantum SL(2)

We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of the coordinate algebra of the quantum SL(2) group relative to twisting automorphisms acting by rescaling the standard generators a,b,c,d. We discover a family of automorphisms for which the “twisted” Hochschild dimension coincides with the classical dimension of , thus avoiding the “dimension drop” in Hochschild homology seen for many quantum deformations. Strikingly, the simplest such automorphism is the canonical modular automorphism arising from the Haar functional. In addition, we identify the twisted cyclic cohomology classes corresponding to the three covariant differential calculi over quantum SU(2) discovered by Woronowicz.     

The fundamental groups of a triangular algebra

A finite dimensional algebra A (over an algebraically closed field) is called triangular if its ordinary quiver has no oriented cycles. To each presentation (Q I) of A is attached a fundamental group π₁(Q I), and A is called simply connected if π₁(Q I) is trivial for every presentation of A. In this paper, we provide tools for computations with the fundamental groups, as well as criteria for simple connectedness. We find relations between the fundamental groups of A and the first Hochschild cohomology H ¹ (A A).     

More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras

We investigate the Hochschild and cyclic homologies of crossed modules of algebras in some special cases. We prove that the cotriple cyclic homology of a crossed module of algebras (I, A, ρ) is isomorphic to HC _*(ρ): HC _*(I) → HC _*(A), provided I is H-unital and the ground ring is a field with characteristic zero. We also calculate the Hochschild and cyclic homologies of a crossed module of algebras (R, 0, 0) for each algebra R with trivial multiplication. At the end, we give some applications proving a new five term exact sequence.     

The Simple Connectedness of a Tame Weakly Shod Algebra

Abstract

We prove that a tame weakly shod algebra A which is not quasi-tilted is simply connected if and only if the orbit graph of its pip-bounded component is a tree, or if and only if its first Hochschild cohomology group H¹(A) with coefficients in _A A _A vanishes. We also show that it is strongly simply connected if and only if the orbit graph of each of its directed components is a tree, or if and only if H¹(A) = 0 and it contains no full convex subcategory which is hereditary of type 𝔸?, or if and only if it is separated and contains no full convex subcategory which is hereditary of type 𝔸?.     

Hochschild (Co)Homology of Hopf Crossed Products*

For a general crossed product E = A#_f H, of an algebra A by a Hopf algebra H, we obtain complexes smaller than the canonical ones, giving the Hochschild homology and cohomology of E. These complexes are equipped with natural filtrations. The spectral sequences associated to them coincide with the ones obtained using a natural generalization of the direct method introduced in Trans. Amer. Math. Soc. 74 (1953) 110–134. We also get that if the 2-cocycle f takes its values in a separable subalgebra of A, then the Hochschild (co)homology of E with coefficients in M is the (co)homology of H with coefficients in a (co)chain complex.     

Hochschild Cohomology of an Algebra Associated with a Circular Quiver

In this article we show that an algebra A = K Γ/(f(X ^s )) has a periodic projective bimodule resolution of period 2, where KΓ is the path algebra of the circular quiver Γ with s vertices and s arrows over a commutative ring K, f(x) is a monic polynomial over K and X is the sum of all arrows in KΓ. Moreover, by means of this projective bimodule resolution, we compute the Hochschild cohomology group of A, and we give a presentation of the Hochschild cohomology ring HH?(A) by the generators and the relations in the case K is a field.     

Higman ideal, stable Hochschild homology and Auslander-Reiten conjecture

Let A and B be two finite dimensional algebras over an algebraically closed field, related to each other by a stable equivalence of Morita type. We prove that A and B have the same number of isomorphism classes of simple modules if and only if their 0-degree Hochschild Homology groups HH ₀(A) and HH ₀(B) have the same dimension. The first of these two equivalent conditions is claimed by the Auslander-Reiten conjecture. For symmetric algebras we will show that the Auslander-Reiten conjecture is equivalent to other dimension equalities, involving the centers and the projective centers of A and B. This motivates our detailed study of the projective center, which now appears to contain the main obstruction to proving the Auslander-Reiten conjecture for symmetric algebras. As a by-product, we get several new invariants of stable equivalences of Morita type.     

Hochschild Homology Invariants of Külshammer Type of Derived Categories

For a perfect field k of characteristic p > 0 and for a finite dimensional symmetric k-algebra A Külshammer studied a sequence of ideals of the centre of A using the p-power map on degree 0 Hochschild homology. In joint work with Bessenrodt and Holm we removed the condition to be symmetric by passing through the trivial extension algebra. If A is symmetric, then the dual to the Külshammer ideal structure was generalised to higher Hochschild homology in earlier work [23 Zimmermann , A. ( 2007 ). Fine Hochschild invariants of derived categories for symmetric algebras . Journal of Algebra 308 : 350 – 367 . [Google Scholar]]. In the present article we follow this program and propose an analogue of the dual to the Külshammer ideal structure on the degree m Hochschild homology theory also to not necessarily symmetric algebras.     

Formule d'homotopie entre les complexes de Hochschild et de De Rham

Let k be the field or let M be the space k ⁿ and let A be the algebra of polynomials over M. We know from Hochschild and co-workers that the Hochschild homology H _·(A,A) is isomorphic to the de Rham differential forms over M: this means that the complexes (C _·(A,A),b) and (^·(M), 0) are quasi-isomorphic. In this work, I produce a general explicit homotopy formula between those two complexes. This formula can be generalized when M is an open set in a complex manifold and A is the space of holomorphic functions over M. Then, by taking the dual maps, I find a new homotopy formula for the Hochschild cohomology of the algebra of smooth fonctions over M (when M is either a complex or a real manifold) different from the one given by De Wilde and Lecompte. I will finally show how this formula can be used to construct an homotopy for the cyclic homology.     

Homotopy Theory of A∞ Ring Spectra and Applications to MU-Modules

We give a definition of a derivation of an A ring spectrum and relate this notion to topological Hochschild cohomology. Strict multiplicative structure is introduced into Postnikov towers and generalized Adams towers of A -ring spectra. An obstruction theory for lifting multiplicative maps is constructed. The developed techniques are then applied to show that a broad class of complex-oriented spectra admit structures of MU-algebras where MU is the complex cobordism spectrum. Various computations of topological derivations and topological Hochschild cohomology are made.     

Singular Hochschild cohomology via the singularity category

We show that the singular Hochschild cohomology (= Tate–Hochschild cohomology) of an algebra A is isomorphic, as a graded algebra, to the Hochschild cohomology of the differential graded enhancement of the singularity category of A. The existence of such an isomorphism is suggested by recent work by Zhengfang Wang.     

Étale descent for hochschild and cyclic homology

IfB is an étale extension of ak-algebraA, we prove for Hochschild homology thatHH _*(B)≅HH_*(A)⊗_AB. For Galois descent with groupG there is a similar result for cyclic homology:HC _*≅HC_*(B)^G if . In the process of proving these results we give a localization result for Hochschild homology without any flatness assumption. We then extend the definition of Hochschild homology to all schemes and show that Hochschild homology satisfies cohomological descent for the Zariski, Nisnevich and étale topologies. We extend the definition of cyclic homology to finite-dimensional noetherian schemes and show that cyclic homology satisfies cohomological descent for the Zariski and Nisnevich topologies, as well as for the étale topology overQ. Finally we apply these results to complete the computation of the algebraicK-theory of seminormal curves in characteristic zero. Partially supported by National Science Foundation grant DMS-8803497 Partially supported by National Security Agency grant MDA904-90-H-4019