О курсе

Сайт сопровождает кружок по систолической геометрии (и более общим геометрическим неравенствам), который я провожу весной 2023 года онлайн.

Систола и дистола

Тема

Вот пример прототипического вопроса систолической геометрии. Пусть у нас есть бублик сколь угодно сложной формы (или крендель, или другая изощрённая выпечка). Можно измерить площадь его поверхности $A$, а можно рассмотреть длину $L$ кратчайшей нестягиваемой петли на его поверхности. Петля называется нестягиваемой, если её нельзя непрерывно продеформировать так, чтобы она всегда оставалась на поверхности и в конце концов стянулась в точку. Число $L$ (или сама кратчайшая нестягиваемая петля) называется систолой поверхности бублика. Это слово восходит к греческому συστέλλειν ‘сжиматься’. В 1949-м году Карл Лёвнер доказал первое систолическое неравенство (для бублика):

\[L^2 \le \frac{2}{\sqrt{3}} A.\]

Аналогичные неравенства для систол выполняются не только для бублика, но и для поверхностей кренделей произвольной топологической и геометрической сложности, и для многомерных финслеровых бубликов, и для абстрактных симплициальных комплексов с большой когомологической длиной. Аналогичные неравенства часто выполняются не только для систолических инвариантов, но и для диастолических, изопериметрических, симплектических, количественно-топологических, среди которых заполняющий радиус Громова, длина кратчайшей замкнутой геодезической, поперечник Урысона, симплектическая ёмкость, квантовое кодовое расстояние или длина штрих-кода персистентных гомологий. Аналогичные идеи полезны и в других задачах геометрии (минимальные поверхности и положительная скалярная кривизна), а также в комбинаторике топологического (экспандеры) и экстремального (обхват и хроматическое число графа) свойства. Аналогичные рассмотрения бывают важны в теории чисел, в симплектической динамике, в квантовых вычислениях.

Я расскажу несколько геометрических, комбинаторных и топологических сюжетов вокруг этих идей: систолических, диастолических (минимаксных), изопериметрических. Например, я подробно и почти элементарно объясню систолическое неравенство Громова, далеко обобщающее неравенство Лёвнера.

Я рассчитываю, что моё изложение по большей части будет доступно второкурсникам. По ходу изложения я буду вводить нужные мне простые понятия из топологии (что такое фундаментальная группа и первая группа гомологий) и римановой геометрии (как измерять длины и объёмы на многообразиях). Пререквизитов из топологии и геометрии я не подразумеваю и постараюсь сводить аргументы в комбинаторный сеттинг по мере сил.

Лекции

Они будут проходить по пятницам в 18:40 (мск) в зуме. Вводная лекция состоится 10 февраля.

Коммуникация

У курса есть сопроводительный телеграм-чат, в котором можно обсуждать задачки с товарищами. Я всячески приветствую обратную связь и готов корректировать темы в зависимости от пожеланий слушателей. Не стесняйтесь писать мне по любым вопросам на почту или оставлять анонимные комментарии в гугл-форме.

Зачёт

Желающие из числа физтехов могут получить (дифференцированный) зачёт по курсу. Для этого нужно присылать мне на почту (в любом виде) решения задач, которые будут публиковаться параллельно с лекциями. Среди задач будет много трудных/исследовательских, поэтому для оценки ‘отл 10’ будет достаточно решить около половины из обычных задач, либо продемонстрировать прогресс в паре исследовательских. Курс официально не зарегистрирован на кафедре Математических основ управления, и в зачётку пойдёт любое из следующих зонтичных названий на выбор: “Избранные вопросы теории множеств, комбинаторики и теории графов”; “Современные приложения дискретной математики и функционального анализа”; “Избранные вопросы алгебры и теории чисел”; “Дифференциальная геометрия и введение в теорию особенностей”.

Программа

Я затрону какое-то подмножество из следующих милых моему сердцу тем.

  • Неравенства Лёвнера, Пу и Безиковича. Сепараторы на сфере. Теорема Липтона–Тарьяна.
  • Поперечник Урысона.
  • Экспандеры и комбинаторно толстые слои симплициальных отображений.
  • Метод минимальных поверхностей Шейна–Яу, и его преломление в работах Гута и Папасоглу. Макроскопическая скалярная кривизна.
  • Систолическое неравенство Громова в версиях Гута, Накамуры, Балашеффа, Карама, Папасоглу, Набутовского и др.
  • Теорема Минковского–Главки. Принцип Минковского на торе.
  • Заполняющий радиус Громова. Изопериметрическое неравенство.
  • Заметания и диастолы.
  • Кратчайшие замкнутые геодезические на сфере.
  • Размер графа в терминах обхвата и хроматического числа по Камалу–Карасёву.
  • Финслерова версия неравенства Пу по Сергею Иванову.
  • Систолическая свобода и жёсткость.
  • Квантовые коды, исправляющие ошибки.
  • Штрих-коды персистентных гомологий.

Ссылки