Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
119 views

Cyclic homology with coefficients in a bimodule

I've recently been trying to understand Hochschild and cyclic co/homology better, and I've noticed that while it's common to define the Hochschild homology $\mathrm{HH}_{\bullet}(A;M)$ of an $R$-...
5 votes
1 answer
368 views

Topological Hochschild homology of Azumaya algebra

Let $R$ be a commutative ring, let $A$ be an Azumaya algebra over $R$, does its topological Hochschild homology coincide with that of $R$? For example, let $\mathbb{H}$ be the quaternion algebra over ...
9 votes
0 answers
366 views

A characterisation of symmetric algebras using Hochschild (co)homology

A finite dimensional (connected if needed) $K$-algebra $A$ over a field $K$ is called symmetric when $A \cong Hom_K(A,K)$ as $A$-bimodules. Symmetric algebras are Frobenius algebras and include for ...
7 votes
0 answers
579 views

Why is Hochschild homology interesting if its cohomology groups are infinite-dimensional?

I am trying to understand Hochschild homology, in particular the Hochschild–Kostant–Rosenberg theorem. As far as I understand this result gives an isomorphism between the algebraic (Kähler) ...
5 votes
1 answer
392 views

Hochschild homology and change of non-ground ring

Let $k$ be a field, $R$ is a commutative algebra over $k$ and $A$ is an associative algebra over $R$. There is a morphism of commutative algebras $R \to T$. Is it possible to reduce calculation of ...
1 vote
0 answers
60 views

Universal bimodule for homotopy biderivations

Recall the commutative story: for a commutative algebra $A$, its module of differentials $\Omega (A)$ is characterized by the universal property that any derivation $\delta \colon A \to M$ is in a ...
21 votes
2 answers
4k views

intuition for hochschild homology

According to this post Intuition for group homology, I wonder what is the intuition for Hochschild homology. The Hochschild homology is defined as the homology of this complex chain. Given a ...
5 votes
1 answer
685 views

Hochschild homology of a category of modules over an algebra

Suppose $A$ is an algebra over some field, say the complex numbers if that helps. Then we can consider the category $\mathbf{C}_A$ of finite-dimensional modules over $A$. This category can be seen as ...
3 votes
0 answers
169 views

Hochschild homology and Chern character quiver with potential

I am a beginner in quiver theory so this question might not be suitable for mathoverflow. Let $(Q,W)$ be a quiver with potential and let $\Gamma$ be the Ginzburg DG-algebra associated to $(Q,W)$. Is ...
2 votes
1 answer
169 views

Variant of co-Tor in a bimodule category

Say $\mathcal{C}$ is a strict monoidal abelian category and $A$ is a coalgebra object in $\mathcal{C}$, with left co-modules $M$ and right co-module $N$ (also in $\mathcal{C}$). Then we have a notion ...
5 votes
1 answer
245 views

Slick construction of Hochschild complex

Let $R$ be a $k$-algebra and $M$ be an $(R,R)$-bimodule. Let $[n] \mapsto M \otimes R^{\otimes n}$ be the simplicial $k$-module which defines the Hochschild homology $H_*(R,M)$. Is it possible to ...
7 votes
0 answers
416 views

Definitions of Hochschild Cohomology $HH^{\bullet}(A)$

Let $A$ be an associative unital $k$-algebra, and let $M$ be a bimodule of $A$. The Hochschild cohomology of $A$ with coefficients in $M$ can be defined as $$HH^{n}(A,\,M)=\mathrm{Ext}^{n}_{A^{e}}(A,\,...
13 votes
0 answers
338 views

When does Hochschild homology commute with infinite products?

Let $A$ be an associative algebra. Its zeroth Hochschild homology $\mathrm{HH}_0(A)$ is the cokernel of the linear map $A^{\wedge 2} \to A$, $a \wedge b \mapsto ab - ba$. I.e. you quotient the ...
1 vote
0 answers
213 views

Example H-unital algebra which is not unital

What is an example of an algebra which is H-unital (that is its Bar complex is acyclic) and yet it is not unital?
7 votes
2 answers
885 views

Does anyone recognize this quiver-with-relations?

Below I describe an infinite (but locally finite) quiver with relations. My question is whether anyone recognizes it and can provide appropriate pointers to the literature. I'm mainly interested in ...