Geometrie algebrică

Geometria algebrică este o ramură a matematicii, care, așa cum numele o sugerează, combină algebra, în special algebra comutativă cu geometria. Geometria algebrică poate fi înțeleasă ca studiul unui grup de soluții al sistemelor de ecuații algebrice. Atunci când există mai mult de o variabilă, considerente de natură geometrică intră "în joc", înțelegerea fenomenului fiind importantă. S-ar putea spune că subiectul abia începe acolo unde rezolvarea ecuațiilor se termină. De asemenea, se poate argumenta că este la fel de importantă găsirea ansamblului tuturor soluțiilor posibile ale unui sistem de ecuații ca și găsirea unei singure soluții. Oricum, aceste considerente conduc la interpretări subtile și de natură filozofică a matematicii, atât conceptual cât și tehnic.

Parabola (y = x², în roșu) și cubica (y = x³, în albastru) într-o proiecție spațială bine sugerată, dar bidimensional.

Zero-urile polinoamelor simultane

În geometria algebrică clasică, obiectul esențial al interesului îl reprezintă grupul tuturor punctelor care satisfac simultan una sau mai multe ecuații polinomiale. Spre exemplificare, sfera tridimensională în spațiul euclidian tridimensional $\mathbb {R} ^{3}$ poate fi definită ca mulțimea tuturor punctelor $(x,y,z)$ care satisfac ecuația:

$x^{2}+y^{2}+z^{2}-1=0.\,$

Astfel, un cerc "înclinat" în $\mathbb {R} ^{3}$ poate fi definit ca mulțimea tuturor punctelor $(x,y,z)$ care satisfac simultan următoarele două ecuații polinomiale:

$x^{2}+y^{2}+z^{2}-1=0,\,$

$x+y+z=0.\,$

Varietăți afine

Spațiul afin peste un corp $k\,$ este produsul cartezian $k^{n}\,$, unde $n\in \mathbb {N} \,$ denotă dimensiunea spațiului. Punctele lui $k^{n}\,$ pot fi exprimate in coordonate $(x_{1},...,x_{n})\,$.

O varietate afină^⁠(d) este o submulțime a lui $k^{n}\,$, ale cărei puncte sunt zerourile simultane ale unei colecții de polinoame în $n\,$ variabile. Mai exact, dacă $\{f_{\alpha }(x_{1},...,x_{n})\}\,$ este o colecție de polinoame, atunci o varietate afină este

$V=\{(x_{1},...,x_{n})|f_{\alpha }(x_{1},...,x_{n})=0,\forall \alpha \}$.

Dacă punctele unei varietăți $V\,$ sunt zerourile unei colecții de polinoame $\{f_{\alpha }(x_{1},...,x_{n})\}\,$, atunci ele sunt zerourile oricărui polinom din idealul general de polinoamele $\{f_{\alpha }(x_{1},...,x_{n})\}\,$. Acest ideal se notează cu $I(V)\,$ și se numește idealul varietății $V\,$.

Reciproc, pornind de la un ideal de polinoame $I\,$, varietatea punctelor care satisfac simultan toate polinoamele din $V\,$ se notează cu $V(I)\,$. Relația dintre ideale și varietăți este completată de teorema zerourilor a lui Hilbert^⁠(d) (germană: Nullstellensatz), care afirmă că pentru un ideal de polinoame $J\,$,

$I(V(J))={\sqrt {J}}$,

unde cu ${\sqrt {J}}\,$ este notat radicalul lui $J\,$. De asemenea, pentru orice varietate $W\,$ are loc relația

$V(I(W))=W.\,$

Varietățile afine sunt chiar mulțimile închise din topologia Zariski^⁠(d).

Funcții regulate

O funcție regulată pe o varietate algebrică $V\subset k^{n}\,$ este restricția la $V\,$ a unei funcții polinomiale pe $k^{n}\,$ (adică a unui polinom in $n\,$ variabile cu coeficienți în $k\,$). Prin definiție, polinoamele din idealul $I(V)\,$ se anulează pe întregul $V\,$. De aceea, este mai firesc ca funcțiile regulate pe $V\,$ să fie privite modulo $I(V)\,$.

Astfel, funcțiile regulate pe $V\,$ formează un inel, a cărui definiție formală este

$k[V]:=k[x_{1},...,x_{n}]/I(V).\,$

De exemplu, dacă $V=k^{n}\,$, atunci $I(V)=(0)\,$ și astfel $k[V]=k[x_{1},...,x_{n}]\,$.

Dacă $V\,$ este un singur punct $(a_{1},...,a_{n})\,$, atunci $I(V)=(x_{1}-a_{1},...,x_{n}-a_{n})\,$ și atunci $k[V]\cong k$.

Vezi și

• Geometrie analitică

Bibliografie

A classical textbook, predating schemes:

• W. V. D. Hodge; Daniel Pedoe (1994). Methods of Algebraic Geometry: Volume 1. Cambridge University Press. ISBN 0-521-46900-7. 
• W. V. D. Hodge; Daniel Pedoe (1994). Methods of Algebraic Geometry: Volume 2. Cambridge University Press. ISBN 0-521-46901-5. 
• W. V. D. Hodge; Daniel Pedoe (1994). Methods of Algebraic Geometry: Volume 3. Cambridge University Press. ISBN 0-521-46775-6. 

Modern textbooks that do not use the language of schemes:

• Cox, David; Little, John; O'Shea, Don (1997). Ideals, Varieties, and Algorithms (ed. second edition). Springer-Verlag. ISBN 0-387-94680-2. Mentenanță CS1: Text în plus (link)
• Phillip Griffiths; Joe Harris (1994). Principles of Algebraic Geometry. Wiley-Interscience. ISBN 0-471-05059-8. 
• Joe Harris (1995). Algebraic Geometry: A First Course. Springer-Verlag. ISBN 0-387-97716-3. 
• David Mumford (1995). Algebraic Geometry I: Complex Projective Varieties (ed. 2nd ed.). Springer-Verlag. ISBN 3-540-58657-1. Mentenanță CS1: Text în plus (link)
• Miles Reid (1988). Undergraduate Algebraic Geometry. Cambridge University Press. ISBN 0-521-35662-8. 
• Igor Shafarevich (1995). Basic Algebraic Geometry I: Varieties in Projective Space (ed. 2nd ed.). Springer-Verlag. ISBN 0-387-54812-2. Mentenanță CS1: Text în plus (link)

Textbooks and references for schemes:

• David Eisenbud; Joe Harris (1998). The Geometry of Schemes. Springer-Verlag. ISBN 0-387-98637-5. 
• Alexander Grothendieck (1960). Éléments de géométrie algébrique. Publications mathématiques de l'IHÉS. 
• Alexander Grothendieck (1971). Éléments de géométrie algébrique. 1 (ed. 2nd ed.). Springer-Verlag. ISBN 3-540-05113-9. Mentenanță CS1: Text în plus (link)
• Robin Hartshorne (1997). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9. 
• David Mumford (1999). The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians (ed. 2nd ed.). Springer-Verlag. ISBN 3-540-63293-X. Mentenanță CS1: Text în plus (link)
• Igor Shafarevich (1995). Basic Algebraic Geometry II: Schemes and Complex Manifolds. Springer-Verlag. ISBN 0-387-54812-2. 

Legături externe

• Kevin R. Coombes: Algebraic Geometry: A Total Hypertext Online System Arhivat în 10 februarie 2008, la Wayback Machine.
• Algebraic geometry Arhivat în 15 aprilie 2004, la Wayback Machine. entry on PlanetMath
• Algebraic Equations and Systems of Algebraic Equations at EqWorld: The World of Mathematical Equations