Schemat – pojęcie geometrii algebraicznej uogólniające klasyczne rozmaitości algebraiczne. Formalnie schemat jest , która lokalnie jest izomorficzna ze spektrum pierścienia przemiennego. Dzięki temu można jednolicie opisywać rozwiązania równań wielomianowych zarówno nad ciałami, jak i nad pierścieniami takimi jak a także ujmować zjawiska niewidoczne na poziomie samych zbiorów punktów, na przykład krotności przecięć i elementy nilpotentne.

Język schematów został rozwinięty przez Alexandra Grothendiecka i współpracowników w latach 50. i 60. XX wieku, przede wszystkim w serii Éléments de géométrie algébrique (EGA) oraz seminariach SGA. Jednym z jego celów było zbudowanie aparatu wystarczająco ogólnego do problemów łączących geometrię algebraiczną, algebrę przemienną i teorię liczb, w tym do programu, którego narzędzia odegrały zasadniczą rolę w późniejszym dowodzie .

Idea Klasyczna geometria algebraiczna bada zbiory rozwiązań układów równań wielomianowych. Jeśli równania są rozpatrywane nad algebraicznie domkniętym ciałem, wiele informacji geometrycznych można odczytywać z punktów i z pierścienia funkcji regularnych. Teoria schematów odwraca tę perspektywę: za podstawowy obiekt bierze się pierścień funkcji i związane z nim spektrum ideałów pierwszych.

Dla pierścienia przemiennego jego spektrum, oznaczane jest przestrzenią złożoną z ideałów pierwszych pierścienia wyposażoną w topologię Zariskiego i snop pierścieni funkcji regularnych. Taki obiekt nazywa się . Ogólny schemat powstaje przez sklejanie schematów afinicznych w sposób analogiczny do sklejania lokalnych kart w geometrii różniczkowej.

Ta konstrukcja pozwala zachować informację, którą traci klasyczny zbiór punktów. Na przykład równania i opisują ten sam zbiór punktów w prostej afinicznej, ale odpowiadają różnym schematom: drugi ma dodatkową strukturę nilpotentną, interpretowaną jako informacja nieskończenie mała. Podobnie przecięcie styczne dwóch krzywych można traktować jako punkt z krotnością, a nie tylko jako pojedynczy punkt topologiczny.

Definicja Schemat afiniczny to przestrzeń lokalnie pierścieniowana izomorficzna z dla pewnego pierścienia przemiennego z jedynką Schemat to przestrzeń lokalnie pierścieniowana którą można pokryć otwartymi podzbiorami takimi, że każde jest schematem afinicznym.

Snop strukturalny schematu oznacza się zwykle przez Jego wartości dla otwartych podzbiorów traktuje się jako pierścienie funkcji regularnych na W przypadku schematu afinicznego pierścień jest globalnym pierścieniem funkcji regularnych, a lokalizacja pierścienia opisuje funkcje regularne na podstawowych otwartych podzbiorach.

Schemat nad schematem oznacza schemat z Szczególnie ważny jest przypadek schematów nad gdzie jest ciałem, oraz schematów nad które tworzą most między geometrią algebraiczną i teorią liczb.

Schematy wraz z morfizmami tworzą kategorię. Morfizm schematów jest morfizmem przestrzeni lokalnie pierścieniowanych, więc obejmuje jednocześnie ciągłe odwzorowanie przestrzeni topologicznych oraz zgodne homomorfizmy snopów pierścieni, lokalne na łodygach. Język schematów nad ustaloną bazą pozwala opisywać rodziny obiektów geometrycznych oraz ich zmiany bazy; produkty włókniste są w tym ujęciu podstawowym sposobem porównywania takich rodzin.

Przykłady Przestrzeń afiniczna Dla ciała i liczby naturalnej schemat afinicznej przestrzeni -wymiarowej definiuje się jako spektrum pierścienia wielomianów:

Jeśli jest algebraicznie domknięte, punkty domknięte tego schematu odpowiadają zwykłym punktom Schemat zawiera jednak także punkty niedomknięte, odpowiadające nie-maksymalnym ideałom pierwszym, które można interpretować jako nierozkładalnych podzbiorów domkniętych.

Spektrum liczb całkowitych thumb|360px|Schematyczny obraz punkty domknięte odpowiadają ideałom pierwszym generowanym przez liczby pierwsze, a punkt generyczny reprezentuje ideał zerowy.

Schemat traktuje pierścień liczb całkowitych jak obiekt geometryczny. Jego punkty domknięte odpowiadają ideałom generowanym przez liczby pierwsze, a punkt generyczny odpowiada ideałowi zerowemu. W tym sensie arytmetyka liczb całkowitych może być przedstawiana językiem geometrii, co jest jednym ze źródeł .

Schematy niezredukowane i elementy nilpotentne Schemat ma tylko jeden punkt topologiczny, ale jego pierścień funkcji zawiera niezerowy element nilpotentny. Taki przykład bywa interpretowany jako „punkt pogrubiony”: pamięta nie tylko wartość funkcji w punkcie, lecz także informację nieskończenie małą pierwszego rzędu. Dzięki temu schematy są użyteczne w teorii przecięć.

Schematy rzutowe Schematy pozwalają także konstruować przestrzenie rzutowe nad dowolnym pierścieniem. Przestrzeń nad pierścieniem otrzymuje się przez sklejenie afinicznych części, podobnie jak w klasycznej konstrukcji przestrzeni rzutowej nad ciałem. Własność bycia , spełniana w szczególności przez morfizmy rzutowe, odgrywa w geometrii algebraicznej rolę analogiczną do zwartości.

Morfizmy i własności lokalne Duża część teorii schematów polega na badaniu morfizmów, a nie samych obiektów w izolacji. Morfizm można traktować jako rodzinę schematów parametryzowaną przez punkty Własności takie jak bycie , , bycie morfizmem właściwym, czy opisują różne sposoby, w jakie taka rodzina zachowuje się lokalnie i globalnie.

Szczególnie ważne jest rozróżnienie między własnościami lokalnymi na źródle, lokalnymi na bazie oraz stabilnymi przy zmianie bazy. Na przykład praca z rodziną krzywych nad schematem bazowym wymaga śledzenia włókien nad punktami bazy, ale także tego, czy po rozszerzeniu ciała lub przejściu do innej bazy zachowane są oczekiwane własności geometryczne. Język produktów włóknistych i morfizmów nad bazą pozwala formułować takie pytania jednolicie.

Punkty i funktor punktów W teorii schematów punkt nie musi oznaczać jedynie punktu o współrzędnych w ustalonym ciele. Dla schematu można badać jego -punkty, czyli morfizmy z dowolnego schematu testowego Takie ujęcie, nazywane funktorem punktów, pozwala interpretować schemat przez sposób, w jaki reaguje na wszystkie możliwe testowe bazy, a nie tylko przez zbiór punktów domkniętych; jest to szczególnie naturalne w świetle lematu Yonedy, według którego obiekt kategorii można odtwarzać z funktora reprezentowanego przez morfizmy do tego obiektu.

Funktorialny punkt widzenia jest istotny m.in. w teorii moduli, gdzie celem jest klasyfikowanie rodzin obiektów geometrycznych. często nie są zwykłymi zbiorami klas izomorfizmu, lecz wymagają uwzględnienia automorfizmów, zmiany bazy i zgodności rodzin. To właśnie dlatego schematy, a później , stały się podstawowym językiem nowoczesnej geometrii algebraicznej.

Znaczenie Teoria schematów stała się standardowym językiem współczesnej geometrii algebraicznej. Pozwala formułować twierdzenia niezależnie od wyboru algebraicznie domkniętego ciała bazowego, opisywać rodziny obiektów geometrycznych nad zmienną bazą oraz stosować narzędzia algebry przemiennej, topologii i algebry homologicznej w jednym formalizmie.

W teorii liczb schematy umożliwiają traktowanie równań diofantycznych jako obiektów geometrycznych nad W ten sposób zadana równaniem o współczynnikach całkowitych może być badana przez jej włókna nad różnymi liczbami pierwszymi, czyli przez redukcje modulo .

W geometrii algebraicznej ważną rolę odgrywają także na schematach, uogólniające wiązki wektorowe i moduły nad pierścieniami. Ich jest jednym z podstawowych narzędzi badania własności globalnych rozmaitości i schematów.

Historia thumb|220px|Alexander Grothendieck (1928–2014), współtwórca współczesnego języka schematów.

Podstawy teorii schematów wyrastały z wcześniejszej algebry przemiennej Emmy Noether, Wolfganga Krulla i Oscara Zariskiego oraz z prac André Weila nad abstrakcyjnymi rozmaitościami algebraicznymi. W latach 50. Claude Chevalley, Jean-Pierre Serre i Masayoshi Nagata rozważali konstrukcje zbliżające geometrię algebraiczną do spektrów pierścieni. Słowo „schemat” pojawiło się w seminarium Chevalleya z lat 1955–1956.

Ostateczną postać teoria uzyskała w pracach Grothendiecka i Dieudonnégo. Początkowo rozróżniano „preschematy” i schematy spełniające dodatkowy warunek oddzieloności; późniejsza terminologia uprościła ten podział i termin „schemat” zaczął oznaczać ogólnie obiekt lokalnie afiniczny w opisanym wyżej sensie.

W polskim kontekście akademickim funkcjonuje określenie „język schematów” dla formalizmu schematów w geometrii algebraicznej; przykład takiego użycia występuje w materiałach dydaktycznych MIMUW do kursu „Geometria Algebraiczna II: Język Schematów”.

Uogólnienia Schematy mają liczne uogólnienia. i pozwalają opisywać sytuacje, w których obiekty geometryczne mają nietrywialne automorfizmy lub powstają jako ilorazy w sensie bardziej subtelnym niż zwykły schemat. W nowszych kierunkach, takich jak , wzbogaca się strukturę snopa funkcji tak, aby pamiętać informacje homologiczne wyższego rzędu.

Zobacz też geometria algebraiczna rozmaitość algebraiczna algebra przemienna snop teoria kategorii

Przypisy

Linki zewnętrzne The Stacks Project David Mumford, Can one explain schemes to biologists? (archiwum)

Kategoria:Geometria algebraiczna Kategoria:Algebra przemienna