Класс Тодда — это некоторая конструкция, которая ныне считается частью теории характеристических классов в алгебраической топологии. Класс Тодда векторного расслоения можно определить посредством теории классов Чженя и они встречаются там, где классы Чженя существуют — в первую очередь в дифференциальной топологии, теории комплексных многообразий и алгебраической геометрии. Грубо говоря, класс Тодда действует противоположно классу Чженя и относится к нему как конормальное расслоение относится к нормальному расслоению.
Классы Тодда играют фундаментальную роль в обобщении классической теоремы Римана — Роха на пространства более высоких размерностей до и .
История Класс назван по имени , который ввёл специальный случай понятия в алгебраической геометрии в 1937 до того, как были определены классы Чженя. Использованная геометрическая идея иногда называется классом Тодда — Эгера.
Общее определение в более высоких размерностях принадлежит Хирцебруху.
Определение Чтобы определить класс Тодда td(E), где E — это комплексное векторное расслоение на топологическом пространстве X, обычно достаточно ограничиться определением на случай суммы Уитни при помощи общих понятий теории характеристических классов, использования корней Чженя (он же ). Пусть
является формальным степенным рядом со свойством, что коэффициенты при xn в Q(x)n+1 равны 1 (здесь Bi — числа Бернулли). Рассмотрим коэффициент при xj в произведении
для любого m > j. Этот коэффициент симметричен по βi и однороден по весам j, так что его можно выразить как многочлен от p от β. Тогда определяют многочлены Тодда и они образуют с Q в качестве характеристического степенного ряда.
Если E имеет αi в качестве корней Чженя, то класс Тодда
который следует вычислять в топологического пространства X (или в его дополнении, если рассматриваются бесконечномерные многообразия).
Класс Тодда можно задать явно как формальный степенной ряд в классах Чженя следующим образом:
где классы когомологий ci являются классами Чженя на E и лежат в группе когомологий . Если X имеет конечную размерность, то большинство членов равны нулю и td(E) является многочленом в классах Чженя.
Свойства класса Тодда Класс Тодда мультипликативен:
Пусть является фундаментальным классом гиперплоского сечения. Из мультиплиативности и для касательного расслоения
получаем INTERSECTION THEORY CLASS 18 , by Ravi Vakil
Формула Хирцебруха — Римана — Роха
Для любого когерентного пучка F на гладком проективном комплексном многообразии M, имеем
где — его ,
и Ch*(F) — его характер Чженя.
См. также Род мультипликативной последовательности
Примечания
Литература
Категория:Характеристические классы