Questions tagged [hochschild-homology]

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

Filter by
Sorted by
Tagged with
2
votes
0answers
67 views

A cyclic-like chain complex

Let $V$ be a $\mathbb{Z}$-graded vector space over an algebraically closed field $k$ of characteristic zero. Let $\overline{TV}= \bigoplus_{n=1}^{\infty} V^{\otimes n}$ be the reduced tensor algebra....
3
votes
1answer
142 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 ...
1
vote
0answers
44 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
0answers
108 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 ...
6
votes
2answers
322 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 ...
0
votes
0answers
94 views

Is there a coproduct on Hochschild homology of an algebra?

Suppose $\epsilon : A\longrightarrow K$ is an augmented algebra over a commutative ground ring $K$, so that $K$ can be treated as an $A$-bimodule. Is there a coproduct structure on the Hochschild ...
1
vote
0answers
22 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 \...
4
votes
0answers
209 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 ...
8
votes
0answers
122 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
0answers
69 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
0answers
132 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
0answers
79 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)$?
4
votes
1answer
454 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
1answer
270 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
0answers
81 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}$ ...
5
votes
1answer
289 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 ...
2
votes
0answers
90 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$...
16
votes
2answers
925 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
0answers
198 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,...
9
votes
1answer
408 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 ...
3
votes
0answers
178 views

Wrong way Poincare duality for Calabi-Yau dg-algebras?

Let $A$ be a smooth compact Calabi-Yau dg $k$-algebra of dimension $w$. It is widely known (e.g. Atsusi Takahashi proposition 2.4) that in such situation we have non canonical isomorphism of $A^{en}$-...
6
votes
1answer
260 views

Algebraic models of non-simply connected spaces in string topology

I want to find some algebraic models relating string topology to Hochschild and cyclic homologies. If the space $X$ is simply-connected and we are working over rational numbers, we can use Sullivan ...
10
votes
0answers
557 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 ...
4
votes
1answer
304 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
0answers
120 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
1answer
100 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 ...
2
votes
0answers
130 views

Failure of periodic cyclic homology to be a localizing invariant

A localizing invariant $E: dgcat_{sm} \rightarrow Ch_k$ from small dg categories to chain complexes over a field $k$ (say $k = \mathbb{C}$) is a dg functor which sends localization sequences to exact ...
4
votes
0answers
85 views

Moduli spaces for the TCFT map $HH(L) \to GW(X)$

Let $L$ be a Lagrangian submanifold of a closed symplectic manifold $X$. What I gather from Costello (see specifically $\S$2.5 there), is that one expects to have a morphism of closed TCFT's $\tag{1}...
18
votes
2answers
2k 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
1answer
303 views

String cobracket from TFT

Let $M$ be a closed oriented manifold. Chas and Sullivan (https://arxiv.org/abs/math/0212358) introduced a Lie bialgebra structure on $H_\bullet^{S^1}(LM, M)$, $S^1$-equivariant homology of the loop ...
15
votes
1answer
828 views

Categorification of Floer homology

Floer homology associates a vector space $HF^\ast(L_1,L_2)$ to any pair of Lagrangian submanifolds $L_1,L_2$ inside a symplectic manifold $X$. By a categorification of Floer homology, I mean a ...
5
votes
1answer
224 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 ...
2
votes
1answer
197 views

Does rational surface have exceptional collection of maximal length but not full?

Let $X$ be a rational surface. Let $\mathbb{E}:=(E_1,\ldots,E_n)$ be strong exceptional collection of line bundles of maximal length $l=rk Pic(X)+2$ in $D^b(coh(X))$, Is there any example that such ...
7
votes
1answer
305 views

Topological Hochschild homology and Hochschild homology of dg algebras

Topological Hochschild homology is a generalization of Hochschild homology from rings to $E_\infty$-ring spectra. On the other hand, there is a natural way to extend the notion of Hochschild homology ...
5
votes
0answers
336 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,\,...
7
votes
1answer
1k views

What is the negative cyclic homology of a smooth projective variety?

Let X be a smooth and projective variety. Hochschild homology and cohomology have a very simple definition in terms of Ext groups of the diagonal of X. The Hochschild-Kostant-Rosenberg (HKR) theorem ...
6
votes
1answer
331 views

A mysterious quasi-isomorphism in Kashiwara-Schapira's proof of HKR

On p. 127 of Kashiwara-Schapira's paper "Deformation Quantization Modules", there is the following situation: $X$ is a smooth complex (quasi?)projective variety and $\delta\colon X\to X\times X$ is ...
4
votes
0answers
188 views

Inner automorphisms acts as identity on Hochschild homology

Let $A$ be a unital algebra and $u \in A$ be an invertible element. Let us consider $u_n(a_0 \otimes a_1 \otimes ... \otimes a_n):=ua_0u^{-1} \otimes ua_1u^{-1} \otimes ... \otimes ua_nu^{-1}$. Then $(...
1
vote
0answers
98 views

Tor functor in the case of algebra of smooth functions

Let $A=C^{\infty}(\mathbb{S}^{1})$, let $B$ be the sub-algebra $C^{\infty}(0,1)$. Here we identify $\mathbb{S}^{1}$ by $\mathbb{R}/2\pi \mathbb{Z}$. I want to ask if there is a way I can decompose $A$ ...
10
votes
0answers
207 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 ...
12
votes
2answers
1k views

Relationship between Hochschild cohomology and Drinfeld centers

Let $HH_*(A,N)$ (or $HH^*(A,N)$) be the Hochschild homology (or cohomology) of an associative algebra $A$ with coefficients in an $A$-bimodule $N$. I was reading nlab's entry on Hochschild cohomology ...
2
votes
1answer
413 views

Interpretation of Hochschild Homology groups

In all the literature I've come across there are many concrete interpretations of the first few Hochschild Cohomology groups. For example $HH^1(A,M)\cong Derivation/Inner Derivations$ etc.... In ...
4
votes
1answer
148 views

Hochschild chain model for the evaluation map at half

Let M be a manifold and $\Lambda(M)$ its free loop space, $A= C^*(M)$ denotes the cochain algebra of $M$. We know that Hochschild chain model for the evaluation $ ev_0: \Lambda(M) \rightarrow M$ is ...
1
vote
1answer
474 views

Hochschild cohomology and formal smoothness

Hochschild cohomology can be used to characterise formal smoothness of unital associative algebras; in that such an algebra $A$ is formally smooth if and only if it is of Hochschild cohomological ...
1
vote
0answers
150 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?
2
votes
0answers
81 views

Poincaré Duality of a quasi-free algebra

I'm completely stumped on this one (yet I feel it is obviously true or obviously false) If $A$ is a quasi-free algebra, then must it satisfy Poincaré duality? All i need to find is a protective ...
1
vote
1answer
197 views

Jacobi-Zariski exact sequence question

Denote by $HC(A,M)$ the Hochschild homological complex of an algebra $A$ with coefficients in an $A$-bimodule $M$, and let $B\rightarrow A$ be an $R$-flat extension of $R$-algebras, for some $CRing$ $...
5
votes
1answer
872 views

Hochschild homology of quiver algebras

Let $K$ be a field and $\Gamma$ a quiver (=multidigraph) and $K[\Gamma]$ its quiver algebra (free $K$-module on the set of all paths of length $\geq0$ where multiplication is concatenation if ...
12
votes
2answers
969 views

Microlocalizing Hochschild homology

A recent paper of Ben-Zvi and Nadler gives a general formalism for understanding "dimensions" in sheaf theories. Without getting too far into details, amongst other things, this formalism allows us ...
8
votes
2answers
503 views

Hochschild homology of upper triangular matrix algebra?

Let $K$ be a field and $A$ the associative unital $K$-algebra of all $n\times n$ upper triangular matrices with entries in $K$. What is $\dim_K$ of its hochschild homology $HH_k(A;A)$? Is there any ...