Cohen-Macaulay rings and ideal theory in rings of invariants of algebraic groups
HTML articles powered by AMS MathViewer
- by Ronald E. Kutz
- Trans. Amer. Math. Soc. 194 (1974), 115-129
- DOI: https://doi.org/10.1090/S0002-9947-1974-0352082-2
- PDF | Request permission
Abstract:
Theorem. Let R be a commutative Noetherian ring with identity. Let M = $M = ({c_{ij}})$ be an s by s symmetric matrix with entries in R. Let I the be ideal of $t + 1$ by $t + 1$ minors of M. Suppose that the grade of I is as large as possible, namely, gr $I = g = s(s + 1)/2 - st + t(t - 1)/2$. Then I is a perfect ideal, so that $R/I$ is Cohen Macaulay if R is. Let G be a linear algebraic group acting rationally on $R = K[{x_1}, \ldots ,{x_n}]$. Hochster has conjectured that if G is reductive, then ${R^G}$ is Cohen-Macaulay, where ${R^G}$ denotes the ring of invariants of the action of G. The above theorem provides a special case of this conjecture. For $G = O(t,K)$, the orthogonal group, and K a field of characteristic zero, the above yields: Corollary. For R and G as above, ${R^G}$ is Cohen-Macaulay for an appropriate action of G. In order to obtain these results it was necessary to prove a more general form of the theorem stated above, which in turn yields a more general form of the corollary.References
- Maurice Auslander and David A. Buchsbaum, Codimension and multiplicity, Ann. of Math. (2) 68 (1958), 625–657. MR 99978, DOI 10.2307/1970159
- Armand Borel, Linear algebraic groups, W. A. Benjamin, Inc., New York-Amsterdam, 1969. Notes taken by Hyman Bass. MR 0251042
- David A. Buchsbaum and Dock S. Rim, A generalized Koszul complex. II. Depth and multiplicity, Trans. Amer. Math. Soc. 111 (1964), 197–224. MR 159860, DOI 10.1090/S0002-9947-1964-0159860-7
- Wei Liang Chow, On unmixedness theorem, Amer. J. Math. 86 (1964), 799–822. MR 171804, DOI 10.2307/2373158 J. A. Eagon, Ideals generated by the subdeterminants of a matrix, Thesis, University of Chicago, Chicago, Ill., 1961.
- J. A. Eagon and D. G. Northcott, Ideals defined by matrices and a certain complex associated with them, Proc. Roy. Soc. London Ser. A 269 (1962), 188–204. MR 142592, DOI 10.1098/rspa.1962.0170
- J. A. Eagon and D. G. Northcott, Generically acyclic complexes and generically perfect ideals, Proc. Roy. Soc. London Ser. A 299 (1967), 147–172. MR 214586, DOI 10.1098/rspa.1967.0128
- John Fogarty, Invariant theory, W. A. Benjamin, Inc., New York-Amsterdam, 1969. MR 0240104
- M. Hochster, Generically perfect modules are strongly generically perfect, Proc. London Math. Soc. (3) 23 (1971), 477–488. MR 301002, DOI 10.1112/plms/s3-23.3.477
- M. Hochster, Rings of invariants of tori, Cohen-Macaulay rings generated by monomials, and polytopes, Ann. of Math. (2) 96 (1972), 318–337. MR 304376, DOI 10.2307/1970791
- M. Hochster and John A. Eagon, Cohen-Macaulay rings, invariant theory, and the generic perfection of determinantal loci, Amer. J. Math. 93 (1971), 1020–1058. MR 302643, DOI 10.2307/2373744
- Irving Kaplansky, Commutative rings, Allyn and Bacon, Inc., Boston, Mass., 1970. MR 0254021 F. S. Macaulay, The algebraic theory of modular systems, Cambridge Tracts 19 (1916).
- Masayoshi Nagata, Local rings, Interscience Tracts in Pure and Applied Mathematics, No. 13, Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1962. MR 0155856
- D. W. Sharpe, On certain polynomial ideals defined by matrices, Quart. J. Math. Oxford Ser. (2) 15 (1964), 155–175. MR 163927, DOI 10.1093/qmath/15.1.155
- Hermann Weyl, The classical groups, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, 1997. Their invariants and representations; Fifteenth printing; Princeton Paperbacks. MR 1488158 O. Zariski and P. Samuel, Commutative algebra. Vols. I, II, University Series in Higher Math., Van Nostrand, Princeton, N. J., 1958, 1960. MR 19, 833; 22 #11006.
Bibliographic Information
- © Copyright 1974 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 194 (1974), 115-129
- MSC: Primary 13C15; Secondary 13H10, 14M15, 15A72, 20G15
- DOI: https://doi.org/10.1090/S0002-9947-1974-0352082-2
- MathSciNet review: 0352082