Resolutions of monomial ideals and cohomology over exterior algebras
HTML articles powered by AMS MathViewer
- by Annetta Aramova, Luchezar L. Avramov and Jürgen Herzog PDF
- Trans. Amer. Math. Soc. 352 (2000), 579-594 Request permission
Abstract:
This paper studies the homology of finite modules over the exterior algebra $E$ of a vector space $V$. To such a module $M$ we associate an algebraic set $V_E(M)\subseteq V$, consisting of those $v\in V$ that have a non-minimal annihilator in $M$. A cohomological description of its defining ideal leads, among other things, to complementary expressions for its dimension, linked by a ‘depth formula’. Explicit results are obtained for $M=E/J$, when $J$ is generated by products of elements of a basis $e_1,\dots ,e_n$ of $V$. A (infinite) minimal free resolution of $E/J$ is constructed from a (finite) minimal resolution of $S/I$, where $I$ is the squarefree monomial ideal generated by ‘the same’ products of the variables in the polynomial ring $S=K[x_1,\dots ,x_n]$. It is proved that $V_E(E/J)$ is the union of the coordinate subspaces of $V$, spanned by subsets of $\{ e_1,\dots ,e_n \}$ determined by the Betti numbers of $S/I$ over $S$.References
- Annetta Aramova and Jürgen Herzog, Koszul cycles and Eliahou-Kervaire type resolutions, J. Algebra 181 (1996), no. 2, 347–370. MR 1383471, DOI 10.1006/jabr.1996.0124
- A. Aramova, J. Herzog, and T. Hibi, Squarefree lexsegment ideals, Math. Z. 228 (1998), 353–378.
- Annetta Aramova, Jürgen Herzog, and Takayuki Hibi, Gotzmann theorems for exterior algebras and combinatorics, J. Algebra 191 (1997), no. 1, 174–211. MR 1444495, DOI 10.1006/jabr.1996.6903
- L. L. Avramov, Modules of finite virtual projective dimension, Invent. Math. 96 (1989), no. 1, 71–101. MR 981738, DOI 10.1007/BF01393971
- D. J. Benson, Representations and cohomology. II, Cambridge Studies in Advanced Mathematics, vol. 31, Cambridge University Press, Cambridge, 1991. Cohomology of groups and modules. MR 1156302
- N. Bourbaki, Algèbre, X. Algèbre homologique, Masson, Paris, 1980.
- Jon F. Carlson, The varieties and the cohomology ring of a module, J. Algebra 85 (1983), no. 1, 104–143. MR 723070, DOI 10.1016/0021-8693(83)90121-7
- H. Cartan, Algèbres d’Eilenberg-MacLane, Exposés 2 à 11, Sém. H. Cartan, Éc. Normale Sup. (1954–1955), Secrétariat Math., Paris, 1956; Œvres, vol. III, Springer, Berlin, 1979; pp. 1309–1394.
- David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
- Shalom Eliahou and Michel Kervaire, Minimal resolutions of some monomial ideals, J. Algebra 129 (1990), no. 1, 1–25. MR 1037391, DOI 10.1016/0021-8693(90)90237-I
- Gerd Gotzmann, Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes, Math. Z. 158 (1978), no. 1, 61–70 (German). MR 480478, DOI 10.1007/BF01214566
- Melvin Hochster, Cohen-Macaulay rings, combinatorics, and simplicial complexes, Ring theory, II (Proc. Second Conf., Univ. Oklahoma, Norman, Okla., 1975) Lecture Notes in Pure and Appl. Math., Vol. 26, Dekker, New York, 1977, pp. 171–223. MR 0441987
- Saunders MacLane, Homology, 1st ed., Die Grundlehren der mathematischen Wissenschaften, Band 114, Springer-Verlag, Berlin-New York, 1967. MR 0349792
- Daniel Quillen, The spectrum of an equivariant cohomology ring. I, II, Ann. of Math. (2) 94 (1971), 549–572; ibid. (2) 94 (1971), 573–602. MR 298694, DOI 10.2307/1970770
- D. Taylor, Ideals generated by monomials in an $R$-sequence, Ph. D. Thesis, University of Chicago, Chicago, 1966.
Additional Information
- Annetta Aramova
- Affiliation: Institute of Mathematics, Bulgarian Academy of Sciences Sofia 1113, Bulgaria
- Email: algebra@bgearn.acad.bg
- Jürgen Herzog
- Affiliation: FB 6 Mathematik und Informatik, Universität-GHS-Essen Postfach 103764, Essen 45117, Germany
- MR Author ID: 189999
- Email: mat300@uni-essen.de
- Received by editor(s): September 30, 1997
- Published electronically: July 1, 1999
- Additional Notes: Work on this paper started while the first and second author visited the third author; the hospitality of the University of Essen is gratefully acknowledged
The second author was partially supported by a grant from the National Science Foundation - © Copyright 1999 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 352 (2000), 579-594
- MSC (1991): Primary 13D02, 13D40, 16E10, 52B20
- DOI: https://doi.org/10.1090/S0002-9947-99-02298-9
- MathSciNet review: 1603874