In this paper, we compute the Hochschild and cyclic homologies of the Auslander algebras of the Taft algebras. We also describe the first Chern character for the Taft algebras and for their Auslander algebras.
We give a detailed calculation of the Hochschild and cyclic homology of the algebra $\CIc(G)$ of locally constant, compactly supported functions on a reductive p-adic group G. We use these calculations to extend to arbitrary elements the definition the higher orbital integrals introduced in \cite{Blanc-Brylinski} for regular semisimple elements. Then we extend to higher orbital integrals some results of Shalika. We also investigate the effect of the ``induction morphism'' on Hochschild homology.
Rigidity of higher Auslander algebras of type $\mathbb{A}$
Universität zu Köln(科隆大学);IMAS-CONICET(阿根廷国家科学研究委员会数学研究所);Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires(布宜诺斯艾利斯大学理学院);Guangdong Technion Israel Institute of Technology(广东以色列理工学院);School of Mathematical Sciences, Laboratory of Mathematics and Complex Systems, Beijing Normal University(北京师范大学数学科学学院复杂系统与数学实验室)
We calculate the additive and multiplicative structure (together with the grading) of the Hochschild homology and cohomology and the cyclic homology of preprojective algebras of types T. We also compute the calculus structure which is formed by the Hochschild homology/cohomology pair.
The minimal projective bimodule resolutions of the exterior algebras are explicitly constructed. They are applied to calculate the Hochschild (co)homology of the exterior algebras. Thus the cyclic homology of the exterior algebras can be calculated in case the underlying field is of characteristic zero. Moreover, the Hochschild cohomology rings of the exterior algebras are determined by generators and relations.
We compute the Hochschild cohomology and homology of a class of quantum exterior algebras, with coefficients in twisted bimodules. As a result we obtain several interesting examples of the homological behavior of these algebras.
Let A be the central extension of the preprojective algebra of an ADE quiver introduced by P. Etingof and E. Rains in math/0503393. The paper math/0606403 computes the structure of the zeroth Hochschild (co)homology of A. We generalize the results of math/0606403 by calculating the additive structure of all the Hochschild homology and cohomology groups of A and the cyclic homology of A, and to describe the universal deformation of A. Namely, we show that the (co)homology is periodic with period 4, and compute the first four (co)homology groups in each case.
We calculate the additive structure (together with the grading) of the Hochschild homology and cohomology and the cyclic homology of preprojective algebras of types ADE.
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. In the present paper we follow this program and propose an analogue of the dual to the Külshammer ideal structure on t…
An important step in the calculation of the triply graded link homology theory of Khovanov and Rozansky is the determination of the Hochschild homology of Soergel bimodules for SL(n). We present a geometric model for this Hochschild homology for any simple group G, as equivariant intersection homology of B x B-orbit closures in G. We show that, in type A these orbit closures are equivariantly formal for the conjugation T-action. We use this fact to show that in the case where the corresponding orbit closure is smooth, this Hochschild homology is an exterior algebra over a polynomial ring on ge…
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 describe how the Hochschild (co)homology of a bound quiver algebra changes when adding or deleting arrows to the quiver. The main tools are relative Hochschild (co)homology, the Jacobi-Zariski long exact sequence obtained by A. Kaygun and a one step relative projective resolution of a tensor algebra.
In 1989 Happel conjectured that for a finite-dimensional algebra $A$ over an algebraically closed field $k$, $\gl A< \infty$ if and only if $\hch A < \infty$. Recently Buchweitz-Green-Madsen-Solberg gave a counterexample to Happel's conjecture. They found a family of pathological algebra $A_q$ for which $\gl A_q = \infty$ but $\hch A_q=2$. These algebras are pathological in many aspects, however their Hochschild homology behaviors are not pathological any more, indeed one has $\hh A_q = \infty=\gl A_q$. This suggests to pose a seemingly more reasonable conjecture by replacing Hochschild cohomo…
It is shown that a bounded quiver algebra having a 2-truncated oriented cycle is of infinite Hochschild homology dimension and global dimension, which generalizes a result of Solotar and Vigué-Poirrier to nonlocal ungraded algebras having a 2-truncated oriented cycle of arbitrary length. Therefore, a bounded quiver algebra of finite global dimension has no 2-truncated oriented cycles. Note that the well-known "no loops conjecture", which has been proved to be true already, says that a bounded quiver algebra of finite global dimension has no loops, i.e., truncated oriented cycles of length 1. M…
We provide a formula for the change of the dimension of the first Hoch\-schild cohomology vector space of bound quiver algebras when adding new arrows. For this purpose we show that there exists a short exact sequence which relates the first cohomology vector spaces of the algebras to the first relative cohomology. Moreover, we show that the first Hochschild homologies are isomorphic when adding new arrows.
We prove that two quasi-isomorphic simply connected differential graded associative Frobenius algebras have isomorphic Goresky-Hingston algebras on their reduced Hochschild homology. Our proof is based on relating the Goresky-Hingston algebra on reduced Hochschild homology to the singular Hochschild cohomology algebra. For any simply connected oriented closed manifold $M$ of dimension $k$, the Goresky-Hingston algebra on reduced Hochschild homology induces an algebra structure of degree $k-1$ on $\bar{H}^*(LM;\mathbb{Q})$, the reduced rational cohomology of the free loop space of $M$. As a con…
We determine the Z-module structure of the preprojective algebra and its zeroth Hochschild homology, for any non-Dynkin quiver (and hence the structure working over any base commutative ring, of any characteristic). This answers (and generalizes) a conjecture of Hesselholt and Rains, producing new $p$-torsion classes in degrees 2p^l, l >= 1, We relate these classes by p-th power maps and interpret them in terms of the kernel of Verschiebung maps from noncommutative Witt theory. An important tool is a generalization of the Diamond Lemma to modules over commutative rings, which we give in the ap…
Let H = H (R,q) be an affine Hecke algebra with complex, possibly unequal parameters q, which are not roots of unity. We compute the Hochschild and the cyclic homology of H. It turns out that these are independent of q and that they admit an easy description in terms of the extended quotient of a torus by a Weyl group, both of which are canonically associated to the root datum R. For q positive we also prove that the representations of the family of algebras H (R,q^ε) come in families which depend analytically on the complex number ε. Analogous results are obtained for graded Hecke algebras an…
Let $G$ be a group acting on a small category $\mathcal C$ over a field $k$, that is $\mathcal C$ is a $G$-$k$-category. We first obtain that $\mathcal C$ is resolvable by a category which is $G$-$k$-equivalent to it, on which $G$ acts freely on objects. This resolvent category enables to show that if the coinvariants and the invariants functors are exact, then the coinvariants and invariants of the Hochschild-Mitchell (co)homology of $\mathcal C$ are isomorphic to the trivial component of the Hochschild-Mitchell (co)ho\-mo\-logy of the skew category $\mathcal C[G]$. Otherwise the correspondin…