Abrir o menú principal
A cúbica torta é unha variedade alxébrica proxectiva.

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.[1]

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ónEditar

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ínsEditar

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.

PropiedadesEditar

  • 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.[2]
  • Todo conxunto alxébrico afín pode ser escrito de maneira única como unión de variedades alxébricas.

Variedade proxectivaEditar

É 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ébricasEditar

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.

NotasEditar

  1. Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9.
  2. Harris, Joe (1992). Algebraic Geometry - A first course. Springer-Verlag. ISBN 0-387-97716-3.

Véxase taménEditar

BibliografíaEditar