Gradul unei varietăți algebrice

Format:Note de subsol2 În matematică gradul unei Format:Ill-wd sau varietăți proiective de dimensiunea Format:Mvar este numărul punctelor de intersecție ale varietății cu Format:Mvar hiperplane aflate în poziția generală.Format:Efn Pentru o Format:Ill-wd, punctele de intersecție trebuie numărate cu multiplicitatea intersecțiilor, datorită posibilității de existență a intersecțiilor multiple. Pentru varietăți (ireductibile), dacă se iau în considerare multiplicitățile și, în cazul afin, punctele de la infinit, ipoteza poziției generale poate fi înlocuită de condiția mult mai slabă că intersecția varietății are dimensiunea zero (adică constă dintr-un număr finit de puncte). Aceasta este o generalizare a teoremei lui BézoutFormat:Efn.

Gradul nu este o proprietate intrinsecă a varietății deoarece depinde de o încorporare specifică a ei într-un spațiu afin sau Format:Ill-wd.

Gradul unei hipersuprafețe este egal cu gradul total al ecuației sale definitorii. O generalizare a teoremei lui Bézout afirmă că, dacă o intersecție a hipersuprafețelor proiective Format:Math are codimensiunea Format:Math, atunci gradul intersecției este produsul gradelor hipersuprafețelor.

Gradul unei varietăți proiective este evaluarea la Format:Math a numărătorului Format:Ill-wd ale inelului coordonatelor. Rezultă că, având în vedere ecuațiile varietății, gradul poate fi calculat dintr-o Format:Ill-wd a idealelor acestor ecuații.

Definiție

Pentru o varietate V încorporată în a spațiul proiectiv Pⁿ și definită peste un corp algebric închis K, gradul d al V este numărul punctelor de intersecție ale V, definită peste K, cu un Format:Ill-wd L în poziția generală, astfel încât

$\dim (V)+\dim (L)=n.$

Aici dim(V) este dimensiunea lui V, iar codimensiunea lui L va fi egală cu această dimensiune. Gradul d este o cantitate extrinsecă, nu una intrinsecă, ca cea a lui V. De exemplu, o dreaptă proiectivă are o încorporare de gradul n (esențial unică) în Pⁿ.

Proprietăți

Gradul unei hipersuprafețe F = 0 este același cu gradul total al polinomului omogen F care îl definește (în cazul în care F are factori repetați, în cadrul teoriei intersecției numărarea intersecțiilor de face ținând cont de multiplicitate, ca în teorema lui Bézout).

Alte abordări

Pentru o abordare mai sofisticată, Format:Ill-wd care definește încorporarea V poate fi legat de Format:Ill-wd sau fasciculul inversabil care definește încorporarea prin spațiul său de secțiuni. Format:Ill-wd al Pⁿ revine la V. Gradul determină prima Format:Ill-wd. Gradul poate fi calculat și în inelul coomologiilor lui Pⁿ, sau Format:Ill-wd, cu clasa unui hiperplan intersectând clasa lui V de un număr adecvat de ori.

Extinderea teoremei lui Bézout

Gradul poate fi folosit pentru a generaliza teorema lui Bézout într-un mod așteptat la intersecțiile hipersuprafețelor n în Pⁿ.