Математическая энциклопедия - модулей теория

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

Пусть Акласс объектов алгебраич. геометрии (многообразий, схем, векторных расслоений и т. п.), на к-ром задано нек-рое отношение эквивалентности R. Основная задача классификации (описания множества классов A/R )состоит из следующих двух частей: 1) описание дискретных инвариантов, к-рые обычно позволяют разбить A/R в счетное число подмножеств, объекты к-рых уже непрерывно зависят от параметров; 2) задание и изучение алгебро-геометрич. структур на множествах параметров. Вторая часть составляет содержание М. т.

М. т. возникла при изучении эллиптич. функций: существует непрерывное семейство различных полей эллиптич. функций (или их моделей неизоморфных эллиптич. кривых над ), параметризованное комплексными числами. Б. Риман (В. Riemann), к-рому принадлежит и сам термин "модули", показал, что поля алгебраич. функций над (или их моделей компактных римановых поверхностей) рода зависят от 3g-3 непрерывных комплексных параметров модулей.

Основные понятия М. т. Пусть Sнек-рая схема (комплексное или алгебраич. пространство). Семейство объектов, параметризованных схемой S(или, как часто говорят, "над 5", или "с базой S"),- это набор объектов

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

Пусть Мобъект в категории схем (комплексных или алгебраич. пространств) и функтор точек в этой категории, т. е. . Если функтор семейств представим, т. е.для нек-рого М, то существует универсальное семейство с базой , и Мназ. тонкой схемой (соответственно тонким комплексным или алгебраическим пространством) модулей. Функтор представим в очень немногих случаях, в связи с чем было введено также понятие грубой схемы модулей; Мназ. грубой схемой модулей, если существует морфизм функторов , обладающий свойствами: а) если S=SpecK=ptодна точка (где Калгебраически замкнутое поле), то отображение биективно, иначе говоря, множество геометрич. точек схемы Мнаходится в естественном взаимно однозначном соответствии с множеством классов эквивалентности параметризуемых объектов; б) для каждой схемы N и морфизма функторов существует единственный морфизм такой, что . Аналогично определяются грубая схема комплексного и алгебраического пространств модулей.

Грубая схема модулей хотя и параметризует однозначно классы изучаемых объектов с заданными дискретными инвариантами, но естественное семейство над ней не обладает (в отличие от семейства над тонкой схемой модулей) сильным свойством универсальности.

Грубая схема (пространство) модулей существует уже в достаточно большом числе случаев.

Примеры. 1)Модули алгебраических кривых. Пусть (соответственно ) множество классов изоморфных проективных неособых кривых (соответственно стабильных кривых) рода над алгебраически замкнутым полем К. Семейство над Sэто гладкий (плоский) собственный морфизм схем , слоями к-рого являются гладкие (стабильные) кривые рода g. Тогда существует грубая (но не тонкая) схема модулей (соответственно ), являющаяся квазипроективным (проективным) неприводимым и нормальным многообразием над К. (см. [3], [5], [6]).

2) Модули алгебраических кривых с якобиевой жесткостью. Пусть гладкое семейство проективных кривых (соответственно плоское семейство стабильных кривых) рода , пцелое число, обратимое на , и первый прямой образ постоянного пучка в этальной топологии. Тогда локально свободен, имеет ранг и снабжен локально невырожденной симплектич. формой со значением в , с точностью до обратимого элемента из . Якобиева структура уровня и на Xэто задание симплектич. изоморфизма

Пусть (соответственно ) функтор семейств гладких (стабильных) кривых рода с якобиевой жесткостью уровня п. Тогда при функтор (соответственно ) представим квазипроективной (проективной) схемой (соответственно ) над , где первообразный корень n-й степени из 1, т. е. существует тонкая схема модулей (соответственно ) для гладких (стабильных) кривых рода над полем характеристики взаимно простой с я, снабженных якобиевой жесткостью уровня п. Для достаточно больших и схема является гладкой [5].

3) Поляризованные алгебраические многообразия. Поляризованным семейством наз. пара , где гладкое семейство многообразий, т. е. гладкий собственный морфизм , а класс относительно обильного обратимого пучка . в по модулю , где относительная схема Пикара, а ее связная компонента нулевого сечения.

В этом случае строится функтор поляризованных семейств с заданным многочленом Гильберта h.

Без дополнительных ограничений этот функтор не представим. Существование грубого пространства модулей известно (1982) лишь в отдельных случаях. Для поляризованных алгебраич. многообразий также существует понятие жесткости уровня п.

4) Векторные расслоения. Пусть множество классов векторных расслоений ранга пна алгебраич. многообразии X. Семейство над Sэто векторное расслоение Ена . Грубое пространство модулей существует здесь как нормальнее проективное многообразие для полустабильных векторных расслоений ранга пи степени dна неособой проективной алгебраич. кривой Xнад алгебраически замкнутым полем К. Стабильные векторные расслоения в параметризуются открытым гладким подмногообразием . Если dи n взаимно просты, то . Аналогичные результаты получены и для стабильных векторных расслоений на алгебраич. поверхности. Более того, в этом случае существует тонкая схема модулей (см. [7], [10] [14]).