Файл: Стонг, Р. Заметки по теории кобордизмов.pdf

чает последовательность тождественных отображений 1г: ВОг ->- -V ВО,). Функтор забывания из категории (ВО, 1)-многообразий в {3), д, і), игнорирующий {ВО, 1)-структуру для объектов и тривиализацшо нормального расслоения для морфизмов, индуцирует изоморфизм полугрупп кобордизмов. [Функтор забывания сохра­

няет изоморфизмы, вложения границ и суммы.] Пусть М"1cz

ное расслоение вложения произведения Mi X M 2cz Д П1+Г1+П*+Г!!

является суммой Уитни нормальных расслоений сомножителей. Таким образом, имеет место теорема, дающая гомотопическую ин­ терпретацию кольца кобордизмов 91*:

Т- ¥ СО

скольцевой структурой в гомотопических группах, индуцирован­

ной отображениями TBOrj\TBOs ^ - TBOr+s, которые определены с помощью суммы Уитни векторных расслоений.

Следующий естественный шаг — попытаться решить гомото­ пическую задачу. Именно здесь требуется наибольшая изобрета­ тельность, так как разные теории кобордизмов на этой стадии широко различаются. Работа Тома рекомендует в этом месте использовать теории когомологий, для которых рассматриваемые многообразия ориентируемы.

Для неориентированных кобордизмов можно использовать обыкновенные когомологии с коэффициентами в Z2, т. е. теорию когомологий для спектра К (Z2). Для этого требуется подробная информация об операциях в этой теории. Дадим сводку необходи­

При этом а) является ассоциативной градуированной алгеброй над

Z2, порожденной символами Sgl размерности і, все соотношения между которыми задаются соотношениями Адема

[ а / 2 ]

SqaSqb= 2 (

i=0

если а < 2 Ъ (Sq° = 1).

b) Для любой пары (X, А) существует естественное спарива­ ние Л 2 ® H* {X, А\ Z2) ->■ H * {X, A; Z2), такое, что

1) отображение Sql: Нп{Х,А\ Z2) Н пМ (X, A; Z2) аддитивно; 2) Sq°u = и для всех и,

Sqdu = иa, если размерность и равна d, и

с помощью которого в Jl * вводится структура связной алгебры Хопфа над Z2. (Связность алгебры означает, что ее единица определяет изоморфизм группы ( 4 2)° с основным полем Z2.)

Хорошо известно, что кольцо Za-когомологий вещественного проективного пространства Р (81") является усеченной алгеброй полиномов нар; Z2 от единственного ненулевого класса а размер­ ности один, а,г = 0, и что класс а 11-1 является образом ненуле­

вого класса і Ç Я "-1 (Sn~x; Z2). Как показано в гл. V, используя эти результаты, можно полностью вычислить структуру колец г 2-когомологий пространств ВОГ и ТВОг. В дальнейшем изложе­ нии мы следуем в основном плану Браудера, Люлевичуса и Петер­ сона [1] (см. также Люлевичус [2]).

Обозначим через Я* (ТВО; Z2) прямую сумму групп

Нп (ТВО ; Z2) = lim Hn+r(TBOr; Z2).

r - v o o

Л е м м а. Отображения ТВОТД TBOs TBOr+s, определен­ ные с помощью суммы Уитни векторных расслоений, индуцируют диагональное отображение

ф :Я *(ТЯ О ; Т2)-+Я* (ТВО; Z2) ® Н*(ТВО; Z2),

превращающее Н* (ТВО; Z2) в связную коалгебру над Z2 с коедіь-

ницейіі £Я° (ТВО; Z2). Кольцо Н* (ТВО; Z2) является левым модулем над алгеброй Хопфа Jk2, таким, что ф есть гомомор­ физм Л;2-модулей и гомоморфизм

v:Jh2 -+H* (ТВО; Z2) : а -*■ а (Я)

является мономорфизмом.

Д о к а з а т е л ь с т в о . Все утверждения леммы очевидны, за исключением последнего о мономорфности гомоморфизма ѵ. •Докажем, что ѵ — мономорфизм. Используя принцип расщепле­ ния и вычисление класса Тома для линейного расслоения, пред­ ставим класс U в виде формального произведения V — х ѵх2х 3. . .

одномерных классов xit i ^ 1. Из формул Адема следует, что

числом показателей ?у, не равных 1. Упорядочим такие мономы,

то наибольшим мономом в элементе SqIV является моном х^х^ . . .,

два. Таким образом, Sq1 U = S^U + 2 S a>U, где разбиение ю =

Так как все разбиения со (/) различны (со (/) полностью опреде­ ляется набором I), то гомоморфизм ѵ является мономорфизмом. [Это стандартное рассуждение, используемое для вычисления

Объединяя результаты лемм, получаем следующее утвержде­ ние:

Т е о р е м а. В размерностях, меньших или равных 2?■, кольцо

Н * (ТВОг\ Z2) является свободным модулем над алгеброй Стинрода А*,, и фактически в размерностях, меньших 2г, пространство ТВОТ имеет гомотопический тип произведения пространств Эйленберга — Маклейна К (Z2, п).

Таким образом, группа ïïtn является векторным пространством над Z2, размерность которого равна числу недиадических разбиений числа' п (разбиение со = (ij, . . -, іг) называется недиадическим, если ни одно из чисел Ц не имеет вид 2" — 1), и два многообразия неориентированно кобордантны тогда и только тогда, когда они имеют одинаковые числа Штифеля — Уитни.

Д о к а з а т е л ь с т в о . Согласно теореме стабилизации, имеет место изоморфизм Н г+г(ТВОг; Z2) = Н г+г+1 (ТВОт+і; Z2) для i ^ г. Поэтому в размерностях ^ 2 r кольцо H* (TBOr; Z2) является свободным ^ 2-модулем, и существует отображение про­ странства ТВОт в произведение пространств К (Z2, п), п ^ г, индуцирующее изоморфизм Ж2-когомологий в размерностях, мень­ ших или равных 2г. Применяя обобщенную теорему Уайтхеда (Спеньер [1], стр. 659), получаем, что это отображение индуцирует гомоморфизм гомотопических групп, который в размерностях, меньших 2г, является изоморфизмом по модулю элементов нечет­ ного порядка. Для простого нечетного числа р имеет место точная последовательность

О ч-Я* {BOr_ù Zp) ^ Н * (BOr; Zp) ч-Я* (ТВОт; Zp) ч-0,

возникающая из точной когомологической последовательности пары (Dyr, Syr). Из точности этой последовательности следует,

что Н* (ТВОт\ Zp) = 0 в размерностях, меньших 2г. Поэтому отображение пространства ТВОт в произведение пространств К (Z2, п) является гомотопической эквивалентностью в размер­

ностях, меньших 2г. Так как ранг группы Н п (ТВОт\ Z2) равен числу всех разбиений числа п, а ранг группы Jt\ равен числу диадических разбиений числа і, то ранг гомотопической группы я„+г (ТВОт, оо) равен числу недиадических разбиений числа п, если г > п. Так как эта гомотопическая группа изоморфна группе 9Î,, для большого 7', то тем самым ранг группы 9ІП вычислен.

Поскольку гомоморфизм Гуревича является мономорфизмом для произведения пространств К (Z2, п), он является мономор­ физмом и для пространства ТВОг в размерностях, меньших 2г. Следовательно, класс кобордизмов определяется характеристиче­ скими числами Z2-KoroMonornfi. g

Окончательное описание кольца кобордизмов 9Î* содержится

вследующей теореме:

Те о р е м а. 9ц. является кольцом полиномов над Z2 (с едини­ цей) от образующих хь размерности і, где і пробегает все положи­

тельные числа, не равные 2s — 1, s ^ 1; в качестве xt может бытъ взят класс кобордизмов любого замкнутого многообразия М г, у ко­ торого S -число S ü) (w (ѵ)) [М] = S a) (w (т)) [АЛ не равно нулю.

З а м е ч а н и я . 1. Если ѵ — нормальное расслоение н т — касательное расслоение многообразия М, то расслоение ѵ ф т