Questions tagged [hochschild-cohomology]
The hochschild-cohomology tag has no usage guidance.
92
questions
7
votes
0answers
210 views
Which algebra is $\mathbb{F}_p \otimes_{HH^{\cdot} (\mathbb{F}_p)} \mathbb{F}_p$?
Let $HH^{\cdot}(\mathbb{F}_p)$ be the Hochschild cohomology of $\mathbb{F}_p$ over $\mathbb{Z}$, which as a $E_1$ ring is simply $\mathbb{F}_p[x]$ with $x$ in cohomological degree $2$. Then it's clear ...
6
votes
1answer
260 views
What is the topological Hochschild cohomology of $\mathbb{F}_p$?
Following the computation of the THH (topological Hochschild homology) of $\mathbb{F}_p$ as outlined in Krause-Nikolaus.
We use the fact that $\mathbb{F}_p$ is initial $E_2$ ring with $0=p$ to compute
...
4
votes
0answers
141 views
divided powers of a deformation class
Let $A$ be a (unital, associative) $k$-algebra where $k$ is a field. Given a flat deformation of $A$ one gets the deformation class $h$ in the second Hochschild cohomology $HH^2(A)$. Suppose $k$ has ...
1
vote
0answers
45 views
Bound on Hochschild dimension of a dg-algebra
Consider a dg-algebra $A$, is there any way I can estimate the Hochschild dimension, or global dimension of $A$?
More precisely the algebra that I am considering is the Endomorphism dg-algebra $\...
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 ...
5
votes
2answers
229 views
Checking if Hochschild cohomology $\mathit{HH}^2(A)=0$
I am trying to compute the Hochschild cohomology of a particular bound quiver path algebra. The quiver $Q$ consists of one vertex and four loops $x,y, h_1,h_2$, and the relations $I$ are generated by:
...
2
votes
0answers
47 views
Degeneration of spectral sequence computing Hochschild cohomology of enveloping algebra of Lie algebroid
Let $L$ be a Lie algebroid on a smooth affine $k$-scheme $X=spec(R)$. Recall that by definition $L$ is a locally free sheaf with the structure of a sheaf of $k$ Lie algebras, so that there exists a ...
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) ...
5
votes
0answers
104 views
Hochschild cohomology of an Azumaya algebra
Let $k$ be a field. Given a commutative $k$-algebra $Z$ and an associative algebra $A$ that is Azumaya over $Z$, do we have an isomorphism of Hochschild cohomologies: $HH^*(A) \cong HH^*(Z)$?
This is ...
9
votes
2answers
495 views
B-model and Hochschild cohomology
In "On the Classification of Topological Field Theories" in Example 1.4.1, Lurie introduces the B-model with target an (even dimensional) Calabi-Yau variety $X$: The Hochschild cohomology $\...
3
votes
0answers
100 views
Applying a Hochschild cocycle to a Maurer-Cartan element: how one should think of this?
Let $C^{\bullet}(A,M)$ be the Hochschild cochain complex of a DG-algebra $A$ with coefficients in a DG-bimodule $M$. Let $\zeta \in C^0(A,M)$ be a cocycle. Let $a \in A$ be a Maurer-Cartan element, $d(...
7
votes
2answers
417 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 ...
4
votes
1answer
339 views
First and second cohomology groups of Banach algebras
Johnson in the introduction section (page 1) in "Cohomology in Banach algebras" ZBL0256.18014, wrote that Guichardet in [14,15] obtained for a Banach algebra $A$,
one has $H^1(A,X)=H^2(A,X)=0$, ...
2
votes
0answers
69 views
Gerstanharber bracket and derived Hom
Let $A$ be a honest algebra or more generally, a DG algebra. It is known that the Hochschild cochain complex is quasi-isomorphic to the derived Hom complex, i.e. one has
$$\mathrm{HH}^{\bullet}(A,\,A)...
6
votes
0answers
110 views
Hochschild cohomology of the $A_\infty$-category of paths
I would like to describe the Hochschild cohomology (in the sense of $A_\infty$-categories) of the following $A_\infty$-category associated to a topological space $X$:
It has points of $X$ as objects.
...
3
votes
2answers
153 views
Two definitions of minimal models
Is there any relationship between both definitions of minimal models? (the couple of definitions I know are the one mentioned in Lefèvre's thesis, in the sense that the differential is zero, and the ...
4
votes
0answers
137 views
A relation between Hochschild cohomology of a $C^*$ algebra and its bidual
Let $A$ be a $C^*$ algebra and $A''$ be its bidual with the Arens product.
Is there any relation between the Hochschild cohomolgy of $A$ with complex coefficients and the Hochschild cohomology of $A''$...
0
votes
1answer
80 views
Compute the cohomology of $\mathrm{Hom} (\Omega^*(M),\Omega^*(M))$
Let $M$ be a compact smooth manifold. And particularly I am interested in the case the torus $M=T^n$.
Consider the de Rham complex $(\Omega^*(M), d)$ and the cochain complex
$$
C:=\mathrm{Hom} (\...
1
vote
0answers
119 views
Question on vanishing Hochschild cohomology
Recall that for an $K$-algebra $A$ with $A^e:=A^{op} \otimes_K A$ the Hochschild cohomology is defined as $HH^n(A,M):=Ext_{A^e}^n(A,M)$.
Question:
Is there a finite dimensional selfinjective ...
1
vote
0answers
56 views
A 2- cocycle $\tau$ which is not cyclic but it still satisfies the stability of $\tau(e,e,e)$ for idempotent $e$
I learned the following statement from page $20$ of the book Noncommutative Geometry by Alain Connes:
Let $\tau$ be a $2$-cyclic cocyle on a $C^*$ algebra. Then for every smooth curve $e(t)$ of ...
2
votes
0answers
55 views
Units in the (stable) center of a Frobenius algebra [duplicate]
Let $A$ be a Frobenius algebra with center $Z(A)$ and $I\subset Z(A)$ the ideal of elements in the image of some $A$-bimodule map $A\rightarrow A\otimes A\rightarrow A$, where the second map is ...
13
votes
2answers
443 views
Why is every deformation of the universal enveloping algebra of a complex semisimple Lie algebra trivial?
I have read in these lecture notes that every deformation $U_h(\mathfrak{g})$ of $U(\mathfrak{g})$ is trivial, i.e. isomorphic to $U(\mathfrak{g})[[h]]$ as associative $\mathbb{C}[[h]]$-algebras. Why ...
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 ...
1
vote
0answers
160 views
The comparison of certain modules arising from the Cauchy-Riemann differential operator
Let $\Gamma=C^{\infty}(\mathbb{R}^2)$ be the space of all smooth complex valued functions on the plane. We define the following Cauchy Riemann differential operator $D$ on $\Gamma$:
$$D:\Gamma \...
4
votes
1answer
241 views
A precise definition of contractible Banach algebras
I asked this question at MSE but I did not received any answer. So I ask it here at MO
I am sorry if this question is elementary:
What is a precise definition of a contractible Banach ...
2
votes
0answers
63 views
Notion of “strict $A_\infty$ centre”
There is definition of "$A_\infty$ Centre" in article The A_\infty-Centre of the Yoneda Algebra and the Characteristic Action of Hochschild Cohomology on the Derived Category at p.28. It can be ...
3
votes
1answer
585 views
Relation between the Hochschild cohomology of group algebras and groupoids
Is there a known relation between the Hochschild cohomology of group algebras and cohomology of groupoids?
Clarification: It is known that 1-dimensional Hochschild cohomology of the Group algebra C[...
7
votes
0answers
476 views
Hochschild cohomology of a universal enveloping algebra of a Lie algebra
I was told that the following equation is true:
Given a finitely generated Lie algebra $\mathfrak g$, there is a Gerstenhaber algebra isomorphism
$$ HH(U\mathfrak g) \cong HH(\wedge^* \mathfrak g^\vee,...
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 ...
3
votes
1answer
199 views
A differential graded Lie algebra with the Hochschild differential
Let $(V,\cdot)$ be an associative algebra and $W$ be a vector space endowed with a bimodule structure $\triangleright:V\otimes W\to W$ and $\triangleleft:W\otimes V\to W$ such that the following ...
6
votes
1answer
299 views
Morita equivalence and isomorphisms in cohomology theories
Let $A,B$ be two unital algebras. We say that $A,B$ are Morita equivalent if there are $A-B$ and $B-A$ bimodules $P,Q$ such that
$$P \otimes_{B} Q \cong A, Q \otimes_A P \cong B$$
(as $A-A$ and $B-B$ ...
2
votes
1answer
214 views
First Hochschild cohomology of $A=K[x]/(x^n)$
Given the algebra $A=K[x]/(x^n)$ for some field $K$ and natural number $n \geq 2$ with enveloping algebra $A^e=A \otimes_K A$.
It is easy to see that the 1. Hochschild cohomology of $A$ is nonzero ...
6
votes
1answer
309 views
Hochschild cohomology of certain local algebras
Let $K$ be a field and $A$ the algebra $K\langle x_1,...,x_n\rangle/J^m$ for $n \geq 1$ and $m \geq 2$, where $K\langle x_1,...,x_n\rangle$ is the non-commutative polynomial ring in $n$ variables over ...
6
votes
1answer
269 views
Lie algebra of a p-group
Given a p-group P, the first hochschild cohomology of the group algebra (over a field of characteristic p) of P is a nonzero Lie algebra. Is it known what Lie algebra results depending on P? I have no ...
2
votes
0answers
117 views
Another question on Hochschild cohomology
All algebras are assumed to be connected over a field.
Given an algebra $A$ with minimal faithful projective-injective left module $Af$ for some idempotent f.
Let $M$ be an $A$-module of infinite ...
3
votes
1answer
211 views
A question on Hochschild cohomology
Given a nonsemisimple symmetric algebra B and a non-selfinjective algebra A (all algebras are finite dimensional over a field and connected).
Can A and B have isomorphic Hochschild-cohomology rings?
1
vote
0answers
94 views
Hochschild coboundary on the space of alternative forms
Assume that $A$ is a complex algebra. By $C^{n}(A)$ we mean the space of all $n-$linear map $\phi:A^n \to \mathbb{C}$. An alternative $k-$ form is
an element $\phi \in C^{k}(A)$ ...
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,\,...
9
votes
0answers
514 views
From classical to quantum mechanics
Let ($X,\omega$) be a symplectic manifold (phase space of some physical system). Consider the algebra $\mathcal{C}^{\infty}(X,\mathbb{R})$ of smooth functions on $X$ and $[\omega]\in \textrm{H}^{2}_{\...
11
votes
0answers
815 views
Is “Determinant” a Hochschild coboundary?
Assume that $n>2$.
Is there an associative unital algebra structure on $\mathbb{C}^{n}$ such that $D$, the determinant as a $n-\text{form} $ on $\mathbb{C}^{n}$,
would be a Hochschild ...
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 ...
15
votes
1answer
532 views
Multiplicativity twisted Hochschild Kostant Rosenberg isomorphism
Let $X$ be a smooth projective variety over $\mathbb{C}$. I call (following Swan) Hochschild cohomology of $X$ the graded algebra:
$$ \mathrm{HH}^{\bullet}(X) := \mathrm{Ext}^{\bullet}_{X \times X}(\...
4
votes
2answers
476 views
Normalization of Hochschild cocycles
Let $A$ be a unital algebra over $\mathbb{C}$. Let $C^n(A)$ be the space of all $n+1$-linear maps $f:A^{n+1} \to \mathbb{C}$ (to be called $n$-cochains). Define $b:C^n(A) \to C^{n+1}(A)$ by the ...
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 $(...
8
votes
1answer
568 views
Isomorphism in cyclic cohomology vs isomorphism in Hochschild cohomology
Let $A$ be a unital algebra over a field $K$, $C^n(A)$ a space of all $n+1$ linear maps into scalar field $k$ (I'm interested in case $k=\mathbb{C}$) and
$$(bf)(a_0,...,a_{n+1})=\sum_{i=0}^n(-1)^if(...
7
votes
1answer
416 views
Can the Hochschild cochain complex be given the structure of a “homotopy BV algebra”?
In a 1993 letter, Deligne posed the following (paraphrased from a paper of Gerstenhaber and Voronov's):
Conjecture (Deligne). The Hochschild cochain complex $CC^*(A)$ of an associative algebra ...
5
votes
0answers
260 views
Hochschild cohomology of SU(2)
I have a question about the computation of an Hochschild Cohomology. Or at least about a space which really looks like a cohomology space. All the functions i consider are assumed to be smooth.
Let's ...
12
votes
2answers
442 views
Gerstenhaber conjecture for free loop space
I- Is the following statement still a conjecture see this article ?
Conjecture (?)
Let $M$ be a simply connected compact oriented $d$-manifold (smooth), then $HH^{\ast}(C^{\ast}(M))$ the Hochschild ...
16
votes
0answers
1k views
What is the Hochschild cohomology of the Fukaya-Seidel category?
Let $(Y, \omega)$ be a compact symplectic manifold and let $Fuk(X,\omega)$ be its Fukaya category. The Hochschild cohomology of this category should be given by $HH^\bullet(Fuk(Y,\omega))=H^\bullet(Y, ...
5
votes
0answers
276 views
Hochschild Cohomology of the Quantum Torus
I would like some advice on how to compute directly, or by a higher powered method the Hochschild Cohomology groups of the quantum torus using the stated complex I have found. I think there are ...
