Дивизор (алгебраическая геометрия)

В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.

Дивизоры Вейля

Определение

Дивизор Вейля на алгебраическом многообразии $X$ (или, более общо, на нётеровой схеме) — это конечная линейная комбинация ${\sum _{i}n_{i}[Z_{i}]}$ , где $[Z_{i}]$ — неприводимые замкнутые подмножества $X$ , а $n_{i}$ — целые коэффициенты. Очевидно, что дивизоры Вейля образуют абелеву группу относительно сложения; эту группу обозначают $\mathrm {Weil} \,X$ . Дивизор вида $[Z]$ называется простым, а дивизор, для которого все коэффициенты $n_{i}$ неотрицательны — эффективным.

Группа классов дивизоров

Предположим, что схема $X$ является целой, отделимой, и регулярной в коразмерности 1 (в частности, эти свойства выполняются для гладких алгебраических многообразий). Регулярность в коразмерности 1 означает, что локальное кольцо общей точки любого неприводимого замкнутого подмножества коразмерности 1 регулярно (и нётерово, так как является локализацией нётерова кольца), а следовательно, является кольцом дискретного нормирования. Любая рациональная функция на $X$ (элемент поля частных кольца регулярных функций $K[X]$ ) имеет некоторую норму в этом кольце. Если норма рациональной функции больше нуля для некоторого неприводимого подмножества $Y$ , то говорят, что рациональная функция имеет ноль на $Y$ , а если меньше нуля — имеет полюс. Из нётеровости схемы выводится, что норма рациональной функции не равна нулю лишь для конечного числа неприводимых подмножеств, таким образом каждой рациональной функции сопоставляется дивизор, обозначаемый $(f)$ . Дивизоры, которые можно получить таким образом, называют главными.

Поскольку $(fg)=(f)+(g)$ , главные дивизоры образуют подгруппу в $\mathrm {Weil} \,X$ . Факторгруппа по подгруппе главных дивизоров называется группой классов дивизоров и обозначается $\mathrm {Cl} \,X$ . Группа классов дивизоров сама по себе является интересным инвариантом схемы (тривиальность группы классов аффинной схемы $\mathrm {Spec} A$ является критерием факториальности кольца $A$ при условии, что $A$ нётерово и целозамкнуто)[1], а также, в некоторых случаях, позволяет классифицировать все одномерные расслоения над данной схемой.

Дивизоры Вейля и линейные расслоения

Пусть ${\mathcal {L}}$ — линейное расслоение над (целой, нётеровой, регулярной в коразмерности 1) схемой $X$ ; ему соответствует пучок сечений, локально изоморфный кольцу регулярных функций на $X$ . Используя эти изоморфизмы, любому рациональному сечению $s$ данного пучка (то есть сечению над некоторым открытым плотным подмножеством) можно сопоставить дивизор его нулей и полюсов, обозначаемый $\mathrm {div} \,s$ [2]. Два различных рациональных сечения отличаются умножением на рациональную функцию, поэтому это сопоставление определяет корректно заданное отображение из группы Пикара в группу классов дивизоров: $\mathrm {div$ . Можно проверить также, что это отображение является гомоморфизмом (тензорному произведению расслоений соответствует сумма дивизоров), в случае нормальности схемы оно инъективно, а в случае локальной факториальности схемы — сюръективно[3]. В частности, все эти условия выполняются для гладких алгебраических многообразий, что даёт классификацию линейных расслоений над ними с точностью до изоморфизма. Например, все одномерные расслоения над аффинной локально факториальной схемой тривиальны, так как тривиальна её группа классов дивизоров.

Дивизоры Картье

Для работы с произвольными схемами, имеющими особенности, часто оказывается более удобным другое обобщение понятия подмногообразия коразмерности 1[4]. Пусть $U_{i}$ — некоторое покрытие схемы $X$ аффинными схемами, а $f_{i}$ — семейство рациональных функций на соответствующих $U_{i}$ (в данном случае под рациональной функцией подразумевается элемент полного кольца частных). Если эти функции согласованы, в том смысле что $f_{i}$ и $f_{j}$ на $U_{i}\cap U_{j}$ отличаются умножением на обратимую регулярную функцию, то данное семейство задаёт дивизор Картье.

Более точно, пусть $K(U)$ — полное кольцо частных кольца регулярных функций ${\mathcal {O}}_{X}(U)$ (где $U$ — произвольное аффинное[5] открытое подмножество). Так как аффинные подмножества образуют базу топологии $X$ , все $K(U)$ однозначно определяют предпучок на $X$ , соответствующий ему пучок обозначается ${\mathcal {K}}_{X}^{*}$ . Дивизором Картье называется глобальное сечение факторпучка ${\mathcal {K}}_{X}^{*}/{\mathcal {O}}_{X}^{*}$ , где ${\mathcal {O}}_{X}^{*}$ — пучок обратимых регулярных функций. Имеется точная последовательность $0\to {\mathcal {O}}_{X}^{*}\to {\mathcal {K}}_{X}^{*}\to {\mathcal {K}}_{X}^{*}/{\mathcal {O}}_{X}^{*}\to 0$ , применив к ней точный слева функтор глобальных сечений, получим точную последовательность $0\to \Gamma (X,{\mathcal {O}}_{X}^{*})\to \Gamma (X,{\mathcal {K}}_{X}^{*})\to \Gamma (X,{\mathcal {K}}_{X}^{*}/{\mathcal {O}}_{X}^{*})\to H^{1}(X,{\mathcal {O}}_{X}^{*})$ . Дивизоры Картье, лежащие в образе отображения из $\Gamma (X,{\mathcal {K}}_{X}^{*})$ , называются главными.

Существует естественный гомоморфизм из группы дивизоров Картье (групповая операция соответствует умножению функций) в группу дивизоров Вейля; если $X$ — целая отделимая нётерова схема, все локальные кольца которой факториальны, это отображение является изоморфизмом. В случае же, когда условие локальной факториальности не выполняется, дивизоры Картье соответствуют локально главным дивизорам Вейля (дивизорам, которые в окрестности каждой точки задаются как нули некоторой рациональной функции). Пример дивизора Вейля, не являющегося дивизором Картье — прямая в квадратичном конусе $\mathbb {R} [x,y,z]/(x^{2}+y^{2}-z^{2})$ , проходящая через его вершину.

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

Эффективные дивизоры Картье

Дивизор Картье называется эффективным, если все задающие его функции $f_{i}$ регулярны на соответствующих множествах $U_{i}$ . В этом случае соответствующий дивизору обратимый пучок является пучком идеалов, то есть пучком функций, зануляющихся на некоторой замкнутой подсхеме. Обратно, эта замкнутая подсхема однозначно определяет эффективный дивизор, поэтому эффективные дивизоры Картье на $X$ можно определить как замнутые подсхемы $X$ , которые локально можно задать как множество нулей одной функции, не являющейся делителем нуля[6]. На целой отделлимой нётеровой схеме, локальные кольца которой факториальны, эффективные дивизоры Картье соответствуют в точности эффективным дивизорам Вейля[7].

Примечания

Хартсхорн, 1981, с. 174.
Ravi Vakil, p. 388.
Ravi Vakil, p. 389, 391.
Хартсхорн, 1981, с. 185.
Kleiman, 1979.
Ravi Vakil, p. 236, 396.
Хартсхорн, 1981, p. 191.

Литература

Р. Хартсхорн. Алгебраическая геометрия. — М.: Мир, 1981.
Kleiman, Steven. Misconceptions about K_X // L'Enseignment Mathématique. — 1979. — № 25. — P. 203-206. — doi:10.5169/seals-50379.

Ссылки

Ravi Vakil. MATH 216: Foundations of Algebraic Geometry (версия 11.06.2013). — записки курса алгебраической геометрии, прочитанного в Стэнфордском университете.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[_349dd5ce8ed3b519-1] Хартсхорн, 1981, с. 174.

[_a335778be3a94061-2] Ravi Vakil, p. 388.

[_8e84651f841c97ed-3] Ravi Vakil, p. 389, 391.

[_349dc6ce8ed39b85-4] Хартсхорн, 1981, с. 185.

[_baceacbc167a90fe-5] Kleiman, 1979.

[_4f73c568f57e9a2b-6] Ravi Vakil, p. 236, 396.

[_349dc7ce8ed39d52-7] Хартсхорн, 1981, p. 191.