Rozmaitość algebraiczna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Rozmaitość algebraiczna – zbiór punktów, których współrzędne spełniają pewien układ równań wielomianowych.

Historyczne znaczenie rozmaitości algebraicznych zaczęło być widoczne od czasu udowodnienia podstawowego twierdzenia algebry, które łączy w pewnym sensie algebrę i geometrię, gdyż mówi, że wielomian jednej zmiennej zespolonej jest wyznaczony jednoznacznie przez zbiór swoich pierwiastków - obiekt zasadniczo geometryczny. Rozszerzając to rozumowanie, twierdzenie Hilberta o zerach pokazuje fundamentalną odpowiedniość między ideałami w pierścieniach wielomianów, a podzbiorami przestrzeni afinicznej. Dzięki temu twierdzeniu i związanym z nim wynikom, możemy badać obiekty geometryczne, jakimi są rozmaitości algebraiczne, metodami algebry, w szczególności teorii pierścieni.

Definicja[edytuj kod]

Rozważane są cztery rodzaje rozmaitości algebraicznych: rozmaitości afiniczne, rozmaitości quasi-afiniczne, rozmaitości rzutowe i rozmaitości quasi-rzutowe. Istnieją także pewne uogólnienia tych pojęć, określane terminem abstrakcyjnych rozmaitości algebraicznych.

Rozmaitości afiniczne[edytuj kod]

 Zobacz też: zbiór algebraiczny.

Niech będzie ciałem algebraicznie domkniętym, zaś niech będzie n-wymiarową przestrzenią afiniczną nad . Wielomiany możemy uważać za funkcje na o wartościach w . Dla każdego zdefiniujmy miejsce zer jako podzbiór , w którym wszystkie wielomiany ze zbioru znikają:

będący podzbiorem nazywamy afinicznym zbiorem algebraicznym, jeśli dla pewnego . Niepusty afiniczny zbiór algebraiczny nazywamy nierozkładalnym, jeśli nie można go zapisać jako suma dwóch właściwych podzbiorów algebraicznych. Nierozkładalny afiniczny zbiór algebraiczny nazywamy afiniczną rozmaitością algebraiczną lub po prostu rozmaitością afiniczną.

Dla rozmaitości afinicznych możemy przyjąć naturalną topologię, tzw. topologię Zariskiego, poprzez określenie, że zbiorami domkniętymi są wszystkie zbiory algebraiczne.

Dla - podzbioru , niech będzie ideałem wszystkich wielomianów znikających na :

Dla dowolnego zbioru algebraicznego , pierścieniem współrzędnych lub pierścieniem struktury nazywamy iloraz pierścienia wielomianów przez ten ideał.

Rozmaitości rzutowe[edytuj kod]

Niech oznacza n-wymiarową przestrzeń rzutową nad ciałem . Wielomiany jednorodne w pierścieniu możemy rozważać jako funkcje na o wartościach w , poprzez waluację we współrzędnych jednorodnych. Jednorodność wielomianów gwarantuje, że konstrukcja ta jest poprawna. Dla dowolnego , miejsce zer zbioru definiujemy analogicznie, jak w przypadku afinicznym:

- podzbiór nazywamy rzutowym zbiorem algebraicznym jeśli dla pewnego . Nierozkładalny rzutowy zbiór algebraiczny nazywamy algebraiczną rozmaitością rzutową, lub krócej rozmaitością rzutową.

Tak samo, jak w przypadku afinicznym, możemy przyjąć w naturalny sposób topologię Zariskiego.

Dla , niech będzie ideałem generowanym przez wszystkie wielomiany jednorodne znikające na . Dla dowolnego rzutowego zbioru algebraicznego , pierścieniem współrzędnych tego zbioru nazywamy iloraz pierścienia wielomianów przez ten ideał.

Podstawowe własności[edytuj kod]

  • Afiniczny zbiór algebraiczny jest rozmaitością wtw jest ideałem pierwszym; równoważnie, jest rozmaitością wtw jej pierścień współrzędnych jest dziedziną całkowitości.
  • Każdy niepusty afiniczny zbiór algebraiczny można jednoznacznie przedstawić jako suma rozmaitości algebraicznych
  • Niech oznacza pierścień współrzędnych rozmaitości . Wtedy mówimy, że wymiar to stopień przestępności ciała ułamków pierścienia nad

Literatura[edytuj kod]

  • Robin Hartshorne (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9
  • David Cox; John Little, Don O'Shea (1997). Ideals, Varieties, and Algorithms, second edition, Springer-Verlag. ISBN 0-387-94680-2.
  • David Eisenbud (1999). Commutative Algebra with a View Toward Algebraic Geometry. Springer-Verlag. ISBN 0-387-94269-6.
  • David Dummit; Richard Foote (2003). Abstract Algebra, third edition, Wiley. ISBN 0-471-43334-9.

Zobacz też[edytuj kod]