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

Affiene algebraïsche variëteit

Voorbeeld 1 
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 
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 
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.

Algebraïsche meetkunde