Теория инвариантов

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

История

Классическая теория инвариантов (XIX — начало XX века)

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

В 1868 году Пауль Гордан доказал знаменитую теорему о конечности базиса инвариантов для бинарных форм, за что получил прозвище «король инвариантов». Однако его методы были чрезвычайно сложными и конструктивными. В 1890 году Давид Гильберт произвел революцию, доказав общую теорему о конечности: для любой группы линейных преобразований, действующей на кольце многочленов, кольцо инвариантов конечно порождено. Гильберт использовал неконструктивные методы (теорема о базисе Гильберта), что вызвало споры с Горданом, но в итоге заложило основы современной алгебраической теории инвариантов.

Упадок и возрождение (XX век)

К началу XX века интерес к классической теории инвариантов угас, отчасти из-за чрезмерной вычислительной сложности и отсутствия новых глубоких идей. Однако в 1960-х годах теория инвариантов пережила возрождение благодаря работам Дэвида Мамфорда по геометрической теории инвариантов (Geometric Invariant Theory, GIT). Мамфорд применил методы алгебраической геометрии и теории схем к задаче построения факторпространств по действию групп, что позволило решать проблемы классификации алгебраических многообразий.

Параллельно развивалась комбинаторная теория инвариантов, связанная с теорией представлений групп и алгебр Ли, а также инварианты узлов в топологии (например, полином Джонса, 1984 год). В конце XX — начале XXI века теория инвариантов стала важным инструментом в математической физике, особенно в квантовой теории поля и теории струн.

Основные понятия и определения

Группа и действие

Пусть \( G \) — группа, а \( X \) — некоторое множество (например, векторное пространство, многообразие или кольцо многочленов). Действие группы \( G \) на \( X \) — это гомоморфизм из \( G \) в группу автоморфизмов \( X \). Для каждого элемента \( g \in G \) и точки \( x \in X \) определено \( g \cdot x \in X \), причем выполняются аксиомы: \( e \cdot x = x \) и \( g \cdot (h \cdot x) = (gh) \cdot x \).

Инвариант

Инвариантом относительно действия группы \( G \) называется функция \( f: X \to Y \) (где \( Y \) — некоторое множество, часто поле или кольцо), такая что для всех \( g \in G \) и \( x \in X \) выполняется \( f(g \cdot x) = f(x) \). Если \( X \) — алгебраическое многообразие или векторное пространство, а \( f \) — полиномиальная функция, то говорят о полиномиальном инварианте.

Кольцо инвариантов

Множество всех полиномиальных инвариантов действия группы на векторном пространстве \( V \) образует кольцо инвариантов, обозначаемое \( \mathbb{K}[V]^G \). Это подкольцо в кольце многочленов \( \mathbb{K}[V] \). Теорема Гильберта утверждает, что если \( G \) — редуктивная группа (например, конечная группа, GL\(_n\), SL\(_n\)), то кольцо инвариантов конечно порождено.

Классификация и примеры

По типу группы

1. Инварианты конечных групп: Например, группа перестановок \( S_n \) действует на многочленах от \( n \) переменных. Инвариантами являются симметрические многочлены (элементарные симметрические многочлены, степенные суммы). Кольцо симметрических многочленов порождено \( n \) алгебраически независимыми элементами.
2. Инварианты непрерывных групп (групп Ли): Например, группа SL\(_2(\mathbb{C})\) действует на пространстве бинарных форм степени \( d \). Инварианты — это полиномы от коэффициентов формы, не меняющиеся при замене переменных с определителем 1. Для бинарных форм степени 4 (квартик) существует единственный фундаментальный инвариант — дискриминант.
3. Инварианты алгебраических групп: Общий случай, изучаемый в геометрической теории инвариантов.

По типу объекта

1. Алгебраические инварианты: Инварианты многочленов, тензоров, матриц. Например, определитель матрицы инвариантен относительно действия группы SL\(_n\) (умножение слева и справа на матрицы с определителем 1). След матрицы инвариантен относительно действия группы GL\(_n\) (сопряжение).
2. Геометрические инварианты: Инварианты кривых, поверхностей, многообразий. Например, эйлерова характеристика — топологический инвариант (не меняется при гомеоморфизмах). Род алгебраической кривой — бирациональный инвариант.
3. Топологические инварианты: Фундаментальная группа, гомологии, когомологии. Полином Джонса — инвариант узла (не меняется при изотопии узла).

Примеры конкретных инвариантов

• Дискриминант квадратного трехчлена: \( D = b^2 - 4ac \) инвариантен относительно замены переменной \( x \mapsto \alpha x + \beta \) (с точностью до множителя).
• Определитель матрицы: Инвариантен при сопряжении: \( \det(P^{-1}AP) = \det(A) \).
• След матрицы: Инвариантен при сопряжении: \( \operatorname{tr}(P^{-1}AP) = \operatorname{tr}(A) \).
• Эйлерова характеристика многогранника: \( V - E + F = 2 \) для выпуклых многогранников (инвариант комбинаторной структуры).
• Полином Джонса: Инвариант узла, позволяющий различать многие узлы (например, трилистник и его зеркальное отражение).

Применение

В математике

1. Классификация алгебраических многообразий: Геометрическая теория инвариантов (GIT) позволяет строить пространства модулей — параметризующие семейства геометрических объектов (кривых, векторных расслоений, многообразий). Например, пространство модулей \( \mathcal{M}_g \) алгебраических кривых рода \( g \) строится как факторпространство по действию группы.
2. Теория представлений: Инварианты используются для изучения разложения тензорных произведений представлений (правила ветвления, коэффициенты Клебша-Гордана).
3. Алгебраическая комбинаторика: Инварианты групп перестановок (симметрические функции) лежат в основе комбинаторики и теории функций Шура.
4. Топология: Инварианты узлов (полиномы Александера, Джонса, ХОМФЛИ) применяются для различения узлов и зацеплений, а также для построения трехмерных топологических инвариантов (инварианты Кассона, инварианты Зайберга-Виттена).

В физике

1. Теория относительности: Тензор энергии-импульса, тензор кривизны Римана — инварианты относительно преобразований Лоренца (в специальной теории относительности) или общих координатных преобразований (в общей теории относительности). Скалярная кривизна — инвариант.
2. Квантовая механика: Симметрии квантовых систем порождают законы сохранения (теорема Нётер). Например, инвариантность относительно трансляций приводит к сохранению импульса, относительно вращений — к сохранению момента импульса.
3. Квантовая теория поля: Инварианты калибровочных полей (например, инстантоны, монополи) играют ключевую роль в классификации вакуумных состояний и топологических эффектах (квантование магнитного заряда, аномалии).
4. Теория струн: Инварианты модулей пространств Калаби-Яу используются для компактификации дополнительных измерений.

В других областях

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

Критика и ограничения

Основная критика классической теории инвариантов XIX века касалась её чрезмерной вычислительной сложности: для многих групп и представлений кольцо инвариантов хотя и конечно порождено, но найти явные образующие и соотношения между ними чрезвычайно трудно. Например, для действия группы SL\(_3\) на пространстве кубических форм от трех переменных кольцо инвариантов порождено 4 образующими, но их степени достигают 4, 6, 8 и 10, а вычисление явных формул — нетривиальная задача.

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

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

• Проблема Гордана: Гордан утверждал, что «теория инвариантов мертва», но её возрождение в XX веке опровергло это мнение.
• 14-я проблема Гильберта: Одна из знаменитых проблем Гильберта (1900 год) — является ли кольцо инвариантов конечнопорожденным для любой алгебраической группы? Отрицательный ответ был дан в 1958 году Масёси Нагатой.
• Инварианты и теория Галуа: Теория Галуа по сути изучает инварианты полей относительно действия группы автоморфизмов.
• Полином Джонса: Его открытие в 1984 году принесло Вону Джонсу Филдсовскую медаль (1990) и привело к бурному развитию теории инвариантов узлов.

Источники

1. Гильберт Д. «Теория инвариантов». — М.: Наука, 1974.
2. Мамфорд Д., Фогарти Дж., Кирван Ф. «Геометрическая теория инвариантов». — М.: Мир, 1984.
3. Винберг Э. Б., Попов В. Л. «Теория инвариантов» // Итоги науки и техники. Сер. Современные проблемы математики. Фундаментальные направления. — М.: ВИНИТИ, 1989. — Т. 55.
4. Дьедонне Ж., Кэрролл Дж., Мамфорд Д. «Геометрическая теория инвариантов». — М.: Мир, 1974.
5. Крафт Х. «Геометрические методы в теории инвариантов». — М.: Мир, 1987.