Vizualizare sursă pentru „Formulă Plücker”

În [[matematică]] o '''formulă Plücker''', numită după [[Julius Plücker]], face parte dintr-o familie de formule de un anumit tip, dezvoltat pentru prima dată de Plücker în anii 1830, formule care sunt relații între anumiți invarianți numerici ai {{ill-wd| Q266237|curbă algebrică|curbelor algebrice}} și invarianții corespunzători ai {{ill-wd| Q641661|curbă duală|curbelor lor duale}}. Invariantul numit ''[[gen (matematică)|gen]]'', același atât la curbă cât și la [[dualitate (matematică) |duala]] ei, este legat de ceilalți invarianți prin formule similare. Aceste formule, precum și faptul că fiecare dintre invarianți trebuie să fie un întreg pozitiv, impun limitări destul de stricte asupra posibilelor lor valori.

== Invarianții Plücker și ecuațiile fundamentale ==
În acest context, o curbă este definită de o ecuație algebrică nedegenerată în [[planul proiectiv complex]]. Liniile din acest plan corespund punctelor din {{ill-wd| Q735346|dualitate (geometrie proiectivă)|planul proiectiv dual}}, iar [[dreaptă |dreptele]] [[tangentă (geometrie) |tangente]] la o curbă algebrică dată ''C'' corespund punctelor dintr-o curbă algebrică ''C''<sup>*</sup> numită {{ill-wd| Q641661|curbă duală|curba duală}}. În corespondența din planul proiectiv dintre curbă și duala sa, punctele de pe ''C'' corespund dreptelor tangente la ''C''<sup>*</sup>, astfel încât duala lui ''C''<sup>*</sup> este ''C''.

Primii doi invarianți tratați de formulele Plücker sunt gradul ''d'' al curbei ''C'' și gradul dualei, ''d''<sup>*</sup>, numit „clasa” lui ''C''. Din punct de vedere geometric, ''d'' este de câte ori o dreaptă dată intersectează ''C'' cu [[multiplicitate |multiplicitățile]] numărate corect. (Acest lucru cuprinde și puncte complexe și [[punct de la infinit |puncte de la infinit]], deoarece curbele sunt considerate submulțimi ale planului proiectiv complex.) Similar, ''d''<sup>*</sup> este numărul de tangente la ''C'' care sunt drepte care trec printr-un punct dat din plan. Deci, de exemplu, o [[conică]] și duala sa au, ambele, gradul și clasa 2. Dacă ''C'' nu are [[punct singular al unei varietăți algebrice |singularități]], prima ecuație Plücker afirmă că
:<math>d^* = d(d-1)\,</math>
dar asta trebuie corectat pentru curbele singulare.

Dintre [[punct singular al unei curbe#Puncte_duble |punctele duble]] ale lui ''C'', fie δ numărul celor ordinare, adică care au tangente distincte (acestea se mai numesc și ''[[nod (matematică) |noduri]]'') sau sunt [[punct izolat al unei curbe |izolate]], și fie κ numărul celor care sunt [[punct de întoarcere|puncte de întoarcere]]. Dacă ''C'' are singularități de ordin superior, atunci acestea sunt socotite ca puncte duble multiple conform unei analize a naturii singularității. De exemplu, un punct triplu obișnuit este numărat ca 3 puncte duble. Din nou, punctele complexe și punctele de la infinit sunt incluse în aceste numărări. Forma corectată a primei ecuații Plücker este
:<math>d^* = d(d-1)-2\delta-3\kappa.\,</math>

Similar, fie δ<sup>*</sup> numărul de puncte duble ordinare și κ<sup>*</sup> numărul de puncte de întoarcere ale lui ''C''<sup>*</sup>. Atunci a doua ecuație Plücker afirmă că
:<math>\kappa^* = 3d(d-2)-6\delta-8\kappa.\,</math>
Interpretarea geometrică a unui punct dublu ordinar al lui ''C''<sup>*</sup> este o dreaptă care este tangentă la curbă în două puncte ([[bitangentă]]), iar interpretarea geometrică a unui punct de întoarcere al lui ''C''<sup>*</sup> este un [[punct de inflexiune]] (tangentă staționară).

De exemplu, în cazul unei cubice netede:
:<math> d=3,\ \delta=\kappa=0 </math>
formula de mai sus spune că are
:<math>\kappa^* = 9\,</math>
puncte de inflexiune. Dacă cubica degenerează și se obține un punct dublu, atunci 6 puncte converg către punctul singular și de-a lungul curbei singulare rămân doar 3 inflexiuni. Dacă cubica degenerează și se obține un punct de întoarcere, atunci rămâne o singură inflexiune.

Primele două ecuații Plücker au versiunile duale:
:<math>d = d^*(d^*-1)-2\delta^*-3\kappa^*,\,</math>
:<math>\kappa = 3d^*(d^*-2)-6\delta^*-8\kappa^*.\,</math>

Cele patru ecuații de până acum sunt de fapt dependente, astfel încât oricare trei pot fi folosite pentru a obține pe cea rămasă. Din ele, având în vedere oricare trei dintre cei șase invarianți, ''d'', ''d''<sup>*</sup>, δ, δ<sup>*</sup> și κ, κ<sup>*</sup>, restul de trei pot fi calculați.

În final, [[gen geometric |genul]] lui ''C'' poate fi definit drept
:<math>g={1\over 2}(d-1)(d-2)-\delta-\kappa.</math>
Acesta este egal cu valoarea pentru duală
:<math>g={1\over 2}(d^*-1)(d^*-2)-\delta^*-\kappa^*</math>
și este un [[număr întreg]] pozitiv.

În total, există patru ecuații independente cu 7 necunoscute și în ele oricare trei dintre acești invarianți pot fi utilizați pentru a calcula restul de patru.

== Curbe nesingulare ==
Un caz particular important este atunci când curba ''C'' este nesingulară sau, echivalent, δ și κ sunt 0, astfel încât invarianții rămași pot fi calculați numai în funcție de ''d''. În acest caz, rezultatele sunt:
:<math>d^* = d(d-1)\,</math>
:<math>\delta^*={1\over 2}d(d-2)(d-3)(d+3)</math>
:<math>\kappa^* = 3d(d-2)\,</math>
:<math>g={1\over 2}(d-1)(d-2).</math>
Deci, de exemplu, o [[cuartică plană]] nesingulară este de genul 3 și are 28 de bitangente și 24 de puncte de inflexiune.

== Tipul curbelor ==
Curbele sunt clasificate în tipuri în funcție de invarianții lor Plücker. Ecuațiile Plücker împreună cu restricția conform căreia invarianții Plücker trebuie să fie toți numere naturale limitează foarte mult numărul de tipuri posibile pentru curbele de un anumit grad. Curbele care sunt echivalente proiectiv au același tip, deși curbele de același tip nu sunt, în general, echivalente proiectiv. Curbele de gradul al 2-lea, conicele, sunt de un singur tip, dat de
{{nowrap|1=''d'' = ''d''<sup>*</sup> = 2,}} {{nowrap|1=δ = δ<sup>*</sup> = κ = κ<sup>*</sup> = ''g'' = 0.}}

La curbele de gradul al 3-lea există trei tipuri posibile, date de:<ref>Hilton, p. 201</ref>
{| class="wikitable"
|-
! Tip !! ''d'' !! ''d''<sup>*</sup> !! δ !! δ<sup>*</sup> !! κ !! κ<sup>*</sup> !! ''g''
|-
| (I) || 3 || 6 || 0 || 0 || 0 || 9 || 1 
|-
| (II) || 3 || 4 || 1 || 0 || 0 || 3 || 0 
|-
| (III) || 3 || 3 || 0 || 0 || 1 || 1 || 0
|}

Curbele de tipurile (II) și (III) sunt cubice raționale și sunt numite ''nodale''<ref name=AP><!-- Acad. -->[[Alexandru Pantazi]], [https://bcub.ro/lib2life/Elemente%20de%20geometrie_Pantazi%20Alexandru_Bucuresti_1942.pdf ''Elemente de geometrie diferențială proiectivă a curbelor și suprafețelor''], București: Monitorul Oficial și Imprimeriile Statului, 1942, p. 39, accesat 2023-07-24</ref> și, respectiv, ''cuspidale''<ref name=BO><!-- Conf.dr. -->Béla Orbán, [https://www.cs.ubbcluj.ro/~studia-m/old_issues/subbmath_1964_09_01.pdf ''Aplicațiile curbelor polare generalizate''] în ''Studia Universitatis Babeș-Bolyai'', Series Mathematica-Physica, Fasciculus 1, 1964, Cluj, p. 32, accesat 2023-07-24</ref>. Curbele de tip (I) sunt cubice nesingulare ([[curbe eliptice]]).

La curbele de gradul 4 există 10 tipuri posibile, date de:<ref>Hilton, p. 264</ref>
{| class="wikitable"
|-
! Tip !! ''d'' !! ''d''<sup>*</sup> !! δ !! δ<sup>*</sup> !! κ !! κ<sup>*</sup> !! ''g''
|-
| (I) || 4 || 12 || 0 || 28 || 0 || 24 || 3 
|-
| (II) || 4 || 10 || 1 || 16 || 0 || 18 || 2 
|-
| (III) || 4 || 9 || 0 || 10 || 1 || 16 || 2
|-
| (IV) || 4 || 8 || 2 || 8 || 0 || 12 || 1
|-
| (V) || 4 || 7 || 1 || 4 || 1 || 10 || 1
|-
| (VI) || 4 || 6 || 0 || 1 || 2 || 8 || 1
|-
| (VII) || 4 || 6 || 3 || 4 || 0 || 6 || 0
|-
| (VIII) || 4 || 5 || 2 || 2 || 1 || 4 || 0 
|-
| (IX) || 4 || 4 || 1 || 1 || 2 || 2 || 0 
|-
| (X) || 4 || 3 || 0 || 1 || 3 || 0 || 0 
|}

== Note ==
<references />

== Bibliografie ==
* {{en icon}} {{cite book |title=Plane Algebraic Curves|first=Harold|last=Hilton|publisher=Oxford|year=1920|page=[https://archive.org/details/cu31924001544216/page/n220 201]
|url=https://archive.org/details/cu31924001544216}}
* {{en icon}} {{springer
 | title=Plücker formulas
 | id=P/p072900
 | last=Shokurov
 | first=V. V.
}}
* {{en icon}} Salmon, George (1879) [https://archive.org/details/treatiseonhigher00salmuoft ''A Treatise on the Higher Plane Curves''] pp.&nbsp;64ff.
{{Portal|Matematică}}

[[Categorie:Curbe algebrice]]