Questions tagged [hochschild-homology]
For questions about Hochschild homology of associative algebras and related concepts.
96 questions
2
votes
0
answers
130
views
Deformation of Category via Hochschild Homology
Given a $\mathbb{C}$-linear category $\mathrm{C}$, let’s understand $\mathbf{HH}(\mathrm{C})$, the Hochschild homology of $\mathrm{C}$ as natural transformation. Then for any $A\in \mathbf{HH}(\mathrm{...
- 395
2
votes
0
answers
117
views
Spaces in the spectrum THH(R)
Let $R$ be a ring spectrum. Then we can form the topological Hochschild Homology of $R$ as the spectrum
$$THH(R) = R \otimes S^1 \simeq R \wedge _{R \wedge R^{op}} R.$$
What is known about the spaces ...
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$-...
- 11.8k
6
votes
2
answers
569
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 ...
- 673
4
votes
1
answer
469
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://...
- 959
8
votes
2
answers
771
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 ...
- 1,982
7
votes
1
answer
468
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\...
- 73
4
votes
0
answers
317
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)) =...
- 91
3
votes
0
answers
185
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{...
- 525
1
vote
0
answers
83
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$ ...
- 449
6
votes
0
answers
263
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/...
- 11.8k
1
vote
1
answer
329
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:=...
- 609
8
votes
1
answer
479
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-...
- 81
5
votes
1
answer
474
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 ...
- 4,418
2
votes
1
answer
450
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,...
- 9,019
4
votes
0
answers
152
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 ...
user108998
1
vote
0
answers
50
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-...
- 367
5
votes
1
answer
375
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 $\...
- 2,856
5
votes
0
answers
231
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}\...
- 15.9k
6
votes
0
answers
121
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 ...
- 8,445
1
vote
0
answers
147
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 ...
- 5,230
2
votes
0
answers
191
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 $\...
- 241
5
votes
1
answer
328
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$ ...
- 661
8
votes
0
answers
480
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 ...
- 1,349
11
votes
1
answer
556
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,723
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 ...
- 26.5k
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) ...
- 1,144
3
votes
1
answer
280
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 ...
- 177
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 ...
- 765
4
votes
0
answers
158
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 ...
- 1,150
7
votes
2
answers
884
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 ...
- 71
1
vote
0
answers
64
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
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 ...
user39380
9
votes
0
answers
198
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 ...
- 9,019
5
votes
0
answers
123
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 ...
- 609
4
votes
0
answers
223
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 ...
user108998
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)$?
- 43
6
votes
1
answer
595
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)?
- 257
3
votes
1
answer
464
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 ...
user108998
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}$ ...
user108998
5
votes
1
answer
403
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 ...
user108998
2
votes
0
answers
140
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$...
user108998
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 ...
- 858
6
votes
0
answers
249
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,...
- 1,554
9
votes
1
answer
593
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 ...
- 1,382
3
votes
0
answers
243
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}$-...
- 1,307
8
votes
1
answer
378
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 ...
- 661
11
votes
0
answers
930
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 ...
- 3,242
5
votes
1
answer
684
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 ...
- 1,382
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 ...
- 7,320