We prove that the ring of polynomial invariants of Weyl group for an
indecomposable and indefinite Kac–Moody Lie algebra is generated by the
invariant symmetric bilinear form or is trivial depending on whether
is
symmetrizable or not. The result was conjectured by Moody and assumed by Kac. As
an application, we discuss the rational homotopy types of Kac–Moody groups and
their flag manifolds.
Keywords
Cartan matrix, Weyl group, polynomial invariants of Weyl
group, Kac–Moody Group, flag manifold, cohomology of
Kac–Moody groups