3
$\begingroup$

I am sorry if this is a naive question.

Let $k$ be a field, and let $A$ be a finitely generated commutative $k$-algebra.

Let $M$ be a finite $A$-module.

Consider the Hochschild cohomologies of $A$ with coefficients in $M$.

Obviously, they are finitely generated modules over the enveloping algebra $A\otimes_k A$. But are they finitely generated over $A$ as well?

Thanks for any comments or remarks.

Improve this question
$\endgroup$
6
  • 2
    $\begingroup$ I do not think it is true. However, in the case of smooth A, we have the Hochschild-Konstant-Rosenberg isomorphism, which tells that there is an isomorphism between $HH^i(A)$ and $\Omega^i_A$. In particular, $HH^i(A)$ is finitely generated. $\endgroup$
    – Marci
    Commented Aug 15, 2013 at 12:35
  • 1
    $\begingroup$ Seems like maybe you can just use the adjunction and $Ext_{A\otimes A}(A,M)=Ext_A(\Delta^*\Delta_{*}(A),M).$ So it seems like you further have the fact that $\Delta^*\Delta_{*}(A)= \oplus Sym^p(L_{A/k})$, due to Quillen (L_{A/k} is the cotangent complex). So the question is does this $\oplus Sym^p(L_{A/k})$ have coherent cohomology in each degree. It seems the answer is yes, since the cotangent complex should also have coherent cohomology(getting confused with gradings...), but either way the answer should be pretty easy to see... $\endgroup$
    – user36931
    Commented Aug 15, 2013 at 12:54
  • $\begingroup$ But let me ask an even more naive question, I had always assumed that that the above $A\otimes_k A$ module structure should factor through the diagonal A. If you know that that automatically implies what you want, so perhaps your saying that is false? P.S. A nice reference for this Quillen fact is the following paper arxiv.org/pdf/math/0606730.pdf. Also in Marci's comment the result should be $\wedge^i T_A$ for cohomology. $\endgroup$
    – user36931
    Commented Aug 15, 2013 at 13:49
  • $\begingroup$ If $M$ and $N$ are symmetric $A$-bimodules, then $\hom_{A^e}(M,N)$ is also a symmetric $A$-bimodule. IOW, the action of $A^e$ on this $\hom$ space factors through the multiplication map $A\otimes A\to A$, and the answer to your question follows at once, no? $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Aug 15, 2013 at 15:18
  • $\begingroup$ Yes, it should be $\wedge^i T_A$. Btw, if I remember well, there is an dg-alg. A (finitely generated over k) s.t. its Hochschild cohomology is not finitely generated over A (which does not answer the question). $\endgroup$
    – Marci
    Commented Aug 15, 2013 at 16:52

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .