3
$\begingroup$

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 dimension at most $1$.

I was curious, is there a similar characterization of formal smoothness in the category of commutative unital associative algebras, making use of the Hochschild cohomology modules?

I mean in the finite dimensional case: I guess you can say that if A is smooth over k of essentially finite type and is finite dimension $d$, therefore is $d$-calabi-Yau, and so its cohomology (and homology) vanished above index $d$. Therefore it must be of finite hochschild cohomological dimension. However, this all relies on the finite dimension assumption... so whould there be some kind of arbitrary dimensional generalization? Or betteryet an infintiely generated generalization?

Improve this question
$\endgroup$
3
  • $\begingroup$ Would you be happy with something like "the Kaehler module is projective as an A-module"? $\endgroup$
    – Yemon Choi
    Commented May 18, 2014 at 22:38
  • $\begingroup$ lol nope, besides that would involve hochschild homology.. and no chomology $\endgroup$
    – ABIM
    Commented May 18, 2014 at 22:41
  • $\begingroup$ So what you want is something like: "if the Harrison/AQ cohomology vanishes in degree 2 and above, plus some other side conditions, then A is formally smooth"? $\endgroup$
    – Yemon Choi
    Commented May 18, 2014 at 22:57

1 Answer 1

Reset to default
7
$\begingroup$

Yes, the Hochschild-Konstant-Rosenberg theorem has a converse. More generally you have vanishing characterizations of smoothness in terms of Hochschild homology (one of them is e.g. Avramov, Luchezar L.; Vigué-Poirrier, Micheline, Hochschild homology criteria for smoothness, Internat. Math. Res. Notices 1992, no. 1, 17–25: If $HH_i(R,R)=0=HH_j(R,R)$ for some positive even integer $i$ and some positive odd integer $j$, then $R$ is smooth, where $R$ is a flat commutative algebra of finite type over a commutative ring; this is the case for instance when $HH_i(R,M)=0$ for all $R$-modules $M$ and all $i\gg 0$). There are also some similar criteria for cohomology (though more vanishing terms are required) (see e.g., Avramov, Luchezar L.; Iyengar, Srikanth, Gaps in Hochschild cohomology imply smoothness for commutative algebras, Math. Res. Lett. 12 (2005), no. 5-6, 789–804).

However, as indicated by Yemon Choi, the main homological tool for these characterizations is André-Quillen (co)homology.

Improve this answer
$\endgroup$
1
  • 1
    $\begingroup$ Of course, these results are characterizations (the converses are clear by HKR theorem). Regarding your last question, if the algebra is not essentially of finite type, you cannot expect formal smoothness (at most regularity), as an algebra of power series shows. $\endgroup$
    – Vinteuil
    Commented May 19, 2014 at 10:34

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .