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)



Free modules of relative invariants and some rings of invariants that are Cohen-Macaulay

Author: Larry Smith
Journal: Proc. Amer. Math. Soc. 134 (2006), 2205-2212
MSC (2000): Primary 13A50, 13C14
Published electronically: March 21, 2006
MathSciNet review: 2213692
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ \rho : G \hookrightarrow {GL}(n, \mathbb{F})$ be a faithful representation of a finite group $ G$ and $ \chi : G \longrightarrow \mathbb{F}^\times$ a linear character. We study the module $ \mathbb{F}[V]^G_\chi$ of $ \chi$-relative invariants. We prove a modular analogue of result of R. P. Stanley and V. Reiner in the case of nonmodular reflection groups to the effect that these modules are free on a single generator over the ring of invariants $ \mathbb{F}[V]^G$. This result is then applied to show that the ring of invariants for $ H = \operatorname{ker}(\chi) \leq G$ is Cohen-Macaulay. Since the Cohen-Macaulay property is not an issue in the nonmodular case (it is a consequence of a theorem of Eagon and Hochster), this would seem to be a new way to verify the Cohen-Macaulay property for modular rings of invariants. It is known that the Cohen-Macaulay property is inherited when passing from the ring of invariants of $ G$ to that of a pointwise stabilizer $ G_U$ of a subspace $ U \leq V = \mathbb{F}^n$. In a similar vein, we introduce for a subspace $ U \leq V$ the subgroup $ G_{\langle U \rangle}$ of elements of $ G$ having $ U$ as an eigenspace, and prove that $ \mathbb{F}[V]^G$ Cohen-Macaulay implies $ \mathbb{F}[V]^{G_{\langle U \rangle}}$ is also.

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

  • [1] J. Hartmann and A. Shepler, Jacobians of Reflection Groups over Finite Fields, Preprint, 2004.
  • [2] Victor Reiner, Free modules of relative invariants of finite groups, Stud. Appl. Math. 81 (1989), no. 2, 181–184. MR 1016588, 10.1002/sapm1989812181
  • [3] V. Reiner, D. Stanton, and P. Webb, Springer's Regular Elements over Arbitrary Fields, Preprint, Uni. of Minn., 2004.
  • [4] 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
  • [5] Larry Smith, Polynomial invariants of finite groups, Research Notes in Mathematics, vol. 6, A K Peters, Ltd., Wellesley, MA, 1995. MR 1328644
  • [6] Larry Smith, Lannes 𝑇-functor and invariants of pointwise stabilizers, Forum Math. 12 (2000), no. 4, 461–476. MR 1763901, 10.1515/form.2000.015
  • [7] L. Smith, Reflections on Reflection Groups (to appear).
  • [8] T. A. Springer, Invariant theory, Lecture Notes in Mathematics, Vol. 585, Springer-Verlag, Berlin-New York, 1977. MR 0447428
  • [9] Richard P. Stanley, Relative invariants of finite groups generated by pseudoreflections, J. Algebra 49 (1977), no. 1, 134–148. MR 0460484

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 13A50, 13C14

Retrieve articles in all journals with MSC (2000): 13A50, 13C14

Additional Information

Larry Smith
Affiliation: Mathematisches Institut, Bunsenstraße 3–5, D 37073 Göttingen, Federal Republic of Germany

Received by editor(s): March 4, 2005
Published electronically: March 21, 2006
Communicated by: Bernd Ulrich
Article copyright: © Copyright 2006 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.