Questions tagged [hochschild-homology]

For questions about Hochschild homology of associative algebras and related concepts.

Filter by
Sorted by
Tagged with
3 votes
1 answer
285 views

Is the exterior algebra intrinsically formal?

Following 4.6 and 4.7 of this paper by Seidel and Thomas, a graded algebra $A$ is called intrinsically formal if any two dgas with cohomology $A$ are quasi-isomorphic. There is a sufficient condition ...
1 vote
1 answer
267 views

Even and odd part of the Hochschild and cyclic homology of a super-algebra

Let $A$ be a $\mathbb Z_2$-graded $k$-algebra, where $k$ is a field of characteristic $0$. Then we know that the tensor product of $A$ with itself is also $\mathbb Z_2$-graded by $$(A\otimes_k A)_0:=...
4 votes
1 answer
333 views

How to calculate $\mathrm{TP}(\mathbb{F}_p[t])$?

$\DeclareMathOperator\TP{TP}$I am trying to learn about topological periodic cyclic homology following the notes: https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/Papers/Lectures.pdf https://...
8 votes
2 answers
637 views

How to compute the periodic cyclic homology of this algebra

Let $k=\mathbb{C}$ be the field of complex numbers. I consider the (DG) algebra $A:=k[x]/(x^2)$ such that $\deg(x)=-1$. My question is how to compute the periodic cyclic homology, Hochschild homology ...
6 votes
1 answer
435 views

An exact sequence involving THH

Disclaimer: I'm a relative beginner in this area. I'm trying to prove that if one has a commutative ring $R$ and a prime number $p$, then there is an exact sequence of the form $$\DeclareMathOperator\...
4 votes
0 answers
290 views

What is the geometric interpretation of the first Hochschild homology group of path algebra constructed from a directed graph?

Let $\mathcal{G} = (V, E, s, t)$ is a directed graph, where $V$ - the set of its vertices, $E$ - the set of its edges, $s: E \rightarrow V, s((v_1, v_2)) = v_1$ and $t: E \rightarrow V, s((v_1, v_2)) =...
3 votes
0 answers
162 views

Hochschild homology of stable categories as topological chiral homology

Sorry for repost from Math Stack Exchange: Let $\mathscr{C}_0$ be a small idempotent complete stable category tensored over some symmetric monoidal category $\mathcal{E}$. Its Ind-completion $\mathscr{...
1 vote
0 answers
76 views

Hochschild homology computation of certain type

I know that in general Hochschild homology is not very computable. However, this certain type of Hoshschild homology shows up and I feel like there could be existing result. Let $k$ be a field and $A$ ...
5 votes
1 answer
353 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 ...
5 votes
0 answers
224 views

A theory of higher limits of (1-)functors, after higher hochschild homology

$\newcommand{\Trans}{\mathrm{Trans}}\newcommand{\H}{\mathrm{H}}\newcommand{\HH}{\mathrm{HH}}\newcommand{\Hom}{\mathrm{Hom}}\newcommand{\Mod}{\mathrm{Mod}}$Recently I noticed that one may regard the co/...
8 votes
1 answer
441 views

What is $TP(\mathbb{Z}_p)$?

Let $TP$ be periodic topological cyclic homology. What is $\pi_* TP(\mathbb{Z}_p)$? (i) I know that $\pi_* TP(\mathbb{F}_p) \cong \mathbb{Z}_p[v^{\pm 1}]$ with $v$ in degree $-2$ by IV.4.8 of Nikolaus-...
9 votes
0 answers
351 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 ...
5 votes
1 answer
398 views

Defining Hochschild homology of non-commutative DG-algebras with animated rings with a circle action

A cool construction of Hochschild homology (that I saw on B. Antieau's website here ) is the following: Let $k$ be a commutative ring, then denote by $\mathfrak{a}\text{CAlg}_k$ the category of ...
14 votes
5 answers
2k views

Why is the Hochschild homology of k[t] just k[t] in degrees 0 and 1?

Background: the Hochschild homology of an associative algebra is the homology of the complex $$ \ldots \longrightarrow A \otimes A \otimes A \longrightarrow A \otimes A \longrightarrow A$$ where ...
2 votes
1 answer
315 views

Can we compute the Hochschild cohomology for $k[x]$ through the Hochschild complex?

For an algebra $A$ we can define its Hochschild cohomology $HH^{\bullet}(A,A)$ as in this wikipedia page. Now let $A=k[x]$ be the polynomial ring where $k$ is a field. It is well-known that $HH^{0}(A,...
4 votes
0 answers
136 views

D-module theoretic Chern characters and an index-type theorem

Let $X$ be a smooth projective variety over $\mathbf{C}$. Consider the category $\mathbf{D}_{X}^{\text{perf}}$ of perfect complexes of left $D$-modules on $X$. It is well known that there is an ...
1 vote
0 answers
44 views

Is there a version of Nest-Tsygan theorem for smooth variety

Let $M$ be a smooth Poisson manifold and $\mathcal{O}_\hbar (M)$ be a deformation quantisation of $\mathcal{O} (M)$. Nest-Tsygan theorem says that $$HH_i(\mathcal{O}_\hbar (M)[\hbar^{-1}])\cong H^{2d-...
5 votes
1 answer
360 views

Strict graded commutativity of $\pi_*(\operatorname{THH}(A))$?

$\DeclareMathOperator\THH{THH}\DeclareMathOperator\HH{HH}$A version of the strict graded commutativity (i.e. graded commutativity & $x^2=0$ for every homogeneous element $x$ of odd degree) of $\...
5 votes
0 answers
219 views

Two Hattori-Stallings trace questions

$\DeclareMathOperator\THH{THH}\DeclareMathOperator\Perf{Perf}\DeclareMathOperator\map{map}\DeclareMathOperator\tr{tr}\DeclareMathOperator\HH{HH}\DeclareMathOperator\fib{fib}\DeclareMathOperator\id{id}\...
6 votes
0 answers
118 views

Explicit homotopy for Hochschild chains from natural isomorphism

Let $A,B$ be $k$-linear (possibly, dg-)categories, let $f,g:A\to B$ be two linear functors, and let $T:f\Rightarrow g$ be a natural isomorphism. If one denotes by $C_\bullet(A,A)$ the standard ...
1 vote
0 answers
135 views

Simplicial realization of the circle action on the free loop space

Given a simply connected topological space $X$, it is well known that its free loop space $LX$ has cohomology being the Hochschild homology of the singular cochains [1]: $$HH_\bullet(S^\star X) \simeq ...
2 votes
0 answers
171 views

Poincare-duality for Hochschild Homology using Weibel's Hochschild sheaf

There is a notion of Poincare-duality for Hochschild homology, which works for $k$-algebras $A$ such that there is a $d\in \mathbf{N}$ with $\mathrm{Ext}^i(A,A^e)$ is zero except for $i=d$, and $\...
14 votes
2 answers
2k views

Applications of topological chiral homology and factorization algebras (aka higher Hochschild cohomology)

I recently heard a talk about these topics and found them very interesting. The talk was centered on the formal structure and didn't really focus on examples. So my question is: what is your favorite ...
5 votes
1 answer
295 views

Morphisms of Hochschild (or cyclic) homology induced by homotopic maps

Let $f$ and $g$ be two maps between DG algebras $A$ and $B$, and assume that $f$ and $g$ are homotopic as chain maps, hence they induce the same map on the level of homology. Moreover, $f$ and $g$ ...
8 votes
0 answers
423 views

Relationship between different definitions of the Hochschild homology

Throughout the literature, one can find many definitions of the Hochschild homology of various objects. However, the precise relationship between these definitions is not always so clear, at least to ...
11 votes
1 answer
522 views

Measure the failure of colimit to commute with taking free loops (or Hochschild homology)?

For a space1 $X$, let $\mathcal{L}X = \mathrm{Maps}(S^1, X)$ be the free loop space. Inclusion of constant loops gives a natural map $X \to \mathcal{L}X$. This is not a homotopy equivalence unless $X$...
8 votes
0 answers
521 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) ...
6 votes
1 answer
587 views

Confusion about topological Hochschild homology and $\mathbb{Z}_p$-topological Hochschild homology

Let $R$ be the ring of integers in a perfectoid field of mixed characteristic $p$. Is $\pi_*THH(R)$ (as defined in Bhatt--Morrow--Scholze) $p$-complete (as an abelian group)?
3 votes
1 answer
252 views

Hochschild homology of acyclic complex

Let $A$ be a differential graded algebra over a commutative ring $R$. Suppose that $H_*(A)=0$, i.e. $A$ is acyclic. Question: Does this imply that the Hochschild homology $HH_*(A)$ also vanishes ...
5 votes
1 answer
373 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
57 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 ...
4 votes
0 answers
151 views

Describing the THH of function spectra?

Are there any results describing the $THH$ of spectra of the form $F(X, E)$ where $X$ is a space (say, finite CW) and $E$ is a (nice enough) ring spectrum? I'm happy to put various (further, or ...
7 votes
2 answers
778 views

How do you prove that Hochschild cohomology is Morita invariant?

I am simply trying to show that $HH^\bullet(A)= HH^\bullet(M_r(A))$ for any matrix ring of $A$. In Loday's book (Sect 1.5.6) the Morita invariance is explained as follows : it says that if $M$ is an ...
37 votes
7 answers
6k views

Book on Hochschild (co)homology

There is currently no treatise treating Hochschild (co)homology systematically. There is a chapter in Weibel's book, there's parts of Loday's and a few others... What should be covered by such a ...
1 vote
0 answers
54 views

How is the product structure induced on Lie algebra homology of matrices?

I have been looking at the Chevalley Eilenberg complex $CE_*(\mathfrak g)$ of a Lie algebra $\mathfrak g$ over a field $k$. $$ \wedge^3\mathfrak g\longrightarrow \wedge^2\mathfrak g\longrightarrow \...
11 votes
0 answers
878 views

Higher traces in Hochschild cohomology

Let $A$ be an associative algebra over a field $k$. Let $\rho:A \rightarrow \mathrm{End}(M)$ a left module, finite dimensional over $k$. Then the map $a \mapsto \mathrm{tr}_M \rho(a)$ is a well ...
17 votes
1 answer
839 views

Hochschild (co)homology of differential operators

I googled the title on the internet, and arrived at the following result $$HH_k(D)\cong H_{DR}^{2n-k}(M).$$ Here $M$ is a smooth manifold of dimension $n$, and $D$ is the ring of differential ...
8 votes
0 answers
193 views

Does a morphism which induces an isomorphism between Hochschild homology also induce an isomorphism between cyclic homology?

In a 1998 paper by B. Keller, the author consider the following problem in Section 1.4: Let $k$ be a commutative ring and $X$ a scheme over $k$. We can consider the cyclic homology as well as the ...
5 votes
0 answers
115 views

Continuous and bornological Hochschild homology

As far as I understand, given a complex algebra $A$ with a locally convex topology $\mathcal{T}_A$ (e.g. $A=C^{\infty}(M, \mathbb C)$ for some manifold M), the topology induces a complete convex ...
4 votes
0 answers
216 views

Deformation of the Hochschild-Kostant-Rosenberg isomorphism for universal enveloping algebra

Let $\mathfrak{g}$ be a Lie algebra over a char. $0$ field and let $\iota: U\mathfrak{g}\rightarrow S\mathfrak{g}$ be the Poincaré-Birkhoff-Witt (PBW) isomorphism, inverse to that natural map from the ...
4 votes
0 answers
99 views

Computation of Hochschild homology

Let $A$ be a Dedekind domain. Let $n\geq 2$ be an integer. Is there a simple description of $HH_*(A, A/nA)$?
5 votes
1 answer
395 views

Confusion on summand of Hochschild homology of D-modules

I've encountered the following confusion. Start with the category of perfect D-modules on $\mathbb{A} ^{1}$, which I'll denote $D$. We have the object $\mathcal{O}$, which is exceptional in the sense ...
3 votes
1 answer
423 views

Hochschild Homology and Formal Geometry

My question concerns the degeneration of the spectral sequence computing Hochschild homology of differential operators on a smooth affine variety $X$. The spectral sequence arises from the ...
5 votes
2 answers
916 views

What is $TC(\Sigma^\infty \Omega X)$?

I know that for $X$ a connected space, $THH(\Sigma^\infty \Omega X) = \Sigma^\infty \Lambda X$, the suspension spectrum of the free loop space of $X$. The computation can be carried out in spaces and ...
5 votes
0 answers
87 views

Existence of anti-symmetric hochschild homology representatives

Let $A$ be an associative algebra over a field $k$. Let $A_{L}$ be the Lie algebra of $A$ with commutator bracket. Then if $M$ is a bimodule for $A$ there is an associated representation of $A_{L}$ ...
2 votes
0 answers
133 views

Computing Hochschild Invariants of Positselski's Coderived Categories

Positselski's work allows one to frame Koszul duality very elegantly in terms of so called coderived categories of modules over coalgebras, these are somewhat exotic dg categories of comodules over $C$...
20 votes
2 answers
2k views

revisiting $THH(\mathbb{F}_p)$

Reading through Bhatt-Morrow-Scholze's "Topological Hochschild Homology and Integral p-adic Hodge Theory" I encountered the following statement. We use only “formal” properties of THH throughout ...
6 votes
0 answers
246 views

$\mathrm{HH}$ and $\mathrm{HC}$ as two different Taylor expansions at the same point

Let us consider the functors from dg algebras to graded spaces given by Hochshcild homology and cyclic homology. Then it is well known that in degree $0$, both functors are given by $A\longmapsto A/[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 ...
9 votes
1 answer
566 views

Hochschild homology with coefficients in a certain bimodule

Let $A$ be a finite-dimensional $k$-algebra and $U$ and $V$ two finite-dimensional projective $A$-modules (maybe neither the finiteness nor projectivity has to play a role, but these requirements are ...