Главная
Характеристические классы — это далеко идущее обобщение таких количественных понятий элементарной геометрии, как степень плоской алгебраической кривой или сумма индексов особых точек векторного поля на поверхности. Более подробно они описаны в соответствующей статье. Теория Черна — Вейля позволяет представлять некоторые характеристические классы как выражения от кривизны.
Вложение при помощи линейной системы
Наборы точек на алгебраической кривой с некоторыми кратностями называются дивизорами. Если, например, дана кривая, лежащая на комплексной проективной плоскости (или, более общо, комплексном проективном пространстве C P n {displaystyle mathbb {C} mathrm {P} ^{n}} ), то множество точек, по которой её пересекает какая-нибудь прямая, с кратностями, равными кратностям пересечения (или, если кривая лежит в пространстве, какая-нибудь гиперплоскость) — это дивизор. В алгебраической геометрии обычно рассматриваются не отдельные дивизоры, а их классы. Так, плоской кривой можно сопоставить класс дивизоров, состоящий из дивизоров, высекаемых на кривой всевозможными прямыми (всевозможными гиперплоскостями). Он называется линейной системой дивизоров, соответствующей данному вложению (обычно говорят просто «линейная система»).
Вопрос. Пусть дана абстрактная кривая, никуда не вложенная, и линейная система, соответствующая некоторому вложению. Можно ли по ней восстановить это вложение (с точностью до проективного преобразования объемлющего пространства)?
Оказывается, это возможно. Для этого, однако, нужно получше понять, что такое гиперплоскость в проективном пространстве. В аффинном пространстве гиперплоскость может быть задана как ядро (множество нулей) линейной функции (и такая функция будет единственна с точностью до умножения на ненулевое число). На проективном пространстве, однако, никаких линейных функций нет: всякая голоморфная функция на компактном комплексном многообразии постоянна. Если V {displaystyle V} — векторное пространство, то точки его проективизации P ( V ) {displaystyle mathrm {P} (V)} — это прямые ℓ ⊂ V {displaystyle ell subset V} , и если φ {displaystyle varphi } — линейная функция на V {displaystyle V} , то «значение» φ {displaystyle varphi } в точке ℓ ∈ P ( V ) {displaystyle ell in mathrm {P} (V)} — это линейный функционал на соответствующем линейном пространстве ℓ ⊂ V {displaystyle ell subset V} , то есть вектор в двойственном линейном пространстве ℓ ∗ {displaystyle ell ^{*}} . При этом прямые, на которых этот функционал равен тождественному нулю — это в точности прямые, лежащие в ядре φ {displaystyle varphi } ; соответствующие им точки в проективизации образуют проективную гиперплоскость.
Формализуется это следующим образом: проективизация P ( V ) {displaystyle mathrm {P} (V)} допускает над собою тавтологическое линейное расслоение, слой которого над точкой ℓ ∈ P ( V ) {displaystyle ell in mathrm {P} (V)} есть сама прямая ℓ ⊂ V {displaystyle ell subset V} , рассматриваемая как линейное пространство. Это расслоение обозначается символом O ( − 1 ) {displaystyle {mathfrak {O}}(-1)} . Сопряжённое к нему линейное расслоение (то есть такое, слои которого в каждой точке двойственны слоям исходного расслоения в тех же точках) обозначается O ( 1 ) {displaystyle {mathfrak {O}}(1)} ; его сечения соответствуют линейным функционалам на векторном пространстве V {displaystyle V} . Соответственно, множества нулей сечений — это гиперплостости. Тем самым, если C ⊂ C P n {displaystyle Csubset mathbb {C} mathrm {P} ^{n}} — проективная кривая, то соответствующая линейная система на ней состоит из дивизоров нулей сечений расслоения L = O ( 1 ) | C {displaystyle L={mathfrak {O}}(1)|_{C}} .
Если имеется абстрактная кривая, то линейное расслоение на ней может быть восстановлено по множествам нулей своих всевозможных сечений (при условии, что различных сечений достаточно много). Таким образом, по линейной системе дивизоров на абстрактной кривой можно восстановить линейное расслоение, для которого эти дивизоры — нулевые уровни его сечений. Следовательно, вопрос можно переформулировать следующим образом.
Вопрос. Пусть имеется вложение алгебраической кривой f : C → C P n {displaystyle fcolon C o mathbb {C} mathrm {P} ^{n}} , и f ∗ O ( 1 ) = L → C {displaystyle f^{*}{mathfrak {O}}(1)=L o C} — ограничение на неё расслоения O ( 1 ) {displaystyle {mathfrak {O}}(1)} . Зная только L {displaystyle L} , можно ли восстановить вложение f {displaystyle f} ?
Заметим, что расслоение L {displaystyle L} обладает следующим свойством: для всякой точки x ∈ C {displaystyle xin C} существует сечение s ∈ Γ ( L ) {displaystyle sin Gamma (L)} такое, что s ( x ) ≠ 0 {displaystyle s(x) eq 0} . Это верно, например, потому что для любой точки пространственной кривой можно выбрать сечение гиперплоскостью, не проходящей через эту точку, и ограничить соответствующее сечение O ( 1 ) {displaystyle {mathfrak {O}}(1)} на кривую. Расслоения с таким свойством называются порождёнными глобальными сечениями. Конструкция вложения теперь очень простая. Рассмотрим пространство сечений Γ ( L ) {displaystyle Gamma (L)} . Каждая точка x ∈ C {displaystyle xin C} определяет отображение Γ ( L ) → L x {displaystyle Gamma (L) o L_{x}} отображением вычисления s ↦ s ( x ) {displaystyle smapsto s(x)} . Таким образом, точка кривой определяет вектор в пространстве Γ ( L ) ∗ {displaystyle Gamma (L)^{*}} , хорошо определённый с точностью до пропорциональности — то есть точку в проективном пространстве P ( Γ ( L ) ∗ ) {displaystyle mathrm {P} (Gamma (L)^{*})} . Это и задаёт вложение C → P ( Γ ( L ) ∗ ) {displaystyle C o mathrm {P} (Gamma (L)^{*})} , с точностью до проективного соответствия совпадающее с исходным.
Что мы, в сущности, показали? Всякое линейное расслоение на кривой, порождённое глобальными сечениями, может быть получено как обратный образ расслоения O ( 1 ) → C P n {displaystyle {mathfrak {O}}(1) o mathbb {C} mathrm {P} ^{n}} относительно некоторого алгебраического отображения C → C P n {displaystyle C o mathbb {C} mathrm {P} ^{n}} . При этом степень расслоения (число нулей у его общего сечения) оказывается равной степени образа кривой при таком вложении. Её можно понимать как число точек пересечения с гиперплоскостью — то есть индекс пересечения классов гомологий [ f ( C ) ] {displaystyle [f(C)]} и [ C P n − 1 ] {displaystyle [mathbb {C} mathrm {P} ^{n-1}]} , а можно как интеграл: форма Фубини — Штуди ω {displaystyle omega } двойственна по Пуанкаре классу гиперплоского сечения [ C P n − 1 ] {displaystyle [mathbb {C} mathrm {P} ^{n-1}]} (с точностью до умножения на 2 π {displaystyle 2pi } ), так что степень дивизора может быть вычислена как 1 2 π ∫ f ( C ) ω = 1 2 π ∫ C f ∗ ω {displaystyle {frac {1}{2pi }}int _{f(C)}omega ={frac {1}{2pi }}int _{C}f^{*}omega } . Заметим, что форма Фубини — Штуди есть форма кривизны на расслоении O ( 1 ) {displaystyle {mathfrak {O}}(1)} . Таким образом, степень линейного расслоения L {displaystyle L} на алгебраической кривой, порождённого глобальными сечениями, может быть выражена как интеграл кривизны некторой связности на нём. Теория Черна — Вейля утверждает гораздо большее: в частности, степень любого линейного расслоения над алгебраической кривой (и вообще любым вещественно двумерным компактным ориентируемым многообразием) равняется интегралу кривизны любой связности в нём (делённому на 2 π {displaystyle 2pi } ).
Классифицирующие отображения для линейных расслоений
Реализация линейных расслоений при помощи отображений по линейной системе страдает существенными недостатками: так, у расслоения может не быть вообще никаких сечений. В случае кривой это можно искусственно поправить, потому что тогда имеются сечения у двойственного расслоения, и иногда можно получить исходное расслоение как обратный образ O ( 1 ) {displaystyle {mathfrak {O}}(1)} вдоль антиголоморфного отображения. Но на комплексной поверхности линейное расслоение может быть «положительным» в одном направлении, а «отрицательным» в другом, и подобным трюком обойтись уже нельзя. Вместе с тем, отображения по линейной системе дают некоторую интуицию, которая позволяет добиться гораздо большего, если задаться не алгебраическими или голоморфными отображениями, а произвольными непрерывными.
Вернёмся к расслоению O ( 1 ) → P ( V ) {displaystyle {mathfrak {O}}(1) o mathrm {P} (V)} , и будем считать, что пространство V {displaystyle V} снабжено эрмитовой метрикой. Тогда и расслоение O ( 1 ) {displaystyle {mathfrak {O}}(1)} снабжено эрмитовой метрикой. Выделим в нём расслоение векторов единичной длины: на нём действует унитарная группа U ( 1 ) {displaystyle mathrm {U} (1)} , притом в каждом слое свободно и транзитивно. Тотальное пространство этого расслоения может быть отождествлено с единичной сферой S 2 n + 1 {displaystyle S^{2n+1}} в V {displaystyle V} . Расслоение S 2 n + 1 → C P n {displaystyle S^{2n+1} o mathbb {C} mathrm {P} ^{n}} со слоем окружность — это хорошо известное расслоение Хопфа.
Эрмитово (неполное) пространство C ∞ {displaystyle mathbb {C} ^{infty }} , реализованное как предел включений C ⊂ C 2 ⊂ C 3 ⊂ … {displaystyle mathbb {C} subset mathbb {C} ^{2}subset mathbb {C} ^{3}subset dots } с топологией объединения, содержит в себе единичную сферу S ∞ {displaystyle S^{infty }} , к которой вышесказанное относится в той же мере. Фактор S ∞ {displaystyle S^{infty }} по действию U ( 1 ) {displaystyle mathrm {U} (1)} — это бесконечномерное проективное пространство C P ∞ {displaystyle mathbb {C} mathrm {P} ^{infty }} с топологией объединения своих конечномерных подпространств, составляющих некоторый полный флаг. Однако в отличие от своих конечномерных собратьев оно отличается следующими свойствами:
Хотя тотальное пространство бесконечномерного расслоения Хопфа стягиваемо, топология его базы C P ∞ {displaystyle mathbb {C} mathrm {P} ^{infty }} нетривиальна: для всякого чётного числа 2 k {displaystyle 2k} его целочисленные когомологии H 2 k {displaystyle H^{2k}} одномерны. Как градуированная алгебра они изоморфны кольцу многочленов Z [ t ] {displaystyle mathbb {Z} [t]} , где deg t = 2 {displaystyle deg t=2} . Обратный образ образующей t ∈ H 2 {displaystyle tin H^{2}} вдоль отображения, в силу третьего свойства из списка выше — корректно определённый инвариант главного расслоения. Это и есть класс Черна.
Заметим, что в ограничении на каждый из конечномерных C P n ⊂ C P ∞ {displaystyle mathbb {C} mathrm {P} ^{n}subset mathbb {C} mathrm {P} ^{infty }} класс t {displaystyle t} может быть представлен в когомологиях де Рама как класс формы Фубини — Штуди, делённый на 2 π {displaystyle 2pi } . С другой стороны, форма Фубини — Штуди есть кривизна инвариантной связности в O ( 1 ) → C P ∞ {displaystyle {mathfrak {O}}(1) o mathbb {C} mathrm {P} ^{infty }} , то есть его оттяг вдоль f P {displaystyle f_{P}} есть кривизна некоторой U ( 1 ) {displaystyle mathrm {U} (1)} -эквивариантной связности в главном расслоении P {displaystyle P} . Если проверить, что кривизны U ( 1 ) {displaystyle mathrm {U} (1)} -эквивариантных связностей в главном U ( 1 ) {displaystyle mathrm {U} (1)} -расслоении суть замкнутые 2-формы, принадлежащие к одному и тому же классу когомологий де Рама, немедленно получается утверждение теории Черна — Вейля для линейных расслоений:
Теорема. Пусть L → X {displaystyle L o X} — эрмитово линейное расслоение, и ω {displaystyle omega } — форма кривизны какой-нибудь унитарной связности в L {displaystyle L} . Тогда 1 2 π [ ω ] = c 1 ( L ) ∈ H 2 ( X , Z ) {displaystyle {frac {1}{2pi }}[omega ]=c_{1}(L)in H^{2}(X,mathbb {Z} )} .
Из неё, к примеру, немедленно следует теорема Гаусса — Бонне.
Классифицирующие пространства
С расслоениями иными, нежели линейные, можно также связать главные G {displaystyle G} -расслоения для иных групп G {displaystyle G} : так, с эрмитовым расслоением ранга n {displaystyle n} связано главное расслоение со структурной группой U ( n ) {displaystyle mathrm {U} (n)} , слои которого — пространства, параметризующие ортонормированные реперы в данном слое векторного расслоения. Обратно, по главному G {displaystyle G} -расслоению и представлению группы G {displaystyle G} восстанавливается векторное расслоение. Если главное G {displaystyle G} -расслоение было снабжено G {displaystyle G} -эквивариантной связностью, то получающееся векторное расслоение также будет снабжено связностью, сохраняющей G {displaystyle G} -структуру.
Оказывается, для произвольной группы Ли G {displaystyle G} (или, более общо, топологической группы) существует аналог расслоения Хопфа. Это некоторое главное G {displaystyle G} -расслоение; оно обозначается E G → B G {displaystyle EG o BG} , а его база называется классифицирующим пространством. Оно единственно с точностью до гомотопической эквивалентности, и обладает следующими свойствами:
Например, если G = Z {displaystyle G=mathbb {Z} } , то в качестве B G {displaystyle BG} можно выбрать окружность, а E G {displaystyle EG} — её универсальную накрывающую, вещественную прямую. В большинстве случаев, однако, классифицирующее пространство не имеет гомотопический тип компактного многообразия: так уже для G = Z / 2 {displaystyle G=mathbb {Z} /2} в качестве E G {displaystyle EG} возникает опять бесконечномерная сфера, на которой Z / 2 {displaystyle mathbb {Z} /2} действует антиподальным отображением, а B G {displaystyle BG} — фактор по нему, то есть R P ∞ {displaystyle mathbb {R} mathrm {P} ^{infty }} . Из этого конструкцией, аналогичной описанной выше, получается первый класс Штифеля — Уитни вещественного линейного расслоения.
Алгебра Вейля
Андре Вейль (1956)Если для группы G {displaystyle G} можно вычислить алгебру когомологий H ( B G ) {displaystyle H(BG)} (которая уже корректно определённая алгебра в сили того, что все классифицирующие пространства гомотопны друг другу), то обратные образы классов оттуда вдоль классифицирующих отображений будут инвариантами главных расслоений. Эта задача, однако, весьма трудна, во всяком случае если алгебру когомологий брать с целочисленными коэффициентами.
Для многообразий задача вычисления когомологий с вещественными коэффициентами упрощается тем, что их можно считать как когомологии де Рама. Классифицирующие пространства, однако, не являются многообразиями. Идею того, как можно реализовать де-рамовский подход к когомологиям B G {displaystyle BG} , даёт так называемый комплекс Шевалле — Эйленберга. Если G {displaystyle G} — группа Ли, то в её комплексе дифференциальных форм имеется подкомплекс лево-инвариантных дифференциальных форм. Лево-инвариантная дифференциальная форма определяется своим значением на касательном пространстве в единице e ∈ G {displaystyle ein G} , то есть кососимметрической полилинейной формой на алгебре Ли g {displaystyle {mathfrak {g}}} . Таким образом, как алгебра с кососимметрическим умножением пространство лево-инвариантных дифференциальных форм изоморфно внешней алгебре Λ ( g ∗ ) {displaystyle Lambda ({mathfrak {g}}^{*})} . Дифференциал на этой алгебре, как легко вывести из стандартной формулы для дифференциала де Рама, в члене g ∗ → Λ 2 g ∗ {displaystyle {mathfrak {g}}^{*} o Lambda ^{2}{mathfrak {g}}^{*}} есть отображение, двойственное к скобке [ ⋅ , ⋅ ] : Λ 2 g → g {displaystyle [cdot ,cdot ]colon Lambda ^{2}{mathfrak {g}} o {mathfrak {g}}} (точнее, со знаком минус), а дальше оно продолжается по градуированному правилу Лейбница, пользуясь тем, что внешняя алгебра порождена своей первой градуировочной компонентой. Итак, имеется конечномерный подкомплекс Λ g ∗ ⊂ Ω ( G ) {displaystyle Lambda {mathfrak {g}}^{*}subset Omega (G)} , который, несмотря на геометрическую мотивацию, можно определить число алгебраически, в терминах алгебры Ли. Его когомологии называются когомологиями алгебры Ли g {displaystyle {mathfrak {g}}} ; они естественно лежат в когомологиях де Рама группы Ли G {displaystyle G} , и более того, когда G {displaystyle G} компактна, они равны всем когомологиям де Рама группы Ли G {displaystyle G} .
Это мотивирует попытаться формально, в терминах одной только алгебры Ли g {displaystyle {mathfrak {g}}} , определить, что такое алгебра де Рама классифицирующего пространства — а точнее, алгебра де Рама пространства E G {displaystyle EG} . Напомню, что от E G {displaystyle EG} требуется две вещи: это стягиваемое пространство, на котором G {displaystyle G} действует свободно. Соответствующие алгебраические требования таковы: Ω ( E G ) {displaystyle Omega (EG)} есть дифференциально-градуированная алгебра с нулевыми когомологиями (кроме как в нулевой градуировке, где они одномерны), на которой действует дифференцированиями алгебра Ли g {displaystyle {mathfrak {g}}} , притом естественное отображение Ω ( E G ) → Λ g ∗ {displaystyle Omega (EG) o Lambda {mathfrak {g}}^{*}} сюръективно.
Алгебру с требуемыми свойствами довольно легко построить, она называется алгеброй Вейля и обозначается W ( g ) {displaystyle W({mathfrak {g}})} . Именно, это градуированная внешняя алгебра Λ ( g ⊕ g [ 1 ] ) {displaystyle Lambda ({mathfrak {g}}oplus {mathfrak {g}}[1])} — то есть двух копий g {displaystyle {mathfrak {g}}} , одна из которых имеет чётную градуировку, а другую нечётную. Эквивалентно, это тензорное произведение Λ ( g ∗ ) ⊗ S y m ( g ∗ ) {displaystyle Lambda ({mathfrak {g}}^{*})otimes mathrm {Sym} ({mathfrak {g}}^{*})} , где образующие внешней алгебры имеют градуировку 1, а симметрической — градуировку 2. Также она может быть представлена как тотальный комплекс следующего бикомплекса:
Дифференциалы в строках здесь являются комплексами Шевалле — Эйленберга с добавленным действием на g {displaystyle {mathfrak {g}}} -модулях S y m k ( g ∗ ) {displaystyle mathrm {Sym} ^{k}({mathfrak {g}}^{*})} (в частности, первый дифференциал во всякой строке отображает элемент m ∈ M = S y m k ( g ∗ ) {displaystyle min M=mathrm {Sym} ^{k}({mathfrak {g}}^{*})} в оператор g → M {displaystyle {mathfrak {g}} o M} , v ↦ [ m , v ] {displaystyle vmapsto [m,v]} ), а каждый столбец представляет собой комплекс Кошуля Λ k ( V ) → V ⊗ Λ k − 1 ( V ) → S y m 2 ( V ) ⊗ Λ k − 2 ( V ) → ⋯ → S y m k − 1 ( V ) ⊗ V → S y m k ( V ) {displaystyle Lambda ^{k}(V) o Votimes Lambda ^{k-1}(V) o mathrm {Sym} ^{2}(V)otimes Lambda ^{k-2}(V) o dots o mathrm {Sym} ^{k-1}(V)otimes V o mathrm {Sym} ^{k}(V)} , который можно связать не только с алгеброй Ли, но и с любым векторным пространством. Из его ацикличности можно вывести, что комплекс Вейля также не имеет когомологий, за исключением нулевых.
Если бикомплекс Вейля W ( g ∗ ) {displaystyle W({mathfrak {g}}^{*})} является аппроксимацией дифференциальных форм на пространстве E G {displaystyle EG} , а его нулевая строчка, алгебра Шевалле — Эйленберга, является алгеброй лево-инвариантных дифференциальных форм на G {displaystyle G} , то аналогом дифференциальных форм, поднимающийся с базы — то есть «алгебры де Рама» B G {displaystyle BG} — являются элементы диагонали бикомплекса, алгебра симметрических функций на g {displaystyle {mathfrak {g}}} . При этом замкнутыми формами будут в точности те, что замкнуты относительно дифференциала в алгебре Вейля. Из того, как он устроен на диагональных элементах (что было указано в предыдущем абзаце), следует, что это попросту полиномиальные функции на g {displaystyle {mathfrak {g}}} , инвариантные относительно присоединённого действия группы G {displaystyle G} на своей алгебре Ли.
Гомоморфизм Черна — Вейля
Пусть G {displaystyle G} — группа Ли, P → X {displaystyle P o X} — главное G {displaystyle G} -расслоение. Выберем в нём связность, то есть подрасслоение H o r ⊂ T P {displaystyle Horsubset TP} такое, что проекция отображает слои этого подрасслоения на касательные пространства к X {displaystyle X} изоморфно, и это подрасслоение сохраняется действием G {displaystyle G} . Его можно закодировать G {displaystyle G} -инвариантной проекцией на вертикальное подрасслоение (то есть расслоение касательных пространств к G {displaystyle G} -орбитам). Касательное пространство к орбите свободного действия группы Ли G {displaystyle G} канонически изоморфно алгербе Ли g {displaystyle {mathfrak {g}}} , так что эта форма может быть задана как 1-форма θ : T P → g {displaystyle heta colon TP o {mathfrak {g}}} . Другой инвариант связности это её кривизна, в данном случае получающаяся как проекция коммутатора двух горизонтальных векторных полей (то есть сечений H o r {displaystyle Hor} ) на касательные пространства к слоям. Это 2-форма Φ {displaystyle Phi } с коэффициентами в g {displaystyle {mathfrak {g}}} .
Это позволяет связать со связностью гомоморфизм дифференциально-градуированных алгебр W ( g ) → Ω ( P ) {displaystyle W({mathfrak {g}}) o Omega (P)} , который и будет заменой классифицирующему отображению. В данном случае его оказывается удобнее определять между тотальными пространствами, а не между базами. Его достаточно определить на образующих, то есть Λ 1 ( g ∗ ) {displaystyle Lambda ^{1}({mathfrak {g}}^{*})} и S y m 1 ( g ∗ ) {displaystyle mathrm {Sym} ^{1}({mathfrak {g}}^{*})} . Оба этих пространства суть просто функционалы на алгебре Ли; но первое должно отобразиться в 1-формы на тотальном пространстве P {displaystyle P} , а второе — в 2-формы. Отправим функционал φ ∈ Λ 1 ( g ∗ ) {displaystyle varphi in Lambda ^{1}({mathfrak {g}}^{*})} в 1-форму v ↦ φ ( θ ( v ) ) {displaystyle vmapsto varphi ( heta (v))} , а функционал ψ ∈ S y m 1 ( g ∗ ) {displaystyle psi in mathrm {Sym} ^{1}({mathfrak {g}}^{*})} — в 2-формы v ∧ w ↦ ψ ( Φ ( v , w ) ) {displaystyle vwedge wmapsto psi (Phi (v,w))} . Это отображение называется гомоморфизмом Черна — Вейля, можно проверить, что оно действительно является G {displaystyle G} -эквивариантным гомоморфизмом дифференциально-градуированных алгебр W ( g ) → Ω ( P ) {displaystyle W({mathfrak {g}}) o Omega (P)} . В частности, элементы с диагонали бикомплекса Вейля оно отображает в G {displaystyle G} -инвариантные формы на P {displaystyle P} , то есть обратные образы дифференциальных форм на X {displaystyle X} . Поскольку замкнутые относительно дифференциала Вейля элементы переходят в замкнутые формы, инвариантные многочлены на алгебре Ли дадут замкнутые формы на базе главного расслоения. Они называются характеристическими формами. В явном виде их можно записать как
ψ ( Θ ) ( v 1 , … , v 2 k ) = 1 ( 2 k ) ! ∑ σ ∈ S 2 k ( − 1 ) σ ψ ( Θ ( v σ ( 1 ) , v σ ( 2 ) ) , … , Θ ( v σ ( 2 k − 1 ) , v σ ( 2 k ) ) ) . {displaystyle psi (Theta )(v_{1},dots ,v_{2k})={frac {1}{(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)})).}
Здесь ψ ∈ S y m k ( g ∗ ) {displaystyle psi in mathrm {Sym} ^{k}({mathfrak {g}}^{*})} — инвариантный многочлен, а Θ {displaystyle Theta } — кривизна. При выборе другой связности в главном расслоении кривизна и характеристические формы изменятся, однако их классы когомологий останутся прежними.
Примеры
Для группы G L ( n , C ) {displaystyle mathrm {GL} (n,mathbb {C} )} можно определить инвариантные функции ψ i {displaystyle psi _{i}} на её алгебре Ли g l ( n , C ) {displaystyle {mathfrak {gl}}(n,mathbb {C} )} условием det ( I d − t x 2 π − 1 ) = ∑ i = 1 n ψ i ( x ) t i {displaystyle det left(mathrm {Id} -t{frac {x}{2pi {sqrt {-1}}}} ight)=sum _{i=1}^{n}psi _{i}(x)t^{i}} . Получившиеся классы являются классами Черна. Аналогичная формула для G L ( n , R ) {displaystyle mathrm {GL} (n,mathbb {R} )} определяет классы, называемые классами Понтрягина (только из знаменателя нужно будет убрать − 1 {displaystyle {sqrt {-1}}} ).
В случаях общих линейных групп алгебра инвариантных многочленов порождена многочленами A ↦ T r ( A k ) {displaystyle Amapsto mathrm {Tr} (A^{k})} . Вообще говоря, это не так: например, на специальной ортогональной алгебре Ли s o ( 2 n ) {displaystyle {mathfrak {so}}(2n)} имеется многочлен пфаффиан, имеющий степень n {displaystyle n} . Соответствующий ему класс (делённый на ( 2 π ) n {displaystyle (2pi )^{n}} ) называется классом Эйлера.
В физике
Поль Дирак (1929)Теория Черна — Вейля — один из многих эквивалентных спосбов определять характеристические классы. С математической точки зрения он имеет много недостатков: он, подобно когомологиям де Рама, работает только для случая, когда база является многообразием, не улавливает классы, принадлежащие подгруппе кручения в когомологиях, а целочисленность классов, получаемых интегрированием неких дифференциальных выражений, далеко не очевидна (в то время как при некоторых других способах целочисленность получается автоматически).
Зато эта целочисленность, по крайней мере для случая линейных расслоений, имеет неожиданное применение в физике. Тензор электромагнитного поля есть 2-форма на пространстве-времени, которая на самом деле является формой кривизны некоторой связности в эрмитовом линейном расслоении. Обыкновенно считается физически разумным предполагать, что это расслоение тривиально. Дирак заметил, что если допустить, что это расслоение может быть нетривиальным, то его класс Черна будет равняться магнитному заряду. Тем самым, из целочисленности классов Черна вытекает, что если одиночный магнитный полюсь всё же существует, то его заряд является целым кратным некоторого элементарного магнитного заряда.
Примечательно, что теорема Дирака о квантовании магнитного заряда появилась в 1931 году, то есть более чем за 10 лет до появления теории Черна — Вейля.
История
Связь между кривизной и топологией была впервые замечена, вероятно, Люилье. Теорема Гаусса — Бонне, послужившая важным шагом по направлению к теории Черна — Вейля, была впервые сформулирована в современном виде (для компактных ориентируемых поверхностей) в 1888 году фон Диком.
Многомерный аналог теоремы Гаусса — Бонне был предложен в 1925 году Хопфом: он рассматривал гиперповерхности в пространстве R 2 n + 1 {displaystyle mathbb {R} ^{2n+1}} , и ввёл на них аналог гауссовой кривизны как обратный образ формы объёма на единичной сфере относительно гауссова отображения. Ему удалось выразить эту форму как многочлен от локальных кривизн, похожий на формулу для характеристической формы (см. выше). Для чётномерных подмногообразий евклидова пространства коразмерности более 1 аналоги теоремы Гаусса — Бонне установили независимо Аллендорфер и Фенхель в 1940 году. Их доказательство сводило задачу к границе небольшой трубчатой окрестности подмногообразия, которая является гиперповерхностью, и покрывается теоремой Хопфа. Граница, говоря современным языком, является расслоением единичных сфер в нормальном расслоении гиперповерхности, и вышеупомянутые локальные кривизны позволяют получить формулу для класса Эйлера этого подмногообразия.
Черн по предложению Вейля занялся поиском аналогичного результата для произвольных римановых многообразий, никуда не вложенных, и пришёл к выводу о том, что аналогом гауссова отображения для абстрактного риманова многообразия является расслоение единичных сфер в касательном расслоении. Его итоговый результат 1944 года, известный как обобщённая формула Гаусса — Бонне, утверждает, что эйлерова характеристика чётномерного риманова многообразия равна интегралу пфаффиана его кривизны. Ранее эта теорема была доказана Вейлем и Аллендорфером, но их доказательство казалось Вейлю неудовлетворительным (оно опиралось на локальные вложения многообразия в евклидово пространство и последующее склеивание, что не даёт достаточного понимания геометрии, стоящей за этой формулой). Впоследствии Черну удалось найти выражение не только для класса Эйлера, но и для классов Черна. Он пытался определить их для произвольного чётномерного риманова многообразия, но оказалось, что это возможно только для эрмитовых многообразий. Это понимание стало важным шагом в развитии комплексной геометрии.
Параллельно пытался строить характеристические классы через дифференциальные формы развивал Понтрягин; он рассматривал только подмногообразия в R n {displaystyle mathbb {R} ^{n}} , oднако вместо гауссова отображения границы трубчатой окрестности он рассматривал отображение в грассманиан, и сумел в 1944 году выписать корректные формулы для характеристических форм. Однако случай абстрактных римановых многообразий он не рассматривал, и, по всей видимости, последние работы Черна не были ему известны.
Гомологическая алгебра, стоящая за доказательством Черна, была прояснена Анри Картаном в заметке 1951 года, основанной на неопубликованном тексте Вейля. В частности, в ней было введено понятие алгебры Вейля.
Связь между дифференциальной геометрией разнообразных гауссовых отображений и вложениями при помощи линейных систем в алгебраической геометрии, которые рассматривались геометрами итальянской школы начиная с Веронезе, прояснилась только после работ Кодаиры.