Схема (математика)
Войти  |  Регистрация
Авторизация
» » Схема (математика)

Схема (математика)



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

Основным аппаратом теории схем являются теория категорий, теория пучков, коммутативная и гомологическая алгебра.

В дальнейшем изложении слово «кольцо» всегда означает «коммутативное ассоциативное кольцо с единицей».

История и мотивировка определения

Алгебраические геометры итальянской школы использовали довольно туманную концепцию «общей точки» при доказательстве теорем об алгебраических многообразиях. Предполагалось, что утверждения, верные для общей точки, верны для всех точек многообразия, за исключением небольшого числа «специальных» точек. Эмми Нётер в 1920-х годах предложила способ прояснения этой концепции: в координатном кольце алгебраического многообразия (то есть в кольце полиномиальных функций на многообразии) максимальные идеалы соответствуют точкам многообразия, а немаксимальные простые идеалы соответствуют различным общим точкам — по одной для каждого подмногообразия. Впрочем, Нётер не стала развивать этот подход.

В 1930-х годах Вольфганг Крулль сделал следующий шаг: взяв совершенно произвольное коммутативное кольцо, можно рассмотреть множество его простых идеалов, снабдить топологией Зарисского и развивать геометрию этих более общих объектов. Другие математики не видели смысла в столь большой общности, и Крулль забросил эту идею.

В 1950-х годах Жан-Пьер Серр, Клод Шевалле и Масаёси Нагата с целью приблизиться к доказательству гипотез Вейля, начали использовать сходный подход, рассматривающий простые идеалы как точки. Согласно Пьеру Картье, слово схема было впервые использовано в 1956 году на семинаре Шевалле.

После этого Александр Гротендик дал современное определение схемы, подводящее итог предыдущим экспериментальным предложениям. Он по-прежнему определяет спектр коммутативного кольца как множество простых идеалов с топологией Зарисского, но также снабжает его пучком колец: каждому открытому подмножеству спектра сопоставляется коммутативное кольцо, по аналогии с кольцом полиномиальных функций на этом множестве. Получившиеся объекты суть аффинные схемы; общие схемы получаются склейкой нескольких аффинных схем, по аналогии с тем, как общие алгебраические многообразия получаются склейкой аффинных многообразий, а обычные многообразия — склейкой открытых подмножеств R n {displaystyle mathbb {R} ^{n}} .

Многие критиковали это определение за чрезмерную общность: некоторые схемы в этом смысле не имеют очевидной геометрической интерпретации. Однако принятие этих схем к рассмотрению делает свойства категории всех схем более «разумными». Кроме того, изучение пространств модулей приводит к схемам, не являющимся «классическими». Необходимость рассмотрения схем, которые не являются сами по себе алгебраическими многообразиями (но построены из многообразий) привела к постепенному принятию нового определения.

Определение

Одно из базовых понятий теории схем — локально окольцованные пространства.

Окольцованное пространство — это топологическое пространство, на котором задан пучок колец, называемый структурным пучком. Пространство называется локально окольцованным, если слой пучка в каждой точке является локальным кольцом. Основные объекты изучения дифференциальной геометрии и топологии являются локально окольцованными пространствами; в качестве структурного пучка при этом выступает соответствующий пучок функций. Например, топологическим пространствам соответствует пучок непрерывных функций, гладким многообразиям — пучок гладких функций, комплексным многообразиям — пучок голоморфных функций. Утверждение о том, что слой пучка является локальным кольцом, означает, что для любого элемента кольца структурного пучка можно определить его значения в каждой точке, принадлежащие некоторому полю, так что элементы структурного пучка действительно можно рассматривать как функции. Отметим, что в общем случае такая «функция» не определяется своими поточечными значениями, хотя в классической геометрии аналога этому явлению нет.

Аффинная схема — это локально окольцованное пространство, изоморфное спектру некоторого кольца с соответствующим ему структурным пучком. Эти определения позволяют рассматривать любое открытое подмножество S p e c A {displaystyle mathrm {Spec} ;A} как аффинную схему, при этом для аффинных схем выполняется тождество O S p e c A ( S p e c A ) = A {displaystyle {mathcal {O}}_{mathrm {Spec} ;A}(mathrm {Spec} ;A)=A} , что означает эквивалентность геометрического и алгебраического взгляда на кольцо (а именно, любому кольцу можно сопоставить аффинную схему, и по аффинной схеме можно однозначно восстановить исходное кольцо).

Схема — это локально окольцованное пространство ( X , O X ) {displaystyle (X,{mathcal {O}}_{X})} , допускающее покрытие открытыми множествами U i {displaystyle U_{i}} , такое что каждое U i {displaystyle U_{i}} вместе с ограничением на него структурного пучка O X {displaystyle {mathcal {O}}_{X}} является аффинной схемой. Это определение можно понимать разными способами: можно считать, что у каждой точки схемы имеется окрестность, являющаяся аффинной схемой, также можно думать о схеме как о результате склейки множества аффинных схем, согласующейся со структурой пучка.

Категория схем

Схемы образуют категорию, морфизмы которой — морфизмы схем как локально окольцованных пространств.

Конструкция, снабжающая спектр структурным пучком, определяет контравариантный функтор:

S p e c : C R i n g → A f f {displaystyle mathrm {Spec} colon mathrm {CRing} o mathrm {Aff} }

из категории колец в категорию аффинных схем. Имеется также обратный контравариантный функтор:

O : A f f → C R i n g {displaystyle {mathcal {O}}colon mathrm {Aff} o mathrm {CRing} } (функтор глобальных сечений),

сопоставляющий локально окольцованному пространству ( X , O X ) {displaystyle (X,{mathcal {O}}_{X})} кольцо O X ( X ) {displaystyle {mathcal {O}}_{X}(X)} его структурного пучка. Эта пара функторов задаёт эквивалентность категорий C R i n g o p ≃ A f f {displaystyle mathrm {CRing^{op}} simeq mathrm {Aff} } . Функтор глобальных сечений можно определить для произвольных схем, так как любая схема является локально окольцованным пространством. В этой общности функтор спектра сопряжён справа функтору глобальных сечений:

H o m S c h e m e s ( X , S p e c A ) ≃ H o m C R i n g o p ( O ( X ) , A ) ≃ H o m C R i n g ( A , O ( X ) ) {displaystyle mathrm {Hom} _{ m {Schemes}}(X,;mathrm {Spec} ;A)simeq mathrm {Hom} _{ m {CRing^{op}}}({mathcal {O}}(X),;A)simeq mathrm {Hom} _{ m {CRing}}(A,;{mathcal {O}}(X))}

Спектр полагается правым сопряжённым, так как склейки аффинных схем могут порождать схемы, не являющиеся аффинными. Склейка схем по пустой подсхеме является копределом в категории схем. Так как C R i n g o p {displaystyle mathrm {CRing} ^{op}} кополна, то при условии левой сопряжённости спектра любая склейка аффинных схем была бы аффинной, и нетривиальная (не сводящаяся к теории колец) теория схем просто не могла бы существовать. В свете сказанного отметим также, что, хотя диаграмма склейки аффинных схем по подсхеме лежит в кополной категории аффинных схем, её предел требуется вычислять в большей категории — категории всех схем. Это поучительный пример того, что функтор вложения категорий не обязан сохранять пределы.

Существование приведённых выше сопряженных функторов позволяет описать морфизмы из произвольной схемы в аффинную при помощи гомоморфизмов колец. Например, поскольку Z {displaystyle mathbb {Z} } — начальный объект категории коммутативных колец, S p e c Z {displaystyle mathrm {Spec} ;mathbb {Z} } является терминальным объектом категории схем.

Категория схем имеет конечные произведения, однако при их использовании нужно быть осторожным, так как топологическое пространство, соответствующее схеме ( X , O X ) × ( Y , O Y ) {displaystyle (X,{mathcal {O}}_{X}) imes (Y,{mathcal {O}}_{Y})} не всегда изоморфно топологическому пространству X × Y {displaystyle X imes Y} , а часто имеет «больше» точек. Например, если K — поле из девяти элементов, то:

S p e c K × S p e c K ≅ S p e c K ⊗ Z K ≅ S p e c K × K {displaystyle mathrm {Spec} ;K imes mathrm {Spec} ;Kcong mathrm {Spec} ;Kotimes _{mathbb {Z} }Kcong mathrm {Spec} ;K imes K} —

состоит из двух точек, тогда как Spec K состоит из одной точки (нулевого идеала).

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

Второе определение схем

В алгебраической геометрии схемы обычно определяют приведённым выше способом. Однако в некоторых её приложениях (например, в теории линейных алгебраических групп) более полезен другой подход, значительно более абстрактный и требующий хорошего знания теории категорий. На этом языке схема определяется не как геометрический объект, а как функтор из категории колец. Мы не будем здесь рассматривать этот подход подробно, за деталями обращайтесь к книге.

Аффинная схема S p e c A {displaystyle mathrm {Spec} ;A} — это представимый функтор S p e c A : C R i n g → S e t {displaystyle mathrm {Spec} ;Acolon mathrm {CRing} o mathrm {Set} } :

( S p e c A ) ( R ) = Hom ( A , R ) {displaystyle (mathrm {Spec} ;A)(R)={ ext{Hom}}(A,R)}

Среди всех функторов выделяется особенно важный и удобный для изучения класс, называемый схемами. А именно, схема X {displaystyle X} — это функтор X : C R i n g → S e t {displaystyle Xcolon mathrm {CRing} o mathrm {Set} } , являющийся пучком множеств относительно топологии Гротендика, порождённой открытыми по Зарисскому эпиморфизмами колец, и покрывающийся открытыми по Зарисскому отображениями аффинных схем в категории функторов [ R i n g ; S e t ] {displaystyle left[{mathcal {R}}ing;{mathcal {S}}et ight]} . Схемы, не являющиеся аффинными, являются непредставимыми функторами на категории колец. Морфизм схем определяется как естественное преобразование соответствующих функторов. Согласно лемме Йонеды,

X ( A ) = [ ( A ; ⋅ ) ; X ] = [ S p e c A ; X ] {displaystyle X(A)=left[(A;cdot );X ight]=left[mathrm {Spec} A;X ight]}

Это утверждение устанавливает связь с приведённой выше геометрической теорией схем, так как основная теорема о морфизмах схем утверждает, что функтор

Y : S c h e m e s → [ A f f o p ; S e t ] {displaystyle Ycolon mathrm {Schemes} o left[mathrm {Aff} ^{op};mathrm {Set} ight]} Y ( X ) = ( ⋅ ; X ) {displaystyle Y(X)=left(cdot ;X ight)}

является вполне унивалентным. При этом образ вложения — в точности те функторы на аффинных схемах, которые удовлетворяют указанным выше условиям.

Примеры
  • Аффинная прямая O {displaystyle O} — забывающий функтор O : C R i n g → S e t {displaystyle Ocolon mathrm {CRing} o mathrm {Set} } , сопоставляющий каждому кольцу его подлежащее множество. Структура кольца на нём задаёт структуру кольца на множестве [ X ; O ] {displaystyle [X;O]} для любой схемы X {displaystyle X} , поэтому [ X ; O ] {displaystyle [X;O]} называется кольцом функций на X {displaystyle X} . Аффинная прямая — это аффинная схема, она соответствует спектру кольца многочленов Z [ T ] {displaystyle mathbb {Z} [T]} .
  • Грассманиан G r , n {displaystyle G_{r,n}} ( n {displaystyle n} — размерность грассманиана) — это функтор, сопоставляющий кольцу R {displaystyle R} множество прямых слагаемых P {displaystyle P} ранга r {displaystyle r} в модуле R r + n {displaystyle R^{r+n}} . Стрелке ϕ : R → S {displaystyle phi :R o S} сопоставляется отображение P ↦ P ⊗ R S {displaystyle Pmapsto Potimes _{R}S} . В частности, P n = G 1 , n {displaystyle mathbb {P} _{n}=G_{1,n}} — n-мерное проективное пространство, P 1 {displaystyle mathbb {P} _{1}} — проективная прямая.

  • Добавлено Admin 26-03-2021, 08:00 Просмотров: 10
    Добавить комментарий
    Ваше Имя:
    Ваш E-Mail:
    • bowtiesmilelaughingblushsmileyrelaxedsmirk
      heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
      winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
      worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
      expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
      disappointedconfoundedfearfulcold_sweatperseverecrysob
      joyastonishedscreamtired_faceangryragetriumph
      sleepyyummasksunglassesdizzy_faceimpsmiling_imp
      neutral_faceno_mouthinnocent