Some Hodge theory from Lie algebras

We discuss Hodge-theoretic aspects, related to the loop Grassmannian, of the strong Macdonald conjecture (whose proof is joint work with Fishel and Grojnowski).