Schema (wiskunde)
In de wiskunde is een schema een belangrijk concept dat de wiskundige deelgebieden van de algebraïsche meetkunde, de commutatieve algebra en de getaltheorie met elkaar verbindt. Schema's werden in de wiskunde geïntroduceerd door Alexander Grothendieck, met als doel de notie van algebraïsche variëteit te generaliseren; Sommigen beschouwen schema's als het onderzoeksobject bij uitstek van de moderne algebraïsche meetkunde. Formeel is een schema een topologische ruimte samen met commutatieve ringen voor alle open deelverzamelingen van deze topologische ruimte. Een schema ontstaat door uit het "samenlijmen" van ringspectra (ruimten van priemidealen) van commutatieve ringen langs hun open deelverzamelingen.
Formele definitie
Een affien schema X is een topologische ruimte voorzien van een schoof OX van lokale ringen (de structuurschoof), zodanig dat X isomorf is met het ringspectrum Spec R van een commutatieve ring R, voorzien van de bijbehorende spectrumschoof.
Een schema X is een topologische ruimte voorzien van een schoof OX van lokale ringen (wederom de structuurschoof genoemd), zodanig dat X lokaal isomorf is met een affien schema, dat wil zeggen: X laat een open overdekking toe bestaande uit deelverzamelingen Ui zodanig dat elke Ui isomorf is met een affien schema.
Verantwoording
Zij V een affiene algebraïsche variëteit, d.i. de nulpuntenverzameling van een priemideaal p in een veeltermring k[X1,...,Xn]. De quotiëntring R = k[X1,...,Xn]/p die ontstaat door rekenen met veeltermen modulo elementen van het priemideaal, kan worden opgevat als een ring van k-waardige functies op V, de zogenaamde reguliere functies.
De topologische ruimte Spec R lijkt sterk op V. De punten van Spec R zijn de priemidealen van R, terwijl de punten van V overeenkomen met de maximale idealen van R. De spectrumschoof van R legt het verband tussen de punten en andere irreducibele deelverzamelingen van V enerzijds, en de reguliere functies op hun omgevingen anderzijds.
Voor een projectieve algebraïsche variëteit bestaat niet zo'n unieke spectrumschoof, maar een projectieve variëteit kan wel overdekt worden met open deelverzamelingen die affiene variëteiten vormen.
Het begrip schema omvat dus de klassieke algebraïsche variëteiten, naast een aantal abstractere objecten die niet onder de klassieke definitie vallen.