Variedade alxébrica

En xeometría alxébrica, unha variedade alxébrica é esencialmente un conxunto de puntos (finito ou infinito) nos cales un polinomio (dunha ou máis variables) toma un valor cero, ou no cal un conxunto de tales polinomios toma un valor cero. As variedades alxébricas son un dos obxectos centrais de estudo da xeometría alxébrica clásica. As definicións xeneralizan este concepto de formas diferentes, mentres intentan preservar a idea xeométrica intuitiva tras da definición orixinal.Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9.

Dende un punto de vista histórico, o teorema fundamental da álxebra estableceu a relación entre a álxebra e a xeometría ao indicar que un polinomio dunha variable nos números complexos queda determinado polo seu conxunto de raíces, que é un obxecto xeométrico inherente. Construíndo sobre este resultado, o Nullstellensatz de Hilbert establece unha correspondencia fundamental entre os ideais dos aneis de polinomios e os subconxuntos do espazo afín. Utilizando o Nullstellensatz e os seus resultados asociados, é posible capturar a noción xeométrica dunha variedade en termos alxébricos como tamén facer que a xeometría entenda sobre temas da teoría de aneis.

 Definición 
Sexa  un corpo. Sexa  o anel de polinomios nas variables  e coeficientes no corpo . Sexa . Defínese a variedade afín determinada por  (denotada por ) como o conxunto:

É dicir, V(S) representa o conxunto de puntos do espazo afín  nos que se anulan todos os polinomios de .

 Variedades afíns 
Dado o corpo alxebricamente pechado  e un espazo afín  de dimensión  sobre  os polinomios do anel  son funcións con valores en  definidas sobre .

Tomada uma familia de polinomios  o conxunto dos puntos de  polos que as funcións de  son todas nulas:

chámase conxunto alxébrico afín. Se  non pode ser escrito como unión propia de dous conxuntos alxébricos semellantes, chámase variedade afín.

 Propiedades
 Sobre as variedades afíns é posible definir unha topoloxía natural definindo como conxuntos pechados todos os conxuntos alxébricos (topoloxía de Zariski).
 Dado   é o ideal formado por todas as funcións que se anulan sobre  

Defínese anel das coordenadas  de  o anel cociente . O grao de transcendencia do campo das fraccións de  sobre  chámase dimensión de . 
 Un conxunto alxébrico afín  é unha variedade se e só se  é un ideal primo, ou se e só se o anel das coordenadas de  é un dominio de integridade.Harris, Joe (1992). Algebraic Geometry - A first course. Springer-Verlag. ISBN 0-387-97716-3.
 Todo conxunto alxébrico afín pode ser escrito de maneira única como unión de variedades alxébricas.

 Variedade proxectiva 
É posible modificar lixeiramente a definición de variedade afín para estendela ao caso dun espazo proxectivo  sobre o corpo  neste caso considérase un conxunto  formado de polinomios homoxéneos (ou dos cales os monomios ten mesmo todos os graos). Coas mesmas notacións obtéñense entón as definicións do conxutno alxébrico proxectivo, variedade proxectiva, topoloxía de Zariski e anel das coordenadas dunha variedade.

 Isomorfismos de variedades alxébricas 
Un isomorfismo entre dúas variedades alxébricas  e  é un morfismo de variedade alxébrica que é tamén unha correspondencia biunívoca: 

 e  disen isomorfas e escríbese .

O isomorfismo entre variedades alxébricas é unha relación de equivalencia: toda a variedade alxébrica isomorfa entre elas pode considerarse como substancialmente equivalentes e agrúpanse nunha única clase de equivalencia chamada variedade alxébrica abstracta.

 Notas 

 Véxase tamén 
 Bibliografía 




Categoría:Xeometría