Differential forms on quotients by reductive group actions

Abstract

Let X X be a smooth affine algebraic variety where a reductive algebraic group G G acts with a smooth quotient space Y = X / / G Y=X//G . We show that the algebraic differential forms on X X which are pull-backs of forms on Y Y are exactly the G G -invariant horizontal differential forms on X X .