Algebrai sokaság — definíció, Nullstellensatz és alapfogalmak

Definíció és alapfogalmak

Algebrai halmaz: az affine n-dimenziós térnek (A^n) azon részhalmazát, amely egy vagy több polinom együtthatóinak egyidejű nullhelyei, algebrai halmaznak nevezzük. Ha egy algebrai halmaz nem írható két kisebb, Zariski-topológiában zárt halmaz uniójaként, akkor azt irreducibilis-nek, vagy sokszor egyszerűen algebrai változatnak (variety) hívjuk. Egyes szerzők következetesen megkövetelik, hogy a "változat" irreducibilis legyen; ha nem, akkor a nem irreducibilis objektumokat gyakran algebrai halmazoknak nevezik.

A Zariski-topológia: az affin tér részhalmazait úgy tesszük zárttá, hogy minden polinom egyenlet egy zárt halmazt ad meg; ezek uniói és metszetei alkotják a zárt halmazok rendszerét. A Zariski-topológia nagyon gyenge (sok kisebb környezet hiányzik), de természetes kapcsolatot teremt az algebrai és geometriai struktúrák között.

Nullstellensatz (Hilbert-féle nullstellensatz)

Hilbert Nullstellensatz-je az algebra és geometria közötti kapcsolatra ad kulcsfontosságú választ. Röviden, egy algebrailag zárt mező k fölött a következő alapvető megfelelések állnak fenn az affine térben k^n:

• Ha I egy ideal a polinomgyűrűben k[x1,...,xn], akkor V(I) = {p in k^n | f(p)=0 minden f∈I} az I által meghatározott algebrai halmaz.
• Megfordítva, egy algebrai halmaz X-hez hozzárendelhető az I(X) = {f ∈ k[x1,...,xn] | f(p)=0 minden p∈X} ideal. A Nullstellensatz egy alapvető változata kimondja, hogy I(V(I)) = rad(I) (az I radikálisa).
• Ennek következményeként a radikális ideálok és az algebrai halmazok között bijektív megfeleltetés alakul ki (megfelelő inklúziót fordítva), ami lehetővé teszi a geometriai kérdések algebrai kezelhetőségét.

A Nullstellensatz tehát azt mondja meg, hogyan lehet az algebrai halmazokat és a polinomgyűrűk ideáljait összekapcsolni; ez az összefüggés az algebrai geometria egyik alapköve.

Kapcsolat az algebra és a geometria között

Az 1800 körül bizonyított algebra alaptétele mutatja, hogy egy egyváltozós, komplex együtthatókkal rendelkező monikus polinomot algebrai objektumként a gyökerek halmaza (geometriai objektum) határoz meg. Ezt az alapötletet általánosítja a Nullstellensatz: egy többváltozós polinomgyűrű ideáljai geometriai objektumokhoz, algebrai halmazokhoz kapcsolódnak. Ennek az analógiának köszönhetően sok geometriai kérdést át lehet fordítani a gyűrűelmélet nyelvére, és fordítva: algebrai módszerekkel lehet tanulmányozni geometriai tulajdonságokat.

Így a matematikusok szoros megfelelést állapítottak meg az algebrai halmazokkal kapcsolatos kérdések és a gyűrűelmélet problémái között. Ez a kapcsolat az oka annak, hogy az algebrai geometria egyszerre tartalmaz mély algebrai és geometriai eszközöket, és különbözik a geometria többi részterületétől.

Alapfogalmak: koordinátagyűrű, irreducibilitás, simaság

Koordinátaring: Egy algebrai halmaz X koordinátaringje k[X] = k[x1,...,xn]/I(X). Ez a gyűrű tartalmazza az X-en értelmezett polinomfüggvényeket, és segítségével algebrai módon vizsgálhatók a geometriai tulajdonságok (például dimenzió, singularitások).

Irreducibilitás és prímideálok: Affin algebrai halmaz X irreducibilis akkor és csak akkor, ha az I(X) prímideal a k[x1,...,xn] gyűrűben. Ez a megfelelés az egyik legfontosabb pont, ahol a geometriai fogalom (irreducibilitás) közvetlenül lefordítható algebrai tulajdonságra (prímideál).

Singularitások és simaság: egy algebrai fajta lehetnek olyan pontjai, ahol a lokális viselkedés nem "sima" (nem differenciálható sokszor kezdeti értelemben), ezeket singularitásoknak nevezzük. A sima (nem szingularis) pontoknál a fajta lokálisan egy sokasághoz hasonlít (manifold-szerű viselkedés). A singularitások vizsgálata fontos részterület, mivel befolyásolják a fajta geometriáját és topológiáját.

Példák és általánosítások

Affin vs. projektív: Az affine változatokat az A^n-ben értelmezzük, a projektív változatok pedig homogén polinomok együttes gyökerét vizsgálják a projektív térben P^n; a projektív geometria különleges szerepet játszik a kompaktifikáció és a viselkedés vizsgálatában végtelenben.

Általános mezők és sémák: Bár a Nullstellensatz klasszikusan algebrailag zárt mezők fölött igaz, a modern algebrai geometria gyakran tetszőleges mezőket, illetve a sémák elméletét használja, ami még általánosabb keretet ad a konstrukcióknak és az összefüggéseknek.

Összegzés

Az algebrai sokaság (vagy algebrai fajta) olyan geometriai objektum, amelyet polinomok zérushelyei határoznak meg. A Hilbert-féle nullstellensatz és kapcsolódó tételrendszerek lehetővé teszik, hogy ezekről az objektumokról algebrai eszközökkel, ideálok és koordinátagyűrűk segítségével alkossunk pontos képet. Ez a kölcsönös megfeleltetés — az algebra és a geometria között — teszi az algebrai geometriát rendkívül gazdag és hatékony területté a modern matematikában.