Questions tagged [hochschild-homology]
For questions about Hochschild homology of associative algebras and related concepts.
96 questions
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
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 ...
- 18.7k
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 ...
- 2,035
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 ...
- 8,524
8
votes
1
answer
523
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 ...
- 9,491
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
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 ...
- 15.6k
3
votes
0
answers
267
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 ...
- 1,423
4
votes
0
answers
108
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}...
- 353
14
votes
2
answers
2k
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 ...
- 5,565
10
votes
1
answer
548
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 ...
- 2,035
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 ...
CommunityBot
- 1
18
votes
1
answer
1k
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 ...
- 22.8k
2
votes
1
answer
271
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 ...
- 1,505
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,\,...
- 63.9k
7
votes
1
answer
2k
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 ...
- 8,972
6
votes
1
answer
478
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 ...
- 39.3k
4
votes
0
answers
211
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 $(...
- 9,340
1
vote
0
answers
120
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$ ...
- 6,259
13
votes
4
answers
4k
views
Definition of Hochschild (co)homology of a (dg or A-infinity) category
How do you define the Hochschild (co)homology of a dg category or an A-infinity category? I've only seen it defined when the category is equivalent to a category of modules over a dg algebra; then the ...
- 843
11
votes
2
answers
1k
views
Relation between Gerstenhaber bracket and Connes differential
Let $C$ be an arbitrary algebra (more generally, a linear 1-category). The following structures are well-known:
A degree-0 product on the Hochschild cohomology $HH^*(C)$
$$
HH^*(C) \otimes HH^*(C) \...
- 3,686
10
votes
0
answers
653
views
On cyclic homology of Ginzburg's DG algebra
Let $(Q,W)$ be a quiver with potential, and $D$ be Ginzburg's DG algebra associated to it (as explained in http://arxiv.org/abs/math/0612139 and other places), so that it is a 3-Calabi-Yau algebra. I ...
- 3,686
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 ...
- 5,062
2
votes
1
answer
578
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 ...
- 1,066
4
votes
1
answer
158
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,035
3
votes
1
answer
697
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 ...
- 515
16
votes
4
answers
2k
views
Deligne's conjecture (the little discs operad one)
Deligne's conjecture states that the Hochschild cochain complex of an A-infinity algebra is an algebra over the operad of chains on the topological little discs operad.
Of course the conjecture has ...
CommunityBot
- 1
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?
- 11
2
votes
0
answers
90
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 ...
- 35.5k
1
vote
1
answer
274
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$ $...
- 47.3k
6
votes
1
answer
1k
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 ...
- 47.3k
8
votes
2
answers
721
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 ...
- 3,686
14
votes
2
answers
1k
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 ...
- 24.1k
11
votes
1
answer
387
views
Is there any relation between the simplicial $S^1$ and the Hochschild homology of a noncommutative algebras
Let $k$ be the base field and $A$ be a unital associative $k$-algebra. Let's review the Hochschild homology theory: we have the Hochschild chain comple $C_{\cdot}(A)$ where
$$
C_n(A):=A^{\otimes n+1}
$...
- 52.7k
3
votes
0
answers
300
views
Hochschild homology of a tensor algebra modulo a two-sided ideal
Let $V$ is a module over a field $k$, and $A=T(V)$ the tensor algebra generated by $V$. The Hochschild homology $HH_*(A)$ has been determined by Loday and Quillen in their paper "Cyclic homology and ...
- 31
17
votes
1
answer
2k
views
Is there an algebraic "derived mapping space" construction that encompasses both Hochschild homology and loop spaces of non-simply-connected spaces?
I'm looking for directions to the literature that might contain fairly explicit constructions that might be called (the algebra of functions on) the "derived mapping space" from a simplicial set to a ...
- 24.1k
5
votes
1
answer
592
views
When do Hochschild homology and cohomology agree? (Ambidexterity?)
Suppose $X$ is a smooth algebraic variety over a field of characteristic $0$. What are the most general conditions under which Hochschild homology and cohomology of $X$ agree?
The existence of a ...
- 39.3k
11
votes
3
answers
794
views
Geometric realization of Hochschild complex
Let $A$ be a commutative $\mathbb{C}$-algebra, and consider $C_{\bullet}(A,A)$ the simplicial Hochschild homology module of $A$ with respect to itself (i.e. $C_{n}(A,A)=A^{\otimes (n+1)}$). This is a ...
- 1,738
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 ...
- 9,132
7
votes
1
answer
408
views
Hochschild H^1 (R,M) = 0 vs. H_1 (R,M) = 0 where R is a ring and M is an (R,R)-bimodule
Let $k$ be a commutative ring (with unity). Let $R$ be a $k$-algebra (with unity, but not of necessity commutative).
Let $M$ be an $\left(R,R\right)$-bimodule where $k$ acts in the same way from the ...
- 47.3k
20
votes
1
answer
4k
views
Hochschild (co)homology of Fukaya categories and (quantum) (co)homology
There is a conjecture of Kontsevich which states that Hochschild (co)homology of the Fukaya category of a compact symplectic manifold $X$ is the (co)homology of the manifold. (See page 18 of ...
- 13.2k
14
votes
3
answers
2k
views
How exactly is Hochschild homology a monad homology?
Many texts which praise the generality of the bar construction associated to a monad, say that Hochschild homology is an example of this.
What exactly is in this case the underlying endofunctor of ...
CommunityBot
- 1
12
votes
0
answers
552
views
References for a certain generalization of Hochschild cohomology?
Let $C$ be an algebra. Let $E = C^{\otimes 2n}$ be the tensor product (over the ground field) of $2n$ copies of $C$. [EDIT: Or better, $E = C\otimes C^{op}\otimes C\otimes C^{op}\cdots\otimes C \...
- 21k
4
votes
2
answers
760
views
What is the homology of the real coordinate ring of SO(n,R)? Other compact matrix groups?
As someone whose knowledge of cohomology is patchy and picked up on a need-to-know basis, and whose algebraic geometry is even worse, I wondered if someone could help with this question. (I ran into ...
- 25.8k