Илья Анатольевич Иванов-Погодаев и Алексей Яковлевич Канель-Белов

Апериодические замощения и алгебраические конструкции и computer-science

И. А. Иванов-Погодаев и А. Я. Канель-Белов планируют провести 4 занятий.

Доступны 4 видеозаписи курса.

Построение разного рода алгебраических «монстров» по сути является задачей computer science (и находит здесь свою мотивировку). Слово из порождающих букв алгебраической системы интерпретируется как совокупность конечных автоматов, обменивающихся между собой сигналами. Так удается построить, например, полугруппу, заданную конечным набором соотношений, такую, что количество элементов записанными словами длины не меньше n растет как n^{100+\pi}.

Этим интересна и важна проблема Шеврина-Сапира о существовании бесконечной полугруппы, заданной конечным набором определяющих соотношений степень каждого элемента которой равна нулю. Мы программируем солдат и законы локального взаимодействия между ними. Наш злейший враг задает внутренние состояния солдат в шеренге. Надо обеспечить осмысленность поведения в любом случае — выявление периодичности. Решение этой задачи было найдено благодаря теории апериодических замощений. Известна олимпиадная задача: если есть бесконечное слово, удовлетворяющее конечной системе запретов, то есть и периодическое слово, удовлетворяющее той же системе запретов. В то же время уже в двумерье существуют конечные системы запретов, которым удовлетворяют только апериодические мозаики. Для решения проблемы Шеврина–Сапира потребовалось придать смысл умножению слева-справа-сверху-снизу. Взаимодействие автоматного и геометрического подхода оказалось интересным как с точки зрения алгебры, так и computer-science.

В теории замощений есть много красивых и идейных конструкций. Известны примеры конечных наборов плиток, с помощью которых можно замостить плоскость только непериодическим способом. Впервые такой пример построил Роберт Бергер в 1966 году. Есть и лаконичные примеры из небольшого числа плиток, например, знаменитые мозаики Пенроуза и Робинсона. Для получения таких конструкций широко используется подстановочный метод, когда из нескольких маленьких плиток собирается более крупная плитка того же типа, что позволяет получать непериодические замощения. Знаменитая теорема Мозеса–Гудмана–Штраусса позволяет получать из заданных подстановочных систем (путем введения локальных правил примыкания) наборы, допускающие только канонические подстановочные способы замощения (см. материалы прошедших в 2013 и 2018 году Летних Конференций Турнира Городов. Данная тематика активно развивается, в частности во Франции, и в работе на ЛКТГ приняли активное участие Т. Ферник и П. Гийон. Апериодическим замощениям был посвящен замечательный курс на прошлой школе Guilhem Gamard и Дарьи Пчелиной.

Если рассмотреть пути на мозаике в качестве элементов полугруппы, то такая полугруппа наследует некоторые свойства мозаики. Это открывает возможность построения моста между различными областями математики. В результате получается новый метод конструирования конечно определенных объектов и кроме того открывается возможность использования геометрических методов в информатике. Наша цель - в применении апериодических мозаик для построения бесконечной конечно определенной нильполугруппы.

Мы коснемся приложений к теории групп (совместно с Анной Эршлер). В книге "Гиперболические группы" (секция 4.7.A) М.Л.Громов обсуждает вопрос: обязательно ли негиперболическая группа, с неположительной кривизной должна содержать подгруппу, изоморфную Z^2. Он выражает уверенность, что можно построить компактное полугиперболическое (неположительной кривизны) пространство, в которое можно отобразить R^2, но фундаментальная группа которых не содержит Z^2. Основанием для такой уверенности служит существование апериодических мозаик. Мы рассмотрим подходы к построению такой группы.

В рамках курса будут изложены базовые сведения о используемых понятиях, таких как апериодические мозаики, полугруппы, группы, кольца.

Программа курсов и семинаров МЦНМО-НМУ в весеннем семестре 2024/2025 года

Расписание занятий в этом семестре

Курсы, читавшиеся в НМУ в разные годы (All Courses)

Если не указано иное, то начало занятий 7 февраля 2025.

Все обязательные курсы, почти все спецкурсы и некоторые доклады на спецсеминарах будут записываться на видео. Они будут доступны на общедоступном ресурсе.

К ВИДЕО-записям курсов этого семестра

Обязательные курсы

Первый курс

Константин Валерьевич Логинов

Алгебра-2

читается по понедельникам с 17:30, очно+трансляция.

 

Георгий Черных

Топология-1

читается по четвергам с 17:30, очно+трансляция.

 

Олег Карлович Шейнман

Математический анализ-2

читается по пятницам с 17:30, очно+трансляция.

 

Второй курс

Тарас Евгеньевич Панов

Топология-3

читается по понедельникам с 17:30 (семинары с 19:20), очно+трансляция

 

Алексей Викторович Пенской

Дифференциальная геометрия

читается по средам с 17:30 (семинары с 19:20), очно+трансляция

 

Алексей Игоревич Ильин

Алгебра-4 (Группы и алгебры Ли)

читается по четвергам с 17:30, очно+трансляция.

 

Список спецкурсов и спецсеминаров в весеннем семестре 2024/2025 года

Михаил Юрьевич Розенблюм

Алгебраическая теория чисел: введения. Продолжение годового спецкурса

 

Денис Николаевич Терешкин

Аддитивные и абелевы категории. Спецкурс рекомендован для 3-5 курсов.

 

Константин Валерьевич Логинов

Введение в ограниченность многообразий Фано. Спецкурс рекомендован для 3-5 курсов.

 

Георгий Игоревич Шарыгин

Циклические гомологии и их применения. Спецкурс рекомендован для 3-5 курсов.

 

Андроник Арамович Арутюнов

Грубая геометрия. Спецкурс в формате лекция + семинар, рекомендован для 3-5 курсов.

 

Андрей Дмитриевич Рябичев

Введение в поверхности бесконечного типа. Спецкурс рекомендован для 3-5 курсов.

 

Георгий Борисович Шабат

Тэта-функции и решетки. Часть 2. Спецкурс рекомендован для 3-5 курсов.

 

Тарас Евгеньевич Панов

Торическая топология, комбинаторика и теория гомотопий. Спецсеминар

 

Георгий Игоревич Шарыгин и др.

Деформационное квантование и квантовые группы. Спецсеминар

 

А.М.Вербовецкий и И.С.Красильщик

Когомологические аспекты геометрии дифференциальных уравнений,
руководители А.М.Вербовецкий и И.С.Красильщик

 

Николай Германович Мощевитин

Диофантовы приближения. Спецсеминар рекомендован для 3-5 курсов

 

Владимир Олегович Медведев

Геометрия общей теории относительности. Спецкурс совместно с матфаком ВШЭ, рекомендован для 3-5 курсов. 

 

Алексей Викторович Пенской

Риманова геометрия. Спецкурс совместно с матфаком ВШЭ, рекомендован для 3-5 курсов.

 

Александр Борисович Калмынин

Методы решета. Спецкурс рекомендован для 3-5 курсов.

 

Алексей Викторович Пенской

 Спектральная геометрия. Спецсеминар рекомендован для 3-5 курсов.