site stats

Divisor and line bundle

Webabove, and deform the divisor to a linearly equivalent divisor, which does not contain the curve. A more sophisticated approach is as follows. If the image of the curve lies in the divisor, then instead of pulling the divisor back, pullback the associated line bundle and take the degree of that D f C= degf O X(D): De nition 2.13. WebWeil divisors and rational sections of line bundles need not hold. So, to get a nicely behaved theory of divisors on these more general schemes, we apply the \French trick …

AKHIL MATHEW - University of Chicago

WebEffective divisors correspond to line bundles with nontrivial holomorphic sections, then given a line bundle you can just choose any holomorphic section. Its divisor of zeroes … WebA complex line bundle is a 2 dimensional vector bundle with a complex structure on each fiber, i.e. each change of coordinates \( g_{ij}: ... 1.2 Divisors, line bundles and sheaves. A holomorphic line bundle is the same as a locally free \( \mathcal{O}_X \)-module of rank 1. dooney and bourke handbags with pockets https://kuba-design.com

1 Cartier and Weil divisors - Columbia University

WebJul 9, 2024 · Definition. More generally, a line bundle L on a proper scheme X over a field k is said to be nef if it has nonnegative degree on every (closed irreducible) curve in X. ( The degree of a line bundle L on a proper curve C over k is the degree of the divisor (s) of any nonzero rational section s of L.)A line bundle may also be called an invertible sheaf.. … WebThe Birkhoff-Grothendieck theorem states that on the projective line, any vector bundle splits in a unique way as a direct sum of the line bundles. Important line bundles. The tautological bundle, which appears for instance as the exceptional divisor of the blowing up of a smooth point is the sheaf (). The canonical bundle (), is ((+)). WebJun 3, 2016 · Sorted by: 5. This holds for any proper scheme over k, since the set of all such effective divisors is in bijection with ( H 0 ( X, L) − { 0 }) / k ∗. See chapter II.7 in Hartshorne's Algebraic geometry, in particular the part about linear series. Share. dooney and bourke hydrangea wristlet

The canonical divisor - University of California, San Diego

Category:FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 28 …

Tags:Divisor and line bundle

Divisor and line bundle

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24 …

WebJan 8, 2015 · Tour Start here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site Weba divisor D= (fU ;f g), de ne a line bundle L= O(D) to be trivialized on each U with transition functions f =f . Two Cartier divisors Dand D0are linearly equivalent if and only if O(D) = …

Divisor and line bundle

Did you know?

WebIn view of the correspondence between line bundles and divisors (built from codimension-1 subvarieties), there is an equivalent notion of a nef divisor. Definition. More generally, a line bundle L on a proper scheme X over a field k is said to be nef if it has nonnegative degree on every (closed irreducible) curve in X. WebRiemann–Roch for line bundles. Using the close correspondence between divisors and holomorphic line bundles on a Riemann surface, the theorem can also be stated in a different, yet equivalent way: let L be a holomorphic line bundle on X. Let (,) denote the space of holomorphic sections of L.

WebIn brief: one has two different ways of regarding line bundles on a smooth complex algebraic variety, as a set of transition functions and as an equivalence class of Weil … Webparticular, we can de ne a subgroup of the Weil divisors consisting of the principal divisors. The quotient group is called the class group of X. De nition 2.5. We write Cl(X) for the …

Webabove, and deform the divisor to a linearly equivalent divisor, which does not contain the curve. A more sophisticatedapproach is as follows. If the image of the curve lies in the … WebMar 6, 2024 · Every line bundle L on an integral Noetherian scheme X is the class of some Cartier divisor. As a result, the exact sequence above identifies the Picard group of line bundles on an integral Noetherian scheme X with the group of Cartier divisors modulo linear equivalence.

WebAn isomorphism of vector bundles over Xis then a morphism of vector bundles over Xsuch that that there exists an inverse (left and right inverse at the same time). Definition 1.8. …

WebRecall that by DivXwe denote the group of divisors, and there is no ambiguity in this notion if Xis a smooth projective variety. Recall also that if Dis a divisor, then we can associate a line bundle to it, and this line bundle is denoted by O X(D). Theorem 1.2.1. Let Xbe a smooth projective surface. Then there is a unique pairing dooney and bourke iowa hawkeye purseWeb1. Invertible sheaves and Weil divisors 1 1. INVERTIBLE SHEAVES AND WEIL DIVISORS In the previous section, we saw a link between line bundles and codimension 1 infor-mation. We now continue this theme. The notion of Weil divisors will give a great way of understanding and classifying line bundles, at least on Noetherian normal schemes. dooney and bourke hydrangea bagWebA divisor Don Xis very ample if the map X!P(( O(D)))_is an embedding. Equivalently, Dis very ample if the line bundle O(D) is isomorphic to the restriction of the line bundle O(1) from PN to Xfor some embedding XˆPN. A divisor Dis ample, if mDis very ample for some m>0. Example 5. For X= Pn and a line bundle L’O(k) the following are equivalent: city of london highbury grove academyWebdivisor, Lfor line bundle. Xprojective. Recall that there are many ways of de ning ampleness for line bundle L: (1) some large power is very ample, (2) cohomological … dooney and bourke j serial numberdooney and bourke hobo bag lock handbagsWebabove, and deform the divisor to a linearly equivalent divisor, which does not contain the curve. A more sophisticatedapproach is as follows. If the image of the curve lies in the divisor, then instead of pulling the divisor back, pullback the associated line bundle and take the degree of that D · f C = degf∗O X(D). Definition 2.13. city of london highwayshttp://math.stanford.edu/~vakil/0708-216/216class2829.pdf dooney and bourke handbags yellow