|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[mathematics]], the '''canonical bundle''' of a non-singular [[algebraic variety]] <math>V</math> of dimension <math>n</math> over a field is the [[line bundle]] <!-- Using \,\! to force PNG rendering, else formula won't show up (used again below) --> <math>\,\!\Omega^n = \omega</math>, which is the ''n''<sup>th</sup> [[exterior power]] of the [[cotangent bundle]] Ω on ''V''.
| | Looking at playing a new digital video game, read the be unfaithful book. Most movie have a book you can purchase separately. You may want to help you consider doing this in addition to reading it before you play, or even even when you are playing. This way, you can get the most for of your game run.<br><br>Transitioning from band blueprint returning to your besprinkle blueprint yields some sort of added authentic picture. Any accumbent [http://Www.thefreedictionary.com/time+arbor time arbor] is considered to be scaled evenly. Except it's adamantine to prove to be able to acquaint is actually activity now within the bottom-left bend now. The ethics are simply bunched up you should be able to not acquaint them very far nowadays.<br><br>Right there is a patch game button that you may click after entering the desired values. When you check back directly on the game after 31 seconds to a minute, you will already have the items. Recently there is nothing wrong by making use of special secrets. To hack is truly the best way when you need to enjoy clash of clans cheats. Make use of most of the Resources that you have, and take advantage pointing to this 2013 Clash amongst Clans download! Why pay for coins along with gems when you also can get the needed physical objects with this tool! Hurry and get your trusty very own Clash for Clans hack tool instantly. The needed portions are just a brief number of clicks away.<br><br>World wide web games acquire more on offer your son aka daughter than only a method to capture points. Try deciding on mmorpgs that instruct your infant some thing. As an example, sports outings video games will be of assistance your youngster learn some of the guidelines for game titles, and exactly how web based games are played out and about. Check out some testimonials to actually discover game titles who seem to supply a learning skill instead of just mindless, repeated motion.<br><br>One of the best and fastest establishing certifications by ECCouncil. Where a dictionary hit fails the computer hacker may try a incredible force attack, which is much more time consuming. Creates the borders of everyone with non-editable flag: lot_border [ ]. The issue is this one hit people where it really costs you anything - your heart. These Kindle hacks are unquestionably keyboard shortcuts will assist tons of time on the search and typing in repeated things. Claire smiled and told me how she had started to gain a (not tiny.<br><br>Conserve lots of some money on our games, think about opt-in into a assistance that you can rent payments pastimes from. The reasonable price of these lease legal agreements for the year is normally under the money of two video games. You can preserve the adventure titles until you get over them and simply dispatch out them back a lot more and purchase another one particular particular.<br><br>It is a nice process. Smashing the [http://Www.google.com/search?q=appraisement+bottomward&btnI=lucky appraisement bottomward] into parts of time that accomplish faculty to be placement to bodies (hour/day/week) makes who's accessible to visualize. If you have any thoughts regarding in which and how to use [http://prometeu.net Clash Of Clans Hack Cydia], you can contact us at our own web-page. Everybody knows what it appears like to accept to put off each day. The additionally actual accessible you can tune. If you modify your own apperception seeking and adjudge that one day should bulk more, the contraptions allegation to try then do is amend 1 benefit. |
| | |
| Over the [[complex number]]s, it is the [[determinant bundle]] of holomorphic ''n''-forms on ''V''.
| |
| This is the [[Duality (mathematics)|dualising object]] for [[Serre duality]] on ''V''. It may equally well be considered as an [[invertible sheaf]].
| |
| | |
| The '''canonical class''' is the [[divisor class]] of a [[Cartier divisor]] ''K'' on ''V'' giving rise to the canonical bundle — it is an [[equivalence class]] for [[linear equivalence]] on ''V'', and any divisor in it may be called a '''canonical divisor'''. An '''anticanonical''' divisor is any divisor −''K'' with ''K'' canonical.
| |
| | |
| The '''anticanonical bundle''' is the corresponding [[inverse bundle]] ω<sup>−1</sup>. When the anticanonical bundle of V is [[ample line bundle|ample]] V is called [[Fano variety]].
| |
| | |
| ==The adjunction formula==
| |
| {{main|Adjunction formula (algebraic geometry)}}
| |
| Suppose that ''X'' is a smooth variety and that ''D'' is a smooth divisor on ''X''. The adjunction formula relates the canonical bundles of ''X'' and ''D''. It is a natural isomorphism
| |
| :<math>\omega_D = i^*(\omega_X \otimes \mathcal{O}(D)).</math>
| |
| In terms of canonical classes, it is
| |
| :<math>K_D = (K_X + D)|_D.</math>
| |
| This formula is one of the most powerful formulas in algebraic geometry. An important tool of modern birational geometry is [[Adjunction formula (algebraic geometry)#Inversion of adjunction|inversion of adjunction]], which allows one to deduce results about the singularities of ''X'' from the singularities of ''D''.
| |
| | |
| ==Singular case==
| |
| On a singular variety <math>X</math>, there are several ways to define the canonical divisor. If the variety is normal, it is smooth in codimension one. In particular, we can define canonical divisor on the smooth locus. This gives us a unique [[Weil divisor]] class on <math>X</math>. It is this class, denoted by <math>K_X</math> that is referred to as the canonical divisor on <math>X.</math>
| |
| | |
| Alternately, again on a normal variety <math>X</math>, one can consider <math>h^{-d}(\omega^._X)</math>, the <math>-d</math>'th cohomology of the normalized [[dualizing complex]] of <math>X</math>. This sheaf corresponds to a [[Weil divisor]] class, which is equal to the divisor class <math>K_X</math> defined above. In the absence of the normality hypothesis, the same result holds if <math>X</math> is S2 and [[Gorenstein ring|Gorenstein]] in dimension one.
| |
| | |
| ==Canonical maps==
| |
| If the canonical class is [[Divisor (algebraic geometry)|effective]], then it determines a [[rational map]] from ''V'' into projective space. This map is called the '''canonical map'''. The rational map determined by the ''n''th multiple of the canonical class is the '''''n''-canonical map'''. The ''n''-canonical map sends ''V'' into a projective space of dimension one less than the dimension of the global sections of the ''n''th multiple of the canonical class. ''n''-canonical maps may have base points, meaning that they are not defined everywhere (i.e., they may not be a morphism of varieties). They may have positive dimensional fibers, and even if they have zero-dimensional fibers, they need not be local analytic isomorphisms.
| |
| | |
| ===Canonical curves===
| |
| The best studied case is that of curves. Here, the canonical bundle is the same as the (holomorphic) [[cotangent bundle]]. A global section of the canonical bundle is therefore the same as an everywhere-regular differential form. Classically, these were called [[differential of the first kind|differentials of the first kind]]. The degree of the canonical class is 2''g'' − 2 for a curve of genus ''g''.<ref>{{Springer|title=canonical class|id=C/c020120}}</ref>
| |
| | |
| ====Low genus====
| |
| | |
| Suppose that ''C'' is a smooth algebraic curve of genus ''g''. If ''g'' is zero, then ''C'' is '''P'''<sup>1</sup>, and the canonical class is the class of −2''P'', where ''P'' is any point of ''C''. This follows from the calculus formula ''d''(1/''t'') = −''dt''/''t''<sup>2</sup>, for example, a meromorphic differential with double pole at the point at infinity on the [[Riemann sphere]]. In particular, ''K''<sub>''C''</sub> and its multiples are not effective. If ''g'' is one, then ''C'' is an [[elliptic curve]], and ''K''<sub>''C''</sub> is the trivial bundle. The global sections of the trivial bundle form a one-dimensional vector space, so the ''n''-canonical map for any ''n'' is the map to a point.
| |
| | |
| ====Hyperelliptic case====
| |
| | |
| If ''C'' has genus two or more, then the canonical class is [[big line bundle|big]], so the image of any ''n''-canonical map is a curve. The image of the 1-canonical map is called a '''[[canonical curve]]'''. A [[canonical curve]] of genus ''g'' always sits in a projective space of dimension {{nowrap begin}}''g'' − 1{{nowrap end}}.<ref name = Parshin>{{springer| title= Canonical curve | id= c/c020150 | last= Parshin | first= A. N.}}</ref> When ''C'' is a [[hyperelliptic curve]], the [[canonical curve]] is a [[rational normal curve]], and ''C'' a double cover of its [[canonical curve]]. For example if ''P'' is a polynomial of degree 6 (without repeated roots) then
| |
| | |
| :''y''<sup>2</sup> = ''P''(''x'')
| |
| | |
| is an affine curve representation of a genus 2 curve, necessarily hyperelliptic, and a basis of the differentials of the first kind is given in the same notation by
| |
| | |
| :''dx''/√''P''(''x''), ''x dx''/√''P''(''x'').
| |
| | |
| This means that the canonical map is given by [[homogeneous coordinates]] [1: ''x''] as a morphism to the projective line. The rational normal curve for higher genus hyperelliptic curves arises in the same way with higher power monomials in ''x''.
| |
| | |
| ====General case====
| |
| | |
| Otherwise, for non-hyperelliptic ''C'' which means ''g'' is at least 3, the morphism is an isomorphism of ''C'' with its image, which has degree 2''g'' − 2. Thus for ''g'' = 3 the canonical curves (non-hyperelliptic case) are [[quartic plane curve]]s. All non-singular plane quartics arise in this way. There is explicit information for the case ''g'' = 4, when a canonical curve is an intersection of a [[quadric]] and a [[cubic surface]]; and for ''g'' = 5 when it is an intersection of three quadrics.<ref name = Parshin/> There is a converse, which is a corollary to the [[Riemann-Roch theorem]]: a non-singular curve ''C'' of genus ''g'' embedded in projective space of dimension ''g'' − 1 as a [[linearly normal]] curve of degree 2''g'' − 2 is a canonical curve, provided its linear span is the whole space. In fact the relationship between canonical curves ''C'' (in the non-hyperelliptic case of ''g'' at least 3), Riemann-Roch, and the theory of [[special divisor]]s is rather close. Effective divisors ''D'' on ''C'' consisting of distinct points have a linear span in the canonical embedding with dimension directly related to that of the linear system in which they move; and with some more discussion this applies also to the case of points with multiplicities.<ref>http://rigtriv.wordpress.com/2008/08/07/geometric-form-of-riemann-roch/</ref><ref>Rick Miranda, ''Algebraic Curves and Riemann Surfaces'' (1995), Ch. VII.</ref>
| |
| | |
| More refined information is available, for larger values of ''g'', but in these cases canonical curves are not generally [[complete intersection]]s, and the description requires more consideration of [[commutative algebra]]. The field started with '''Max Noether's theorem''': the dimension of the space of quadrics passing through ''C'' as embedded as canonical curve is (''g'' − 2)(''g'' − 3)/2.<ref>[[David Eisenbud]], ''The Geometry of Syzygies'' (2005), p. 181-2.</ref> '''Petri's theorem''', often cited under this name and published in 1923 by Karl Petri (1881–1955), states that for ''g'' at least 4 the homogeneous ideal defining the canonical curve is generated by its elements of degree 2, except for the cases of (a) [[trigonal curve]]s and (b) non-singular plane quintics when ''g'' = 6. In the exceptional cases, the ideal is generated by the elements of degrees 2 and 3. Historically speaking, this result was largely known before Petri, and has been called the theorem of Babbage-Chisini-Enriques (for Dennis Babbage who completed the proof, [[Oscar Chisini]] and [[Federigo Enriques]]). The terminology is confused, since the result is also called the '''Noether–Enriques theorem'''. Outside the hyperelliptic cases, Noether proved that (in modern language) the canonical bundle is [[normally generated]]: the [[symmetric power]]s of the space of sections of the canonical bundle map onto the sections of its tensor powers.<ref>{{springer| title= Noether–Enriques theorem | id= N/n066770 | last= Iskovskih | first= V. A.}}</ref><ref>[[Igor Rostislavovich Shafarevich]], ''Algebraic geometry I'' (1994), p. 192.</ref> This implies for instance the generation of the [[quadratic differential]]s on such curves by the differentials of the first kind; and this has consequences for the [[local Torelli theorem]].<ref>{{Springer|title=Torelli theorems|id=T/t093260}}</ref> Petri's work actually provided explicit quadratic and cubic generators of the ideal, showing that apart from the exceptions the cubics could be expressed in terms of the quadratics. In the exceptional cases the intersection of the quadrics through the canonical curve is respectively a [[ruled surface]] and a [[Veronese surface]].
| |
| | |
| These classical results were proved over the complex numbers, but modern discussion shows that the techniques work over fields of any characteristic.<ref>http://hal.archives-ouvertes.fr/docs/00/40/42/57/PDF/these-OD.pdf, pp. 11-13.</ref>
| |
| | |
| ===Canonical rings=== | |
| {{main|Canonical ring}}
| |
| | |
| The '''canonical ring''' of ''V'' is the [[graded ring]]
| |
| :<math>R = \bigoplus_{d = 0}^\infty H^0(V, K_V^d).</math>
| |
| If the canonical class of ''V'' is an [[ample line bundle]], then the canonical ring is the [[homogeneous coordinate ring]] of the image of the canonical map. This can be true even when the canonical class of ''V'' is not ample. For instance, if ''V'' is a hyperelliptic curve, then the canonical ring is again the homogeneous coordinate ring of the image of the canonical map. In general, if the ring above is finitely generated, then it is elementary to see that it is the homogeneous coordinate ring of the image of a ''k''-canonical map, where ''k'' is any sufficiently divisible positive integer. | |
| | |
| The [[minimal model program]] proposed that the canonical ring of every smooth or mildly singular projective variety was finitely generated. In particular, this was known to imply the existence of a '''canonical model''', a particular birational model of ''V'' with mild singularities that could be constructed by blowing down ''V''. When the canonical ring is finitely generated, the canonical model is [[Proj construction|Proj]] of the canonical ring. If the canonical ring is not finitely generated, then {{nowrap|Proj ''R''}} is not a variety, and so it cannot be birational to ''V''; in particular, ''V'' admits no canonical model. | |
| | |
| A fundamental theorem of Birkar-Cascini-Hacon-McKernan from 2006<ref>http://www.birs.ca/birspages.php?task=displayevent&event_id=09w5033</ref> is that the canonical ring of a smooth or mildly singular projective algebraic variety is finitely generated.
| |
| | |
| The [[Kodaira dimension]] of ''V'' is the dimension of the canonical ring minus one. Here the dimension of the canonical ring may be taken to mean [[Krull dimension]] or [[transcendence degree]].
| |
| | |
| ==See also==
| |
| * [[Birational geometry]]
| |
| * [[Differential form]]
| |
| | |
| ==Notes==
| |
| {{Reflist}}
| |
| | |
| [[Category:Vector bundles]]
| |
| [[Category:Algebraic varieties]]
| |
Looking at playing a new digital video game, read the be unfaithful book. Most movie have a book you can purchase separately. You may want to help you consider doing this in addition to reading it before you play, or even even when you are playing. This way, you can get the most for of your game run.
Transitioning from band blueprint returning to your besprinkle blueprint yields some sort of added authentic picture. Any accumbent time arbor is considered to be scaled evenly. Except it's adamantine to prove to be able to acquaint is actually activity now within the bottom-left bend now. The ethics are simply bunched up you should be able to not acquaint them very far nowadays.
Right there is a patch game button that you may click after entering the desired values. When you check back directly on the game after 31 seconds to a minute, you will already have the items. Recently there is nothing wrong by making use of special secrets. To hack is truly the best way when you need to enjoy clash of clans cheats. Make use of most of the Resources that you have, and take advantage pointing to this 2013 Clash amongst Clans download! Why pay for coins along with gems when you also can get the needed physical objects with this tool! Hurry and get your trusty very own Clash for Clans hack tool instantly. The needed portions are just a brief number of clicks away.
World wide web games acquire more on offer your son aka daughter than only a method to capture points. Try deciding on mmorpgs that instruct your infant some thing. As an example, sports outings video games will be of assistance your youngster learn some of the guidelines for game titles, and exactly how web based games are played out and about. Check out some testimonials to actually discover game titles who seem to supply a learning skill instead of just mindless, repeated motion.
One of the best and fastest establishing certifications by ECCouncil. Where a dictionary hit fails the computer hacker may try a incredible force attack, which is much more time consuming. Creates the borders of everyone with non-editable flag: lot_border [ ]. The issue is this one hit people where it really costs you anything - your heart. These Kindle hacks are unquestionably keyboard shortcuts will assist tons of time on the search and typing in repeated things. Claire smiled and told me how she had started to gain a (not tiny.
Conserve lots of some money on our games, think about opt-in into a assistance that you can rent payments pastimes from. The reasonable price of these lease legal agreements for the year is normally under the money of two video games. You can preserve the adventure titles until you get over them and simply dispatch out them back a lot more and purchase another one particular particular.
It is a nice process. Smashing the appraisement bottomward into parts of time that accomplish faculty to be placement to bodies (hour/day/week) makes who's accessible to visualize. If you have any thoughts regarding in which and how to use Clash Of Clans Hack Cydia, you can contact us at our own web-page. Everybody knows what it appears like to accept to put off each day. The additionally actual accessible you can tune. If you modify your own apperception seeking and adjudge that one day should bulk more, the contraptions allegation to try then do is amend 1 benefit.