WikiSort.ru - Не сортированное

Proj как множество

Пусть ${\displaystyle S}$  — градуированное кольцо, где

${\displaystyle S=\bigoplus _{i\geq 0}S_{i}}$

есть разложение в прямую сумму, ассоциированное с градуировкой.

Обозначим через ${\displaystyle S_{+}}$ идеал ${\displaystyle \bigoplus _{i>0}S_{i}.}$ Определим множество Proj S как множество всех однородных простых идеалов, не содержащих ${\displaystyle S_{+}.}$

В дальнейшем мы иногда для краткости будем обозначать Proj S как X.

Proj как топологическое пространство

Мы можем определить топологию, называемую топологией Зарисского, на Proj S, определяя замкнутые множества как множества вида

${\displaystyle V(a)=\{p\in \operatorname {Proj} \,S\mid a\subseteq p\},}$

где a — однородный идеал S. Как и в случае аффинных схем, легко проверяется, что V(a) — это замкнутые множества некоторой топологии на X.

Действительно, если ${\displaystyle (a_{i})_{i\in I}}$  — семейство идеалов, то ${\displaystyle \bigcap V(a_{i})=V(\Sigma a_{i})}$ и если множество I конечно, то ${\displaystyle \bigcup V(a_{i})=V(\Pi a_{i})}$ .

Эквивалетно, можно начать с открытых множеств и определить

${\displaystyle D(a)=\{p\in \operatorname {Proj} \,S\mid a\;\not \subseteq \;p\}.}$

Стандартное сокращение состоит в том, чтобы обозначать D(Sf) как D(f), где Sf — это идеал, порождённый f. Для любого a, D(a) и V(a) очевидным образом дополнительны и приведённое выше доказательство показывает, что D(a) образуют топологию на Proj S. Преимущество этого подхода в том, что D(f), где f пробегает все однородные элементы S, образуют базис этой топологии, что является необходимым инструментом для изучения Proj S, аналогично случаю спектров клоец.

Proj как схема

Мы также строим пучок на Proj S, называемый структурным пучком, который превращает его в схему. Как и в случае конструкции Spec существует несколько способов это сделать: наиболее прямой из них, который также напоминает конструкцию регулярных функций на проективном многообразии в классической алгебраической геометрии, состоит в следующем. Для любого открытого множества U в Proj S мы определяем кольцо ${\displaystyle O_{X}(U)}$ как множество всех функций

${\displaystyle f\colon U\to \bigcup _{p\in U}S_{(p)}}$

(где ${\displaystyle S_{(p)}}$ обозначает подкольцо локального кольца ${\displaystyle S_{p}}$ точки ${\displaystyle p}$ , состоящее из частных однородных элементов одинаковой степени) таких, что для каждого простого идеала p в U:

1. f(p) является элементом ${\displaystyle S_{(p)}}$ ;
2. существует открытое подмножество V множества U, содержащее p, и однородные элементы s, t кольца S одинаковой степени, такие, что для каждого простого идеала q в V:
   • t не лежит в q;
   • f(q) = s/t.

Из определения немедленно следует, что ${\displaystyle O_{X}(U)}$ образуют пучок колец ${\displaystyle O_{X}}$ на Proj S, и можно показать, что пара (Proj S, ${\displaystyle O_{X}}$ ) является схемой (при этом каждое подмножество D(f) является аффинной схемой).

Пучок, ассоциированный с градуированным модулем

Существенным свойством S в конструкции выше была возможность построения локализаций ${\displaystyle S_{(p)}}$ для каждого простого идеала p в S. Этим свойством также обладает любой градуированный модуль M над S, и, следовательно, конструкция из раздела выше с небольшими изменениями позволяет построить для такого M пучок ${\displaystyle O_{X}}$ -модулей на Proj S, обозначаемый ${\displaystyle {\tilde {M}}}$ . По построению этот пучок является квазикогерентным. Если S порождается конечным числом элементов степени 1 (то есть является кольцом многочленов или его фактором), все квазикогерентные пучки на Proj S получаются из градуированных модулей с помощью этой конструкции.^[1] Соответствующий градуированный модуль не является единственным.

Скручивающий пучок Серра

Частный случай пучка, ассоциированного с градуированным модулем — это когда в качестве M мы берём само S с другой градуировкой: а именно, мы считаем элементами степени d модуля M элементы степени (d + 1) кольца S и обозначаем M = S(1). Мы получаем квазикогерентный пучок ${\displaystyle {\tilde {M}}}$ на Proj S, обозначаемый ${\displaystyle O_{X}(1)}$ или просто O(1) и называемый скручивающим пучком Серра. Можно проверить, что O(1) является обратимым пучком.

Одна из причин полезности O(1) состоит в том, что он позволяет восстановить алгебраическую информацию об S, которая была потеряна в конструкции ${\displaystyle O_{X}}$ при переходе к частным степени 0. В случае Spec A для кольца A, глобальные сечения структурного пучка являются самим A, тогда как в нашем случае глобальные сечения пучка ${\displaystyle O_{X}}$ состоят из элементов S степени 0. Если мы определим

${\displaystyle O(n)=\bigotimes _{i=1}^{n}O(1)}$

то каждое O(n) содержит информацию степени n об S. Аналогично, для пучка ${\displaystyle O_{X}}$ -модулей N, ассоциированного с S-модулем M мы можем определить

${\displaystyle N(n)=N\otimes O(n)}$

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

n-мерное проективное пространство

Если A — кольцо, мы определяем n-мерное проективное пространство над A как схему

${\displaystyle \mathbb {P} _{A}^{n}=\operatorname {Proj} \,A[x_{0},\ldots ,x_{n}].}$

Мы определяем градуировку на кольце ${\displaystyle S=A[x_{0},\ldots ,x_{n}]}$ , полагая, что каждое ${\displaystyle x_{i}}$ имеет степень 1 и каждый элемент A имеет степень 0. Сопоставляя это с определением O(1), данным выше, мы видим, что сечения O(1) — это линейные однородные многочлены, порождаемые элементами ${\displaystyle x_{i}}$ .