Русская Википедия:Теория Черна — Вейля

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Характеристические классы — это далеко идущее обобщение таких количественных понятий элементарной геометрии, как степень плоской алгебраической кривой или сумма индексов особых точек векторного поля на поверхности. Более подробно они описаны в соответствующей статье. Теория Черна — Вейля позволяет представлять некоторые характеристические классы как выражения от кривизны.

Вложение при помощи линейной системы

Файл:Twisted cubic curve.png
Скрученная кубика — образ вложения рациональной кривой при помощи линейного расслоения <math>\mathfrak{O}(3)</math>

Наборы точек на алгебраической кривой с некоторыми кратностями называются дивизорами. Если, например, дана кривая, лежащая на комплексной проективной плоскости (или, более общо, комплексном проективном пространстве <math>\Complex\mathrm{P}^n</math>), то множество точек, по которой её пересекает какая-нибудь прямая, с кратностями, равными кратностям пересечения (или, если кривая лежит в пространстве, какая-нибудь гиперплоскость) — это дивизор. В алгебраической геометрии обычно рассматриваются не отдельные дивизоры, а их классы. Так, плоской кривой можно сопоставить класс дивизоров, состоящий из дивизоров, высекаемых на кривой всевозможными прямыми (всевозможными гиперплоскостями). Он называется линейной системой дивизоров, соответствующей данному вложению (обычно говорят просто «линейная система»).

Вопрос. Пусть дана абстрактная кривая, никуда не вложенная, и линейная система, соответствующая некоторому вложению. Можно ли по ней восстановить это вложение (с точностью до проективного преобразования объемлющего пространства)?

Оказывается, это возможно. Для этого, однако, нужно получше понять, что такое гиперплоскость в проективном пространстве. В аффинном пространстве гиперплоскость может быть задана как ядро (множество нулей) линейной функции (и такая функция будет единственна с точностью до умножения на ненулевое число). На проективном пространстве, однако, никаких линейных функций нет: всякая голоморфная функция на компактном комплексном многообразии постоянна. Если <math>V</math> — векторное пространство, то точки его проективизации <math>\mathrm{P}(V)</math> — это прямые <math>\ell \subset V</math>, и если <math>\varphi</math> — линейная функция на <math>V</math>, то «значение» <math>\varphi</math> в точке <math>\ell \in \mathrm{P}(V)</math> — это линейный функционал на соответствующем линейном пространстве <math>\ell \subset V</math>, то есть вектор в двойственном линейном пространстве <math>\ell^*</math>. При этом прямые, на которых этот функционал равен тождественному нулю — это в точности прямые, лежащие в ядре <math>\varphi</math>; соответствующие им точки в проективизации образуют проективную гиперплоскость.

Формализуется это следующим образом: проективизация <math>\mathrm{P}(V)</math> допускает над собою тавтологическое линейное расслоение, слой которого над точкой <math>\ell \in \mathrm{P}(V)</math> есть сама прямая <math>\ell \subset V</math>, рассматриваемая как линейное пространство. Это расслоение обозначается символом <math>\mathfrak{O}(-1)</math>. Сопряжённое к нему линейное расслоение (то есть такое, слои которого в каждой точке двойственны слоям исходного расслоения в тех же точках) обозначается <math>\mathfrak{O}(1)</math>; его сечения соответствуют линейным функционалам на векторном пространстве <math>V</math>. Соответственно, множества нулей сечений — это гиперплостости. Тем самым, если <math>C \subset \Complex\mathrm{P}^n</math> — проективная кривая, то соответствующая линейная система на ней состоит из дивизоров нулей сечений расслоения <math>L = \mathfrak{O}(1)|_C</math>.

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

Вопрос. Пусть имеется вложение алгебраической кривой <math>f \colon C \to \Complex\mathrm{P}^n</math>, и <math>f^*\mathfrak{O}(1) = L \to C</math> — ограничение на неё расслоения <math>\mathfrak{O}(1)</math>. Зная только <math>L</math>, можно ли восстановить вложение <math>f</math>?

Заметим, что расслоение <math>L</math> обладает следующим свойством: для всякой точки <math>x \in C</math> существует сечение <math>s \in \Gamma(L)</math> такое, что <math>s(x) \neq 0</math>. Это верно, например, потому что для любой точки пространственной кривой можно выбрать сечение гиперплоскостью, не проходящей через эту точку, и ограничить соответствующее сечение <math>\mathfrak{O}(1)</math> на кривую. Расслоения с таким свойством называются порождёнными глобальными сечениями. Конструкция вложения теперь очень простая. Рассмотрим пространство сечений <math>\Gamma(L)</math>. Каждая точка <math>x \in C</math> определяет отображение <math>\Gamma(L) \to L_x</math> отображением вычисления <math>s \mapsto s(x)</math>. Таким образом, точка кривой определяет вектор в пространстве <math>\Gamma(L)^*</math>, хорошо определённый с точностью до пропорциональности — то есть точку в проективном пространстве <math>\mathrm{P}(\Gamma(L)^*)</math>. Это и задаёт вложение <math>C \to \mathrm{P}(\Gamma(L)^*)</math>, с точностью до проективного соответствия совпадающее с исходным.

Что мы, в сущности, показали? Всякое линейное расслоение на кривой, порождённое глобальными сечениями, может быть получено как обратный образ расслоения <math>\mathfrak{O}(1) \to \Complex\mathrm{P}^n</math> относительно некоторого алгебраического отображения <math>C \to \Complex\mathrm{P}^n</math>. При этом степень расслоения (число нулей у его общего сечения) оказывается равной степени образа кривой при таком вложении. Её можно понимать как число точек пересечения с гиперплоскостью — то есть индекс пересечения классов гомологий <math>[f(C)]</math> и <math>[\Complex\mathrm{P}^{n-1}]</math>, а можно как интеграл: форма Фубини — Штуди <math>\omega</math> двойственна по Пуанкаре классу гиперплоского сечения <math>[\Complex\mathrm{P}^{n-1}]</math> (с точностью до умножения на <math>2\pi</math>), так что степень дивизора может быть вычислена как <math>\frac1{2\pi}\int_{f(C)}\omega = \frac1{2\pi}\int_C f^*\omega</math>. Заметим, что форма Фубини — Штуди есть форма кривизны на расслоении <math>\mathfrak{O}(1)</math>. Таким образом, степень линейного расслоения <math>L</math> на алгебраической кривой, порождённого глобальными сечениями, может быть выражена как интеграл кривизны некторой связности на нём. Теория Черна — Вейля утверждает гораздо большее: в частности, степень любого линейного расслоения над алгебраической кривой (и вообще любым вещественно двумерным компактным ориентируемым многообразием) равняется интегралу кривизны любой связности в нём (делённому на <math>2\pi</math>).

Классифицирующие отображения для линейных расслоений

Реализация линейных расслоений при помощи отображений по линейной системе страдает существенными недостатками: так, у расслоения может не быть вообще никаких сечений. В случае кривой это можно искусственно поправить, потому что тогда имеются сечения у двойственного расслоения, и иногда можно получить исходное расслоение как обратный образ <math>\mathfrak{O}(1)</math> вдоль антиголоморфного отображения. Но на комплексной поверхности линейное расслоение может быть «положительным» в одном направлении, а «отрицательным» в другом, и подобным трюком обойтись уже нельзя. Вместе с тем, отображения по линейной системе дают некоторую интуицию, которая позволяет добиться гораздо большего, если задаться не алгебраическими или голоморфными отображениями, а произвольными непрерывными.

Файл:HeinzHopf 1936 MFO11128.jpg
Хайнц Хопф (1936)

Вернёмся к расслоению <math>\mathfrak{O}(1) \to \mathrm{P}(V)</math>, и будем считать, что пространство <math>V</math> снабжено эрмитовой метрикой. Тогда и расслоение <math>\mathfrak{O}(1)</math> снабжено эрмитовой метрикой. Выделим в нём расслоение векторов единичной длины: на нём действует унитарная группа <math>\mathrm{U}(1)</math>, притом в каждом слое свободно и транзитивно. Тотальное пространство этого расслоения может быть отождествлено с единичной сферой <math>S^{2n+1}</math> в <math>V</math>. Расслоение <math>S^{2n+1} \to \Complex\mathrm{P}^n</math> со слоем окружность — это хорошо известное расслоение Хопфа.

Эрмитово (неполное) пространство <math>\Complex^{\infty}</math>, реализованное как предел включений <math>\Complex \subset \Complex^2 \subset \Complex^3 \subset \dots</math> с топологией объединения, содержит в себе единичную сферу <math>S^{\infty}</math>, к которой вышесказанное относится в той же мере. Фактор <math>S^\infty</math> по действию <math>\mathrm{U}(1)</math> — это бесконечномерное проективное пространство <math>\Complex\mathrm{P}^\infty</math> с топологией объединения своих конечномерных подпространств, составляющих некоторый полный флаг. Однако в отличие от своих конечномерных собратьев оно отличается следующими свойствами:

  1. Тотальное пространство бесконечномерного расслоения Хопфа (то есть <math>S^\infty</math>) стягиваемо.
  2. Если <math>P \to X</math> — главное расслоение со слоем <math>\mathrm{U}(1)</math>, то есть расслоение на окружности, снабжённое действием унитарной группы <math>\mathrm{U}(1)</math>, свободным и транзитивным на каждом слое, то существует отображение <math>f_P \colon X \to \Complex\mathrm{P}^\infty</math> такое, что <math>P</math> изоморфно обратному образу бесконечномерного расслоения Хопфа вдоль <math>f_P</math>.
  3. Для данного главного расслоения <math>P \to X</math> все такие отображения <math>f_P</math> гомотопны друг другу. Любое из них называется классифицирующим отображением.

Хотя тотальное пространство бесконечномерного расслоения Хопфа стягиваемо, топология его базы <math>\Complex\mathrm{P}^\infty</math> нетривиальна: для всякого чётного числа <math>2k</math> его целочисленные когомологии <math>H^{2k}</math> одномерны. Как градуированная алгебра они изоморфны кольцу многочленов <math>\Z[t]</math>, где <math>\deg t = 2</math>. Обратный образ образующей <math>t \in H^2</math> вдоль отображения, в силу третьего свойства из списка выше — корректно определённый инвариант главного расслоения. Это и есть класс Черна.

Заметим, что в ограничении на каждый из конечномерных <math>\Complex\mathrm{P}^n \subset \Complex\mathrm{P}^\infty</math> класс <math>t</math> может быть представлен в когомологиях де Рама как класс формы Фубини — Штуди, делённый на <math>2\pi</math>. С другой стороны, форма Фубини — Штуди есть кривизна инвариантной связности в <math>\mathfrak{O}(1) \to \Complex\mathrm{P}^\infty</math>, то есть его оттяг вдоль <math>f_P</math> есть кривизна некоторой <math>\mathrm{U}(1)</math>-эквивариантной связности в главном расслоении <math>P</math>. Если проверить, что кривизны <math>\mathrm{U}(1)</math>-эквивариантных связностей в главном <math>\mathrm{U}(1)</math>-расслоении суть замкнутые 2-формы, принадлежащие к одному и тому же классу когомологий де Рама, немедленно получается утверждение теории Черна — Вейля для линейных расслоений:

Теорема. Пусть <math>L \to X</math> — эрмитово линейное расслоение, и <math>\omega</math> — форма кривизны какой-нибудь унитарной связности в <math>L</math>. Тогда <math>\frac1{2\pi}[\omega] = c_1(L) \in H^2(X, \Z)</math>.

Из неё, к примеру, немедленно следует теорема Гаусса — Бонне.

Классифицирующие пространства

С расслоениями иными, нежели линейные, можно также связать главные <math>G</math>-расслоения для иных групп <math>G</math>: так, с эрмитовым расслоением ранга <math>n</math> связано главное расслоение со структурной группой <math>\mathrm{U}(n)</math>, слои которого — пространства, параметризующие ортонормированные реперы в данном слое векторного расслоения. Обратно, по главному <math>G</math>-расслоению и представлению группы <math>G</math> восстанавливается векторное расслоение. Если главное <math>G</math>-расслоение было снабжено <math>G</math>-эквивариантной связностью, то получающееся векторное расслоение также будет снабжено связностью, сохраняющей <math>G</math>-структуру.

Оказывается, для произвольной группы Ли <math>G</math> (или, более общо, топологической группы) существует аналог расслоения Хопфа. Это некоторое главное <math>G</math>-расслоение; оно обозначается <math>EG \to BG</math>, а его база называется классифицирующим пространством. Оно единственно с точностью до гомотопической эквивалентности, и обладает следующими свойствами:

  1. Все гомотопические группы его тотального пространства <math>EG</math> тривиальны.
  2. Для всякого главного <math>G</math>-расслоения <math>P \to X</math> существует классифицирующее отображение <math>f_P \colon X \to BG</math> такое, что <math>P</math> получается как обратный образ расслоения <math>EG \to BG</math> вдоль <math>f_P</math>.
  3. Все классифицирующие отображения гомотопны друг другу.

Например, если <math>G = \Z</math>, то в качестве <math>BG</math> можно выбрать окружность, а <math>EG</math> — её универсальную накрывающую, вещественную прямую. В большинстве случаев, однако, классифицирующее пространство не имеет гомотопический тип компактного многообразия: так уже для <math>G = \Z/2</math> в качестве <math>EG</math> возникает опять бесконечномерная сфера, на которой <math>\Z/2</math> действует антиподальным отображением, а <math>BG</math> — фактор по нему, то есть <math>\R\mathrm{P}^\infty</math>. Из этого конструкцией, аналогичной описанной выше, получается первый класс Штифеля — Уитни вещественного линейного расслоения.

Алгебра Вейля

Файл:André Weil.jpg
Андре Вейль (1956)

Если для группы <math>G</math> можно вычислить алгебру когомологий <math>H(BG)</math> (которая уже корректно определённая алгебра в сили того, что все классифицирующие пространства гомотопны друг другу), то обратные образы классов оттуда вдоль классифицирующих отображений будут инвариантами главных расслоений. Эта задача, однако, весьма трудна, во всяком случае если алгебру когомологий брать с целочисленными коэффициентами.

Для многообразий задача вычисления когомологий с вещественными коэффициентами упрощается тем, что их можно считать как когомологии де Рама. Классифицирующие пространства, однако, не являются многообразиями. Идею того, как можно реализовать де-рамовский подход к когомологиям <math>BG</math>, даёт так называемый комплекс Шевалле — Эйленберга. Если <math>G</math> — группа Ли, то в её комплексе дифференциальных форм имеется подкомплекс лево-инвариантных дифференциальных форм. Лево-инвариантная дифференциальная форма определяется своим значением на касательном пространстве в единице <math>e \in G</math>, то есть кососимметрической полилинейной формой на алгебре Ли <math>\mathfrak{g}</math>. Таким образом, как алгебра с кососимметрическим умножением пространство лево-инвариантных дифференциальных форм изоморфно внешней алгебре <math>\Lambda(\mathfrak{g}^*)</math>. Дифференциал на этой алгебре, как легко вывести из стандартной формулы для дифференциала де Рама, в члене <math>\mathfrak{g}^* \to \Lambda^2\mathfrak{g}^*</math> есть отображение, двойственное к скобке <math>[\cdot,\cdot] \colon \Lambda^2\mathfrak{g} \to \mathfrak{g}</math> (точнее, со знаком минус), а дальше оно продолжается по градуированному правилу Лейбница, пользуясь тем, что внешняя алгебра порождена своей первой градуировочной компонентой. Итак, имеется конечномерный подкомплекс <math>\Lambda\mathfrak{g}^* \subset \Omega(G)</math>, который, несмотря на геометрическую мотивацию, можно определить число алгебраически, в терминах алгебры Ли. Его когомологии называются когомологиями алгебры Ли <math>\mathfrak{g}</math>; они естественно лежат в когомологиях де Рама группы Ли <math>G</math>, и более того, когда <math>G</math> компактна, они равны всем когомологиям де Рама группы Ли <math>G</math>.

Это мотивирует попытаться формально, в терминах одной только алгебры Ли <math>\mathfrak{g}</math>, определить, что такое алгебра де Рама классифицирующего пространства — а точнее, алгебра де Рама пространства <math>EG</math>. Напомню, что от <math>EG</math> требуется две вещи: это стягиваемое пространство, на котором <math>G</math> действует свободно. Соответствующие алгебраические требования таковы: <math>\Omega(EG)</math> есть дифференциально-градуированная алгебра с нулевыми когомологиями (кроме как в нулевой градуировке, где они одномерны), на которой действует дифференцированиями алгебра Ли <math>\mathfrak{g}</math>, притом естественное отображение <math>\Omega(EG) \to \Lambda\mathfrak{g}^*</math> сюръективно.

Алгебру с требуемыми свойствами довольно легко построить, она называется алгеброй Вейля и обозначается <math>W(\mathfrak{g})</math>. Именно, это градуированная внешняя алгебра <math>\Lambda(\mathfrak{g} \oplus \mathfrak{g}[1])</math> — то есть двух копий <math>\mathfrak{g}</math>, одна из которых имеет чётную градуировку, а другую нечётную. Эквивалентно, это тензорное произведение <math>\Lambda(\mathfrak{g}^*) \otimes \mathrm{Sym}(\mathfrak{g}^*)</math>, где образующие внешней алгебры имеют градуировку 1, а симметрической — градуировку 2. Также она может быть представлена как тотальный комплекс следующего бикомплекса:

<math>k</math> <math>\to</math> <math>\Lambda^1(\mathfrak{g}^*)</math> <math>\to</math> <math>\Lambda^2(\mathfrak{g}^*)</math> <math>\to</math> <math>\Lambda^3(\mathfrak{g}^*)</math> <math>\to\dots</math>
<math>\downarrow</math> <math>\downarrow</math> <math>\downarrow</math>
<math>\mathrm{Sym}^1(\mathfrak{g}^*)</math> <math>\to</math> <math>\mathrm{Sym}^1(\mathfrak{g}^*) \otimes \Lambda^1(\mathfrak{g}^*)</math> <math>\to</math> <math>\mathrm{Sym}^1(\mathfrak{g}^*) \otimes \Lambda^2(\mathfrak{g}^*)</math> <math>\to\dots</math>
<math>\downarrow</math> <math>\downarrow</math>
<math>\mathrm{Sym}^2(\mathfrak{g}^*)</math> <math>\to</math> <math>\mathrm{Sym}^2(\mathfrak{g}^*) \otimes \Lambda^1(\mathfrak{g}^*)</math> <math>\to\dots</math>
<math>\downarrow</math>
<math>\mathrm{Sym}^3(\mathfrak{g}^*)</math> <math>\to\dots</math>

Дифференциалы в строках здесь являются комплексами Шевалле — Эйленберга с добавленным действием на <math>\mathfrak{g}</math>-модулях <math>\mathrm{Sym}^k(\mathfrak{g}^*)</math> (в частности, первый дифференциал во всякой строке отображает элемент <math>m \in M = \mathrm{Sym}^k(\mathfrak{g}^*)</math> в оператор <math>\mathfrak{g} \to M</math>, <math>v \mapsto [m,v]</math>), а каждый столбец представляет собой комплекс Кошуля <math>\Lambda^k(V) \to V \otimes \Lambda^{k-1}(V) \to \mathrm{Sym}^2(V) \otimes \Lambda^{k-2}(V) \to \dots \to \mathrm{Sym}^{k-1}(V) \otimes V \to \mathrm{Sym}^k(V)</math>, который можно связать не только с алгеброй Ли, но и с любым векторным пространством. Из его ацикличности можно вывести, что комплекс Вейля также не имеет когомологий, за исключением нулевых.

Если бикомплекс Вейля <math>W(\mathfrak{g}^*)</math> является аппроксимацией дифференциальных форм на пространстве <math>EG</math>, а его нулевая строчка, алгебра Шевалле — Эйленберга, является алгеброй лево-инвариантных дифференциальных форм на <math>G</math>, то аналогом дифференциальных форм, поднимающийся с базы — то есть «алгебры де Рама» <math>BG</math> — являются элементы диагонали бикомплекса, алгебра симметрических функций на <math>\mathfrak{g}</math>. При этом замкнутыми формами будут в точности те, что замкнуты относительно дифференциала в алгебре Вейля. Из того, как он устроен на диагональных элементах (что было указано в предыдущем абзаце), следует, что это попросту полиномиальные функции на <math>\mathfrak{g}</math>, инвариантные относительно присоединённого действия группы <math>G</math> на своей алгебре Ли.

Гомоморфизм Черна — Вейля

Файл:Shiing-shen Chern 1977 (border-less).jpg
Шиинг-Шен Черн (1977)

Пусть <math>G</math> — группа Ли, <math>P \to X</math> — главное <math>G</math>-расслоение. Выберем в нём связность, то есть подрасслоение <math>Hor \subset TP</math> такое, что проекция отображает слои этого подрасслоения на касательные пространства к <math>X</math> изоморфно, и это подрасслоение сохраняется действием <math>G</math>. Его можно закодировать <math>G</math>-инвариантной проекцией на вертикальное подрасслоение (то есть расслоение касательных пространств к <math>G</math>-орбитам). Касательное пространство к орбите свободного действия группы Ли <math>G</math> канонически изоморфно алгербе Ли <math>\mathfrak{g}</math>, так что эта форма может быть задана как 1-форма <math>\theta \colon TP \to \mathfrak{g}</math>. Другой инвариант связности это её кривизна, в данном случае получающаяся как проекция коммутатора двух горизонтальных векторных полей (то есть сечений <math>Hor</math>) на касательные пространства к слоям. Это 2-форма <math>\Phi</math> с коэффициентами в <math>\mathfrak{g}</math>.

Это позволяет связать со связностью гомоморфизм дифференциально-градуированных алгебр <math>W(\mathfrak{g}) \to \Omega(P)</math>, который и будет заменой классифицирующему отображению. В данном случае его оказывается удобнее определять между тотальными пространствами, а не между базами. Его достаточно определить на образующих, то есть <math>\Lambda^1(\mathfrak{g}^*)</math> и <math>\mathrm{Sym}^1(\mathfrak{g}^*)</math>. Оба этих пространства суть просто функционалы на алгебре Ли; но первое должно отобразиться в 1-формы на тотальном пространстве <math>P</math>, а второе — в 2-формы. Отправим функционал <math>\varphi \in \Lambda^1(\mathfrak{g}^*)</math> в 1-форму <math>v \mapsto \varphi(\theta(v))</math>, а функционал <math>\psi \in \mathrm{Sym}^1(\mathfrak{g}^*)</math> — в 2-формы <math>v \wedge w \mapsto \psi(\Phi(v,w))</math>. Это отображение называется гомоморфизмом Черна — Вейля, можно проверить, что оно действительно является <math>G</math>-эквивариантным гомоморфизмом дифференциально-градуированных алгебр <math>W(\mathfrak{g}) \to \Omega(P)</math>. В частности, элементы с диагонали бикомплекса Вейля оно отображает в <math>G</math>-инвариантные формы на <math>P</math>, то есть обратные образы дифференциальных форм на <math>X</math>. Поскольку замкнутые относительно дифференциала Вейля элементы переходят в замкнутые формы, инвариантные многочлены на алгебре Ли дадут замкнутые формы на базе главного расслоения. Они называются характеристическими формами. В явном виде их можно записать как

<math>\psi(\Theta)(v_1,\dots,v_{2k}) = \frac1{(2k)!}\sum_{\sigma \in S_{2k}}(-1)^\sigma \psi(\Theta(v_{\sigma(1)},v_{\sigma(2)}),\dots,\Theta(v_{\sigma(2k-1)},v_{\sigma(2k)})).</math>

Здесь <math>\psi \in \mathrm{Sym}^k(\mathfrak{g}^*)</math> — инвариантный многочлен, а <math>\Theta</math> — кривизна. При выборе другой связности в главном расслоении кривизна и характеристические формы изменятся, однако их классы когомологий останутся прежними.

Примеры

Для группы <math>\mathrm{GL}(n,\Complex)</math> можно определить инвариантные функции <math>\psi_i</math> на её алгебре Ли <math>\mathfrak{gl}(n,\Complex)</math> условием <math>\det\left(\mathrm{Id} - t\frac{x}{2\pi\sqrt{-1}}\right) = \sum_{i=1}^n\psi_i(x)t^i</math>. Получившиеся классы являются классами Черна. Аналогичная формула для <math>\mathrm{GL}(n,\R)</math> определяет классы, называемые классами Понтрягина (только из знаменателя нужно будет убрать <math>\sqrt{-1}</math>).

В случаях общих линейных групп алгебра инвариантных многочленов порождена многочленами <math>A \mapsto \mathrm{Tr}(A^k)</math>. Вообще говоря, это не так: например, на специальной ортогональной алгебре Ли <math>\mathfrak{so}(2n)</math> имеется многочлен пфаффиан, имеющий степень <math>n</math>. Соответствующий ему класс (делённый на <math>(2\pi)^n</math>) называется классом Эйлера.

В физике

Файл:Dirac,Paul 1929 Chicago.jpg
Поль Дирак (1929)

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

Зато эта целочисленность, по крайней мере для случая линейных расслоений, имеет неожиданное применение в физике. Тензор электромагнитного поля есть 2-форма на пространстве-времени, которая на самом деле является формой кривизны некоторой связности в эрмитовом линейном расслоении. Обыкновенно считается физически разумным предполагать, что это расслоение тривиально. Дирак заметил, что если допустить, что это расслоение может быть нетривиальным, то его класс Черна будет равняться магнитному заряду. Тем самым, из целочисленности классов Черна вытекает, что если одиночный магнитный полюсь всё же существует, то его заряд является целым кратным некоторого элементарного магнитного заряда.

Примечательно, что теорема Дирака о квантовании магнитного заряда появилась в 1931 году, то есть более чем за 10 лет до появления теории Черна — Вейля.

История

Связь между кривизной и топологией была впервые замечена, вероятно, Люилье. Теорема Гаусса — Бонне, послужившая важным шагом по направлению к теории Черна — Вейля, была впервые сформулирована в современном виде (для компактных ориентируемых поверхностей) в 1888 году фон Диком.

Многомерный аналог теоремы Гаусса — Бонне был предложен в 1925 году Хопфом: он рассматривал гиперповерхности в пространстве <math>\R^{2n+1}</math>, и ввёл на них аналог гауссовой кривизны как обратный образ формы объёма на единичной сфере относительно гауссова отображения. Ему удалось выразить эту форму как многочлен от локальных кривизн, похожий на формулу для характеристической формы (см. выше). Для чётномерных подмногообразий евклидова пространства коразмерности более 1 аналоги теоремы Гаусса — Бонне установили независимо Аллендорфер и Фенхель в 1940 году. Их доказательство сводило задачу к границе небольшой трубчатой окрестности подмногообразия, которая является гиперповерхностью, и покрывается теоремой Хопфа. Граница, говоря современным языком, является расслоением единичных сфер в нормальном расслоении гиперповерхности, и вышеупомянутые локальные кривизны позволяют получить формулу для класса Эйлера этого подмногообразия.

Черн по предложению Вейля занялся поиском аналогичного результата для произвольных римановых многообразий, никуда не вложенных, и пришёл к выводу о том, что аналогом гауссова отображения для абстрактного риманова многообразия является расслоение единичных сфер в касательном расслоении. Его итоговый результат 1944 года, известный как обобщённая формула Гаусса — Бонне, утверждает, что эйлерова характеристика чётномерного риманова многообразия равна интегралу пфаффиана его кривизны. Ранее эта теорема была доказана Вейлем и Аллендорфером, но их доказательство казалось Вейлю неудовлетворительным (оно опиралось на локальные вложения многообразия в евклидово пространство и последующее склеивание, что не даёт достаточного понимания геометрии, стоящей за этой формулой). Впоследствии Черну удалось найти выражение не только для класса Эйлера, но и для классов Черна. Он пытался определить их для произвольного чётномерного риманова многообразия, но оказалось, что это возможно только для эрмитовых многообразий. Это понимание стало важным шагом в развитии комплексной геометрии.

Шаблон:Часть изображения Параллельно пытался строить характеристические классы через дифференциальные формы развивал Понтрягин; он рассматривал только подмногообразия в <math>\R^n</math>, oднако вместо гауссова отображения границы трубчатой окрестности он рассматривал отображение в грассманиан, и сумел в 1944 году выписать корректные формулы для характеристических форм. Однако случай абстрактных римановых многообразий он не рассматривал, и, по всей видимости, последние работы Черна не были ему известны.

Гомологическая алгебра, стоящая за доказательством Черна, была прояснена Анри Картаном в заметке 1951 года, основанной на неопубликованном тексте Вейля. В частности, в ней было введено понятие алгебры Вейля.

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

Ссылки

  • Cartan, Henri (1951), "Notions d'algèbre différentielle; application aux groupes de Lie et aux variétés où opère un groupe de Lie", Colloque de topologie (espaces fibrés), Bruxelles, 1950, Georges Thone, Liège, pp. 15–27, MR 0042426
  • Wu Hung-Hsi. Historical development of the Gauss-Bonnet theorem, in Science in China Series A Mathematics · April 2008