|
Resultants and Chow forms via exterior syzygies
Author(s):
David
Eisenbud;
Frank-Olaf
Schreyer;
Appendix by Jerzy
Weyman
Journal:
J. Amer. Math. Soc.
16
(2003),
537-579.
MSC (2000):
Primary 13P05, 14Q99;
Secondary 13D25, 14F05.
Posted:
February 27, 2003
Retrieve article in:
PDF DVI PostScript
Abstract |
References |
Similar articles |
Additional information
Abstract:
Given a sheaf on a projective space , we define a sequence of canonical and effectively computable Chow complexes on the Grassmannians of planes in , generalizing the well-known Beilinson monad on . If the sheaf has dimension , then the Chow form of the associated -cycle is the determinant of the Chow complex on the Grassmannian of planes of codimension . Using the theory of vector bundles and the canonical nature of the complexes, we are able to give explicit determinantal and Pfaffian formulas for resultants in some cases where no polynomial formulas were known. For example, the Horrocks-Mumford bundle gives rise to a polynomial formula for the resultant of five homogeneous forms of degree eight in five variables.
References:
-
- [Angéniol and Lejeune-Jalabert 1989]
- B. Angéniol and M. Lejeune-Jalabert: Calcul différentiel et classes caractéristiques en géométrie algébrique. Travaux en Cours 38, Hermann, Paris, 1989. MR 90h:14004
- [Backelin and Herzog]
- J. Backelin and J. Herzog: On Ulrich-modules over hypersurface rings. Commutative algebra (Berkeley, CA, 1987), 63-68, Math. Sci. Res. Inst. Publ., 15, Springer, New York, 1989. MR 90i:13006
- [Beauville 2000]
- A. Beauville: Determinantal hypersurfaces. Dedicated to William Fulton on the occasion of his 60th birthday. Mich. Math. J. 48 (2000) 39-64. MR 2002b:14060
- [Beilinson 1978]
- A. Beilinson: Coherent sheaves on
and problems of linear algebra. Funct. Anal. and its Appl. 12 (1978) 214-216. (Trans. from Funkz. Anal. i. Ego Priloz 12 (1978) 68-69.) MR 80c:14010b - [Bernstein, Gel'fand and Gel'fand 1978]
- I.N. Bernstein, I.M. Gel'fand and S.I. Gel'fand: Algebraic bundles on
and problems of linear algebra. Funct. Anal. and its Appl. 12 (1978) 212-214. (Trans. from Funkz. Anal. i. Ego Priloz 12 (1978) 66-67.) MR 80c:14010a - [Bézout 1779]
- E. Bézout: Théorie générale des équation algébriques, Pierres, Paris 1779.
- [Brennan et al. 1987]
- J. Brennan, J. Herzog, and B. Ulrich: Maximally generated Cohen-Macaulay modules. Math. Scand. 61 (1987) 181-203. MR 89j:13027
- [Buchweitz and Schreyer 2002]
- R.-O. Buchweitz and F.-O. Schreyer: Complete intersections of two quadrics, hyperelliptic curves and their Clifford Algebras, manuscript, 2002.
- [Buchweitz Eisenbud and Herzog 1987]
- R.-O. Buchweitz, D. Eisenbud and J. Herzog: Cohen-Macaulay modules on quadrics, In Singularities, representation of algebras, and vector bundles (Lambrecht, 1985), Springer- Lecture Notes in Math. 1273 (1987) 96-116. MR 89g:13005
- [Busé et al. 2001]
- L. Busé, M. Elkadi and B. Mourrain: Resultant over the residual of a complete intersection. J. Pure Appl. Algebra 164, No.1-2, 35-57 (2001). MR 2002h:13042
- [D'Andrea 2002]
- C. D'Andrea: Macaulay style formulas for sparse resultants. Trans. Am. Math. Soc. 354, No.7, 2595-2629 (2002). MR 2003a:13032
- [D'Andrea and Dickenstein 2001]
- C. D'Andrea and A. Dickenstein: Explicit formulas for the multivariate resultant. J. Pure Appl. Algebra 164, No.1-2, 59-86 (2001). MR 2002g:13060
- [Cayley 1848]
- A. Cayley: On the theory of elimination. Cambridge and Dublin Mathematical J. 3 (1848) 116-120.
- [Donkin 1985]
- S. Donkin: Rational representations of algebraic groups. Tensor products and filtration. Lecture Notes in Math. 1140. Springer, Berlin, 1985. MR 87b:20054
- [Eisenbud 1988]
- D. Eisenbud: Linear sections of determinantal varieties. American J. Math. 110 (1988) 541-575. MR 89h:14041
- [Eisenbud 1995]
- D. Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry. Springer Verlag, 1995. MR 97a:13001
- [Eisenbud and Goto 1984]
- D. Eisenbud and S. Goto: Linear free resolutions and minimal multiplicity. J. Alg. 88 (1984) 89-133. MR 85f:13023
- [Eisenbud et al. 2001]
- D. Eisenbud, G. Fløystad and F.-O. Schreyer: Sheaf cohomology and free resolutions over the exterior algebra. Preprint (2001), arXiv.org/abs/math.AG/0104203.
- [Fulton 1984]
- W. Fulton: Intersection Theory. Springer, New York, 1984. MR 85k:14004
- [Fulton 1997]
- W. Fulton: Young tableaux : with applications to representation theory and geometry. London Mathematical Society student texts 35, Cambridge University Press 1997. MR 99f:05119
- [Gel'fand et al. 1994]
- I. M. Gelfand, M. Kapranov, and A. Zelevinsky: Discriminants, resultants, and multidimensional determinants. Birkhäuser, Boston, 1994. MR 95e:14045
- [Grayson and Stillman 1993- ]
- D. Grayson and M. Stillman: Macaulay2. Available online at http://www.math.uiuc.edu/ Macaulay2/.
- [Haboush 1980]
- W. Haboush: A short proof of the Kempf vanishing theorem. Invent. Math. 56, 109-112 (1980). MR 81g:14008
- [Hanes 2000]
- D. Hanes: Special condition on maximal Cohen-Macaulay modules, and applications to the theory of multiplicities. Thesis, Michigan, 2000.
- [Hartshorne 1977]
- R. Hartshorne: Algebraic Geometry. Springer Verlag, 1977. MR 57:3116
- [Hartshorne and Hirschowitz 1982]
- R. Hartshorne and A. Hirschowitz: Cohomology of the general instanton bundle. Ann. scient. Éc. Norm. Sup. a série 15 (1982) 365-390. MR 84c:14011
- [Horrocks 1964]
- G. Horrocks: Vector bundles on the punctured spectrum of a local ring. Proc. Lond. Math. Soc., III. Ser. 14, 689-713 (1964). MR 30:120
- [Horrocks and Mumford 1973]
- G. Horrocks, D. Mumford: A rank
vector bundle on with symmetries. Topology 12 (1973) 63-81. MR 52:3164 - [Iverson 1986]
- B. Iverson: Cohomology of sheaves. Springer-Verlag, New York, 1986.
- [Jantzen 1987]
- J. C. Jantzen: Representations of algebraic groups. Pure and Applied Mathematics, 131, Academic Press, Boston, MA, 1987. MR 89c:20001
- [Jouanolou 1995]
- J.-P. Jouanolou: Aspects invariants de l'élimination. Adv. Math. 114 (1995) 1-174. MR 96m:14001
- [Kempf 1976]
- G. R. Kempf: Linear systems on homogeneous spaces. Ann. of Math., II. Ser. 103, 557-591 (1976). MR 53:13229
- [Khetan 2002]
- A. Khetan: Determinantal Formula for the Chow Form of a Toric Surface, In ISSAC Proceedings, 145-150, ACM 2002.
- [Kline 1972]
- M. Kline: Mathematical thought from ancient to modern times. Oxford University Press, New York 1972. MR 57:12010
- [Knudsen and Mumford 1976]
- F. Knudsen and D. Mumford: The projectivity of the moduli space of stable curves I: Preliminaries on ``det'' and ``div''. Math. Scand. 39 (1976) 19-55. MR 55:10465
- [Leibniz 1693]
- G. W. Leibniz: Mathematische Schriften, herausgegeben von C. I. Gerhardt, Letter to l'Hospital 28 April 1693, volume II, p. 239; Vorwort volume VII, pp. 5. Georg Olms Verlag Hildesheim, New York 1971. MR 25:4979a, MR 25:4979g
- [Okonek et al. 1980]
- Ch. Okonek, M. Schneider, and H. Spindler: Vector Bundles on Complex Projective Spaces. Birkhäuser, Boston 1980. MR 81b:14001
- [Peskine and Szpiro 1974]
- C. Peskine and L. Szpiro: Liaison des variétés algébriques I. Invent. Math. 26 (1974) 271-302. MR 51:526
- [Stanley 1971]
- R. Stanley: Theory and application of plane partitions. Studies in Appl. Math. 1 (1971) 167-187 and 259-279. MR 48:3754
- [Swan 1985]
- R. G. Swan:
-theory of quadric hypersurfaces. Ann. of Math. 122 (1985) 113-153. MR 87g:14006 - [Sylvester 1840-1842]
- J. J. Sylvester: A method of determining by mere inspection the derivatives from two equations of any degree. Philosophical Magazine XVI (1840) 132-135. Memoir on the dialytic method of elimination. Part I. Philsophical Magazine XXI (1842) 534-539. Reprinted in: The collected Mathematical Papers of James Joseph Sylvester, Vol. I. Chelsea New York 1973, reprint of the Cambridge 1904 edition.
- [Tikhomirov 1997]
- A. A. Tikhomirov: The main component of the moduli space of mathematical instanton vector bundles on
. Journal of the Mathematical Sciences 86 (1997) 3004-3087. (Translation from the Russian of Itogi Nauki i Tkhniki. Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematischeskie Obzory, Vol 25, Algebraic Geometry-2, 1995.) MR 99e:14012 - [Ulrich 1984]
- B. Ulrich: Gorenstein rings and modules with high numbers of generators. Math. Z. 188 (1984) 23-32. MR 85m:13021
- [Vinnikov 1989]
- V. Vinnikov: Complete description of determinantal representations of smooth irreducible curves. Linear Algebra Appl. 125 (1989), 103-140. MR 90m:14028
- [Weyman and Zelevinsky 1994]
- J. Weyman and A. Zelevinsky: Determinantal formulas for multigraded resultants. J. Alg. Geom. 3 (1994) 569-598. MR 95j:14074
Similar Articles:
Retrieve articles in Journal of the American Mathematical Society
with MSC
(2000):
13P05, 14Q99,
13D25, 14F05.
Retrieve articles in all Journals with MSC
(2000):
13P05, 14Q99,
13D25, 14F05.
Additional Information:
David
Eisenbud
Affiliation:
Department of Mathematics, University of California, Berkeley, Berkeley, California 94720
Email:
eisenbud@math.berkeley.edu
Frank-Olaf
Schreyer
Affiliation:
Mathematik und Informatik, Geb. 27, Universität des Saarlandes, D-66123 Saarbrücken, Germany
Email:
schreyer@math.uni-sb.de
Appendix by Jerzy
Weyman
Affiliation:
Department of Mathematics, Northeastern University, Boston, Massachusetts 02115
Email:
weyman@neu.edu
DOI:
10.1090/S0894-0347-03-00423-5
PII:
S 0894-0347(03)00423-5
Keywords:
Chow form,
resultants,
Beilinson monad,
Ulrich modules.
Received by editor(s):
November 16, 2001
Posted:
February 27, 2003
Copyright of article:
Copyright
2003,
American Mathematical Society
|