специальность 01.01.04
В основу настоящей программы положены следующие дисциплины: геометрия (в том числе дискретная), общая, алгебраическая и дифференциальная топологи по разделам: геометрия многообразий и различных геометрических структур; дискретная и комбинаторная геометрия; дифференциальная геометрия и ее приложения; интегральная геометрия; симплектическая, контактная и пуассонова геометрия конечномерных и бесконечномерных пространств; общая топология; алгебраическая топология; топология гладких многообразий; маломерная топология, включая теорию узлов и зацеплений; топология особенностей; теория пространств отображений и пространств модулей различных геометрических структур; топология и геометрия групп и однородных пространств. Программа разработана экспертным советом Высшей аттестационной комиссии по математике и механике при участии Математического института им. В.А. Стеклова РАН и Московского государственного университета им. М.В. Ломоносова.
Гладкие многообразия. Криволинейные координаты. Гладкие отображения
и дифференциал. Диффеоморфизм. Подмногообразия. Ориентация. Касательные векторы и касательные расслоения. Примеры гладких многообразий. Теория Морса: функции Морса, индуцированное клеточное разбиение, неравенства Морса. Перестройки в многообразиях. Конструкция Понтрягина-Тома. Понятие бордизма многообразий [1, 13].
Вложения и погружения. Теорема Уитни о вложении и погружении в евклидовы пространства. Субмерсии и гладкие расслоения. Особые и регулярные
точки гладких отображений. Лемма Сарда (формулировка). Степень отображения, ее гомотопическая инвариантность. Применения степени отображения.
Степень отображения и интеграл. Теорема Гаусса-Бонне. Гомотопическая
классификация отображений n-мерной сферы в себя. Расслоение Хопфа и классификация отображений трехмерной сферы в двумерную. Инвариант Хопфа [1,
3, 21].
Индекс особой точки векторного поля и теорема Эйлера-Пуанкаре [1].
Двойственность Александера. Индексы пересечения и зацепления. [3, 4].
Исчисление струй. Топологии Уитни в пространствах гладких отображений.
Теоремы трансверсальности. Теорема трансверсальности Тома и ее следствия:
лемма Морса, слабая теорема Уитни. Локальная классификация устойчивых
отображений плоскости в плоскость и в трехмерное пространство. Число Милнора изолированной особенности функции [6].
Классификация двумерных замкнутых поверхностей. Группы гомологий и
фундаментальные группы двумерных поверхностей. Узлы и зацепления. Движения Райдемайстера. Полином Александера узла. Примеры трехмерных многообразий. Склейка полноторий по диффеоморфизму границы. Диаграмма Хегора трехмерных многообразий [3, 9, 21].
Теория кривых и поверхностей в трехмерном пространстве: натуральный
параметр, кривизна и кручение кривой, формулы Френе, первая и вторая квадратичные формы поверхности, гауссова и средняя кривизны, главные направления и главные кривизны, теорема Менье и формула Эйлера. Деривационные
формулы [1, 11, 21, 22].
Риманова метрика и римановы многообразия. Подмногообразия в евклидовом пространстве и индуцированная метрика. Геометрия Лобачевского. Проективная геометрия [1, 11, 21].
Тензоры и тензорные поля на гладких многообразиях. Алгебраические операции над тензорами. Симметрические и кососимметрические тензоры. Производная Ли [1, 2, 21].
Внешние дифференциальные формы, внешнее дифференцирование. Интегрирование внешних дифференциальных форм. Формула Стокса. Точные и
замкнутые формы. Когомологии де Рама. Теорема де Рама (без доказательства).
Оператор Лапласа и гармонические формы. Двойственность Пуанкаре [1, 15,
21].
Ковариантное дифференцирование. Символы Кристоффеля. Тензор кручения. Римановы симметрические связности. Тензор кривизны Римана и критерий локальной евклидовости римановой метрики, тензор Риччи и скалярная кривизна. Теорема Гаусса о связи между скалярной и гауссовой кривизнами [1,
2, 21].
Параллельный перенос и геодезические. Формула Эйлера-Лагранжа. Примеры: геодезические на плоскости, сфере, плоскости Лобачевского, поверхности
вращения. Сопряженные точки и индекс геодезической [1, 21].
Связности и кривизна в расслоениях. Тождество Бьянки [1, 2, 13].
Характеристические классы и характеристические числа. Конструкция Чженя-Вейля характеристических классов. Характеристические числа [8, 15].
Теорема Стокса и инвариантность характеристических чисел относительно
бордизма [1, 2, 8].
Проективная двойственность и преобразования Лежандра [5, 11].
Структуры на гладких многообразиях: риманова, почти комплексная, эрмитова, комплексная, кэлерова. Понятие о препятствиях к существованию структур [15].
Симплектическая структура. Примеры симплектических многообразий.
Теорема Дарбу. Существование почти комплексной структуры на симплектическом многообразии. Скобка Пуассона. Примеры пуассоновых многообразий.
Гамильтоновы векторные поля и гамильтоновы системы. Первые интегралы
гамильтоновых систем [5, 1].
Контактные структуры и контактные многообразия. Примеры. Слоения и
распределения. Теорема Фробениуса [4, 5].