For Lie groups (or algebraic groups over fields) there is a strong relation between the cohomology of the group and the cohomology of its Lie algebra. Some MO-question where this is discussed can be found here or here. I am wondering what happens to this relation for groups like $SL_n(k[T])$, with $k$ a field.
For $SL_n(k[T])$, we know of "homotopy invariance": there is an isomorphism of homology groups $H_\bullet(SL_n(k),\mathbb{Z})\cong H_\bullet(SL_n(k[T]),\mathbb{Z})$. This is due to Knudson (ASENS 30 (1997), 385-416), in the case of $n=2$ it follows from Nagao's amalgam decomposition $SL_2(k[T])\cong SL_2(k)\ast_{B_2(k)}B_2(k[T])$.
On the other hand, this is not true for the Lie algebra; the homology of $\mathfrak{sl}_n\otimes k[T]$ is a lot larger than the homology of $\mathfrak{sl}_n$. This follows from results of Garland-Lepowsky, see also this MO-question. In the special case $n=2$, one can see more directly that $\mathfrak{sl}_2\ast_{\mathfrak{b}_2}(\mathfrak{b}_2\otimes k[T])\to \mathfrak{sl}_2\otimes k[T]$ is not an isomorphism.
My questions concern the relation - if any - between these results:
- Is there a relation between these results? Maybe the Lie algebra $\mathfrak{sl}_2\otimes k[T]$ is just the wrong thing to look at in this context? Or is it simply the case that the close relation between homology of groups and Lie algebras breaks down in this case?
- The group homology result is proved by looking at the action of $SL_n(k[T])$ on the associated Bruhat-Tits building. Soulé computed a fundamental domain, and Knudson worked out the resulting spectral sequence. Can the computation of the Lie algebra homology for $\mathfrak{sl}_n\otimes k[T]$ be understood from this perspective? (Maybe the Lie algebra acts on suitable functions on the building...)
- More generally, is there an "additive analogue of geometric group theory" which would allow to study structure and cohomology of infinite-dimensional Lie algebras by actions on some more or less geometric objects?
Maybe a bonus question: is anything known about the Lie algebra cohomology of $\mathfrak{sl}_2\otimes k[T_1,T_2]$?