We note that we assert nothing about the uniqueness about this e. Syzygies and koszul cohomology of smooth projective. To allow nontrivial bundles, introduce a complex vector space v of. X is a g equivariant complex vector bundle, we equip it with a g g maction where t 2 g m acts by multiplication by t 2 along the bers of r. Koszulmalgrange holomorphic structure on a pullback bundle. Positselskis book on koszul algebras uses n koszul in a di. Then e is isomorphic to a direct sum of vector bundles of the form. A bundle over a manifold is trivial if it is simply the cartesian product of.
Given a vector bundle of rank, and any representation. The bfvmethod is based on the koszul complex of the moment map. The final lectures are devoted to a single question. First we develop chern classes for complex vector bundles. Koszul complexes university of california, berkeley. Vector bundles 1 vector bundles and maps the study of vector bundles is the study of parameterized linear algebra. The homological properties of koszul complex include the information. In this article we present a selfcontained account of two important results in complex supergeometry. This unfinished book is intended to be a fairly short introduction to topological ktheory, starting with the necessary background material on vector bundles and including also basic material on characteristic classes.
In particular, we say that a line bundle o x1 is koszul ample if it is 2n koszul. Assemble this complex into a twoterm complex consisting of a vector bundle map from the direct sum of exterior powers of even degree to the direct sum of exterior powers of odd degree. Dec 01, 2016 let e be a buchsbaum vector bundle on p k n. Since the classification of continuous vector bundles and that of c. The canonical 2gerbe of a holomorphic vector bundle. Then we obtain a free resolution of c am called the koszul complex. Computational tools for cohomology of toric varieties arxiv. We will be more precise below, but for now, lets state the impressionists version of the nonabelian hodge correspondence. Here h is a closed subgroup of g, and hngis the orbit space of the action of h on gby. These results are related in the same sense that global holomorphic connections on a holomorphic vector bundle are. Liekoszul complex, we specialize to the case when \mathscr a is the atiyah algebroid of a holomorphic vector bundle \mathscr e on.
We denote by e the g g mequivariant dual vector bundle so that t 2 g m acts by multiplication by t2 along. We associate to e the exact chain koszul tate complex 38 with the boundary operator 37 whose nilpotency condition 39 restarts all the noether identities characterizing the degeneracy. There is then an associated rank two vector bundle ewith c 1e 4 c 2e x d i. Given that the restriction of v to y splits into a direct sum of line bundles, we ask whether v splits on x. Any complex vector bundle over a paracompact space admits a hermitian metric. It may be understood as a special case of the newlandernirenberg theorem, see delzantpy 10, section 6, which also generalises the proof to infinitedimensional vector. Each of them carries the canonical connections induced from those on m and n. If the dimension of the vector space is mthen the bundle is often called an mplane bundle. What is true is that if you have a vector bundle invertible with respect to the tensor product, then it gives you a class in gl 1 k. Destination page number search scope search text search scope search text.
Featured on meta stack overflow for teams is now free for up to 50 users, forever. A geometric introduction to ktheory university of oregon. Introduction some recollections on the cotangent complex. Koszul complexes april 28, 2016 let rbe a commutative ring, let e be an rmodule, and let q be a natural number. As a special case, if we take two plane elliptic curves c 1 and c 2 sitting in di erent planes h 1 and h 2 then d 1 d 2 3 and f e 2 is a rank two vector bundle with c 1f 0 c 2f 2. On the weak lefschetz property for vector bundles on p2. The classification of holomorphic algebraic vector bundles on complex projective space p could be tried along. The batalinvilkovisky complex is a complex in arbitrary, positive and negative, degree, which contains as a subcomplex in nonnegative degree the cealgebra of an l. If, then this is counting the number of bundles on. This is performed by means of the direct image of the twisted koszul complex resolving y on. If this complex is a resolution of the algebra of smooth functions on the zero fiber of the moment map, then the bfvconstruction can be used to describe the poisson algebra of smooth functions on the symplectic quotient. Providing a vector bundle with a metric, when viewed in terms of the associated principal bundles, is an example of reduction of the structure group. But one should keep in mind that, even so, the vector bundle e refers not just to the topological space but also to the projection map and the local trivializations.
Tvrfor some nite dimensional k vector space v and subspace r v 2. We then analyze the pure resolutions given by the sheafification of the koszul complex of a certain algebra and by the sheafification of the. We always start with a 4ndimensional vector space in this way, viewed as a quaternionic vector space. Note that these are paracomplex vector bundles over m.
Bis said to be a real or complex vector bundle corresponding to the typical bre being a real or complex vector space. A qlinear map from e to an rmodule f is a function. The koszul complex as a derived scheme let r 2calgand suppose that f. Then, for example, the koszul resolution of the trivial module of the symmetric algebra of a vector space v becomes the symmetric algebra of the acyclic complex v. The following koszul malgrange criterion 6, see also 2, 2. Koszul complexes and spectral sequences associated with. For complex vector bundles over complex varieties this statement is due to alexander grothendieck and koszul malgrange 58, recalled for instance as pali 06, theorem 1. Koszul cohomology and applications to moduli institut fur. Im using the letter m to denote the base space of the vector bundle as a concession to the fact that in most of the applications well be. The serre construction, and vector bundles on k3 surfaces. We will see below that it is a resolution if the sequence x is a regular sequence.
Gcw complex,therightthingtosayisthatitisagspaceoftheform dn hng. Vector bundles thus combine topology with linear algebra, and the study of vector bundles could be called linear algebraic topology. A sampling of vector bundle techniques in the study of linear series. Notes for learning seminar on symplectic duality spring 2019.
Ramanan no part of this book may be reproduced in any form by print, micro. Each of the above examples can be seen as special cases of this construction. For example, the standard line bundle o1 on pn is koszul ample. Holomorphic koszulbrylinski homology international. The key property of the koszul complex is that in good cases namely if the. A higgs bundle is a pair f, with f a holomorphic bundle on x, and. This is an invariant of any n 1dimensional manifold. The third section contains the statement and proofs of the main results of the paper. Kahler manifold, complex vector bundle, holomorphic connection, yangmills bar gradient.
On fibre bundles and differential geometry tata institute of. Then all derived enhancements of speckare of the form n 0a k. For further information or to download the part of the book that is written, go to the download page. Pdf pure resolutions of vector bundles on complex projective. In practice one says things like, let e be a vector bundle over m instead of let e m be a vector bundle over m. We will make a contractible choice of a hermitian metric, so may use instead the unitary group g uk. Buchsbaum criterion of segre products of vector bundles on. The only two vector bundles with base space a circle and onedimensional. This lets us classify derived enhancements of the point. For each holomorphic vector bundle we construct a holomorphic bundle 2gerbe that geometrically represents its second beilinsonchern class. Two applications are considered, the curvature of the vertical line bundle of the universal curve, and the positivity of the pushdown of the square of the line bundle. A complex vector bundle can be thought of as a real vector bundle with an additional structure, the complex structure. Page 1 a note on cayleybacharach property for vector bundles.
The acyclicity of this complex follows from the acyclicity of the rst complex and the fact that the module of smooth sections of any vector bundle is. This theory is most succinctly captured by passing to the principal bundle connection on the frame bundle of and using the theory of principal bundles. In the case ii, we assume that f is locally free and thus f o v f for some vector bundle f over v. Let u,v,w be complex vector spaces and suppose that we have bundle maps u. But the general case puts it all in a sort of context. Vector bundles and structure groups a vector bundle over a topological space m or with base space m is, essentially, family of vector spaces continuously parametrized by m. A when ais koszul, acan be presented by generators at deg1 and relations at deg2. In what follows vector bundles are taken to be real vector bundles. It maps, in fact, to f1g busince every line bundle. Applied to the cotangent bundle, this may be regarded as a higher analogue of the canonical line bundle in complex geometry. Since anis smooth, its cotangent complex is quasiisomorphic to anpt. The nullcone and cohomology of vector bundles on flag varieties. Koszul cohomology and algebraic geometry marian aprodu jan. A evalued rorder differential operator e on y is conventionally defined as a bundle morphism of j r y to e over x 3, 4.
The right way to think of a dgalgebra is as a monoid. Koszul cohomology and algebraic geometry page 7 ams bookstore. A complex vector bundle is a holomorphic vector bundle if x is a complex manifold and if the local. Koszul complexes and spectral sequences associated with lie. Theorem koszul malgrange theoremholomorphic vector bundles over a complex manifold are equivalently complex vector bundles which are equipped with a holomorphically flat connection hence a connection whose holomorphic component vanishes. Pdf paraholomorphic structures and the connections of. Vector bundles and principal bundles mit opencourseware. On degeneracy loci of morphisms between vector bundles core. The acyclicity of this complex follows from the acyclicity of the rst complex and the fact that the module of smooth sections of any vector bundle is nitely generated. Let us study the behaviour of a spectral sequence for a syzygy module. Let g be a complex connected reductive algebraic group, and let x be a g variety. Principal bundles and principal bundle connections 11 6.
The basic invariant of a complex vector bundle is a chern class. Syzygies and koszul cohomology of smooth projective varieties. So a point in gl 1 k should be like a vector bundle invertible with respect to the tensor product. The second koszul complex corresponds to an acyclic resolution of the smooth sections of the pull back bundle i 1e.
I t ss t r u c t u r er i n g a q of graded functions sections of a q i s t h e z 2 graded exterior algebra of the c. Bg has nitely many connected components and each connected com ponent is the classifying space of a nite group the automorphism group of a nite g bundle. Feb 15, 2021 in section two of this paper we provide background meant to clarify the connection between the buchsbaumrim complex for a certain class of finite length k x, y, zmodules and rank 2 vector bundles on p 2. Let y be a subvariety of a smooth projective variety x, and v a vector bundle on x. That is, given a connection on a complex vector bundle over a noncompact complex manifold with a connection whose curvature has vanishing 0,2 part, does this vector bundle have a holomorphic structure such that the 0,1 part of the connection is the dolbeault operator.
15 1649 1479 809 377 1311 1739 864 1436 434 1297 262 1601 1699 585 432 38 790 188 1645 925 773 571 1572 31 1154 960