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

элементов уп, xn+z. Применяя операцию Sq1к этому равенству, получаем e{SqHn) = 0, и тогда, как в случае d), tn —0.

g) е — мономорфизм на группе SqbSqx ® Тп.

Если е (Q0QiSq2tn) = 0, то элемент e(Q0Sq2tn) является Qt- циклом, и поэтому e{Q0Sq2tn) = e(xn+3+Sq2yn+l+Qi(y'n+ t’n)). При­

тельно, изоморфизмом. Индукцией по п получаем тогда, что е является изоморфизАіом. g

Суммируя результаты лемм 1, 2 и 3, получаем доказательство основной теоремы Андерсона, Брауна и Петерсона, ц

Как и можно было надеяться, после такой большой работы задача вычисления кобордизлюв становится нетрудной.

Имеют Аіесто, конечно, изоморфизмы

Q®pm ^ Ііш лп+г {ТВ Spinr, оо)

Г->со

И

Qs/ m æ Нш пп+г (TBSpirir, оо).

Г—Уоо

Пр е д л о ж е н ы е. Группы Q®pin и Q®^inC являются конечно порожденными. Кроме того, отображения

л: В Spin - у-BSO

и

л': В Spin0 -+■ BSO X К (Z, 2)

являются нечетно-примарными гомотопическими эквивалентно­ стями и индуцируют нечетно-примарные гомотопические эквива­ лентности соответствующих пространств Тома. Таким образом, имеют место изоморфизмы

Qlpin® z [ { ] a ä Q f ® Z [ | ]

и

ßfpinC ®Z [ 4 ] s ß*° (K (Z, 2)) ® Z [ 4 ] -

В частности, подгруппы элементов конечного порядка в Q®pin и Q®pin являются 2-примарными.

Д о к а з а т е л ь с т в о . Так как Spin- и Зріпс-расслоения имеют естественную ориентацию в целочисленных когомологиях, то доказательство всех утверждений проводится стандартными методами с использованием изоморфизма Тома и того факта, что гомоморфизмы л* и л*' являются изоморфизмами в рациональ­ ных и Zp-когомологиях (р — нечетное число). |

Обратимся к исследованию 2-примарной структуры. Имеют место 2-примарные гомотопические эквивалентности

и что л 2 і {BU) Z, л 2і+і {BU) SË 0. Следовательно, имеет место

Т е о р е м а . Все элементы конечного порядка в группах й®рш

и 0 ? ’“ имеют порядок 2.

Основной структурной теоремой является следующая

Т е о р е м а . Два Spin-многообразия кобордантны тогда и толь­ ко тогда, когда они имеют одинаковые КО- и И2-когомологические характеристические числа.

Два Бріпс-многообразия кобордантны тогда и только тогда, когда они имеют одинаковые рациональные и Ж2-когомологические характеристические числа.

Д о к а з а т е л ь с т в о . Пусть а Ç й®рш — элемент, все КО- 'S. 2 2-когомологические характеристические числа которого равны

нулю. Тогда {Tf X g)* (а) = 0 в группе л* (ВОх Д к (Z2, dim zt)). Так как гомоморфизм {Tf X g)* является изоморфизмом по моду­ лю нечетного кручения, то а имеет конечный нечетный порядок, а так как подгруппа элементов конечного порядка в группе й |р1п

являемся 2-примарной, то а = 0.

л

Пусть а £ QSpin — элемент, все рациональные и Ж2-когомо- логические характеристические числа которого равны нулю. Тогда а является элементом конечного порядка, и гомоморфизм в гомотопических группах, индуцированный отображением g:

Т В S p i n 0 -V ДК (Z2, dim z’f), переводит а в нуль. Так как гомо-

морфизм g* индуцирует изоморфизм конечных подгрупп, то а = = 0. ■

П р е д л о ж е ни е. Пустъ М и М' — два Spin-многообразия,

для некоторого g £ яД(?). Рассмотрим отображение р: Т В S p i n ->-

чению характеристического числа, определенного характеристи­ ческим классом р многообразия М — М '.

Далее, кольцо когомологий mod 2 пространства G является свободным Л 2-модулем (следовательно, свободным ^-модулем с нулевыми Çj-гомологиями, і = 0, 1), а кольцо рациональных когомологий его является нулевым, так как пространство G 2-примарно гомотопически эквивалентно произведению спектров К (Z2). Таким образом, в стабильной области размерностей п про­ странство Gn удовлетворяет всем условиям, использованным при вычислении фильтрации расслоений на В SO. Следовательно,

каждый класс из группы КО* {Gn) имеет фильтрацию не мень­ ше 2гг. Таким образом, р^і* [g] = 0, что доказывает предложе­ ние. ■

Для дальнейшего описания структуры группы Q|P‘n необхо­ димо более детально проанализировать гомотопические группы

пространства ВО X Ц К (Z2, dim zt). Из таблицы групп я* {ВО) можно сделать следующие заключения.

Для каждой последовательности J, не содержащей единиц, такой, что число п (/) четно, существует Spin-многообразие Mj размерности Ап (/), представляющее элемент бесконечного поряд­

ка в группе У которого число Яд|.Mj] нечетно (как мно­ житель при образующем группы КО* (pt)), а все другие КО-ха- рактеристические числа равны нулю (и все числа zt [M j] также равны нулю). Применяя гомоморфизм камплексификации и харак­

Для каждой последовательности / , где п (/) — нечетное число, не содержащей единиц, существуют Spin-многообразия Nj раз­ мерности Ап (/) — 2 и Mj размерности 4/г (/), такие, что iVj

имеет порядок 2, M j имеет бесконечный порядок и числа HR[./VJ ]