Questions tagged [hochschild-homology]
For questions about Hochschild homology of associative algebras and related concepts.
74
questions
4
votes
1answer
157 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$ ...
6
votes
0answers
182 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 ...
12
votes
1answer
344 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
0answers
195 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 ...
8
votes
0answers
254 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) ...
3
votes
1answer
179 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
49 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
122 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
2answers
415 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 ...
1
vote
0answers
37 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 \...
5
votes
0answers
226 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
132 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
72 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
156 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
82 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)$?
6
votes
1answer
538 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
311 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
84 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
334 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
100 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$...
19
votes
2answers
1k 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
215 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
464 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
191 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}$-...
7
votes
1answer
304 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 ...
11
votes
0answers
618 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
369 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
125 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
118 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
146 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
90 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}...
20
votes
2answers
3k 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 ...
10
votes
1answer
362 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 ...
17
votes
1answer
915 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
228 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
207 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
345 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
350 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
348 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
193 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
108 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
218 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 ...
13
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
464 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 ...
2
votes
1answer
516 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
163 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
83 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
218 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$ $...
