Resolutions of monomial ideals and cohomology over exterior algebras

Aramova, Annetta; Avramov, Luchezar; Herzog, Jürgen

doi:10.1090/S0002-9947-99-02298-9

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.