Hirotachi Abo
ABSTRACT
In 1997, N.M. Kumar published a paper which introduced a new tool of use in the construction of algebraic vector bundles. Given a vector bundle on projective n-space, a well known theorem of Quillen-Suslin guarantees the existence of sections which generate the bundle on the complement of a hyperplane in projective n-space. Kumar used this fact to give a correspondence between vector bundles on projective n-space and vector bundles on projective (n−1)-space satisfying certain conditions. He then applied this correspondence to establish the existence of many, previously unknown, rank two bundles on projective fourspace in positive characteristic. The goal of the present paper is to give an explicit homological description of Kumar's correspondence in a setting appropriate for implementation in a computer algebra system.
- H. Abo and K. Ranestad, Irregular elliptic surfaces in projective fourspace, Math. Nachr. 278, 2005. 511--524.Google Scholar
Cross Ref
- V. Ancona and G. Ottaviani, The Horrocks bundles of rank three on P5, J. Reine Angew. Math. 460, 1995. 69--92.Google Scholar
- CoCoATeam, CoCoA: a system for doing Computations in Commutative Algebra. Available at http://cocoa.dima.unige.itGoogle Scholar
- W. Decker, N. Manolache and F.-O. Schreyer, Geometry of the Horrocks bundle on P5, London Math. Soc. Lecture Note Ser. 179, 1992. 128--148.Google Scholar
- N. Fitchas and A. Galligo, Nullstellensatz effectif et conjecture de Serre (théorème de Quillen-Suslin) pour le calcul formel. Math. Nachr. 149, 1990. 231--253.Google ScholarCross Ref
- D. R. Grayson and M. E. Stillman, Macaulay 2, a software for research in algebraic geometry. AvailableGoogle Scholar
- G.-M, Greuel, G. Pfister and H. Schönemann, Singular 3.0. A Computer Algebra System for Polynomial Computations. Centre for Computer Algebra, University of Kaiserslautern (2005). Available at http://www.singular.uni-kl.de.Google Scholar
- R. Hartshorne, Algebraic geometry, Springer-Verlag, New York, Heidelberg, Berlin, 1977.Google Scholar
- G. Horrocks, Construction of bundles on Pn, Asterisque 71--72, 1980. 63--81.Google Scholar
- G. Horrocks, Examples of rank 3 vector bundles on five-dimensional projective space, J. London Math. Soc. (2) 18, 1978. 15--27.Google Scholar
- G. Horrocks and D. Mumford, A rank 2 vector bundle on P4 with 15,000 symmetries, Topology 12. 1973. 63--81.Google Scholar
- H. Kaji, Example of σ-Transition Matrices Defining the Horrocks-Mumford Bundle, Tokyo Journal of Mathematics 12, 1989. 21--32.Google Scholar
- N. M. Kumar, Construction of rank two vector bundles on P4 in positive characteristic, Invent. Math. 130, 1997. 277--286.Google ScholarCross Ref
- N. M. Kumar, C. Peterson and A.P. Rao, Constructing Low Rank Vector Bundles on P4 and P5, J. Algebraic Geom. 11. 2002. 203--217.Google Scholar
- A. Loger and B. Sturmfels, Algorithms for the Quillen-Suslin theorem, J. Algebra. 145. 1992. 231--239.Google Scholar
- D. Quillen, Projective modules over polynomial rings, Invent. Math. 36, 1976. 167--171.Google ScholarCross Ref
- J.P. Serre, Faisceaux Algébriques Cohérents, Ann. Math. 61, 1955. 191--278.Google Scholar
- A.A. Suslin, Projective modules over polynomial rings are free, Dokl. Akad Nauk SSSR. 229, 1976. 1063--1066.Google Scholar
- H. Tango, On morphisms from projective space Pn, to the Grassmann variety Gr(n, d), J. Math. Kyoto 16, 1976. 201--207.Google ScholarCross Ref
Index Terms
- Implementation of Kumar's correspondence
Recommendations
Making the use of maximal ideals constructive
The purpose of this paper is to decipher constructively a lemma of Suslin which played a central role in his second solution of Serre's problem on projective modules over polynomial rings. This lemma says that for a commutative ring A if =A[X] where v"1 ...
Suslin's algorithms for reduction of unimodular rows
A well-known lemma of Suslin says that for a commutative ring A if (v"1(X),...,v"n(X))@__ __(A[X])^n is unimodular where v"1 is monic and n>=3, then there exist @c"1,...,@c"@__ __@__ __E"n"-"1(A[X]) such that the ideal generated by Res(v"1,e"1.@c"1^t(v"...
Comments