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)

 
 

 

Modules of higher order invariants


Authors: Frank D. Grosshans and Sebastian Walcher
Journal: Proc. Amer. Math. Soc. 143 (2015), 531-542
MSC (2010): Primary 13A50; Secondary 37C80
DOI: https://doi.org/10.1090/S0002-9939-2014-12268-4
Published electronically: October 10, 2014
MathSciNet review: 3283642
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ k$ be an algebraically closed field of characteristic $ p\geq 0$. Let $ A$ be a commutative $ k$-algebra with multiplicative identity and let $ M$ be an $ A$-module. Let $ G$ be a linear algebraic group acting rationally on both $ A$ and $ M$. In this paper we study $ A^{G}$-modules of $ n$th order invariants, $ I_{n}(M,G)$. The $ I_{n}(M,G)$ are defined inductively by $ I_{0}(M,G)=\{0\}$ and $ I_{n}(M,G)$ = $ \{m\in M:g\cdot m-m\in I_{n-1}(M,G)$ for all $ g\in G\}$. We show that some fundamental problems concerning these modules can be reduced to the case $ I_{n}(k[G],G)$ where $ G$ acts on itself by right translation. We study the questions as to when $ I_{n}(M,G)$ is a finitely generated $ A^{G}$-module and how the $ I_{n}(M,G)$ are related to equivariant mappings. For the classical case of $ \mathbb{G}_{a}$ acting on binary forms, we describe the $ I_{n}(M,G)$ and determine when they are Cohen-Macaulay.


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

  • [1] Abraham Broer, Victor Reiner, Larry Smith, and Peter Webb, Extending the coinvariant theorems of Chevalley, Shephard-Todd, Mitchell, and Springer, Proc. Lond. Math. Soc. (3) 103 (2011), no. 5, 747-785. MR 2852288 (2012k:13017), https://doi.org/10.1112/plms/pdq027
  • [2] H. E. A. Eddy Campbell and David L. Wehlau, Modular invariant theory, Encyclopaedia of Mathematical Sciences, vol. 139, Springer-Verlag, Berlin, 2011. Invariant Theory and Algebraic Transformation Groups, 8. MR 2759466 (2012b:13020)
  • [3] Harm Derksen and Gregor Kemper, Computing invariants of algebraic groups in arbitrary characteristic, Adv. Math. 217 (2008), no. 5, 2089-2129. MR 2388087 (2009a:13005), https://doi.org/10.1016/j.aim.2007.08.016
  • [4] Giuseppe Gaeta, Frank D. Grosshans, Jürgen Scheurle, and Sebastian Walcher, Reduction and reconstruction for symmetric ordinary differential equations, J. Differential Equations 244 (2008), no. 7, 1810-1839. MR 2404440 (2009m:37048), https://doi.org/10.1016/j.jde.2008.01.009
  • [5] Frank D. Grosshans, Algebraic homogeneous spaces and invariant theory, Lecture Notes in Mathematics, vol. 1673, Springer-Verlag, Berlin, 1997. MR 1489234 (99b:13005)
  • [6] W. J. Haboush, Reductive groups are geometrically reductive, Ann. of Math. (2) 102 (1975), no. 1, 67-83. MR 0382294 (52 #3179)
  • [7] Lex Renner and Alvaro Rittatore, Observable actions of algebraic groups, Transform. Groups 14 (2009), no. 4, 985-999. MR 2577204 (2011b:14102), https://doi.org/10.1007/s00031-009-9073-x
  • [8] Michel Van den Bergh, A converse to Stanley's conjecture for $ {\rm Sl}_2$, Proc. Amer. Math. Soc. 121 (1994), no. 1, 47-51. MR 1181176 (94g:20062), https://doi.org/10.2307/2160363

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 13A50, 37C80

Retrieve articles in all journals with MSC (2010): 13A50, 37C80


Additional Information

Frank D. Grosshans
Affiliation: Department of Mathematics, West Chester University, West Chester, Pennsylvania 19383
Email: fgrosshans@wcupa.edu

Sebastian Walcher
Affiliation: Lehrstuhl A für Mathematik, RWTH Aachen, 52056 Aachen, Germany
Email: walcher@mathA.rwth-aachen.de

DOI: https://doi.org/10.1090/S0002-9939-2014-12268-4
Keywords: Invariants, modules
Received by editor(s): September 26, 2012
Received by editor(s) in revised form: May 22, 2013
Published electronically: October 10, 2014
Additional Notes: The authors thank the referee for a very careful reading of the manuscript and many helpful suggestions.
Communicated by: Harm Derksen
Article copyright: © Copyright 2014 American Mathematical Society

American Mathematical Society