Ample Line Bundle - Definitions

Definitions

The notion of ample line bundles L is slightly weaker than very ample line bundles: L is called ample if some tensor power L⊗n is very ample. This is equivalent to the following definition: L is ample if for any coherent sheaf F on X, there exists an integer n(F), such that FLn is generated by its global sections.

An equivalent, maybe more intuitive, definition of the ampleness of the line bundle is its having a positive tensorial power that is very ample. In other words, for there exists a projective embedding such that, that is the zero divisors of global sections of are hyperplane sections.

This definition makes sense for the underlying divisors (Cartier divisors) ; an ample is one where moves in a large enough linear system. Such divisors form a cone in all divisors of those that are, in some sense, positive enough. The relationship with projective space is that the for a very ample corresponds to the hyperplane sections (intersection with some hyperplane) of the embedded .

The equivalence between the two definitions is credited to Jean-Pierre Serre in Faisceaux algébriques cohérents.

Read more about this topic:  Ample Line Bundle

Famous quotes containing the word definitions:

    Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
    There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.
    Edmond De Goncourt (1822–1896)

    The loosening, for some people, of rigid role definitions for men and women has shown that dads can be great at calming babies—if they take the time and make the effort to learn how. It’s that time and effort that not only teaches the dad how to calm the babies, but also turns him into a parent, just as the time and effort the mother puts into the babies turns her into a parent.
    Pamela Patrick Novotny (20th century)

    What I do not like about our definitions of genius is that there is in them nothing of the day of judgment, nothing of resounding through eternity and nothing of the footsteps of the Almighty.
    —G.C. (Georg Christoph)