Algebraïsche variëteit

In de algebraïsche meetkunde, een deelgebied van de wiskunde, is een algebraïsche variëteit de oplossingsverzameling van een systeem van polynomiale vergelijkingen. Algebraïsche variëteiten zijn de fundamentele objecten in de klassieke (en tot op zekere hoogte, moderne) algebraïsche meetkunde.

Historisch gezien legt de hoofdstelling van de algebra een verband tussen de algebra en de meetkunde door aan te tonen dat een monomiale veelterm in één variabele over de complexe getallen, dus een algebraïsch object, wordt bepaald door een meetkundig object, namelijk de verzameling van haar nulpunten. Voortbouwend op dit resultaat legt Hilberts Nullstellensatz een fundamenteel verband tussen idealen van veeltermringen en deelverzamelingen van affiene ruimten. Met behulp van de Nullstellensatz en daaraan gerelateerde resultaten, is men in staat het meetkundige begrip variëteit in algebraïsche termen te beschrijven, alsook de meetkunde in te schakelen om antwoorden te geven op vragen uit de ringtheorie.

Formele definities

bewerken

Algebraïsche variëteiten kunnen worden ingedeeld in vier soorten:

  • affiene variëteit,
  • quasi-affiene variëteit,
  • projectieve variëteit,
  • quasi-projectieve variëteit.

Ook bestaat er het algemenere begrip abstracte algebraïsche variëteit.

Affiene variëteit

bewerken

Het begrip affiene variëteit steunt op wat een algebraïsche verzameling wordt genoemd, namelijk de oplossingen van een stelsel polynomiale vergelijkingen in een of meer variabelen.

Laat   een algebraïsch gesloten lichaam/veld zijn en   een affiene ruimte van dimensie   over  . Een veelterm   in de ring   kan opgevat worden als een  -waardige functie op  . Voor elk eindig voortgebracht ideaal   in   is   de verzameling gemeenschappelijke nulpunten van  :

 

De verschillende deelverzamelingen   worden affiene algebraïsche verzamelingen genoemd.

Een niet-lege algebraïsche verzameling heet irreducibel, als deze niet kan worden geschreven als de vereniging van twee strikte algebraïsche deelverzamelingen.

Een irreducibele affiene algebraïsche verzameling wordt een affiene variëteit genoemd. Niet alle literatuur over algebraïsche variëteiten hanteert deze definitie; ook wordt elke affiene algebraïsche verzameling wel een affiene algebraïsche variëteit noemt.

Projectieve variëteit

bewerken

Laat   een gesloten lichaam/veld zijn en   een projectieve ruimte van dimensie   over  . Voor een homogene veelterm   van graad   in de ring   is de voorwaarde   onafhankelijk van de gekozen homogene coördinaten   van  , aangezien

 

Voor elke verzameling homogene veeltermen   in   is   de verzameling gemeenschappelijke nulpunten van  . De verschillende deelverzamelingen   worden projectieve algebraïsche verzamelingen genoemd.

Een irreducibele projectieve algebraïsche verzameling wordt een projectieve variëteit genoemd.

Als alle algebraïsche verzamelingen op te vatten als gesloten verzamelingen, zijn projectieve variëteiten ook voorzien van de zariski-topologie.

Laat, gegeven een deelverzameling   van  , het ideaal   gegenereerd worden door alle homogene veeltermen die verdwijnen op  . Voor een projectieve algebraïsche verzameling   is de coördinatenring van   het quotiënt van de veeltermring door dit ideaal.

Voorbeelden

bewerken

Affiene algebraïsche variëteit

bewerken

Voorbeeld 1

bewerken

Beschouw   als de tweedimensionale affiene ruimte over de complexe getallen   en zij   het ideaal in   voortgebracht door een enkel element:

 

De verzameling   van punten in   waarop de functie   (en haar veelvouden in het ideaal) gelijk is aan 0, is de verzameling van alle paren complexe getallen   waarvoor  , een rechte lijn:

 

De deelverzameling   van   is dus een algebraïsche verzameling.   is niet leeg en is irreducibel, aangezien zij niet als de vereniging van twee strikte algebraïsche deelverzamelingen kan worden geschreven.   is dus een affiene algebraïsche variëteit.

Voorbeeld 2

bewerken

Laat als in voorbeeld 1 het ideaal   in   voortgebracht worden door

 

De verzameling   van punten in   waarop de functie   (en haar veelvouden in het ideaal) gelijk is aan 0, is de verzameling van alle paren complexe getallen   waarvoor  , een cirkel:

 

De deelverzameling   van   is dus een algebraïsche verzameling.   is niet leeg en is irreducibel, aangezien zij niet als de vereniging van twee strikte algebraïsche deelverzamelingen kan worden geschreven.   is dus een affiene algebraïsche variëteit.

Discussie en generalisaties

bewerken

De definities en feiten hierboven stellen iemand in staat om de klassieke algebraïsche meetkunde te bedrijven. Om echter meer te kunnen doen – bijvoorbeeld om met variëteiten over lichamen/velden die niet algebraïsch gesloten zijn, om te gaan – zijn enige fundamentele veranderingen vereist. Het tegenwoordige begrip variëteit is beduidend abstracter geformuleerd dan hierboven, hoewel zij gelijkwaardig zijn in het geval van variëteiten over algebraïsch gesloten lichamen/velden. Een abstracte algebraïsche variëteit is een bijzondere vorm van een schema; de generalisatie tot schema’s maakt aan de meetkundige kant een uitbreiding van hierboven beschreven correspondentie naar een bredere klasse van ringen mogelijk.

Sommige moderne onderzoekers laten ook de beperking vallen dat een variëteit geen Integriteitsdomein affiene kaart mag hebben, en wanneer zij spreken van een variëteit bedoelen zij dat de affiene kaarten een triviaal nilradicaal hebben.

Een volledige variëteit is een variëteit, zodanig dat elke afbeelding van een open deelverzameling van een niet-singuliere kromme op zichzelf, op unieke wijze kan worden uitgebreid tot de gehele kromme. Elke projectieve variëteit is volledig, maar omgekeerd geldt dit niet: niet elke volledige variëteit is projectief.

Deze variëteiten worden ook wel 'variëteiten in de zin van Serre' genoemd, omdat Serres grondslagleggende FAC-artikel over schoofcohomologie voor deze variëteiten was geschreven. Ze blijven typische voorwerpen om in de algebraïsche meetkunde te bestuderen, zelfs als ook meer algemene objecten op een ondersteunende manier worden gebruikt.