Чжэня Класс

- характеристический класс, определенный для комплексных векторных расслоений. Ч. К. Комплексного векторного расслоения с базой Вобозначается и определен для всех натуральных индексов i. Полным Ч. К. Наз. Неоднородный характеристич. Класс с=1+c1+c2+..., а полиномом Чжэня - выражение ct =1+c1t+с2t2+..., где t- формальная переменная. Ч. К. Введены в [1]. Характеристич. Классы, определенные для n-мерных комплексных векторных расслоений, со значениями в целочисленных когомологиях, естественно отождествляются с элементами кольца Н**(BUn). В этом смысле Ч. К. с i можно считать элементами группы Н 2i (BUn), полный Ч. К.-неоднородным элементом кольца H** (BUn), а полином Чжэня - элементом кольца формальных степенных рядов Н**(BUn)[[t]].

Ч. К. Обладают следующими свойствами, к-рые однозначно их определяют. 1) Для векторных расслоений с общей базой другими словами, 2) Для одномерного универсального расслоения над имеет место равенство где -ориентация расслоения -Тома пространство расслоения к-рое, будучи комплексным, имеет однозначно определенную ориентацию и). Следствия свойств 1 - 2). при где -тривиальное расслоение. Последнее обстоятельство позволяет определить Ч. К. Как элементы кольца H**(BU). Если -набор целых неотрицательных чисел, то через обозначается характеристич. Класс где n = i1+...+ik. При естественном мономорфизме индуцированном отображением Ч. К. Переходят в элементарные симметрич. Функции, а полный Ч. К. Переходит в многочлен Образом кольца Н**(BUn )в является подкольцо всех симметрических формальных степенных рядов.

Каждый симметрический формальный степенной ряд от образующих By x1, ..., х п определяет характеристич. Класс, к-рый может быть выражен через Ч. К. Напр., ряд определяет характеристич. Класс с рациональными коэффициентами, наз. Классом Тодда и обозначается Пусть -набор целых неотрицательных чисел. Через обозначается характеристич. Класс, определяемый наименьшим симметрич. Многочленом от переменных х 1,...,х n, где содержащим одночлен Пусть h*-ориентированная мультипликативная теория когомологий. Ч. К. со значениями в теории h* обладают такими же, что и обычные Ч. К., свойствами. + , где -ориентация расслоения к-рые их однозначно определяют. Как и для обычных Ч. К., употребляются обозначения и Если -комплексные векторные расслоения, то где суммирование производится по наборам с В качестве теории h* можно взять теорию унитарных кoбордизмов V* или К-теорию.

Для U*-теории элемент определяется тождественным отображением а для K-теории где -оператор периодичности Ботта. Обозначение сохраняется для Ч. К. Со значениями в U* -теории, а Ч. К. Со значениями в К-теории обозначается Согласно общей теории, где -векторное расслоение с базой В. Однако К-теорию часто удобнее рассматривать как -градуированную теорию, отождествляя группы К п (В)с К п+2 (В) с помощью оператора периодичности b. Тогда и при всех i. При такой точке зрения имеет смысл вместо полного Ч. К. Рассматривать полином Чжэня Пусть -когомологич. Операции в K-теории (iсомножителей). Полином обладает точно таким же, как и свойством мультипликативности Между этими полиномами имеется следующая связь.

здесь обе части равенства лежат в K0 (В) [t],dim - тривиальное расслоение размерности dim Построенные классы отличаются от классов, построенных М. Атьей, к-рый определил их формулой Р. Стонг [1] определил классы к-рые удовлетворяют условию Расхождение вызвано тем, что у Стонга С классами связано плодотворное в теории гомотопий понятие алгебры Ландвебера - Новикова. Для произвольного набора целых неотрицательных чисел рассматривается характеристич. Класс где d= i1+ . +ik. Имеет место Тома изоморфизм здесь MU-спектр, соответствующий U* -теории. Образ класса в U2d(MU) определяет когомологическую операцию в U* -теории. Подалгебра Стинрода алгебры в U* -теории, порожденная операциями такого вида, наз.

Алгеброй Ландвебера - Новикова. Операция, построенная по набору обозначается через Для одномерных расслоений имеет место равенство Это важное обстоятельство, позволяющее определить Чжэня характер, не имеет места в обобщенных теориях когомологий. Однако существует формальный степенной ряд g(t)с коэффициентами в для к-рого где первый Ч. К. Со значениями в h*. Для унитарной теории кобордизмов где -класс кобордизма проективного пространства Этот ряд наз. Рядом Мищенко. Лит.:[1] Chern S. S., лAnn. Math..