Proceedings of the American Mathematical Society

Author(s): Harm Derksen
Journal: Proc. Amer. Math. Soc. 129 (2001), 955-963.
MSC (2000): Primary 13A50
Posted: October 20, 2000
Retrieve article in: PDF DVI PostScript
This article is available free of charge

HILBERT proved that invariant rings are finitely generated for linearly reductive groups acting rationally on a finite dimensional vector space. POPOV gave an explicit upper bound for the smallest integer

such that the invariants of degree $\leq d$ generate the invariant ring. This bound has factorial growth. In this paper we will give a bound which depends only polynomially on the input data.

1.: M. Brion, Groupe de Picard et nombres charactéristiques des variétés spériques, Duke Math. J. 58 (1989), 397-424. MR 90i:14048
2.: W. Bruns, J. Herzog, Cohen-Macaulay Rings, Cambridge Studies in Advanced Mathematics 39, Cambridge University Press. MR 95h:13020
3.: H. Derksen, Constructive Invariant Theory and the Linearization Problem, Ph.D. thesis, Basel, 1997.
4.: H. Derksen, Computation of reductive group invariants, Adv. in Math. 141 (1999), 366-384.
5.: H. Derksen, H. Kraft, Constructive invariant theory, Algèbre non commutative, groupes quantiques et invariants (Reims, 1995), Smin. Congr. 2, Soc. Math. France, Paris, 1997, 221-244. CMP 99:08
6.: D. Eisenbud, S. Goto, Linear Free Resolutions and Minimal Multiplicity, J. of Algebra 88 (1984), 89-133. MR 85f:13023
7.: W. Fulton, Intersection Theory, Ergebn. Math. und Grenzgebiete, 3. Folge, vol. 2, Springer-Verlag, Berlin-Heidelberg-New York, 1984. MR 85k:14004
8.: K. Gatermann, Semi-invariants, equivariants and algorithms, Appl. Algebra Engrg. Comm. Comput. 7 (1996), 105-124. MR 99b:20010
9.: P. Gordan, Beweis dass jede Covariante und Invariante einer binären Form eine ganze Function mit numerischen Coefficienten solcher Formen ist, J. für reine u. angew. Math. 69 (1868), 323-354.
10.: D. Hilbert, Über die Theorie der algebraischen Formen, Math. Ann. 36 (1890), 473-534.
11.: D. Hilbert, Über die vollen Invariantensysteme Math. Ann. 42 (1893), 313-373.
12.: K. Hiss, Constructive invariant theory for reductive algebraic groups, Preprint, 1993.
13.: M. Hochster, J. Roberts, Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay, Adv. Math. 13 (1974), 115-175. MR 50:311
14.: C. Jordan, Mémoire sur les covariants des formes binaires, J. de Math. (3) 2 (1876), 177-232.
15.: C. Jordan, Sur les covariants des formes binaires, J. de Math. (3) 5 (1879), 345-378.
16.: B. Kazarnovskii, Newton polyhedra and the Bezout formula for matrix-valued functions of finite-dimensional representations, Functional Analysis and its Applications 21(4) (1987), 73-74. MR 90e:22023
17.: G. Kemper, The INVAR package for calculating rings of invariants, IWR Preprint 93-94 (1993), University of Heidelberg.
18.: G. Kemper, Calculating invariant rings of finite groups over arbitrary fields, J. Symbolic Computation 21 (1996), 351-366. MR 98f:13005
19.: G. Kempf, The Hochster-Roberts theorem of invariant theory, Michigan Math. J. 26 (1979), 19-32. MR 80g:14040
20.: F. Knop, Der kanonische Modul eines Invariantenringes, J. Algebra 127 (1989), 40-54. MR 90k:14053
21.: E. Noether, Der Endlichkeitssatz der Invarianten endlicher Gruppen, Math. Ann. 77 (1916), 89-92.
22.: V. Popov, Constructive invariant theory, Astérique 87-88 (1981), 303-334. MR 83i:14040
23.: V. Popov, The constructive theory of invariants, Math. USSR Izvest. 10 (1982), 359-376.
24.: B. Sturmfels, Algorithms in Invariant Theory, Springer-Verlag, Vienna, 1993. MR 94m:13004
25.: B. Schmid, Generating invariants of finite groups, C. R. Acad. Sci. Paris 308 Série I (1989), 1-6. MR 90d:20014
26.: B. Schmid, Finite groups and invariant theory, In: P. Dubreil, M.-P. Malliavin, editors, Séminaire d'Algèbre, Lecture Notes in Math. 1478, Springer-Verlag, Berlin-Heidelberg-New York, 1991. MR 94c:13002
27.: D. Wehlau, Constructive invariant theory for tori, Ann. Inst. Fourier 43, 4, 1993. MR 95c:14068
28.: O. Zariski, P. Samuel, Commutative Algebra, vol. II, D. van Nostrand Co., Inc., 1960. MR 22:11006

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

Harm Derksen
Affiliation: Department of Mathematics, Massachusetts Institute of Technology 77, Massachusetts Avenue, Cambridge, Massachusetts 02139
Email: hderksen@math.mit.edu

DOI: 10.1090/S0002-9939-00-05698-7
PII: S 0002-9939(00)05698-7
Received by editor(s): July 8, 1999
Posted: October 20, 2000
Additional Notes: The author was partially supported by the Swiss National Science Foundation (SNF) and the Freiwillige Akademische Gesellschaft.
Communicated by: Michael Stillman
Copyright of article: Copyright 2000, American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-6826 (e) ISSN 0002-9939 (p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues Previous Article \| Next Article


	Comments: webmaster@ams.org © Copyright 2008, American Mathematical Society Privacy Statement		Search the AMS