Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



On a theorem of R. Steinberg on rings of coinvariants

Author: Larry Smith
Journal: Proc. Amer. Math. Soc. 131 (2003), 1043-1048
MSC (1991): Primary 13A50; Secondary 20F55
Published electronically: July 26, 2002
MathSciNet review: 1948093
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $\rho: G\hookrightarrow\mathrm{GL}(n,\mathbb{F})$ be a representation of a finite group $G$ over the field $\mathbb{F}$. Denote by $\mathbb{F}[V]$ the algebra of polynomial functions on the vector space $V=\mathbb{F}^n$. The group $G$ acts on $V$ and hence also on $\mathbb{F}[V]$. The algebra of coinvariants is $\mathbb{F}[V]_G=\mathbb{F}[V]/\mathfrak{h}(G)$, where $\mathfrak{h}(G) \subset \mathbb{F}[V]$ is the ideal generated by all the homogeneous $G$-invariant forms of strictly positive degree. If the field $\mathbb{F}$ has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that $\mathbb{F}[V]_G$ is a Poincaré duality algebra if and only if $G$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 $n=2$ and give a counterexample in the modular case when $n=4$.

References [Enhancements On Off] (What's this?)

  • 1. D. Hilbert, ``Uber die Theorie der Algebraischen Formen, Math. Annalen 36 (1890), 473-534.
  • 2. Richard Kane, Poincaré duality and the ring of coinvariants, Canad. Math. Bull. 37 (1994), no. 1, 82–88. MR 1261561, 10.4153/CMB-1994-012-3
  • 3. T.-C. Lin, Poincarédualität und Ringen von Koinvarianten, Universität Göttingen, Doktorarbeit, (to appear).
  • 4. D. M. Meyer and L. Smith, Poincaré Duality Algebras, Macaulay's Dual Systems and Steenrod Operations, AG-Invariantentheorie, (to appear).
  • 5. M. D. Neusel and L. Smith, Invariant Theory of Finite Groups, Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2002. CMP 2002:05
  • 6. H. Seifert and W. Threlfall, Lehrbuch der Topologie, Chelsea Publ. Co., New York, NY, 1947.
  • 7. J. P. Serre, Sur les Modules Projectifs, Sem. P. Dubriel, M.L. Dubriel-Jacotin et C. Pisot, 14ème anné (1960/61), ENS Paris, 1961.
  • 8. Jean-Pierre Serre, Groupes finis d’automorphismes d’anneaux locaux réguliers, Colloque d’Algèbre (Paris, 1967) Secrétariat mathématique, Paris, 1968, pp. 11 (French). MR 0234953
  • 9. G. C. Shephard and J. A. Todd, Finite unitary reflection groups, Canadian J. Math. 6 (1954), 274–304. MR 0059914
  • 10. Larry Smith, Polynomial invariants of finite groups, Research Notes in Mathematics, vol. 6, A K Peters, Ltd., Wellesley, MA, 1995. MR 1328644
  • 11. Robert Steinberg, Differential equations invariant under finite reflection groups, Trans. Amer. Math. Soc. 112 (1964), 392–400. MR 0167535, 10.1090/S0002-9947-1964-0167535-3
  • 12. Wolmer V. Vasconcelos, Ideals generated by 𝑅-sequences, J. Algebra 6 (1967), 309–316. MR 0213345
  • 13. Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. 1, Springer-Verlag, New York-Heidelberg-Berlin, 1975. With the cooperation of I. S. Cohen; Corrected reprinting of the 1958 edition; Graduate Texts in Mathematics, No. 28. MR 0384768
    Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, Springer-Verlag, New York-Heidelberg, 1975. Reprint of the 1960 edition; Graduate Texts in Mathematics, Vol. 29. MR 0389876

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 13A50, 20F55

Retrieve articles in all journals with MSC (1991): 13A50, 20F55

Additional Information

Larry Smith
Affiliation: AG-Invariantentheorie, Mathematisches Institut der Universität, Bunsenstraße 3-5, D37073 Göttingen, Federal Republic of Germany

Keywords: Invariant theory, pseudoreflection groups
Received by editor(s): April 30, 2001
Received by editor(s) in revised form: November 5, 2001
Published electronically: July 26, 2002
Communicated by: Wolmer V. Vasconcelos
Article copyright: © Copyright 2002 American Mathematical Society