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 it a while back while trying to answer some questions about the *Fourier* algebras of compact Lie groups.) The solution could just be to point me to the right bit of the right literature.

In more detail: using R to denotes the reals, regard the special orthogonal group SO(n,R) as an affine variety in M_{n}(R)=R^{n^2}; and let A be the coordinate ring of this variety, regarded as an R-algebra (I think this is the correct terminology; I just mean the algebra of R-valued functions on the group that is generated by the coordinate functions). I would like to know the largest *d* for which H_{d}^{alt}(A,A) is non-zero, where H_{d} is Hochschild homology of A with coefficients in itself, and "alt" is the part generated by alternating a.k.a. antisymmetric cycles.

The vague idea I had was that said *d* should be equal to the dimension of the tangent space (as defined via maximal ideals in A) at a point of the original variety, and hence to the dimension of SO(n,R) as a real manifold. I've tried to do some hunting in the literature, but much of what I come across is for general affine/projective varieties, and so is overly general and not exactly self-contained.

Is there a general picture telling us that the Hochschild homology of A can be calculated in terms of the Lie algebra cohomology of *so*(n,R)? If so, does this work for compact forms of other semisimple Lie algebras?

**Edit:** it's been pointed out that, if we know A is a smooth ring in the sense of commutative algebra, then one can wheel in the Hochschild-Kostant-Rosenberg theorem. I had avoided mentioning this, because although I'm sure A should be smooth in this sense, one of my problems is trying to find an explicit reference to this putative fact. It also feels (since the variety SO(n,R) has such good global symmetry) as if there should be a proof which doesn't rely on proving smoothness of A.

**Final edit (for now):** Having gone and done some reading in a few textbooks, it look s like the simplest - if not the most elementary solution is to "observe" or cite the fact that SO(n,R) is a smooth variety over R, use localization to reduce the computation to Hochschild homology of the local ring at a point, and then use HKR or something similar. This still feels like overkill to me, but at least it looks to give a well-defined proof. (If you can see a better route, please feel free to add a new comment!)