Differential forms and smoothness of quotients by reductive groups

Abstract

In this paper we give smoothness criterions for a good quotient Y of a smooth variety X by a reductive group G. Our results partially answer a question raised by J. Fogarty in the case where G is a finite group. They also give a converse to a theorem of M. Brion, telling that invariant horizontal differential forms on X and differential forms on Y are isomorphic under the assumption that Y is smooth. The proof of our criterion rely on a new description of the dualizing sheaf of Y established in this article.