Схемы

Схемы — это обширное обобщение многообразий, предложенное Гротендиком, построенное путём склеивания спектров произвольных коммутативных колец, что позволяет алгебраической геометрии работать над любым кольцом и учитывать инфинитезимальную и арифметическую информацию.

Definition

Схема — это локально окольцованное пространство, которое локально изоморфно спектру коммутативного кольца (аффинная схема), где точками являются простые идеалы, а структурный пучок фиксирует кольцо функций на каждом открытом множестве.

Scope

Эта тема конструирует спектр коммутативного кольца как локально окольцованное пространство, определяет аффинные схемы и общие схемы путём склеивания, а также развивает морфизмы схем и относительную точку зрения. Она рассматривает ключевые свойства — приведённые, целостные, отделимые, собственные и гладкие схемы — слоистые произведения и смену базы, а также перспективу функтора точек. Подчёркивается роль нильпотентов в описании неприведённой структуры и использование схем над целыми числами для арифметической геометрии.

Core questions

• Как простой спектр кольца превращает произвольную коммутативную алгебру в геометрию?
• Что нильпотентные элементы и общие точки позволяют выражать схемам, чего не могут многообразия?
• Как относительные схемы и смена базы поддерживают единую теорию над любой базой?
• Как точка зрения функтора точек характеризует схему по отображениям в неё?

Key concepts

• Спектр кольца и топология Зарисского на простых идеалах
• Структурный пучок и локально окольцованные пространства
• Аффинные схемы и склеивание в общие схемы
• Морфизмы, слоистые произведения и смена базы
• Функтор точек и неприведённая (нильпотентная) структура

Clinical relevance

Теория схем является фундаментальным языком современной алгебраической геометрии и арифметической геометрии; она сделала возможными когомологические доказательства гипотез Вейля и результаты модулярности, лежащие в основе Великой теоремы Ферма, а также формирует проблемы модулей и теорию деформаций.

History

Опираясь на алгебраическую геометрию Серра, основанную на пучках, Гротендик ввёл схемы в «Элементах алгебраической геометрии» (1960-е годы), обобщив многообразия до спектров произвольных колец и перестроив всю область на когомологических и категорных основаниях.

Key figures

• Alexander Grothendieck
• Jean-Pierre Serre
• David Mumford

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

Чем схема отличается от многообразия?

Многообразие — это, по сути, целостная, приведённая схема конечного типа над полем; общая схема может иметь нильпотентные функции, бесконечно много или общие точки и может быть определена над любым коммутативным кольцом, включая целые числа.

Почему точки схемы включают простые идеалы, а не только максимальные?

Простые идеалы, которые не являются максимальными, дают общие точки, лежащие в замыкании подмногообразий, фиксируя структуру включения неприводимых подсхем и делая геометрию функториальной при отображениях колец.