AG-Invariantentheorie, Mathematisches Institut der Universität, Bunsenstraße 3-5, D37073 Göttingen, Federal Republic of Germany
Abstract:
Let be a representation of a finite group over the field . Denote by the algebra of polynomial functions on the vector space . The group acts on and hence also on . The algebra of coinvariants is , where is the ideal generated by all the homogeneous -invariant forms of strictly positive degree. If the field has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that is a Poincaré duality algebra if and only if is a pseudoreflection group. In this note we explore the situation for fields of nonzero characteristic. We prove an analogue of Steinberg's theorem for the case and give a counterexample in the modular case when .