Geometria algebraica: diferència entre les revisions

Contingut suprimit Contingut afegit
Cap resum de modificació
Cap resum de modificació
Línia 19:
 
Gran part del desenvolupament del principal corrent de la geometria algebraica en el segle XX es va donar en el marc de l'àlgebra abstracta, amb un èmfasi creixentment centrat en les propietats "intrínseques" de les varietats algebraiques independentment de cap forma particular d'''[[embedding]]'' de la varietat en les coordenades de l'espai ambient; sempre en paral·lel als desenvolupaments de la [[topologia]], de la [[geometria diferencial]] i [[geometria complexa|complexa]]. Una fita clau d'aquesta geometria algebraica abstracta és la [[Esquema (matemàtiques)|teoria d'esquemes]] de [[Alexander Grothendieck|Grothendieck]] que va permetre usar la [[feix (matemàtiques)|teoria de feixos]] en l'estudi de varietats algebraiques de forma molt similar al seu ús en l'estudi de [[Varietat diferenciable|varietats diferenciables]] i analítiques. Aquest resultat s'obté estenent la noció d'un punt: en geometria algebraica clàssica, es pot identificar un punt d'una varietat afí, a través del [[teorema dels zeros de Hilbert]], amb un [[ideal maximal]] de l'anell de coordenades, mentre que els punts de l'esquema afí corresponent són tots ideals primers de l'anell. Això significa que un punt d'aquest esquema pot ser o bé un punt usual o una subvarietat. Aquest plantejament també permet una unificació del llenguatge i de les eines de la geometria algebraica clàssica, principalment centrats en punts complexos i en la teoria de nombres algebraics. La demostració de Wiles del llargament no resolt [[darrer teorema de Fermat]] és un exemple del potencial d'aquest plantejament.
 
 
== Nocions bàsiques ==
{{AP|Varietat algebraica}}
 
=== Zeros de polinomis simultanis of simultaneous polynomials ===
[[Fitxer:Slanted circle.png|miniatura|right|Esfera i cercle inclinat]]
En la geomteria algebraica clàssica, el principals objectes d'interès són els conjunts de col·leccions en què [[polinomi]]s desparaixen, en el sentit de tots aquells punts que satisfant simultàniament una o més equacions polinòmiques. Per exemple, l'[[esfera]] de [[n-esfera|dues dimensions]] de radi 1 en l'[[espai euclidià]] <math>\mathbb{R}^3</math> pot ser definit com el conjunt de tots els punts (''x'',''y'',''z'') tals que
 
:<math>x^2+y^2+z^2-1=0.\,</math>
 
Es pot definir un cercle "inclinat" en <math>\mathbb{R}^3</math> com el conjunt de punts (''x'',''y'',''z'') que satisfan les equacions de dos polinomis
 
:<math>x^2+y^2+z^2-1=0,\,</math>
:<math>x+y+z=0.\,</math>
 
{{Commonscat}}