Matematiikassa algebralliset lajikkeet (tai lyhyesti lajikkeet) ovat algebrallisen geometrian peruskohteita: ne ovat geometristä kuvausta polynomiyhtälöiden ratkaisujoukoista ja niihin liittyvistä rakenteista. Alkeismääritelmä katsoo lajikkeen polynomiyhtälösysteemin nollajoukoksi joko reaalilukujen tai kompleksilukujen alueella, mutta nykyaikainen teoria yleistää tämän käsitteen ja muotoilee sen renkaita ja topologioita käyttäen säilyttäen samalla geometrisen intuition.

Määritelmä

Yksinkertaistettuna affiini algebrallinen lajike määritellään seuraavasti: valitse peruskenttä k (usein algebraisesti suljettu, kuten C) ja polynomit f1, ..., fm ∈ k[x1,…,xn]. Niiden nollajoukko

V = { a ∈ k^n | f1(a)=...=fm(a)=0 }

on affiini-algebrallinen joukko. Lajikkeeksi tavallisesti vaaditaan lisäehtoja kuten irreduktiivisuus (ei voi kirjoittaa kahden pienemmän Zariskin-suljetun joukon unionina). Joidenkin kirjoittajien käyttämässä termistössä sanaa algebrallinen joukko käytetään yleisemmin, ja lajike varataan irreduusoituville tapauksille.

Perusominaisuudet ja topologia

Lajikkeilla käytetään Zariskin-topologiaa, jossa polynomien nollajoukot muodostavat suljettuja joukkoja. Tästä seuraa, että monet topologiset käsitteet (kuten irreduksiivisuus) voidaan ilmaista algebraisesti. Lajike voi erota differentiable- tai kompleksi-moninaisuudesta siten, että lajikkeessa voi olla singulaarisia pisteitä, joita moninaisuudella ei ole.

Koordinaattirengas ja Nullstellensatz

Algebrallisen geometrian perusajatus on dualiteetti geometristen joukkojen ja polynomirengasrakenteiden välillä. Affiinin lajikkeen V koordinaattirengas määritellään

k[V] = k[x1,…,xn]/I(V)

missä I(V) on V:n pisteet nollaavat polynomit. Hilbertin Nullstellensatz (Nullstellensatz) tarjoaa keskeisen yhteyden ideaaleihin ja nollajoukkoihin, ja sen avulla voidaan lukea geometrista tietoa ringin ideaalien ominaisuuksista. Nullstellensatzin seurauksena irreduusoituvuus vastaa ideaalin primaarisuutta tai tarkemmin sitä, että I(V) on pääidealitapauksessa primaari/priimi (riippuen käytetystä terminologiasta ja kentästä).

Nullstellensatzin kautta seuraa mm. se, että affiinisen lajikkeen funktioiden rakenne (k[V]) määrää paljon lajikkeen geometriasta, ja morphismit lajikkeiden välillä vastaavat ringihomomorfismeja päinvastaissuuntaan.

Morfismit ja funktorinen näkökulma

Morfismi algebrallisten lajikkeiden välillä on säännöllinen kartta, joka paikallisesti voidaan esittää polynomifunktioina. Affiinisten lajikkeiden tapauksessa morphismit V → W vastaavat k-algebramorfismeja koordinaattirenkaista k[W] → k[V] päinvastaiseen suuntaan. Tämä dualisuus tekee algebrallisesta geometriasta hyvin algebraisesti hallittavan ja mahdollistaa kategorisen lähestymistavan (esim. Spec-konstruktio yleisempiin renkaisiin).

Dimensio ja singulaarisuudet

Lajikkeen dimensio määritellään Krullin dimensioina koordinaattirenkaassa tai Zariskin-topologisena pituutena eli ketjun pituutena suljettujen irreduusoivien osajoukkojen välillä. Singulaariset pisteet tunnistaa usein Jacobin kriteerillä: piste on säännöllinen jos paikallinen tangenttitila on odotetun dimensioinen, muuten se on singulaarinen.

Singulaarisuuksien käsittelyyn kuuluu mm. normalisointi ja resoluutio, joiden avulla pyritään korvaamaan singulaarinen lajike tasaisemmalla (esim. sileällä) lajikkeella, joka on läheinen alkuperäiselle.

Esimerkkejä

  • Affiininen n-avaruus A^n_k: koko k^n, jonka koordinaattirengas on k[x1,…,xn].
  • Konukset ja käyrät: tasokäyrän yhtälö esimerkiksi y^2 = x^3 (kärki/cusp) tai y^2 = x^3 + x^2 (solmu/node) näyttävät eri tyyppejä singulaarisuuksista.
  • Hajottuvat tapaukset: yhtälö xy = 0 kuvaa kahta toisiaan leikkaavaa x- ja y-akselia; tällainen nollajoukko on reducible eli sen voi esittää kahden suljetun joukon unionina.
  • Projektiviisari: projektioalgebralliset lajikkeet määritellään homogenisilla polynomeilla projektitilassa P^n_k ja kuvaavat esimerkiksi projektioisen tasokäyrän (konikot, käyrät korkeammassa ulottuvuudessa).
  • Reaaliset vs. kompleksiset pisteet: sama algebraalinen lajike voidaan nähdä eri kenttien pisteiden joukkona; esimerkiksi yhtälön x^2 + y^2 + 1 = 0 nollajoukot ovat tyhjät reaaliluvuilla mutta eivät kompleksiluvuilla.

Käytännön merkitys ja jatkoyhteydet

Algebralliset lajikkeet ovat keskeisiä monilla matematiikan aloilla ja niiden sovelluksissa: lukuteoria, kompleksianalyysi, differentiaaligeometria ja fysiikan mallinnus hyödyntävät lajikkeiden rakennetta. Lajikkeiden teoria tarjoaa työkalut ymmärtää monimutkaisia yhtälöryhmiä, tulkita yhdentymän ja degeneroitumisen ilmiöitä ja rakentaa syvempiä yhteyksiä algebraisen ja topologisen tiedon välille.

Lopuksi on hyvä muistaa, että algebrallisen lajikkeen täsmällinen määritelmä voi vaihdella lähteittäin: jotkut kirjoittajat vaativat lajikkeelta irreduksiivisuutta, kun taas toiset käyttävät termiä laajemmin. Terminologiassa on myös eroja sen suhteen, erotetaanko "algebrallinen joukko" ja "lajike" vai käytetäänkö näitä synonyymeinä.

Nykyaikaisessa kirjallisuudessa lajikkeiden tutkinta laajenee affineista ja projektiivisista tapauksista scheme-teoriaan ja funktorin pisteiden näkökulmaan, mikä mahdollistaa syvällisemmän ja yleisemmän käsittelyn monimutkaisista rakenteista.