Dimension of global sections of an ample line bundle lower bound. One of the most important line bundles in algebraic geometry is the tautological line bundle on projective space. The necessary and su cient condition is the existence of a positive holomorphic line bundle. For an overview of the book bundles and parenting packs early literacy kits, please visit the original post. Line bundles on abelian varieties ii climbing mount bourbaki. Recipients choose the brand and size they want delivered straight to their door each month.
A vector bundle on p1 is nef if and only if it is generated by its global sections. Hyperelliptic case edit if c has genus two or more, then the canonical class is big, so the image of any n canonical map is a curve. They did put cardboard on one side but not the other so basically i had to put a heavy book on top of the book so that it would flatten out. Get access to over 1,500 questions for the gmat exam in one package. A normally generated ample line bundle is always very ample, but not conversely. Mathematics stack exchange is a question and answer site for people studying math at any level and professionals in related fields. As we saw, this vector bundle was welldefined and could be defined as a direct image. If f is a closed immersion, for example, it follows that the pullback f. Hyperelliptic and trigonal curves climbing mount bourbaki. Over a field, its dual line bundle is the line bundle associated to the hyperplane divisor h, whose global sections are the linear forms. Any ruled surface is given by f n pop1n op1 for a unique integer n 0.
On an abelian variety, there are a lot of line bundles generated by global sections and thus a lot of maps to projective space. Line bundle of deg 2g1 and generated by global sections. We are also making preparations to reopen our facilities to the public. Stability of arakelov bundles and tensor products without. That surjectivity means that you can choose a global section of l that is. Suppose that x is a space and that l is a line bundle on x. Market data and research subscription fees are assessed beginning on the day of subscription and the first business day of each subsequent month for as long as the services are active. X is called the canonical line bundle and its dual k the anticanonical line bundle. Let c be a smooth projective curve with genus g1 and clifford index cc and let l be a line bundle on c generated by its global sections. Suppose m is big enough so that otm\xzm is quasifinite. Global section of very ample line bundles and its value on.
About the stability of the tangent bundle of restricted to. Central line bundle prevent catheterrelated bloodstream infections by implementing the five components of care in the ihi central line bundle. A local section of a fiber bundle is a continuous map. In mathematics, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle. Thanks for contributing an answer to mathematics stack exchange. P1 and f1 can be shown to be the blow up of p2 at some any point. If a line bundle l is generated by its global sections, we obtain a morphism jlj. In this chapter we study divisors on abelian varieties. The following construction of a line bundle oxd for a divisor d and in particular its space of global sections will be of fundamental importance for us. For some su ciently large integer k, the line bundle e l k is very ample see gri th and harris 1978, p. Every vector bundle on p1 is a sum of line bundles. The global babies series is one of my favorite alltime board. The global sections of the trivial bundle form a onedimensional vector space, so the ncanonical map for any n is the map to a point.
The stability of these bundles turns out to be equivalent to the stability of the kernel of the evaluation map ml of a line bundle l generated by its global sections. There is always one holomorphic line bundle you are guaranteed to have to hand. Find a gequivariant line bundle lon x specrwhich is generated by global sections. Equivariant algebraic ktheory northeastern university. Suppose is any basepoint free divisor, defining a map wed like to know when is a finite morphism. In practice both the notions tautological line bundle and the dual of the twisting sheaf are used interchangeably. Iterate the previous argument on f1, to yield a an equivariant resolution. This book contains a focused introduction into the theory of k ahler manifolds. The second use is to look for areas where ratings are out of line. If multiple users are subscribed, there will be multiple. I and ii, mathematical surveys and monographs, book 221, 2017. In particular, we say that a line bundle o x1 is koszulample if it is 2nkoszul. Spectral sequences are a powerful bookkeeping tool for proving things involving com plicated.
Given any line bundle l 0 on x, the morphism m x m x r, l m x r, l. As we can see from the above, it is an algebrogeometric issue to determine whether a holomorphic line bundle is ample or not. For example a curve in the plane having a tangent line at each point determines a varying line. Vakils book covers traditional higher derived functors and spectral sequences, but not the derived category.
Stability of arakelov bundles and tensor products without global sections norbert hoffmann received. In mathematics, a line bundle expresses the concept of a line that varies from point to point of a. Hence taking the vanishing locus of gives a welldefined chern class map if is smooth, then is indeed an isomorphism since every codimension one cycle can be represented by a. Mukai approaches this by talking about coactions on invertible grmodules. The vanishing locus and of two rational sections of are rationally equivalent since they can be connected by the family. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. The projectivization pv of a vector space v over a field k is defined to be the quotient of. Brauer group of the moduli spaces of stable vector bundles. As an application, we see that an ample line bundle on a calabiyau hyper. Another feature of special line bundles is their relation with projective embeddings. Divisor of a global section of a line bundle associated to. Global section of very ample line bundles and its value on stalks.
For example, every quasicoherent sheaf on an affine scheme is globally generated. Divisor of a global section of a line bundle associated to a weil divisor. Clinical processes that ensure delivery of highquality care to individual patients aims safe. But, according to the classification 5 or 47 of globally generated vector bundles with c 1 3 see, also, 1, remark 2. Similar to the case of ordinary sections of the line bundle and regular functions, there is also a. June 3, at noon in the faculty area research seminar series. As hoot pointed out, this is false for g0, but also false for g1. Positselskis book on koszul algebras uses nkoszul in a di. The dualizing sheaf for curves is an invertible sheaf a line bundle.
Giftgivers can give a 3month, 6month, 9month or 12month diapers and wipes subscription. If x is a toric variety of dimension n and l is an ample line bundle on. Basic fact to be noticed is that for any g, a general line. A vector bundle e is polystable if it is a direct sum of stable bundles of the same slope. The main result is kodairas embedding theorem which characterizes compact complex manifolds that are biholomorphic equivalent to a projective algebraic manifold. The most interesting case is k c, the canonical line bundle, which appears in 1. June 12, 2003 communicated by ulf rehmann abstract. Moreover, the same vanishing theorem holds for any nef line bundle on a complete simplicial toric variety, in view of a recent result of mavlyutov see 27, thm. In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. Although new like advertised it was bent due to the way the seller packaged the product.
Take the tensor algebra of the ring of global sections, and then take the graded subring of invariants. Let l be a line bundle and e a vector bundle over x. One of the main goals is to prove that abelian varieties are projective. More formally, in algebraic topology and differential topology a line bundle is defined as a vector bundle of rank 1.
A linear connection is equivalently specified by a covariant derivative. Fiber bundles do not in general have such global sections consider, for example, the fiber bundle over with fiber. In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a. There is a tautological bundle over cpn, denoted o 1 for reasons which will soon become clear. M r the dual ndimensional vector spaces gotten by tensoring up to r.
Delivery of care in a manner that minimizes any risk of harm to a patient. Since is a global section of, it naturally defines a section of. The cost listed is the list price of each item, regardless of whether or not we got it on salediscount. A rational section of a line bundle is a section of the bundle possibly multiplied by a rational function which may not necessarily be a function in the settheoretic sense but merely an expression which is a fraction of polynomials. For example a globally generated line bundle is 0 very ample and a. Subscription fees are assessed based on the number of users subscribed to the service on an account. We show that a nef and big line bundle whose adjoint bundle has nonzero global sections on a nonsingular toric weak fano 3fold is normally generated. O 1 \displaystyle fo1 is the line bundle on x associated to a hyperplane section the intersection of x. In this chapter we study the cohomology of line bundles on abelian varieties. The main result is that for each semistable bundle e, there is a bundle f. As a consequence, we see that any ample line bundle on a nonsingular toric waek fano 3fold is normally generated. The vector bundle in question assigned to each line the global sections. Most of it is a rewrite of chapter 15 in vakils book, and the originality of these notes lies in the mistakes. For example, the standard line bundle o1 on pn is koszulample.
689 1071 466 624 1166 837 719 1226 263 1258 1062 1528 504 323 399 917 756 1163 168 884 193 1683 56 1228 1118 329 390 1203 936 196 62 1410