Fitting's Lemma for -graded modules

Authors:
David Eisenbud and Jerzy Weyman

Journal:
Trans. Amer. Math. Soc. **355** (2003), 4451-4473

MSC (2000):
Primary 13C99, 13C05, 13D02, 16D70, 17B70

Published electronically:
June 10, 2003

MathSciNet review:
1990758

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a map of free modules over a commutative ring . Fitting's Lemma shows that the ``Fitting ideal,'' the ideal of minors of , annihilates the cokernel of and is a good approximation to the whole annihilator in a certain sense. In characteristic 0 we define a Fitting ideal in the more general case of a map of graded free modules over a -graded skew-commutative algebra and prove corresponding theorems about the annihilator; for example, the Fitting ideal and the annihilator of the cokernel are equal in the generic case. Our results generalize the classical Fitting Lemma in the commutative case and extend a key result of Green (1999) in the exterior algebra case. They depend on the Berele-Regev theory of representations of general linear Lie superalgebras. In the purely even and purely odd cases we also offer a standard basis approach to the module when is a generic matrix.

**[ABW]**Kaan Akin, David A. Buchsbaum, and Jerzy Weyman,*Schur functors and Schur complexes*, Adv. in Math.**44**(1982), no. 3, 207–278. MR**658729**, 10.1016/0001-8708(82)90039-1**[BR]**A. Berele and A. Regev,*Hook Young diagrams with applications to combinatorics and to representations of Lie superalgebras*, Adv. in Math.**64**(1987), no. 2, 118–175. MR**884183**, 10.1016/0001-8708(87)90007-7**[Bru]**Winfried Bruns,*Generic maps and modules*, Compositio Math.**47**(1982), no. 2, 171–193. MR**677019****[BV]**Winfried Bruns and Udo Vetter,*Determinantal rings*, Lecture Notes in Mathematics, vol. 1327, Springer-Verlag, Berlin, 1988. MR**953963****[BE]**David A. Buchsbaum and David Eisenbud,*Generic free resolutions and a family of generically perfect ideals*, Advances in Math.**18**(1975), no. 3, 245–301. MR**0396528****[DEP]**C. de Concini, David Eisenbud, and C. Procesi,*Young diagrams and determinantal varieties*, Invent. Math.**56**(1980), no. 2, 129–165. MR**558865**, 10.1007/BF01392548**[DRS]**Peter Doubilet, Gian-Carlo Rota, and Joel Stein,*On the foundations of combinatorial theory. IX. Combinatorial methods in invariant theory*, Studies in Appl. Math.**53**(1974), 185–216. MR**0498650****[Eis]**David Eisenbud,*Commutative algebra*, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR**1322960****[EPY]**D. Eisenbud, S. Popescu and S. Yuzvinsky: Hyperplane arrangement cohomology and monomials in the exterior algebra. Preprint, 2000.**[ES]**D. Eisenbud, G. Fløystad and F.-O. Schreyer: Free resolutions and sheaf cohomology over exterior algebras. Preprint, 2000.**[Fit]**H. Fitting: Die Determinantenideale eines Moduls. Jahresbericht der Deutschen Math.-Vereinigung 46 (1936) 195-229.**[GS]**D. Grayson and M. Stillman:*Macaulay2*, a software system devoted to supporting research in algebraic geometry and commutative algebra. Contact the authors, or download from`http://www.math.uiuc.edu/Macaulay2`.**[Gre]**Mark L. Green,*The Eisenbud-Koh-Stillman conjecture on linear syzygies*, Invent. Math.**136**(1999), no. 2, 411–418. MR**1688437**, 10.1007/s002220050314**[Mac]**I. G. Macdonald,*Symmetric functions and Hall polynomials*, 2nd ed., Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1995. With contributions by A. Zelevinsky; Oxford Science Publications. MR**1354144****[Onn]**Shmuel Onn,*Hilbert series of group representations and Gröbner bases for generic modules*, J. Algebraic Combin.**3**(1994), no. 2, 187–206. MR**1268575**, 10.1023/A:1022445607540

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
13C99,
13C05,
13D02,
16D70,
17B70

Retrieve articles in all journals with MSC (2000): 13C99, 13C05, 13D02, 16D70, 17B70

Additional Information

**David Eisenbud**

Affiliation:
Department of Mathematics, University of California, Berkeley, California 94720

Email:
de@msri.org

**Jerzy Weyman**

Affiliation:
Department of Mathematics, Northeastern University, Boston, Massachusetts 02115

Email:
j.weyman@neu.edu

DOI:
https://doi.org/10.1090/S0002-9947-03-03198-2

Received by editor(s):
March 20, 2002

Received by editor(s) in revised form:
May 29, 2002

Published electronically:
June 10, 2003

Additional Notes:
The second named author is grateful to the Mathematical Sciences Research Institute for support in the period this work was completed. Both authors are grateful for the partial support of the National Science Foundation.

Article copyright:
© Copyright 2003
American Mathematical Society