Proj — это конструкция, аналогичная конструкции аффинных схем как спектров колец, с помощью которой строятся схемы, обладающие свойствами проективных пространств и проективных многообразий.
В этой статье все кольца считаются коммутативными кольцами с единицей.
Пусть S {displaystyle S} — градуированное кольцо, где
S = ⨁ i ≥ 0 S i {displaystyle S=igoplus _{igeq 0}S_{i}}есть разложение в прямую сумму, ассоциированное с градуировкой.
Обозначим через S + {displaystyle S_{+}} идеал ⨁ i > 0 S i . {displaystyle igoplus _{i>0}S_{i}.} Определим множество Proj S как множество всех однородных простых идеалов, не содержащих S + . {displaystyle S_{+}.}
В дальнейшем мы иногда для краткости будем обозначать Proj S как X.
Мы можем определить топологию, называемую топологией Зарисского, на Proj S, определяя замкнутые множества как множества вида
V ( a ) = { p ∈ Proj S ∣ a ⊆ p } , {displaystyle V(a)={pin operatorname {Proj} ,Smid asubseteq p},}где a — однородный идеал S. Как и в случае аффинных схем, легко проверяется, что V(a) — это замкнутые множества некоторой топологии на X.
Действительно, если ( a i ) i ∈ I {displaystyle (a_{i})_{iin I}} — семейство идеалов, то ⋂ V ( a i ) = V ( Σ a i ) {displaystyle igcap V(a_{i})=V(Sigma a_{i})} и если множество I конечно, то ⋃ V ( a i ) = V ( Π a i ) {displaystyle igcup V(a_{i})=V(Pi a_{i})} .
Эквивалентно, можно начать с открытых множеств и определить
D ( a ) = { p ∈ Proj S ∣ a ⊈ p } . {displaystyle D(a)={pin operatorname {Proj} ,Smid a; ot subseteq ;p}.}Стандартное сокращение состоит в том, чтобы обозначать D(Sf) как D(f), где Sf — это идеал, порождённый f. Для любого a, D(a) и V(a) очевидным образом дополнительны и приведённое выше доказательство показывает, что D(a) образуют топологию на Proj S. Преимущество этого подхода в том, что D(f), где f пробегает все однородные элементы S, образуют базис этой топологии, что является необходимым инструментом для изучения Proj S, аналогично случаю спектров клоец.
Мы также строим пучок на Proj S, называемый структурным пучком, который превращает его в схему. Как и в случае конструкции Spec существует несколько способов это сделать: наиболее прямой из них, который также напоминает конструкцию регулярных функций на проективном многообразии в классической алгебраической геометрии, состоит в следующем. Для любого открытого множества U в Proj S мы определяем кольцо O X ( U ) {displaystyle O_{X}(U)} как множество всех функций
f : U → ⋃ p ∈ U S ( p ) {displaystyle fcolon U o igcup _{pin U}S_{(p)}}(где S ( p ) {displaystyle S_{(p)}} обозначает подкольцо локального кольца S p {displaystyle S_{p}} точки p {displaystyle p} , состоящее из частных однородных элементов одинаковой степени) таких, что для каждого простого идеала p в U:
Из определения немедленно следует, что O X ( U ) {displaystyle O_{X}(U)} образуют пучок колец O X {displaystyle O_{X}} на Proj S, и можно показать, что пара (Proj S, O X {displaystyle O_{X}} ) является схемой (при этом каждое подмножество D(f) является аффинной схемой).
Существенным свойством S в конструкции выше была возможность построения локализаций S ( p ) {displaystyle S_{(p)}} для каждого простого идеала p в S. Этим свойством также обладает любой градуированный модуль M над S, и, следовательно, конструкция из раздела выше с небольшими изменениями позволяет построить для такого M пучок O X {displaystyle O_{X}} -модулей на Proj S, обозначаемый M ~ {displaystyle { ilde {M}}} . По построению этот пучок является квазикогерентным. Если S порождается конечным числом элементов степени 1 (то есть является кольцом многочленов или его фактором), все квазикогерентные пучки на Proj S получаются из градуированных модулей с помощью этой конструкции. Соответствующий градуированный модуль не является единственным.
Частный случай пучка, ассоциированного с градуированным модулем — это когда в качестве M мы берём само S с другой градуировкой: а именно, мы считаем элементами степени d модуля M элементы степени (d + 1) кольца S и обозначаем M = S(1). Мы получаем квазикогерентный пучок M ~ {displaystyle { ilde {M}}} на Proj S, обозначаемый O X ( 1 ) {displaystyle O_{X}(1)} или просто O(1) и называемый скручивающим пучком Серра. Можно проверить, что O(1) является обратимым пучком.
Одна из причин полезности O(1) состоит в том, что он позволяет восстановить алгебраическую информацию об S, которая была потеряна в конструкции O X {displaystyle O_{X}} при переходе к частным степени 0. В случае Spec A для кольца A, глобальные сечения структурного пучка являются самим A, тогда как в нашем случае глобальные сечения пучка O X {displaystyle O_{X}} состоят из элементов S степени 0. Если мы определим
O ( n ) = ⨂ i = 1 n O ( 1 ) {displaystyle O(n)=igotimes _{i=1}^{n}O(1)}то каждое O(n) содержит информацию степени n об S. Аналогично, для пучка O X {displaystyle O_{X}} -модулей N, ассоциированного с S-модулем M мы можем определить
N ( n ) = N ⊗ O ( n ) {displaystyle N(n)=Notimes O(n)}и ожидать, что этот подкрученный пучок содержит потерянную информацию об M. Это позволяет предположить, хотя и неправильно, что S можно восстановить из этих пучков; это на самом деле верно, если S является кольцом многочленов, см. ниже.
Если A — кольцо, мы определяем n-мерное проективное пространство над A как схему
P A n = Proj A [ x 0 , … , x n ] . {displaystyle mathbb {P} _{A}^{n}=operatorname {Proj} ,A[x_{0},ldots ,x_{n}].}Мы определяем градуировку на кольце S = A [ x 0 , … , x n ] {displaystyle S=A[x_{0},ldots ,x_{n}]} , полагая, что каждое x i {displaystyle x_{i}} имеет степень 1 и каждый элемент A имеет степень 0. Сопоставляя это с определением O(1), данным выше, мы видим, что сечения O(1) — это линейные однородные многочлены, порождаемые элементами x i {displaystyle x_{i}} .