ДИВИЗОР

- обобщение понятия делителя элемента коммутативного кольца. Впервые (под назв. "идеальный делитель") это понятие возникло в работах Э. Куммера [1] об арифметике круговых полей.

Теория Д. для коммутативного кольца А с единицей без делителей нуля состоит в построении гомоморфизма j из мультипликативной полугруппы А* ненулевых элементов Ав нек-рую полугруппу D₀ с однозначным разложением на множители, элементы к-рой наз. (целыми) дивизорами кольца А. Теория Д. позволяет свести ряд вопросов, связанных с разложением на простые множители в кольце А, где это разложение может быть неоднозначно, к рассмотрению разложения на простые множители в D₀. Образ элемента обозначается (а) и наз. главным дивизором элемента а. Говорят, что делится на Д. aО D₀, если а делит (а) в D₀.

Точнее, пусть D₀- свободная абелева полугруппа с единицей, свободные образующие к-рой наз. простыми дивизорами, и пусть задан гомоморфизм j:Гомоморфизм j определяет теорию Д. кольца А, если он удовлетворяет следующим условиям.

1) Для элемент аделит bв кольце Атогда и только тогда, когда (а)делит (b) в D₀.

2) Для любого

является идеалом кольца А.

3) Если и для любого (а)делится на а тогда и только тогда, когда (а)делится на а', то a=a'.

Этими условиями гомоморфизм ф, если он существует, определяется однозначно с точностью до изоморфизма. Ядро ker j совпадает с группой единиц кольца А. Элементы из D₀ наз. положительными Д. кольца А. Пусть К- поле частных кольца А и - свободная абелева группа, порожденная множеством простых Д. Тогда для любого можно определить главный дивизор (c)О D. Если с= a/b, где то (с)=(a)/(b). Элементы группы Dназ. дробными дивизорами (или просто дивизорами) кольца А(или поля К). Каждый Д. может быть записан в виде

где p_i- простые Д. Либо (в аддитивной записи):

Если и то отображение является дискретным нормированием на поле К, наз. существенным нормированием поля К. Гомоморфизм j продолжается до гомоморфизма y: где y(c)=(c), содержащегося в точной последовательности

Здесь U(А)- группа единиц кольца А, а группа С(А) наз. группой классов дивизоров кольца А(или поля К). Два Д., принадлежащие одному смежному классу по подгруппе главных Д., наз. эквивалентными (в алгебраической геометрии, где рассматривается целый ряд других эквивалентностей для Д., эта эквивалентность называется линейной).

Теория Д. существует для всякого дедекиндова кольца, в частности, для колец целых элементов в полях алгебраич. чисел, причем в этом случае элементы D₀ находятся во взаимно однозначном соответствии с ненулевыми идеалами кольца А (Д. а при этом соответствует идеал всех элементов А, делящихся на а). По этой причине в дедекиндовых кольцах группу Д. наз. также группой идеалов, а группу классов Д.- группой классов идеалов.

Группа классов Д. поля алгебраич. чисел конечна, и с вычислением ее порядка (числа классов) и структуры связаны многие задачи алгебраической теории чисел (см. [2]).

продолжение Девизор...

Более общо, теория Д. существует для Крулля колец (см. [11]). В этом случае роль D₀ играет полугруппа дивизориальных идеалов кольца, а роль Dиграет группа дробных дивизориальных идеалов.

Обобщением понятия дробного дивизориального идеала коммутативного кольца на случай алгебраич. многообразия или аналитич. ространства служит понятие дивизора Вейля. Так называется целочисленная формальная конечная линейная комбинация Sn_WW неприводимых замкнутых подпространств Wв Xкоразмерности 1. Дивизор Вейля наз. положительным, или эффективным, если все Все дивизоры Вейля образуют группу Z¹(X)(группа дивизоров Вейля). В случае, когда X- гладкое алгобраич. многообразие, понятие дивизора Вейля совпадает с понятием алгебраического цикла коразмерности 1.

Если А- нётерово кольцо Крулля, то каждый простой дивизориальный идеал pв Аопределяет подпространство V(p)коразмерности 1 в схеме X=Spec(A), a каждый Д. может быть отождествлен тем самым с дивизором Вейля

Пусть X- нормальная схема, а f - мероморфная функция на X. Каноническим образом определяется главный дивизор Вейля:

Здесь n_W есть значение дискретного нормирования кольца O_X,W общей точки подмногообразия Wна представителе f в O_X,W Если

где n_W⁺>0, а n_W^-<0, то дивизор Вейля (f)₀=Sn_W⁺W наз. дивизором нулей, а Sn_W^-W - дивизором полюсов функции f. Множество главных дивизоров Вейля является подгруппой Z¹_p(X)группы Z¹(X). Факторгруппа Z¹(X)/Z¹_P(X)обозначается С(Х)и наз. группой классов дивизоров схемы X. Если X=Spec А, где А- нётерово кольцо Крулля, то С(Х)совпадает с группой классов Д. кольца A,

Пусть К- поле алгебраич. функций. Д. поля Кназ. иногда формальные конечные целочисленные комбинации дискретных нормирований ранга 1 поля К. Если Кесть поле алгебраич. функций от одной переменной, то каждый такой Д. может быть отождествлен с дивизором Вейля его полной неособой модели.

Пусть X- регулярная схема или комплексное многообразие и D=Sn_WW - дивизор Вейля. Для любой точки существует такая открытая окрестность U, что ограничение Dна U

является главным Д. (f_U). для нек-рой мероморфной функции f_U на U. Функция f_U определена однозначно о точностью до обратимой функции на Uи наз. локальным уравнением Д. Dв окрестности V, а соответствие определяет сечение пучка Вообще, дивизором Картье на окольцованном пространстве (X, O_X )называется глобальное сечение пучка (пучка ростков дивизоров). Здесь М _X обозначает пучок ростков мероморфных (или рациональных) функций на X, т. е. пучок, сопоставляющий каждому открытому полное кольцо частных кольца Г(U, O_X), а М и O*_X- пучки обратимых элементов в М _X и O_X соответственно. Дивизор Картье можно задавать набором локальных уравнений

где {U_i} - открытое покрытие X, причем на , функция f_i/f_j должна быть сечением пучка O*_X . В частности, мероморфная функция f определяет Д. div(f), наз. главным. Множество таких, что (f_i)_x П O*_X,x , наз. носителем дивизора. Дивизоры Картье образуют абелеву группу Div(X), а главные Д.- ее подгруппу Div_l(X). Каждый Д.определяет обратимый пучок содержащийся в М _X:. если Dтредставлен локальными уравнениями f_i на покрытии {U_i}, то

Сопоставление является гомоморфизмом группы Div(X) в Пикара группу

Этот гомоморфизм включается в точную последовательность

получающуюся из точной последовательности пучков

Таким образом, ker d=Div_l(X). Если D-D' есть главный Д., то Dи D' наз. линейно эквивалентным и. Если X- квазипроективное алгебраич. многообразие или комплексное пространство Штейна, то гомоморфизм б:сюръективен и индуцирует изоморфизм группы классов линейно эквивалентных Д. Div (X)/Div_l(X)на группу Пикара Pic(X).

Если X- комплексное пространство, то вопрос о том, когда данный Д. является главным, есть вторая Кузена проблема. Напр., на комплексном пространстве Штейна (X, O )группа классов Д. тривиальна тогда и только тогда, когда Н ²( Х,Z)=0.

Д. Dназ. эффективным (или положительным), если В этом случае является пучком идеалов в носитель Д. Dсо структурным пучком образует подпространство в X, обозначаемое также D.

Для нормальной нётеровой схемы или нормального аналитич. ространства Xимеется естественный гомоморфизм переводящий в где n_W=v_W(f), f - локальное уравнение Dв окрестности W,a v_W- соответствующее Wдискретное нормирование (см. [3]). Гомоморфизм сус инъективен и переводит эффективные Д. в эффективные; сус биективен тогда и только тогда, когда X локально факториально (напр., когда X- неособая схема или аналитич. многообразие). В случае, когда сус биективен, дивизоры Вейля и Картье отождествляются.

Пусть f : - морфизм схем, плоский в коразмерности 1. Тогда для любого дивизора Картье или Вейля Dна Xопределен его обратный образ j*(D). При этом cyc(f*(D))=f*(cyc(D)). Отображение является гомоморфизмом групп, переводит главные Д. в главные и тем самым определяет гомоморфизм групп

Если X'- открытое множество в X, дополнение к к-рому имеет коразмерность и f - вложение X' в X, то /*:- изоморфизм, а f : Pic(X)Pic(X' )является изоморфизмом при условии, что схема Xлокально факториальна.

Пусть X- гладкое проективное многообразие над С Каждый Д. Dна Xопределяет класс гомологий

двойственный по Пуанкаре к [D]класс когомологий совпадает с Чжэня классомобратимого пучка Ox(D). Так на Div (X)возникает гомологич. эквивалентность. Имеется теория пересечения Д. (см. [7]), приводящая к понятию численной эквивалентности, тесно связанной с понятием алгебраич. эквивалентности Д. (см. Алгебраический цикл). Группа

где Div_a(X)обозначает группу Д., алгебраически эквивалентных нулю, естественным образом снабжается структурой абелева многообразия (Пикара многообразие;если X- кривая, то оно также наз. Якоби многообразием кривой X). Группа Div (X)/Div_a(X), наз. группой Нерона - Север и, имеет конечное число образующих. Последние два факта верны и для алгебраич. многообразий над произвольным полем.

Если X- одномерное комплексное многообразие (риманова поверхность), то Д. на Xможно понимать как конечные линейные комбинации

где ,. Числоназ. степенью Д. <О.

Для компактной римановой поверхности Xрода gгруппа классов Д. степени 0 есть g-мерное абелево многообразие и совпадает с многообразием Пикара (или с многообразием Якоби). Если f - мероморфная функция на X, то главный Д.

где х,- нули, y_j - полюсы функции f, а т _i, n_j - их кратности. Тогда т. е. главный Д. имеет степень 0. Д. Dстепени 0 на Xявляется главным тогда и только тогда, когда существует такая сингулярная одномерная цепь С, что для всех голоморфных форм со степени 1 на X(теорема Абеля). См. также Абелев дифференциал.

Лит.:[1] Kummer E. В., "J. reine und angew. Math.", 1847, Bd 35, S. 327-67; [2] Боpeвич З. И., Шафаревич И. Р., Теория чисел, 2 изд., М., 1972; [3] Вейль А., Введение в теорию кэлеровых многообразий, пер. с франц., М., 1961; [4] Сartier P., "Bull. Soc. math. France", 1958, t. 86, p. 177-251; [5] Grothendieck A., "Publ. Math. IHES", 1967, № 32, ch. 4, pt. 4; [6] Mамфорд Д., Лекции о кривых на алгебраической поверхности, пер. с англ., М., 1968; [7] Шафаревич И. Р., Основы алгебраической геометрии, М., 1972; [8] Шевалле К., Введение в теорию алгебраических функций от одной переменной, пер. с англ., М., 1959; [9] Ганнинг Р., Росси X., Аналитические функции многих комплексных переменных, пер. с англ.. М., 1969; [10] Чжэнь Шэн-шань, Комплексные многообразия, пер. с англ., М., 1961; [11] Бурбаки Н., Коммутативная алгебра, пер. с франц., М., 1971; [12] Спрингер Дж., Введение в теорию римановых поверхностей, пер. с англ., М., 1960.

В. И. Данилов, Л. В. Кузьмин, А. Л. Онищик.