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] V. Reiner, Free Modules of Relative Invariants of Finite Groups, Studies in Applied Math. 81 (1989), 181-184. MR 1016588 (90k:20018)
  • [3] V. Reiner, D. Stanton, and P. Webb, Springer's Regular Elements over Arbitrary Fields, Preprint, Uni. of Minn., 2004.
  • [4] J.-P. Serre, Groupes finis d'automorphismes d'anneaux locaux réguliers, Colloq. d'Alg. Éc. Norm. Sup. de Jeunes Filles, Paris, 8-01-- 8-11, 1967. MR 0234953 (38:3267)
  • [5] L. Smith, Polynomial Invariants of Finite Groups, A.K. Peters, Ltd., Wellesley, MA, 1995, second printing 1997. MR 1328644 (96f:13008)
  • [6] L. Smith, Lannes $ {\sansbold T}$-Functor and the Invariants of Pointwise Stabilizers, Forum. Math. 12 (2000), 461-476. MR 1763901 (2001e:13009)
  • [7] L. Smith, Reflections on Reflection Groups (to appear).
  • [8] T. A. Springer, Invariant Theory, Lecture Notes in Math. 585, Springer-Verlag, Berlin, 1977. MR 0447428 (56:5740)
  • [9] R. P. Stanley, Relative invariants of Finite Groups generated by Pseudoreflections, J. of Algebra 49 (1977), 134-148. MR 0460484 (57:477)

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.

American Mathematical Society