ъБРЙУЛЙ МЕЛГЙК (Lecture notes)
уРЕГЛХТУ ДМС УФХДЕОФПЧ 1—3 ЛХТУПЧ
вХДХФ ЙЪХЮБФШУС РТПУФЕКЫЙЕ ОБЗМСДОЩЕ ПВЯЕЛФЩ НБФЕНБФЙЛЙ: НОПЗППВТБЪЙС Й ЧЕЛФПТОЩЕ РПМС ОБ ОЙИ. ьФЙ ПВЯЕЛФЩ ЧБЦОЩ ЛБЛ ДМС ФПРПМПЗЙЙ, ФБЛ Й ДМС ДТХЗЙИ ТБЪДЕМПЧ НБФЕНБФЙЛЙ Й РТЙМПЦЕОЙК. пУОПЧОПЕ ЧОЙНБОЙЕ ВХДЕФ ХДЕМЕОП ДЕНПОУФТБГЙЙ БМЗЕВТБЙЮЕУЛЙИ ЙДЕК ФЕПТЙЙ РТЕРСФУФЧЙК ОБ РТЙНЕТЕ ЙЪХЮЕОЙС РТПВМЕН УХЭЕУФЧПЧБОЙЙ Й ЛМБУУЙЖЙЛБГЙЙ ЧЕЛФПТОЩИ РПМЕК Й ЙИ УЙУФЕН, Б ФБЛЦЕ ФЕУОП УЧСЪБООПК РТПВМЕНЩ ЙЪХЮЕОЙС ЧМПЦЕОЙК НОПЗППВТБЪЙК. чУМЕД ЪБ ЧЕМЙЛЙНЙ НБФЕНБФЙЛБНЙ 20-ЗП ЧЕЛБ Ч РТПГЕУУЕ ЙЪХЮЕОЙС ЬФЙИ РТПВМЕН УМХЫБФЕМЙ ЛХТУБ ПФЛТПАФ ПУОПЧОЩЕ РПОСФЙС Й ФЕПТЕНЩ БМЗЕВТБЙЮЕУЛПК ФПРПМПЗЙЙ, ЮФП РПНПЦЕФ РПУМЕДОЙН УПЧЕТЫЙФШ УПВУФЧЕООЩЕ ОБУФПМШЛП ЦЕ РПМЕЪОЩЕ ПФЛТЩФЙС.
пФ ХЮБУФОЙЛПЧ ФТЕВХЕФУС ОБМЙЮЙЕ УППВТБЪЙФЕМШОПУФЙ Й ЗЕПНЕФТЙЮЕУЛПК ЙОФХЙГЙЙ. лХТУ УНПЗХФ ПУЧПЙФШ Й УДБФШ ДБЦЕ УФХДЕОФЩ, ОЕ ЙНЕАЭЙЕ ОБЮБМШОЩИ ЪОБОЙК РП ФПРПМПЗЙЙ, ЕУМЙ ПОЙ ВХДХФ БЛФЙЧОПЗП ЪБОЙНБФШУС. ч ФП ЦЕ ЧТЕНС, ЧЧЙДХ «РЕТРЕОДЙЛХМСТОПУФЙ» ДБООПЗП УРЕГЛХТУБ ПВЩЮОЩН ЛХТУБН БМЗЕВТБЙЮЕУЛПК ФПРПМПЗЙЙ, ДБЦЕ ДМС ФТЕФШЕЛХТУОЙЛПЧ ПО НПЦЕФ ПЛБЪБФШУС ЙОФЕТЕУОЩН Й ОЕРТПУФЩН. уМХЫБФЕМСН УРЕГЛХТУБ, ХУРЕЫОП ТЕЫБАЭЙН ЪБДБЮЙ, ВХДХФ ТБЪДБЧБФШУС РПДТПВОЩЕ ФЕЛУФЩ МЕЛГЙК.
нБФЕТЙБМ ДБООПЗП УРЕГЛХТУБ РТБЛФЙЮЕУЛЙ ОЕ РЕТЕУЕЛБЕФУС У НБФЕТЙБМПН УРЕГЛХТУПЧ, ЮЙФБЧЫЙИУС б. уЛПРЕОЛПЧЩН Ч онх Й МЕФОЕК ЫЛПМЕ «уПЧТЕНЕООБС нБФЕНБФЙЛБ» Ч 2002—04 ЗЗ. (Б ЙДЕКЛЙ — ЙИ ЛХДБ РТЙЛБЦЕФЕ ДЕФШ?). л ЛПОГХ ЛХТУБ РТЕДРПМБЗБЕФУС РПДЗПФПЧЙФШ Л РХВМЙЛБГЙЙ ВТПЫАТХ У ПДОПЙНЕООЩН ОБЪЧБОЙЕН.
рТЙНЕТОБС РТПЗТБННБ
рХОЛФЩ 2 Й У ВХЛЧПК «a» НПЗХФ ВЩФШ РТПРХЭЕОЩ РП ЦЕМБОЙА УФХДЕОФПЧ.
1. рТЕРСФУФЧЙС чБО лБНРЕОБ Л БРРТПЛУЙНБГЙЙ РХФЕК ЧМПЦЕОЙСНЙ Й РМБОБТОПУФЙ ЗТБЖПЧ.
1a. лПОЖЙЗХТБГЙПООЩЕ РТПУФТБОУФЧБ Й ЧМПЦЙНПУФШ Ч РМПУЛПУФШ.
2. пРТЕДЕМЕОЙЕ, РТЙНЕТЩ, ЙОЧБТЙБОФЩ Й ЛМБУУЙЖЙЛБГЙС 2-НОПЗППВТБЪЙК.
3. пТЙЕОФЙТХЕНПУФШ 2-НОПЗППВТБЪЙК: ЗПНПМПЗЙЙ Й РЕТЧЩК ЛМБУУ ыФЙЖЕМС-хЙФОЙ.
4. пРТЕДЕМЕОЙЕ Й РТЙНЕТЩ 3-НОПЗППВТБЪЙК.
4a. пРТЕДЕМЕОЙЕ Й РТЙНЕТЩ 2-РПМЙЬДТПЧ. чМПЦЙНПУФШ 2-РПМЙЬДТПЧ Ч R 3 . хФПМЭБЕНПУФШ МПЦОЩИ РПЧЕТИОПУФЕК.
5. уХЭЕУФЧПЧБОЙЕ ЧЕЛФПТОЩИ РПМЕК ОБ 2-НОПЗППВТБЪЙСИ. лБУБФЕМШОЩЕ ЧЕЛФПТОЩЕ РПМС ОБ 3-НОПЗППВТБЪЙСИ. ьКМЕТПЧБ ИБТБЛФЕТЙУФЙЛБ ЛБЛ РТЕРСФУФЧЙЕ Л УХЭЕУФЧПЧБОЙА ОЕОХМЕЧПЗП ЛБУБФЕМШОПЗП ЧЕЛФПТОПЗП РПМС. фЕПТЕНБ иПРЖБ П УХЭЕУФЧПЧБОЙЙ ОЕОХМЕЧПЗП ЛБУБФЕМШОПЗП ЧЕЛФПТОПЗП РПМС ОБ 3-НОПЗППВТБЪЙСИ.
6. уХЭЕУФЧПЧБОЙЕ ОПТНБМШОЩИ ЧЕЛФПТОЩЕ РПМЕК ДМС 2-НОПЗППВТБЪЙК.
7. уХЭЕУФЧПЧБОЙЕ ПТФПОПТНЙТПЧБООЩИ УЙУФЕН ЧЕЛФПТОЩИ РПМЕК.
7a. дЧПКУФЧЕООПУФШ рХБОЛБТЕ ДМС 3-НОПЗППВТБЪЙК. рТПУФПЕ ДПЛБЪБФЕМШУФЧП ФЕПТЕНЩ ыФЙЖЕМС П РБТБММЕМЙЪХЕНПУФЙ ПТЙЕОФЙТХЕНЩИ 3-НОПЗППВТБЪЙК.
8. чМПЦЕОЙС Й РПЗТХЦЕОЙС НОПЗППВТБЪЙК.
9. зПНПФПРЙЮЕУЛБС ЛМБУУЙЖЙЛБГЙС ПФПВТБЦЕОЙК (ФЕПТЕНБ иПРЖБ).
Алгебраическая топология
Алгебраическая топология (А.Т.) область математики, возникшая для изучения таких свойств геометрических фигур (в широком смысле любых объектов, где можно говорить о непрерывности) и их отображений друг в друга, которые не меняются при непрерывных деформациях (гомотопиях). В принципе целью А.Т. является полное перечисление таких свойств. Само название А.Т. происходит от определяющей роли алгебраических понятий и методов при решении задач этой области. Наиболее фундаментальными классами объектов, свойства которых изучаются в А.Т., являются: комплексы (многогранники, полиэдры) симплициальные, клеточные и другие; многообразия замкнутые, открытые, с краем (границей), подразделяющиеся в свою очередь на гладкие (дифференцируемые), аналитические, комп- и, наконец, чисто непрерывные (топологические); косые произведения (расслоения) и их сечения. Основные типы отображений, рассматриваемые в А.Т., это произвольные непрерывные,и гладкие отображения или их подклассы: гомеоморфизмы, в частности непрерывные,или гладкие (диффеоморфизмы); вложения одного объекта в другой, а также погружения (локальные вложения, иммерсии). Важнейшим понятием А.Т. является понятие деформации. Деформации подвергается отображениекласса одного объекта в другой. Основными типами деформаций являются: гомотопия или произвольная непрерывная (гладкая,деформация непрерывного (гладкого,отображения; изотопия (непрерывная, гладкая,т.е. деформация
c Новиков С. П., 2004
гомеоморфизма, вложения или погружения, где в процессе деформации в каждый момент времени отображение остается гомеоморфизмом, вложением или погружением. Главные внутренние проблемы А.Т. это проблемы классификации многообразий относительно гомеоморфизмов (непрерывных, гладких, классификация вложений (погружений) относительно изотопий (регулярных гомотопий), классификация общих непрерывных отображений относительно гомотопий. Важную роль в решении этих задач играет классификация комплексов
и многообразий относительно так называемого гомотопического типа или гомотопической эквивалентности.
Богатство идей, внесенных топологией, теми крупнейшими учеными, которые в ней работали, поставило эту область в центр мировой математики, начиная с середины XX века. Например, с 1950 до 2002 года активным математикам, признанным лучшими и не превышающим 40 лет, было присуждено в общей сложности 44 Медали Филдса на Всемирных Математических Конгрессах. Среди них имена Серра (1954), Тома (1958), Милнора (1962), Атьи (1966), Смейла (1966), Новикова (1970), Квиллена (1978), Тёрстона (1982), Дональдсона (1986), Фридмана (1986), Виттена (1990), Джонса (1990), Концевича (1998), центральная часть математического вклада которых в те годы относилась к топологии, а также имена Кодаиры (1950), Гротендика (1966), Мамфорда (1974), Делиня (1978), Яо (1982), Воеводского (2002), работавших на стыке идей топологии, алгебраической геометрии и гомологической алгебры. Как видно, с 1954 по 1970 годы около половины Медалей Филдса была присуждена топологам, оказавшим влияние на много других областей математики. Хотя мы
и знаем огорчительных случая, когда ученому высшего класса и подходящего возраста не была присуждена Медаль Филдса, но в целом приведенная статистика правильно отражает положение топологии на вершине математики в определенный период.
Исторический очерк: топологические идеи до XIX века.
Наивное понимание грубых топологических различий между трехмерными геометрическими фигурами существовало уже в глубокой древности. Всякому очевидно, что число дыр или ручек в трехмерной области (фигуре) не изменится, если ее гнуть без разрывов и самопересечений. Сложность узлов, сделанных из корабельных веревок, привлекла внимание античных греков.
Однако первые топологические наблюдения в форме точных математических соотношений и теорем возникли лишь в XVIII веке у Л. Эйлера: число вершин минус число ребер плюс число граней выпуклого многогранника равно 2; как открыл позднее Пуанкаре, подобная альтернированная сумма является топологическим инвариантом любого комплекса. Задача о трех домах и трех колодцах: доказать, что три дома нельзя соединить с тремя колодцами путями, не пересекающими друг друга. На современном языке, этот граф (одномерный комплекс) с шестью вершинами и девятью ребрами нельзя вложить в плоскость без самопересечений.
Топологические идеи в XIX веке. До XIX века такие наблюдения носили лишь характер игрушек вроде оригинальных олимпиадных задач, порожденных игрой чистого ума подобно многим задачам теории чисел. Во второй четверти XIX века ситуация изменилась: Гаусс пришел к ряду нетривиальных топологических наблюдений после анализа опытов Фарадея, где человечество впервые увидело электромагнитные явления. В частности, Гаусс открыл так называемое число зацепления двух замкнутых попарно непересекающихся кривых в трехмерном пространстве, не меняющихся при деформациях без пересечений. Именно Гаусс и поставил задачу о построении точной теории подобных свойств. Термин “топология” возник в работе его ученика Листинга. Топологическую теорию двумерных многообразий сильно продвинул Риман (“римановы поверхности”). Вообще, двумерная топология, по существу, возникла как важнейшая сторона нового тогда комплексного анализа в трудах Коши на плоскости и в трудах Абеля, Якоби и Римана на двумерных многообразиях с нетривиальной топологией. Ряд топологических наблюдений был сделан физиками: Кельвин интересовался узлами. Он исходил из любопытных свойств замкнутых вихревых линий, открытых им в гидродинамике, и хотел применить узлы для классификации атомов (мы знаем, что это оказалось ложной идеей). Его ученик Тейт первым начал систематически развивать теорию узлов, высказал интересные гипотезы в конце XIX века, доказанные лишь недавно. Максвелл обратил внимание на соотношение между числами критических точек функций разных индексов: для изолированного острова число ям минус число перевалов плюс число вершин равно 1. Это отдаленный прообраз идей “теории Морса”. Пуанкаре начал последовательно применять топологические идеи для анализа качественного поведения траекторий динамических систем,
особенно для созданной им теории систем на плоскости. Им же топология была выделена в отдельную область математики, которую он назвал “Анализ Ситус”. В числе наиболее простых и фундаментальных топологических характеристик оказались обобщения числа дыр и ручек: это числа Бетти с номером k (числа в определенном смысле независимыхциклов в исследу-
емом пространстве, области или многообразии). Так как Бетти, согласно топологическим легендам, был химиком, то эти характеристики и их дальнейшие обобщения получили название “гомологий”. Пуанкаре дал топологическую классификацию двумерных многообразий. Он ввел важнейший топологический инвариант фундаментальную группу пространства, состоящую из гомотопических классов замкнутых путей с началом и концом в одной общей точке и построил топологическую теорию накрытий. Им открыт закон двойственности Пуанкаре, утверждающий, что для замкнутых многообразий числа Бетти определенных типов с номерами k и n − k совпадают. Проблема классифи-
кации трехмерных многообразий встретила большие трудности: до самого последнего времени не удавалось доказать, что всякое односвязное трехмерное многообразие (где фундаментальная группа единична) гомеоморфно сфере. Это гипотеза Пуанкаре.
Топология в XX веке: очерк до 1945 г. В начале XX века эта область стала называться топологией. В годах, когда алгебраические методы приобрели решающее значение, эта область, благодаря С. Лефшецу, стала называться алгебраической топологией. В течение XX века в развитие алгебраической топологии и ее приложений внес вклад ряд крупнейших математиков. Вгодах Брауэр доказал, что размерность многообразий инвариант непрерывных гомеоморфизмов; он открыл степень отображения сфер на сферы и теорему существования неподвижной точки отображений диска в себя. В начале XX века Ден далеко продвинул идеи трехмерной топологии. Исходя из фундаментальной группы, он создал комбинаторную теорию конечно определенных групп, сформулировал ее основные алгоритмические проблемы: проблему тождества слов, сопряженности и изоморфизма. Сомнений в том, что эти свойства являются алгоритмически распознаваемыми, в те времена не было.
В годах Александер доказал топологическую инвариантность гомологий (чисел Бетти). Оказалось, что гомологии являются более грубыми инвариантами гомотопического типа, от-
крытого Александером. Вьеторис, П. Александров и Чех распространили теорию гомологий на общие пространства. Э. Нётер высказала важную идею, способствовавшую полной алгебраизации теории гомологий. С. Лефшец создал глубокую теорию гомологий алгебраических комплексных проективных многообразий, перенес ее идеи в топологию, особенно теорию пересечений циклов. Э. Картан, исходя из идей Пуанкаре и римановой геометрии, ввел дифференциальные формы и теорию гомологий на их основе (“тензорная теория гомологий”). Высказанная им гипотеза, что эта теория эквивалентна обычной топологии, была в годах доказана его учеником де Рамом. Эта теория стала называться “теорией де Рама”. Вгодах Морс открыл топологические методы вариационного исчисления, топологические неравенства Морса для чисел критических точек (“теория Морса”). Около 1930 г. Люстерник и Шнирельман развили весьма своеобразный вариант теории типа Морса для вырожденных критических точек, особенно глубокий для двумерного случая; они доказали гипотезу Пуанкаре о трех геодезических: на римановом многообразии, гомеоморфном двумерной сфере, всегда существует не менее трех несамопересекающихся замкнутых геодезических. Важнейшие результаты Александера, Лефшеца, Морса
и не были математически строго доказаны. Теория Александера гомотопически инвариантной сингулярной теории гомологий была строго обоснована вгг. Эйленбергом и др., теория гомологий Лефшеца алгебраических многообразий вгг., а результатыо трех геодезических лишь к началугг.
В годах развитие алгебраической топологии стало еще более интенсивным. Возникла идея гомотопических групп (классов отображений сферы в пространство, где образ одной точки фиксирован), введенная Гуревичем. Еще ранее Х. Хопф нашел гомотопическую классификацию отображениймногообразий всферу: классы определяются степенью отоб-
ражения. Он открыл позднее нетривиальность высших гомотопических групп сфер (“инвариант Хопфа”). Проблема вычисления гомотопических групп сфер стала в дальнейшем одной из центральных проблем алгебраической топологии Понтрягин
и Фрейденталь начали процесс ее решения. В частности, Понтрягин пришел отсюда к проблеме кобордизма: каковы алгебротопологические условия того, что замкнутое многообразие явля-
ется границей многообразия с краем? Уже двумерная проективная плоскость не является границей ничего.
Алгебраизация различных вариантов законов двойственности типа Пуанкаре для гомологий в многообразиях (законы двойственности Александера и Лефшеца) привела к теории характеров для непрерывных групп (Понтрягин), а также к понятию “когомологий” (Колмогоров и Александер, 1935), двойственных к гомологиям. Позднее в годах двойственность была глубоко осмыслена в рамках стабильной теории гомотопий (“двойственностьКогомологии оказались суперкоммутативным градуированным кольцом; операция умноженияошибки в определении которой были исправлены Чехом и Уитни в 1936/37 г., идейно заимствованная из теории пересечений Лефшеца в алгебраической геометрии
и теории Э. Картана в тензорном анализе, оказалась исключительно важной в алгебраической топологии. Важные сдвиги были осуществлены и в маломерной топологии: Нильсен и Магнус создали теорию автоморфизмов поверхностей, начали новые главы комбинаторной теории групп исходя из топологии, развитую ван Кампеном. Александер и Радемайстер развили теорию узлов и зацеплений замкнутых кривых в трехмерном пространстве. Были открыты такие важные инварианты узлов, как полином Александера, создана комбинаторная модель Радемайстера теории узлов (движения Радемайстера для плоских диаграмм узлов
и зацеплений). Появилась теория кос Э. Артина, просто вычислившего фундаментальную группу пространств полиномов с некратными корнями (но не упомянувшего это). Появилось сведение теории узлов к косам (модель Александера–строгое обоснование которой было опубликовано только вгодах). Радемайстер открыл знаменитый комбинаторный инвариант трехмерных многообразий так называемое “кручение Радемайстера” решающий проблему классификации линзовых многообразий. Эта величина гомотопически неинвариантна. Уайтхед создал теорию “простого гомотопического типа” для этого феномена, сидящего на фундаментальной группе. Здесь впервые была выявлена глубокая интерференция фундаментальной группы с теорией гомологий, возникло расширение понятия детерминанта линейных преобразований. Это привело к теории обобщенного детерминанта матриц над кольцами, после осмысления и развития этой теории Уайтхедом
в гг. (независимо к родственным идеям в чистой алгебре пришел Дьедонне, но без топологических применений), позднее привело к глубоким открытиям в анализе.
Одним из крупнейших общематематических достижений топологии годов было создание теории дифференцируемых многообразий и их вложений в евклидово пространство на базе идей трансверсальности гладких отображений (Уитни). Новый метод позволил построить вполне строгий аналитический
и геометрический подход к построению и вычислению топологических инвариантов (например, теории пересечений циклов), основанный на трансверсальности и приведении в общее положение, неоценимый с точки зрения будущего анализа. Этот подход был развит Понтрягиным для вычисления первых нетривиальных гомотопических группсферы ( k = n + 1
и k = n+2 ; для k = n+2 Понтрягин ошибся, не заметив так называемогоон исправил эту ошибку в 1950). Этот метод приводит к проблеме кобордизмовмногообразий,
как уже упоминалось. Уитни, Штифель, Понтрягин и Черн открыли в конце годов важнейшие топологические инварианты гладких и комплексных многообразий характеристические классы, связывающие воедино топологию, риманову геометрию
и комплексный анализ. Это классы во всех когомологиях по модулю 2 и классы Понтрягина в целочисленныхкогомологиях гладких многообразий; классы Черна лежат вцелочисленных когомологиях комплексных
многообразий. Имеется по одному базисному классу каждого из указанных типов в каждой из указанных размерностей. Характеристическим классом считается также любой полином от базисных в кольце когомологий. Согласно теореме Понтрягина, для замкнутых многообразий границ многообразий с краем все характеристические вычеты modulo 2 а также
и числа Понтрягина в ориентируемом случае (т.е. классы размерности многообразия) равны нулю. Для проективной плоскости это не так, например.
Большое влияние на развитие топологии и смешанных дисциплин оказали результаты, посвященные исследованию проблемы неподвижных точек отображений многообразий в себя: возникновение формулы Лефшеца для алгебраического числа таких точек и теория Смита, изучающая топологические инварианты множеств неподвижных точек преобразований конечного порядка.
Здесь были развиты глубокие алгебраические методы, дающие начало нетривиальной гомологической алгебры: стало необходимо разобраться в громадном количестве связей различных видов гомологий или гомологий различных объектов друг с другом. Уже здесь возникли простейшие операции в когомологиях с конечным полем коэффициентов, не сводимые к структуре кольца когомологий кограничные операторы Бокштейна.
Алгебраическая топология в XX веке: гг. К серединегодов уже была создана теория расслоенных пространств и характеристических классов (упоминавшихся выше), была создана гомологическая теория препятствий к построению и продолжению отображений и сечений расслоений. Затем появились нетривиальные когомологические операции, не сводимые
к умножению квадраты и степени Понтрягина и Стинрода, операции Масси. Особенно важными оказались операции Стинрода в когомологиях modulo p для всех простых чисел p > 2 , вместе
с простейшим оператором Бокштейна. Это линейные операторы, действующие в когомологиях всех пространств, коммутирующие с непрерывными отображениями (как говорят “эндоморфизмы функтора когомологий”). Решая задачу Хопфа о вычислении когомологий асферичных пространств (у которых универсальная накрывающая стягиваема), Эйленберг и Маклейн основали то, что было названо “гомологической алгеброй” теорию гомологий групп в 1945 г. Независимо (но несколько позже)
к подобным идеям из соображений чистой алгебры и алгебраической теории чисел пришел Д. Фаддеев. Эйленберг и Маклейн построили также алгебраическую модель пространств (“комплексы у которых все гомотопические группы, кроме одной, равны нулю. Этот цикл идей был завершен около 50 г. Постниковым, построившим обобщение этой модели на произвольные пространства (“система Постникова”). Принципиально, система Постникова дает полную информацию о гомотопическом типе комплексов и многообразий. В важном частном случае односвязных четырехмерных многообразий Понтрягин и Уайтхед решили эту задачу без систем Постникова в концегг. Х. Хопфом была установлена замечательная связь некоторых величин в гомотопических группах сфер (инварианта Хопфа) с известной проблемой алгебры: существуют ли вещественные алгебры с делением в размерностях n =6 1, 2, 4, 8 , где мы знаем ве-
щественные и комплексные числа, кватернионы и алгебры Кэли.
Хопф, используя алгебру операций Стинрода, доказал, что таких алгебр нет для n =6 2 q , но для q > 3 это доказать не удавалось.
Алгебраические соотношения между операциями Стинрода для p = 2 , найденные Адемом в концегг., как указал Хопф, приводят к результату для n =6 2 q . Сложилась такая ситуация, что
в топологии было открыто большое количество нетривиальных алгебраических величин и законов связи между ними: фундаментальная группа и высшие гомотопические группы как модули (и даже супералгебра образуемая ими), группы гомологий и кольца когомологий, характеристические классы многообразий и расслоений, операции Стинрода и многое другое. Как их вычислять? В некоторых случаях удавалось вычислить гомологии пространств, используя триангуляции и новые длягодов клеточные разбиения, введенные первоначально для обоснования теории Морса. Иногда удавалось вычислить, например, гомологии групп Ли и пространств петель, используя вариационное исчисление (теорию Морса), иногда помогала теория де Рама, где еще Э. Картан для однородных пространств использовал теорию групп Ли для подобных целей, сводя вычисление гомологий к инвариантным замкнутым формам. Таким образом, уже вгг. вычисление гомологий казалось обозримым, в то же время как проблема вычисления гомотопических групп в ряде случаев например для сфер казалась трансцендентно трудной.
Во второй половине гг. Лере, Серр, А. Картан, Том, Борель создали и успешно применили цикл замечательных алгебраических методов для вычисления гомологий расслоенных пространств, основанных на так называемых “спектральных последовательностях Лере”. Это выдающееся открытие и породило то, что сейчас называется нетривиальной гомологической алгеброй, ее основным методом, позволяющим регулярным образом вычислить такие величины, которые ранее, как уже говорилось, считались в топологии трансцендентными. Это вычисление идет через посредство серии вспомогательных обобщенных “расслоений Серра”, где работают спектральные последовательности Лере, шаг за шагом. Серр создал метод, позволивший вычислить все гомотопические группы сфер, пренебрегая конечными частями: они все конечны, кроме специальных случаев, групп размерности 4n − 1 длягде воз-
никает инвариант Хопфа. Общая теорема завершает такое же вычисление для всех тех пространств, чьи коль-
ца когомологий пространства петель над полем характеристики нуль известны. Для развития методов вычисления конечных частей гомотопических групп, Серр (для p = 2 ) и А. Картан (для p > 2 ) вычислили все алгебры Стинрода когомологических
операций, упоминавшихся выше. Эти алгебры порождены операторами Стинрода и Бокштейна. Их элементы это линейные операторы, действующие в когомологиях всех пространств и коммутирующие с непрерывными отображениями. Между ними имеются соотношения и только. Уже к концугодов стало ясно, что теория когомологий полностью определяется простым набором функториальных свойств (“аксиомыв которые входят: 1) “гомотопическая инвариантность”; 2) “функториальность” (ковариантность при отображениях пространств); 3) “точная последовательность пары”; 4) “аксиома вырезания”; и, наконец, 5) “нормировка” все гомологии, кроме нульмерной, равны нулю для точки. Гомотопические группы это более сложный функтор, где не выполняется аксиома вырезания, хотя аналогия между ними, называемая “двойственностьюв ряде случаев очень полезна. Алгебра Стинрода это эндоморфизмы функтора когомологий, классификация которых сводится, согласно лемме Серра, к вычислению когомологий комплексовПоследняя задача и была в нужных пределах решена Серром ( p = 2 ) и А. Картаном ( p > 2 ). А. Борель провел серию глубо-
ких вычислений для однородных пространств и установил глубокие алгебраические свойства спектральных последовательностей. А. Борель ввел в 1954 г. важное понятие “алгебр Хопфа”: согласно теореме Хопфа, алгебра когомологий над полем характеристики нуль любого пространства с непрерывным умножением, обладающим единицей, является свободной суперкоммутативной алгеброй, т.е. тензорным произведением внешней алгебры на алгебру полиномов. Как указал Борель, доказательство Хопфа основывается на чисто алгебраических свойствах этих алгебр, которые он формализовал и назвал этот класс алгебр “алгебрами Хопфа”, обобщив затем теорему Хопфа на поля конечной характеристики, где алгебра Хопфа может и не быть свободной. Значение для топологии теории алгебр Хопфа над конечными полями и гомологической алгебры для них стало ясно вскоре. Алгебры Хопфа вошли в чистую алгебру много позже. Впоследствии они стали общепризнаны и в квантовой математической физике, и в анализе. Том,
развивая идеи трансверсальности и метод Понтрягина, красиво свел исследование проблем кобордизмов (выше) к задаче вычисления гомотопических групп вспомогательных “пространств Тома” (в частном случае Понтрягина это сфера). К ним же сводится, по схеме Тома, задача о реализации циклов гладкими подмногообразиями, и проблема “Стинрода” о реализации цикла как образа гладкого многообразия. В неориентируемом случае Том красиво решил эти задачи методом Серра. Верна теорема, обратная к уже упоминавшейся теореме Понтрягина: зануление вычетов достаточно для того, чтобы гладкое замкнутое многообразие было краем. Все циклы modulo 2 реализуются как образы многообразий. Для ориентируемого случая Том установил, что обратная к Понтрягину теорема верна лишь с точностью до кратности. Проблема Стинрода разрешима также лишь для кратного цикла. Этим же методом “комплексов Тома”, с помощью квадратов Стинрода для p = 2 , Том доказал гомотопиче-
скую инвариантность классов а Ву полностью эффективно вычислил их методом Тома (формулы Ву).
Любопытно сравнить это с наиболее глубокими результатами вычисления гомотопических групп сфер и кобордизмов, полученных прямым геометрическим методом Понтрягина (Рохлин): он установил в начале гг., что (n + гомотопическая группасферы для n > 5 изоморфна конечной цик-
лической группе порядка либо 12, либо 24, но ошибочно утверждал сначала, что порядок равен 12, пока не появилась работа Серра. Рохлин доказал также, что любое трехмерное многообразие граница четырехмерного (т.е. кобордантно нулю), а любое четырехмерное ориентируемое замкнутое гладкое многообразие кобордантно конечному объединению комплексных проективных плоскостей. Рохлин открыл новый важнейший инвариант ориентируемого кобордизма так называемую “сигнатуру” многообразия (разность чисел положительных и отрицательных квадратов матрицы пересечений вмногообразии (ориентируемом)). Из результатов Рохлина для k = 1 и Тома для всех k > 1 вытекает, что сигнатура выражается линейно через чис-
ла Понтрягина. Красивая формула была получена Хирцебрухом в 1954 г., блестяще применившим этот результат к доказательству общей теоремы в алгебраической геометрии. Значение формулы сигнатуры для многих целей ярко проявилось в будущем развитии математики. Полные доказательства
теорем Рохлина были опубликованы лишь в конце гг.; прямой геометрический вывод того, что упомянутая гомотопическая группаимеет порядок 24 , а не 12 , был опубликован лишь
в гг., когда это стало важно для маломерной топологии. Анализ причин, ведущих к порядку 24 , а не 12 , привел Рохлина к примерув односвязномне реализующимся гладко вложеннойСам этот результат им не публи-
ковался: он был упомянут со ссылкой на Рохлина у Милнора– Кервера в начале гг. Проблема оптимальной гладкой реализацииповерхностью наименьшего рода в односвязномстала позднее широко известна как “пробле-
ма Тома”, решенная уже в гг. совсем другими методами (пришедшими из квантовой теории поля). Конечность гомотопических групп сфер приводится по схеме Дольда к следствию, что классы Понтрягина не являются гомотопическими инвариантами замкнутых многообразий (Дольд, 1956). Для этого результата достаточно уже конечности гомотопических групп размерности (n + 3) длясферы. Для односвязных многообразий нет
никаких гомотопически инвариантных соотношений между интегралами от классов Понтрягина по циклам, кроме формулы Хирцебруха для сигнатуры. В неодносвязных многообразиях гипотеза Новикова (ниже) описывает все гомотопически инвариантные интегралы. Она доказана в ряде случаев.
Таким образом, в результате периода грандиозного идейного подъема гг. был создан уникальный ансамбль методов, позволивший А.Т. достичь своего самого высшего уровня в самом центре мировой математической мысли. На этом уровне она и держалась еще примерно 15 лет, до началагг. К описанию периода наивысшего расцвета классической А.Т. мы сейчас перейдем.
А.Т. в период гг. Начало нового периода определяется знаменитым открытием Милнора нестандартных гладких структур на(1956). Вы смотрите на аналог известного расслоения Хопфа, гдерасслоена по окружности с базойВ семимерном аналоге базой являетсяслойэтоа все пространствосудя по гомото-
пическому типу. Как указывает теория расслоений, в отличие от случая Хопфа, здесь имеется бесконечная серия подобных расслоений: меняется первый класс Понтрягина, которого не было у обычного расслоения Хопфа. Все эти семимерные многообра-
зия являются очевидной границей восьмимерных расслоений над со слоемс разными классами Понтрягина,
но общим кольцом когомологий. Если предположить, что крайэто обычная то ее можно заклеить диском и получить серию гладких многообразий, сигнатура которых равна 1 ,
а первые классы Понтрягина различны. Подсчитаем по формуле Хирцебруха второй класс Понтрягина через первый и сигнатуру: замечательно, но в ряде случаев получится дробь со знаменателем 1/7 , хотя числа Понтрягина гладкого замкнутого многообразия всегда целые. Итак, это не может быть обычной
Милнор построил на этом многообразии функцию с двумя критическими точками (минимум и максимум), откуда следует, что оно гомеоморфно (даже обычной сфере. Но не гладко! Замкнутыемногообразия, полученные здесь, не
гомеоморфны никакому гладкому многообразию. Правда, полное доказательство этого утверждения следует из топологической инвариантности интегралов от классов Понтрягина на циклах, установленной позднее в 1965 году (Новиковым), но уже в 1960 году Кервер указал многооб-
разие, гомотопически неэквивалентное гладкому, с помощью открытого им Тем самым, было понято после от-
крытия Милнора, что не все многообразия допускают гладкую структуру, и она неединственна. Том, Рохлин и Шварц доказали инвариантность интегралов от классов Понтрягина по циклам (1957), опираясь на формулу Хирцебруха ианалоги трансверсальности. Милнор и Кервер развили классификационную теорию многообразий гомотопического типа сферы с точностью догде многообразия эквивалентны (т.е.если они совместно ограни-
чивают многообразие с двумя краями, стягиваемое к каждому из них. Они свели эту проблему к теории гомотопических групп сфер, используя метод Понтрягина. К тому времени Смейл доказал, что всякий односвязный размерности 6 и более (с границей размерности 5 и более) тривиален, а края диф-
феоморфны друг другу. Он же (и независимо также Столлингс и Уоллес) доказал обобщенную гипотезу Пуанкаре, что всякое многообразие гомотопического типа сферы размерности 5 и более
гомеоморфно сфере. Смейл построил функцию Морса на любом односвязном многообразии размерности 6 и бо-
лее, число критических точек которой точно равно минимально
возможному “числу выраженному через ранги групп гомологий. Все они невырожденны. Смейлу и Хиршу принадлежит также основанное на очень красивой идее Смейла полное решение задачи о классификации гладких иммерсий (погружений с самопересечением), весьма нетривиальной уже для двумерной сферы в трехмерном пространстве, сводя ее к вычислениям гомотопических групп. Глубокие результаты были получены Хёфлигером, посвященные теории гладких вложений многообразий в многомерное евклидово пространство. Еще до работ Смейла,ок. 1958 г., опираясь на результаты П. Новикова, Адяна и Рабина в алгоритмической теории конечно определенных групп, установил алгоритмическую нераспознаваемость свойства многообразия размерности 4 и более быть гомотопиче-
ски эквивалентным, гомеоморфным или диффеоморфным некоторому односвязному многообразию (с большим вторым числом Бетти). Любопытно, что в процессе доказательства здесь приходится установить важный частный случай леммы Смейла о “съедании ручек”, однако это не было в то время осознано топологами. Полного доказательства своих теорем Марков не публиковал. Позднее С. Новиков, опираясь на леммы Смейла и указанную им конструкцию “универсального центрального расширения групп”, убивающего вторую группу гомологий группы, установил алгоритмическую нераспознаваемость свойства быть в размерностях 5 и более. Это результат 1962 г., который был опуб-
ликован лишь в гг.
В начале гг. была построена “теорияпозволяющая классифицировать односвязные многообразия размерности 5 и более, гомотопически эквивалентные данному, с точ-
ностью до диффеоморфизма (С. Новиков, 1961) и выделить гомотопические типы замкнутых многообразий среди всех односвязных комплексов (В. Браудер, 1962). Эти независимые работы, решающие разные задачи, оказались чрезвычайно близки по методу, который и стал общепринятым. Фундаментальную роль в нем играет топологический аналог бирациональных отображений отображения степени 1 замкнутых многообразий, обладающие за-
мечательными свойствами. Классификация многообразий сводится к вычислению одной гомотопической группы “пространства Тома нормального расслоения”. Поэтому теориятесно связана с идеями теории кобордизмов. Из теорииследует, в частности,
что имеется всего конечное (легко оцениваемое сверху) число односвязных многообразий общего гомотопического типа и с одинаковыми интегралами от классов Понтрягина по циклам (теорема Новикова). Эта теория легко переносится и на классификацию многообразий, и на многообразия с краем. Распространение этой теории на все неодносвязные многообразия размерности 5 и более было осуществлено для ряда специальных
задач и частных случаев Браудером, Новиковым, Шейнсоном, и в общем случае Уоллом около 1970 г. На теорию вложений эти методы распространил Левин в тот же период. Неодносвязные многообразия приводят к ряду интереснейших алгебраических феноменов, связанных с так называемой “алгебраической и ее эрмитовым аналогом, где еще в 1970 г. Нови-
ков указал на значение симплектических идей. Для конечных фундаментальных групп активно привлекались в гг. методы алгебраической теории чисел. Для бесконечных групп привлекались методы функционального анализа, начиная с работ Люстига, Мищенко и Каспаровагодов. Немало топологов внесло вклад в развитие и применение этих методов.
Развитие алгебраических и других методов топологии для вычисления гомотопических групп после 1956 г. также было чрезвычайно интенсивным. Э. Браун доказал алгоритмическую вычислимость систем Постникова односвязных комплексов. Алгоритмическая распознаваемость гомотопического типа среди конечных односвязных комплексов это недавний результат Вайнбергера и Набутовского (1998). Они используют теоремы Вилкерсона и Сулливана об арифметическом характере групп гомотопических автоморфизмов конечных симплициальных комплексов (1975/76) и глубокие результы теории алгебраических групп 1980 г.
Как указал Милнор (1957), алгебры Стинрода являются алгебрами Хопфа. С этого начинается нетривиальная теория алгебр Хопфа в топологии ранее они рассматривались лишь как аксиоматизация колец когомологий групп Ли и пространств с умножением и единицей (как пространство петель) т.е. H
Ботт, исходя из вычислений индексов Морса геодезических на группах Ли и симметрических пространствах, заметил в 1958 г. замечательное явление периодичности: до большой размерности пространство путей на унитарной группе с началом в точке 1 и концом в точке −1 гомотопически эквивалентно комплексно-
му грассманову многообразию (о котором известно, что его пространство петель в свою очередь гомотопически эквивалентно унитарной группе до большой размерности). Тем самым, для “стабильных” гомотопических групп унитарных групп U n (т.е. групп размерности , не зависящих от n ), имеет место замечательный феноменэти группы зависят лишь от размерности modulo 2. Вычисления приводят кдля стабильных гомотопических групп ортогональных групп O n (т.е. в размерностях меньших, чем n − 1 ). Открытие “периодичности
Ботта” позволяет сделать эффективными большинство вычислений, связанных со стабильными векторными расслоениями. Из периодичности Ботта несложно извлекается теорема о несуществовании вещественных алгебр с делением во всех размерностях n = 2 q , q > 3 , которая уже упоминалась выше как одна из знаме-
нитых проблем алгебры, сводящаяся к топологии (Милнор, Кервер, Атья, Хирцебрух, Ботт, 1959). Мы, однако, укажем на другое решение этой же задачи (Адамс, 1959), основанное на иных методах. После создания метода Серра и др. вычисления гомотопических групп ряд топологов начал их последовательно применять и совершенствовать. Одним из первых это начали развивать Адамс, Тода, Маховальд и др., получившие много ценных результатов. Адамс в 1958 г. открыл замечательный метод изучения стабильных гомотопических групп (для (n пространств это гомотопические группы размерности меньшей, чем 2n −1 ). Длястабильная гомотопическая группа с номером k зависит лишь от разности размерностей (k − n) и нетривиальна для k − n > 0 . Прямая сумма всех стабильных групп сфер это
суперкоммутативное градуированное кольцо относительно суперпозиции отображений сфер в сферы. Для вычисления стабильных гомотопических групп была открыта “спектральная последовательность Адамса”, второй член которой выражается через гомологическую алгебру для когомологий как модулей над алгеброй Стинрода. Адамс решил проблему инвариантов Хопфа (и тем самым проблему алгебр с делением) исходя из этого метода для p = 2 . Научная юность автора этих строк лежит именно здесь, вгг., развивая этот метод для p > 2 , чтобы найти
“длинные суперпозиции” сфер, усовершенствуя вычисления с алгебрами Хопфа, вводя для этого своеобразные аналоги операций Стинрода в гомологии алгебр Хопфа над конечным полем. Милнор и Новиков в 1960 г. применили метод Адамса к задаче вычис-
ления колец ориентированных кобордизмов; ими же введены унитарный (комплексный) аналог кобордизмов, специальный унитарный, спинорный и симплектический. Милнор, как свидетельствуют западные топологи, пришел к этим идеям несколько раньше, но впервые написал и опубликовал лишь часть в 1960 г., содержащую доказательство теоремы об отсутствии нечетного кручения
в ориентируемых кобордизмах и отсутствии кручения в комплексных кобордизмах, методом Адамса. Свою оригинальную геометрическую идею доказательства полиномиальности этих колец, сообщенную им лично в 1961 г., Милнор отложил до второй части, которая так и не была написана. Много позднее другие западные авторы опубликовали доказательство, реализуя идею Милнора (но не упоминая его). Новиков, формализуя хопфовские свойства некоторых модулей когомологий над алгеброй Стинрода как “коалгебр”, использовал мультипликативные свойства спектральной последовательности Адамса для универсальных пространств Тома и вычислил кольцевую структуру как элементарное следствие алгебраических аргументов. Ряд результатов был получен им о кольцах специальных унитарных, а также симплектических кобордизмов (1962). Последние не вычислены и сейчас, хотя второй член спектральной последовательности Адамса здесь найден Ивановским и Вершининым в гг. Ряд результатов получен Ботвинником и Кочманом вгг., но проблема очень сложна. Спинорные кобордизмы проще и были вычислены Брауном и Петерсоном (1965); они успешно применяли кобордизмы, решив известную проблемув теории гладких структур на сферах для размерностей 8k + 2 . Наибо-
лее глубокий результат здесь получен Браудером (1970), но проблема все еще открыта в размерностях 2 k − 2 при k > 5 . Для изученияв ориентируемых кобордизмах геометриче-
ский метод был развит Рохлиным (1958), но он допустил ошибку. Окончательный результат был получен Уоллом (1960). Новиков доказал также, что проблема Стинрода разрешима в ориентируемом случае для любого цикла, умноженного на некоторое нечетное число. Это число может быть взято равным 1 , если
в некоторых гомологиях нет специального нечетного кручения
в ориентируемом случае (и аналогично в унитарном, без условия нечетности).
Развитие алгебраических методов топологии и теории гомологий в этот период приобрело чрезвычайно любопытные чер-
ты, особенно после работы Гротендика, нашедшего совершенно новое понимание теорем типа фундаментальных
в алгебраической геометрии. В частности, он ввел так называемый перенесенный Атьей и Хирцебрухом в топо-
логию. В частности, вместо четномерных коциклов берутся стабильные классы унитарных расслоений в чисто топологическом варианте. Эти группы (кольца) они удовлетво-
ряют всем аксиомам кроме “нормировки”:точки нетривиален и представляет собой кольцо лора-
новских полиномов от оператора периодичности Ботта (и ему обратного) над целыми числами. Подобные объекты, вроде когомологий, но без нормировки, стали называться “экстраординарными теориями когомологий”. Их аксиоматика и очень общие свойства систематизировались в началегг. Конкретно,эффективно вычислима в силу периодичности
Ботта. Роль когомологических операций в ней играют представления унитарных групп или их специальные линейные комбинации например, внешние степени. Содержательную теорию здесь развил в первую очередь Атья, указав на возможные топологические применения. Он же указал на теорию кобордизмов как на экстраординарную теорию когомологий и гомологий и установил ряд ее важных свойств. Например, двойственность Атьи для комплексов Тома оказалась важной в классификационной теории многообразий сводя ее к универсальным пространствам, как указал ряд авторов в 1965/66 гг.
В знаменитой работе (1963)была
успешно применена к известной проблеме вычисления индекса эллиптических дифференциальных операторов, начатой Нётером и Мусхелишвили еще в гг. для сингулярных интегральных операторов на окружности, развитая рядом советских математиков. Она была сформулирована Гельфандом (1961) как общематематическая проблема и вскоре решена Атьей и Зингером. Значения этих идей для анализа трудно переоценить. Инварианты эллиптического оператора удачно формулируются
в от многообразия в формулу индекса входят классы
Адамс в 1962 г. построил линейные комбинации внешних степеней, обладающие замечательными свойствами в как
когомологические операции (“операции Адамса”). С помощью них Адамс решил несколько известных задач топологии: он доказал
гипотезу Тода о том, что на нельзя построить линей-
но независимых векторных полей больше, чем известно исходя из инфенитезимальных вращений, и дал оценку сверху важных подгрупп в стабильных гомотопических группах сфер, ранее красиво оцененных снизу Милнором через числа Бернулли исходя из тех же формул типа Хирцебруха. Нижняя и верхняя оценка в конечном счете совпали для этих специальных подгрупп. Полные доказательства были опубликованы лишь несколько лет спустя Он сформулировал “гипотезу Адамса” о порядках конечных абелевых групп Дольда классов послойно гомотопически эквивалентных стабильных сферических расслоений, важных для топологии, а также поставил задачу нахождения аналога спектральной последовательности Адамса для вычисления стабильных гомотопических групп ввместо обычных ко-
гомологий. Последняя задача оказалась неразрешимой в рамках Новиковреализовал эту программу, заменивна комплексные кобордизмы. Уже раньше ориен-
тируемые и унитарные (комплексные) кобордизмы были эффективно использованы для исследования неподвижных точек гладких преобразований конечного порядка и для завершения вычислений специальных унитарных кобордизмов (Коннер и Флойд, 1964/65). Они же ввели аналоги классов Черна векторных расслоений, принимающие значения в унитарных (комплексных) кобордизмах вместо обычных гомологий. Это крайне естественноеще в начале гг. Гамкрелидзе изучал циклы Черна как линейные комбинации алгебраических подмногообразий. Напомним, что именно в кобордизмах циклы представляются отображениями многообразий тех или иных типов. Новиков и Ландвебер ввели аналоги степеней Стинрода в комплексных кобордизмах (1966). Порожденная ими алгебра является алгеброй Хопфа над целыми числами и носит название алгебрыва. Роль скаляров в теории кобордизмов как теории когомологий (или когомологий точки) играет кольцо комплексных кобордизмовСогласно теореме Новикова, все когомологические операции этой теории получаются применением алгебрыи затем домножением на кольцо “скаляров” выше. Однако эти две алгебры не коммутируют. Их коммутационные соотношения (формулы Новикова) завершают описание аналога алгебры Стинрода этой теории. Как заметил позднее Бухштабер (1978), это две дуальные алгебры Хопфа
с любопытной целочисленной структурой. Новиков и Бухштабер уже в гг. изучали возникшую отсюда общую конструкцию в теории алгебр Хопфа, назвав ее “операторным дублем”; Л. Фаддеев ипришедшие к этому тогда же из других идей, назвали это “гайзенбергов дубль”. Построение “спектральной последовательностидля вычисления стабильных гомотопических групп сфер и других пространств принесло немало результатов. Ряд топологов развивали эти идеи. Особо отметим введенную в 1967 г. Новиковым и Мищенко формальную группу геометрических кобордизмов для вычисления аналога первого класса Черна тензорного произведения, комплексных расслоений ранга 1 ; был найден ряд ее приме-
нений, например, для построения аналогов операторов Адамса
и характера Черна (Новиков), и позднее характера Черна– Дольда (Бухштабер). Квиллен в 1969 г. идентифицировал эту формальную группу с универсальной формальной группой Лазара в чистой алгебре и успешно применил ее теорию для вычисления ряда топологических величин в частности, для эффективного вычисления проектора из теории кобордизмов на ее прямое слагаемое (теория над кольцом целыхчисел, чрезвычайно полезного для вычисления ста-
бильных гомотопических групп сфер методом Развитие идей теории формальных групп привело Новикова и Бухштабера к понятию двузначной формальной группы (1971). Теория многозначных групп была далеко развита Бухштабером вгг. Новиков, Бухштабер,и Кричевер в концегг. успешно применяли эти методы для вычисления инвариантов неподвижных точек гладких действий циклических групп и окружности на многообразиях. Значительно позднее, в концегг., замечательные топологические соотношения для действий окружности нашлифизики, в частности Виттен. Здесь приняли участие также топологи Ошанин и Ландвебер, соединившие новые идеи с классической теорией комплексных кобордизмов началагг. Выявилась особая роль так называемых эллиптических родов от характеристических классов, обладающих “свойством жесткости”. В последнее десятилетие на том же пути было вскрыто немало любопытных соотношений между характеристическими числами Понтрягина
и Черна, особенно для специальных унитарных кобордизмов (их стали называть в новой теории “многообразиями
В этих соотношениях проявляется только природа теории кобордизмов, а отнюдь не метрики типа Возможности теории кобордизмов еще далеко не исчерпаны. Естественно ожидать, что и в теории особенностей, развитой Арнольдом и его школой, кобордизмы должны сыграть активную роль вместо теории обычных гомологий.
Непрерывные гомеоморфизмы в топологии. Особую роль
в топологии играет проблема непрерывных гомеоморфизмов. В отличие от диффеоморфизмов, устойчивых среди всех гладких отображений в соответствующей топологии или гомотопических эквивалентностей, непрерывные гомоморфизмы неустойчивы среди всех непрерывных отображений: взаимная однозначность исчезает при случайном малом возмущении, если производные не контролируются (или не существуют). Это делает проблему гомеоморфизма особенно трудной. В конечном счете оказалось, что для гладких замкнутых односвязных многообразий гомеоморфность эквивалентна гомотопической эквивалентности в размерностях 2, 4, 5 и, вероятно, 3 (гипотеза Пуанкаре), для n = 4 этотеорема Фридмана (1984), а для n = 5 , как установил Новиков
в 1964, они даже диффеоморфны. Однако при n > 5 картина ме-
няется: основными величинами отличающими гомеоморфизм от гомотопического типа являются интегралы от классов Понтрягина по циклам, топологическую инвариантность которых установил Новиков (1965) см. ниже.
Топология XX века долго исходила из предположения, что все ее существенные законы инвариантны относительно непрерывных гомеоморфизмов, хотя определение важных величин всегда производилось, используя дополнительные структуры: комбинаторная техника (разбиение на симплексы и превращение в симплициальный комплекс) начиная с Пуанкаре была основой строгого определения гомологий и фундаментальной группы, позднее кручения Использование гладкой структуры стало возможно после открытий Уитнигг.: характеристические классыи Понтрягина были введены как инварианты гладкой структуры либо через интегралы по циклам определенных выражений от римановой метрики, либо через циклы особенностей векторных и тензорных полей, либо через аналог гауссова отображения. С самого начала существования топологии как точной науки, построенной на комбинаторной основе, возникла “Hauptvermutung” основная гипотеза
комбинаторной топологии, утверждающая, что непрерывно гомеоморфные симплициальные комплексы (в частности, кусочнолинейные многообразия) на самом деле комбинаторно (кусочнолинейно) эквивалентны. Подобная гипотеза предполагалась верной и для гладких непрерывно гомеоморфных многообразий (что они на самом деле диффеоморфны), пока ее не опроверг Милнор в 1956 г. см. выше. Фактически Милнор вскрыл различие между гладкими и структурами: бывают различные гладкие многообразия,изоморфные друг другу, но не диффеоморфные в размерностях 7 и выше. Бываютмногообразия размерности 8 и выше, не допускающие гладкой структуры: некоторые из таких многообразий можно задать одним комплексным уравнением в проективном пространстве с одной изолированной особенностью. Созданная рядом авторов вгг. теория препятствий, различающих гладкие иструктуры (Том, Манкрес, Хирш и др.), лежит в когомологиях со значением в конечных абелевых группах диффеоморфизмов сферы по модулю продолжаемых на диск, совпадающих с группами гладких структур на сферах, найденных Милнором и Кервером во всех размерностях, кроме 4. Недостающая здесь группа препятствий набыла найдена Серфом в 1966 г. Она равна нулю. То есть, по модулю конечных чисел эти две категории гладкая имногообразий размерностей 5 и выше эквивалентны. Топологические гипотезы оказались “почти правильны” в этом случае. Даже некоторые из кручений классов Понтрягина оказываютсянеинвариантными для многомерных многообразий в целочисленных когомологиях (например,второго класса), хотя интегралы от них по циклам комбинаторно инвариантны, как уже указано выше. Теориямногообразий оказывается очень похожей на гладкую теорию по методам и результатам, с соответствующим использованием аналога идей трансверсальности, аналогов векторных расслоений и т.д. Классификационная теориятакже легко переносится намногообразия, заменив векторные расслоения на так называемыемикрорасслоения Милнора.
Как быть с чисто непрерывными гомеоморфизмами? В малых размерностях любой непрерывный гомеоморфизм аппроксимируется и даже диффеоморфизмом. Для
трехмерных многообразий это доказал Мойс в начале гг., и это наиболее сильный результат, который можно здесь получить прямыми элементарными методами. Около 1960 г. М. Браун и Мазур доказали многомерный аналог трехмерной теоремы Шенфлиса: всякое вложение (n − вевклидово пространство ограничиваетдиск, если окрестность
сферы “ручная”, т.е. имеет вид прямого произведения на интервал (бывают уже в трехмерном случае “дикие” вложения сфер Александера, где это не так). Мазур красиво и элементарно доказал также, что два замкнутых многообразия одинакового гомотопического типа с учетом типа касательного векторного расслоения становятся диффеоморфными друг другу после умножения на евклидово пространство большой размерности (1960) хотя, конечно, сами они могут быть недиффеоморфными друг другу. Различия стираются после умножения на многомерное открытое евклидово пространство. Как показал Милнор, используя эти аргументы для линзовых многообразий, отсюда следует опровержение Hauptvermutung: если гомотопически эквивалентные линзовые многообразия (которые всегда параллелизуемы в трехмерном случае) имеют различные детерминанты Радемайстера, то пространства Тома эквивалентных расслоений над ними комбинаторно неэквивалентны, но гомеоморфны. Например, для тривиальных расслоений комплексы Тома получаются из прямых произведений линз на диск стягиванием всей границы в точку.
Это особая точка. Версия инварианта Радемайстера “по модулю особой точки” является комбинаторным инвариантом, который совпадает с инвариантом Радемайстера линз; поэтому различны комбинаторные классы этих гомеоморфных комплексов. Эти аргументы приводят к примерам комплексов в размерности 6 и более. Далее, Милнор высказал гипотезу, что двукратная надстройка над любым трехмерным многообразием гомологической сферой всегда гомеоморфна Эта гипотеза была доказана 15 лет спустя Эдвардсом вгг. путем прямого построения гомеоморфизма. Его геометрический метод опирается на конструкции “разрешения диких вложений”, развитые Штанько. Разумеется, это показывает, что наимеются чрезвычайно сложные триангуляции, где она даже не является кусочнолинейным многообразием. Разумеется, они комбинаторно неэквивалентны обычнойсо стандартной триангуляцией.
Как же обстоит дело с важнейшими инвариантами гладких имногообразий? Все обсуждавшиеся контрпримеры не являютсямногообразиями. Как уже говорилось, гомологии и гомотопические группы гомотопически инвариантны. Классытакже являются гомотопическими инвариантами замкнутых многообразий, они не способны различать гомеоморфизм и гомотопический тип. Интегралы от классов Понтрягина по циклам не являются гомотопическими инвариантами, вообще говоря, как указывалось выше.
В 1964/65 гг. Новиков нашел совершенно новый подход к изучению непрерывных гомеоморфизмов, позволивший ему доказать топологическую инвариантность интегралов от классов Понтрягина по циклам, т.е. их сохранение при чисто непрерывных гомеоморфизмах гладких и многообразий. В основе этого подхода лежит локализация интегралов Понтрягина– Хирцебруха в специальных “торических” областях на многообразии с последующим развитием и использованием далеко идущей техники дифференциальной и алгебраической топологии для изучения многообразий торического типа со свободной абелевой фундаментальной группой. Например, в частном случае нужно доказать, что классы Понтрягина многообразий гомотопического типа тора равны нулю.
Этот подход имеет идейное родство с так называемой Гротендика, где была использована в концегг. категория накрытий над открытыми областями в топологии Зариского, организованная в “этальтопологию”, чтобы правильно ввести гомологии алгебраических многообразий через их реализацию над полями конечной характеристики. Все дальнейшие глубокие результаты топологии непрерывных гомеоморфизмов используют этот подход или его дальнейшее развитие. Из инвариантности классов Понтрягина следует, что на односвязном замкнутом многообразии размерности 5 и более имеется лишь конечное число гладких илиструктур. Развитие этого метода позволило также установить верность Hauptvermutung для односвязных многообразий размерности 5 и более, если вгомологиях нетСулливан, 1967. Любопытно, что последнее ограничение нагомологии было им сначала не замечено и указано ему Новиковым и Браудером. Без сомнения, это свидетельствует о весьма сыром состоянии, в котором тогда находились
эти результаты. Следует заметить, что теория Сулливана в полном объеме до сих пор строго не написана, хотя ряд ее компонент был доказан и опубликован позднее другими авторами: необходимые результаты из теории гомотопий были получены Мадсеном и Мильгрэмом в гг. с использованием других идей, ряд других компонент может быть обоснован исходя из техники, развитой Квином вгг. Однако единого полностью написанного доказательного изложения теории Сулливана пока нет в литературе. Более слабые теоремы были доказаны проще и в полном объеме: Hauptvermutung длямногообразий (Лашоф– Ротенберг, 1968) и даже для односвязных многообразий, у которых группапо модулю 2 тривиальна (Кассон, 1969, опубликовано много позднее). Все эти результаты о непрерывных гомеоморфизмах опираются на торическую конструкцию, введенную Новиковым. В 1968 Кирби предложил модификацию торической конструкции и красиво применил ее к известной Проблеме Кольца: доказать, что всякая область в евклидовом пространстве, ограниченная парой “ручных” сфер, гомеоморфна цилиндру (т.е. произведению (n − на замкнутый отрезок). Для гладкого случая размерности n = 6 и выше это следует из теоремы
Смейла, но чисто непрерывный случай оказался труден. Метод Кирби сводит эту проблему к теории гладких структур на многообразиях гомотопического типа но от гомотопических
торов требуется больше, чем в теории классов Понтрягина: надо доказать не только то, что они все параллелизуемы, но и то, что различия между ними стираются при переходе к достаточно большому конечнолистному накрытию. Доказательство этого было завершено Зибенманом для всех размерностей 5 и более. Метод Кирби привел к ряду сильных результатов: опираясь на теорему Чернавского о локальной стягиваемости группы непрерывных гомеоморфизмов многообразий, Кирби и Зибенман в конце гг. показали, используя всю совокупность методов топологии, что Hauptvermutung неверна длямногообразий высокой размерности. В их работе инвариант, различающий два многообразия, принимает значения вОн происходит из так называемой “рохлинской двойки” различии между 12 и 24 при вычислении порядка (n + стабильной гомотопической группыгде Рохлин сделал
упоминавшуюся выше ошибку, имеющую глубокую природу. Опираясь на результаты Сяна и Фаррела (1968), Кирби и Зибенман
построили в гг. классификационную теорию непрерывных многообразий. Однако последние работы, в отличие от Проблемы Кольца и опровержения Hauptvermutung, опираются на уже упоминавшуюся теорию Сулливана, так что их полное доказательство тем самым тоже пока не содержится в литературе.
Интересная идея была предложена Сулливаном в середине гг.: он предложил конструкцию липшицевых структур на многообразиях и набросок доказательства их существования и единственности в чисто непрерывных многообразиях (использующую решение Проблемы Кольца, так что этот факт никак нельзя считать элементарным). Однако доказательства этих теорем никогда и нигде не были полностью написаны. Позднее Сулливан совместно с Телеманом, а также Вайнбергер вгг. начали построение анализа и теории операторов на липшицевых многообразиях. Как побочный продукт теории, приведшей к доказательству топологической инвариантности классов Понтрягина, Новиков высказал гипотезу классификации гомотопически инвариантных выражений от классов Понтрягина (1970): это интегралы от полиномовпо циклам, двойственным к классам когомологий, сидящим на фундаментальной группе (гипотеза Новикова или гипотеза высших сигнатур). Начиная с работы Люстига (1971), целый ряд авторов получил здесь глубокие результаты методами геометрии и функционального анализа. Среди них А. Мищенко, Каспаров, Громов, А. Кон и ряд других. Эта гипотеза в полном объеме до сих пор не доказана. В 1974 г. Чепмен доказал топологическую инвариантность кручениякрасивым элементарногеометрическим методом. Чрезвычайно интересные свойства были открыты вигг. Лаусоном и Громовым для односвязных многообразий положительной скалярной кривизны: свойство допускать такую метрику является инвариантом спинорных кобордизмов. В неодносвязном случае имеется аналог гипотезы Новикова (гипотезагде полиномы Хирцебруха заменены на так называемыйвозникающий
в теории оператора Дирака. Теорию кобордизмов в проблемах геометрии успешно использовали Крек и Штольц в гг.
Возвращаясь к проблемам алгебраической топологии и теории гомотопий, следует обратить внимание на красивую общекатегорную конструкцию локализации” гомотопических ти-
пов (не только стабильных, но и всех односвязных комплексов и
даже несколько более), которая была предложена Сулливаном и Квилленом ок. 1970 г. и позволила доказать уже упоминавшуюся гипотезу Адамса (выше) об оценке порядка важной для классификационных проблем топологии группы послойных гомотопических классов стабильных векторных расслоений, через операторы Адамса в В этой конструкции решающую роль
играет то, что грассмановы многообразия алгебраически определены над целыми числами, так что общекатегорный характер этого метода, позволившего решить трудную в конкретных примерах проблему, является очень любопытным. В последующие годы был получен ряд ценных результатов в теории гомотопий: открыты
в гг. нетривиальные конечномерные H не сво-
дящиеся к группам Ли и (Мислин, Хилтон), установлена нильпотентность любого элемента в кольце стабильных гомотопических групп сфер (Нишида), произведен ряд очень ценных построений и вычислений на базе методов теории кобордизмов рядом авторов, включая Вильсона, Равенела, Бухштабера, Мораву и др. Вгг. была построена полезная чисто кольцевая теория “минимальных моделей” рационального и вещественного гомотопического типа, удачно сформулированная Сулливаном исходя из кольцасимплициальных дифференциальных форм на комплексах (т.е. набора форм на симплексах, совпадающих после ограничения на общую границу). Сулливан указал здесь подкольцо с рациональными коэффициентами, выделяемое функториально. Это приводит к модели рационального гомотопического типа. Она оказывается в ряде случаев эффективным средством изучения топологии конкретных многообразий келеровых многообразий, где весь рациональный тип определяется кольцом когомологий, как показали Сулливан, Делинь, Гриффитс, Морган
в совместной работе, однородных пространств и других. Интересные аналитические идеи, начатые ряд лет до этого Ченом, как написать гомотопически инвариантные выражения на отображениях окружности (еще в гг.) и позднее сфер вгг. в многообразия через “итерированные” интегралы в кольце дифференциальных форм, получили в рамках кольцевой теории гомотопического типа весьма естественную трактовку. Здесь имеются интересные алгебраические конструкции и проблемы, связанные с проблемой эффективного выделения рациональных интегралов исходя из аналитически заданного кольца гладких дифференциальных форм, начатой Новиковым в 1984 г. для нужд теории
- http://studfiles.net/preview/393755/