Global Sections of Line Bundles and Linear Systems
Recall that the local equations of a Cartier divisor in a variety can be thought of as the transition maps of a line bundle, and linear equivalence as isomorphism of line bundles.
Loosely speaking, a Cartier divisor D is said to be effective if it is the zero locus of a global section of its associated line bundle . In terms of the definition above, this means that its local equations coincide with the equations of the vanishing locus of a global section.
From the divisor linear equivalence/line bundle isormorphism principle, a Cartier divisor is linearly equivalent to an effective divisor if, and only if, its associate line bundle has non-zero global sections. Two collinear non-zero global sections have the same vanishing locus, and hence the projective space over k identifies with the set of effective divisors linearly equivalent to .
If is a projective (or proper) variety over a field, then is a finite dimensional -vector space, and the associated projective space over is called the complete linear system of . Its linear subspaces are called linear systems of divisors. The Riemann-Roch theorem for algebraic curves is a fundamental identity involving the dimension of complete linear systems in the setup of projective curves.
Read more about this topic: Divisor (algebraic Geometry)
Famous quotes containing the words global, sections, line, bundles and/or systems:
“However global I strove to become in my thinking over the past twenty years, my sons kept me rooted to an utterly pedestrian view, intimately involved with the most inspiring and fractious passages in human development. However unconsciously by now, motherhood informs every thought I have, influencing everything I do. More than any other part of my life, being a mother taught me what it means to be human.”
—Mary Kay Blakely (20th century)
“... many of the things which we deplore, the prevalence of tuberculosis, the mounting record of crime in certain sections of the country, are not due just to lack of education and to physical differences, but are due in great part to the basic fact of segregation which we have set up in this country and which warps and twists the lives not only of our Negro population, but sometimes of foreign born or even of religious groups.”
—Eleanor Roosevelt (1884–1962)
“A route differs from a road not only because it is solely intended for vehicles, but also because it is merely a line that connects one point with another. A route has no meaning in itself; its meaning derives entirely from the two points that it connects. A road is a tribute to space. Every stretch of road has meaning in itself and invites us to stop. A route is the triumphant devaluation of space, which thanks to it has been reduced to a mere obstacle to human movement and a waste of time.”
—Milan Kundera (b. 1929)
“He bundles every forkful in its place,
And tags and numbers it for future reference,
So he can find and easily dislodge it
In the unloading. Silas does that well.
He takes it out in bunches like birds’ nests.”
—Robert Frost (1874–1963)
“The only people who treasure systems are those whom the whole truth evades, who want to catch it by the tail. A system is just like truth’s tail, but the truth is like a lizard. It will leave the tail in your hand and escape; it knows that it will soon grow another tail.”
—Ivan Sergeevich Turgenev (1818–1883)