Математическая энциклопедия - понтрягина класс

-характеристический класс, определенный для действительных векторных расслоений; П. к. введены в 1947 Л. С. Понтрягиным [1]. Для векторного расслоения x с базой ВП. к. обозначаются символом и полагаются равными , где комилексификация расслоения x, a ck Чжэня классы. Полным П. к. наз. неоднородный характеристич. класс p = l+p1+p2+... Иначе говоря, П. к. определяются как классы когомологий , задаваемые равенством р i=f*((-1)ⁱ c2i), где отображение, соответствующее комплексификации унирерсального расслоения, а классы Чжэня.

Пусть овеществление универсального расслоения над BUn. Полный П. к. расслоения совпадает с , где xl ,..., х п - образующие By (см. Характеристический класс).

Частичное описание кольца когомологий Н*( ВО п).может быть получено в терминах образующих By следующим образом. Отображение , соответствующее расслоению либо где q1 одномерное тривиальное расслоение, индуцирует гомоморфизм колец , при к-ром подкольцо кольца Н*( ВО п), порождаемое

П. к. p1, р 2 ,..., р ^[n/2], отображается мономорфно на подкольцо кольца H*(BUn), состоящее из всех четных симметрич. полиномов от образующих By. Четность понимается в том смысле, что каждая переменная х i должна входить в полином в четной степени. Тем самым получается выражение любого элемента кольца (p1,... ..., p[n/2]) Н*( ВО п).через образующие By, что важно для практич. вычислений с П. к. Характеристич. класс, определяемый четным симметрич. полиномом от образующих By, может быть выражен через П. к. следующим образом. Полином выражается через элементарные симметрич. функции переменных а затем вместо элементарных симметрич. функций подставляется П. к.

Если x, h два действительных векторных расслоения над общей базой, то класс когомологий имеет порядок не больше двух; это связано с тем, что для первого класса Чжэня

Пусть нек-рое кольцо L, содержащее ¹/2, рассматривается в качестве кольца коэффициентов и пусть р i П. к. со значениями в . В этом случае имеет место равенство

или

Кольцо Н**( ВО п;L) мономорфно отображается в H**(BU[n/2];L), и образ этого отображения совпадает с подкольцом всех четных симметрич. рядов с образующими By в качестве переменных. При этом полный П. к. переходит в полином , а П. к.в элементарные симметрич. функции от переменных Теорема:

Кольцо когомологий H*(BSOn).содержит кроме П. к. также эйлеров класс. Теорема:

для пространства BS02k имеет место равенство р k=е ².

Отображение g:BU[n/2]B0n пропускается через Br[n/2]BSOn. Индуцированное отображение H**(BSOn)H**(BU)[n/2] переводит ев нуль при нечетном n и в при четном п.

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

Характеристич. класс хстабилен (то есть =x(x), где q тривиальное расслоение) тогда и только тогда, когда свободный член ряда f(t) равен единице. Если положить f(t)=t/th t, то построенный описанным способом характеристич. класс обозначается через Lи наз. L- классом Хирцебруха,

Стандартная процедура выражения ряда Пf(xi) через элементарные симметрич. функции переменных ,..., приводит к представлению класса Lв виде ряда от П. к. Другой важный для приложений характеристич. класс получается, если положить

Класс, задаваемый четным симметрич. рядом

наз. -классом. Аналогично, А-классом наз. характеристич. класс, задаваемый рядом Пf(xi).

где . Оба эти класса, как и L, могут быть

выражены через П. к.

Топологическая инвариантность. В 1965 С. П. Новиков [2] доказал, что П. к. с рациональными коэффициентами двух гомеоморфных многообразий совпадают. До этой работы было известно, что рациональные П. к. кусочно линейно инвариантны, т. е. совпадают для двух кусочно линейных гомеоморфных многообразий. Более того, были определены (см. [4]) рациональные П. к. для кусочно линейных многообразий (возможно с краем). Был дан пример (см. [5]), показывающий, что целочисленные П. к. не являются топологич. инвариантами.