Планируется рассказать про свойства символьных последовательностей, и замечательные теоремы с ними связанные и их обобщения. Например, известно, что следующие классы слов почти эквивалентны: буквы a, b самым тщательным образом перемешаны, т.е. в кусках одинаковой длинны количество символов каждого сорта отличается не более чем на 1; количество различных подслов длины n равно n+1, т.е. минимально возможное; слово получается из поворота окружности на величину α при фиксации буквой a попадания на дугу длины α. Обобщение этой теоремы дает задача Арнольда о перекладывания отрезков. Красивые элементарные факты о поведении слов в которые добавляется не слишком много запретов, отражаются на теореме Голода–Шафаревича. Наверное, стоит упомянуть также теорему Ширшова о высоте.

Рассмотрим s-порожденную группу (s<1) с тождеством x^n=1. Будет ли она конечна? Ответ положителен при n=2 (легкое упражнение), при n=3 (это уровень сложной задачи студенческой олимпиады), при n=4 (проблема стояла около 40 лет) при n=6 (проблема стояла около 50 лет). При n=5 ничего не известно! В середине 20 века П. С. Новиковым и С. И. Адяном было показано, что если n нечетное число ≥661 то такая группа может быть бесконечна. А. И. Мальцев рассматривал этот результат как основное событие алгебры 20 века (эту точку зрения разделяет, в частности, И. Рипс, чьи исследования были вдохновлены работами П. С. Новикова-С. И. Адяна). Недавно С. И. Адян улучшил оценку до 101.

В этом курсе будет рассказано о подстановочных системах довольно общего вида и о связанных с ними геометрических конструкциях, называемых фракталами Рози. Например, слово Трибоначчи 121312112131… состоит из цифр {1,2,3} и получается с помощью подстановки 1→12, 2→13, 3→1. Оказывается, что оно в некотором смысле устроено так же, как двумерный тор, разбитый на три части с фрактальной границей. (В то, что на первом рисунке изображена развёртка тора, трудно поверить, но тем не менее это так, и вторая картинка это иллюстрирует).

Классическая теорема Бойяи–Гервина (1830-е годы) утверждает, что любые два многоугольника равной площади равносоставлены друг с другом: первый многоугольник можно разрезать на конечное число многоугольных частей и затем сложить из этих частей второй многоугольник. Ещё Гаусс задавал вопрос, верно ли аналогичное утверждение для многогранников. А именно, его интересовало, можно ли доказать стандартную формулу для объёма пирамиды (одна треть произведения длины высоты на площадь основания) без использования предельного перехода, то есть разбив пирамиду на конечное число кусков, из которых можно сложить прямоугольный параллелепипед.

Из всех теорем Игоря Шафаревича мы выбрали одну, точнее, даже не теорему, а следствие из нее, мимоходом закрывшее изящный вопрос из теории групп, сформулированный за 60 лет до этого, — оно отрицательно решило общую проблему Бернсайда. Это красивая история, в которой Шафаревич появляется как известный актер в камео — с короткой и яркой репликой.

Теория кодирования – это отличный повод поговорить о красивых задачах из алгебры и комбинаторики, о линейной алгебре и алгебраической геометрии над конечными полями, конечных геометриях, простых группах и алгоритмах, связанных с передачей информации. Программа курса: Основные задачи теория кодирования. Коды, исправляющие ошибки. Расстояние Хемминга и неравенство треугольника. Предварительные сведения из алгебры. Строение конечных полей. Линейная алгебра над конечными полями. Линейные коды и их характеристики. Код Хемминга. Совершенные коды. Двойственный код и тождество Мак-Вильямса. Эквивалентность кодов. Методы вычисления минимального расстояния для подпространства. Циклические коды и главные идеалы. Алгеброгеометрические коды. Грассманианы и плюккеровы координаты. Грассмановы коды и минимальные расстояния. Точки на минимальной сфере. Алгоритмы декодирования. Синдромы и минимальные представители. Коды Голея. Конечные геометрии и группы Матье.

Приставляя тетраэдры друг к другу по граням можно получать примеры симплициальных комплексов — важного математического объекта. Раскрасим треугольники такого сооружения в чёрный и белый цвета и назовём раскраску хорошей, если каждый тетраэдр имеет поровну чёрных и белых граней. Оказывается, что в случае (стандартно симплициально разбитых) маломерных сфер множество белых треугольников оказывается объектом, достойным изучения: листом Мёбиуса или проективной плоскостью. При описании того, как именно эти объекты разбиты на треугольники у нас естественным образом возникнет икосаэдр — замечательный правильный многогранник. Исследование группы его самосовмещений позволит понять, сколько существует хороших раскрасок. По пути нам встретятся такие важные базовые понятия математики, как вышеупомянутые симплициальный комплекс и группа симметрий, действие и пр.

Предполагается прочесть четыре лекции. Первые две будут популярны и общепонятны, а третья и четвёртая будут содержать довольно поверхностные обзоры некоторых перспективных направлений современной математики. 1. О геометрии над конечными полями. 2. Группы Шевалле и группы перестановок. 3. Линейная алгебра над F1 и гомотопическая топология. 4. Разное. Обобщённые кольца Дурова и F∅, F±1, F∞√1. Анализ на множестве корней из единицы (по Хабиро, Концевичу, Манину). О геометрии Аракелова. О тропической математике.

Курс посвящён обобщению понятия вращения евклидова пространства. Оказывается, что с каждым евклидовым пространством можно связать новое пространство, объекты которого называются спинорами. Между исходным пространством и пространством спиноров имеется замечательная связь: всякому вращению исходного пространства можно сопоставить преобразование пространства спиноров, определённое однозначно с точностью до знака. Получаемые таким образом преобразования пространства спиноров образуют группу, называемую спинорной группой.

Общая постановка такова. Пусть P(x_1,…,x_n) — некоммутативный многочлен от матриц порядка n. Каким может быть множество его значений? И. Капланский и И. В. Львов поставили вопрос о том, что множество значений полилинейного многочлена есть векторное пространство (в этом случае оно совпадает либо с нулем, либо с пространством всех матриц, либо с пространством бесследовых матриц, либо со скалярными матрицами). Решение проблемы Капланского для матриц второго порядка над квадратично замкнутым полем оказалось весьма нетривиальным и глубоким. Вопросы, связанные с уравнениями в матрицах, помимо прикладного значения имеют отношение к конструкции алгебраически замкнутого тела, к теореме о свободе: если добавить новую некоммутативную переменную и соотношение, где та участвует, то это не приведет к появлению новых соотношений. Имеется ряд глубоких проблем, относящихся к множеству значений слов в группе — в частности, в матрицах второго порядка.