Пространство модулей¶

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

¶История

Понятие пространства модулей восходит к работам Бернхарда Римана середины XIX века. В 1857 году Риман ввёл термин «модуль» для параметров, описывающих классы эквивалентности римановых поверхностей фиксированного рода. Он показал, что множество таких поверхностей зависит от конечного числа непрерывных параметров — модулей. Для рода \( g \geq 2 \) число модулей равно \( 3g-3 \). Риман также выдвинул гипотезу о существовании пространства, параметризующего все римановы поверхности данного рода, что позже стало известно как пространство модулей кривых.

В XX веке развитие алгебраической геометрии, особенно работы Оскара Зарисского, Андре Вейля и Дэвида Мамфорда, привело к строгому определению пространств модулей в рамках теории схем. Мамфорд в 1960-х годах разработал геометрическую теорию инвариантов, которая стала основным инструментом для построения пространств модулей в алгебраической геометрии. В 1965 году он опубликовал монографию «Geometric Invariant Theory», где заложил основы современного подхода.

¶Классификация пространств модулей

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

¶По типу объектов

• Пространства модулей кривых: параметризуют классы изоморфизма гладких проективных кривых (римановых поверхностей) фиксированного рода \( g \). Обозначаются \( \mathcal{M}_g \). Существуют также компактифицированные пространства \( \overline{\mathcal{M}}_g \), включающие особые кривые (например, стабильные кривые по Делиню — Мамфорду).
• Пространства модулей векторных расслоений: параметризуют классы изоморфизма векторных расслоений фиксированного ранга и степени на заданном многообразии. Например, пространство модулей стабильных векторных расслоений на кривой.
• Пространства модулей отображений: параметризуют морфизмы из одного многообразия в другое с заданными условиями (например, отображения из кривой в проективное пространство, используемые в теории Громова — Виттена).
• Пространства модулей представлений: параметризуют классы эквивалентности представлений фундаментальной группы или группы Ли в фиксированную группу (например, пространства характеров).

¶По типу пространства

• Гладкие многообразия: многие пространства модулей, например, \( \mathcal{M}_g \) для \( g \geq 2 \), являются гладкими комплексными многообразиями (орбифолдами).
• Особые пространства: некоторые пространства модулей имеют особенности, соответствующие объектам с нетривиальной группой автоморфизмов. Например, пространство модулей кривых рода 1 (эллиптических кривых) имеет орбифолдные особенности.
• Схемы и стеки: в алгебраической геометрии пространства модулей часто строятся как алгебраические стеки (например, стек модулей кривых \( \mathcal{M}_g \)), что позволяет учитывать автоморфизмы объектов.

¶Устройство и свойства

¶Размерность

Размерность пространства модулей определяется числом непрерывных параметров, необходимых для описания объектов. Для пространства модулей кривых \( \mathcal{M}_g \) комплексная размерность равна \( 3g-3 \) при \( g \geq 2 \), 1 при \( g=1 \) (эллиптические кривые) и 0 при \( g=0 \) (сфера Римана единственна). Для пространства модулей векторных расслоений ранга \( r \) и степени \( d \) на кривой рода \( g \) размерность равна \( r^2(g-1)+1 \) (для стабильных расслоений).

¶Граница и компактификация

Пространства модулей, как правило, некомпактны, так как объекты могут деформироваться в особые или вырожденные. Для получения компактного пространства применяют процедуру компактификации. Например, компактификация Делиня — Мамфорда \( \overline{\mathcal{M}}_g \) добавляет стабильные кривые с узлами, что делает пространство проективным и компактным. Компактификации играют ключевую роль в теории пересечений и подсчёте инвариантов (например, числа Громова — Виттена).

¶Автоморфизмы и орбифолды

Объекты могут иметь нетривиальные группы автоморфизмов, что приводит к появлению орбифолдных особенностей в пространстве модулей. В алгебраической геометрии это учитывается с помощью стеков. Например, эллиптическая кривая с комплексным умножением имеет автоморфизмы порядка 2, 3, 4 или 6, что создаёт особые точки в модулярной кривой.

¶Применение

¶Алгебраическая геометрия

Пространства модулей являются основным объектом изучения в современной алгебраической геометрии. Они используются для классификации алгебраических многообразий, изучения их деформаций и построения универсальных семейств. Например, пространство модулей кривых \( \mathcal{M}_g \) связано с теорией Тейхмюллера и комплексным анализом.

¶Теория струн и математическая физика

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

¶Теория представлений

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

¶Теория чисел

Модулярные кривые (пространства модулей эллиптических кривых с дополнительной структурой) играют ключевую роль в теории чисел, в частности, в доказательстве великой теоремы Ферма Эндрю Уайлсом. Они используются для построения модулярных форм и эллиптических кривых.

¶Примеры

• Пространство модулей эллиптических кривых: параметризуется комплексной прямой \( \mathbb{C} \) с действием модулярной группы \( \mathrm{SL}(2,\mathbb{Z}) \). Фактор \( \mathbb{H}/\mathrm{SL}(2,\mathbb{Z}) \) (где \( \mathbb{H} \) — верхняя полуплоскость) является модулярной кривой \( Y(1) \), которая биголоморфна сфере Римана с двумя особыми точками (соответствующими эллиптическим кривым с автоморфизмами). Её компактификация \( X(1) \) добавляет точку на бесконечности (касп).
• Пространство модулей кривых рода 2: имеет комплексную размерность 3. Является гладким орбифолдом. Его компактификация \( \overline{\mathcal{M}}_2 \) — проективное многообразие с границей, состоящей из кривых с одним узлом.
• Пространство модулей стабильных векторных расслоений ранга 2 на кривой рода 2: для степени 1 имеет размерность 3 и является гладким трёхмерным многообразием.

¶Интересные факты

• Термин «модуль» происходит от латинского modulus — «мера», «масштаб». Риман использовал его для обозначения параметров, определяющих конформную структуру.
• Пространство модулей кривых \( \mathcal{M}_g \) является одним из важнейших объектов в математике, но его полная структура до сих пор не изучена для больших \( g \). Например, неизвестно, является ли оно рациональным многообразием для \( g \geq 23 \).
• Компактификация Делиня — Мамфорда \( \overline{\mathcal{M}}_g \) является гладким стеком, но не многообразием, так как имеет орбифолдные особенности.
• Пространства модулей используются в программе «Зеркальной симметрии», связывающей комплексную и симплектическую геометрию.

¶Критика

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