Доброе утро! Стенд ВШМ на закрытии заключительного этапа Всероссийской олимпиады школьников по математике готов принимать гостей

Ссылка на прямую трансляцию церемонии закрытия ВсОШ-2026: https://l.cu.ru/vsosh-math-final

Логический семинар лаборатории им. Манина Высшей школы современной математики

Когда: среда 22 апреля, 14:15
Где: МФТИ, Административный корпус, ауд.322,

Доклад:

Андрей Кудинов,
"Окрестностная полнота некоторых модальных предикатных логик"

Доклад посвящен окрестностной семантике (neighbourhood semantics) для предикатных модальных логик. Хорошо известны результаты о полноте относительно окрестностных шкал с постоянными областями для логик QK и QS4. В докладе будет доказана полнота для более широкого класса логик: так называемых направленных предтранзитивных модальных предикатных логик (определение будет дано в докладе). Результаты о полноте для модальных предикатных логик остаются на данный момент довольно разрозненными и теоремы типа теоремы Салквиста пока не удается доказать. Для направленных предтранзитивных логик была известна полнота относительно шкал Крипке с расширяющимися областями. Мы покажем, что для этих логик в окрестностной семантике можно обойтись постоянным областями, при этом аксиома Баркан, которая для шкал Крипке соответствует постоянным областям, в окрестностных шкалах опровергается даже на шкалах с постоянными областями.


Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!

Страница семинара: https://www.mathnet.ru/rus/conf2559

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.

#ВШМ_логический

на этой неделе семинар "Топология и комбинаторика" также соберётся дважды

Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ

Когда: пятница 24 апреля, 15:25
Где: ауд. 322АдмК

Доклад:

Игорь Жильцов,
"Продолжение триангуляций и некоторая версия теоремы Фари"

(Этот доклад продолжит выступление А. Скопенкова, но не будет зависеть от него. )

В работе [AP24] выдвинута следующая гипотеза, названная теоремой:
Если комплекс K PL вложим в PL многообразие М, то существует триангуляция многообразия М, содержащая подкомплекс, изоморфный K.

(Замечания к доказательству, оставшиеся без должного ответа, общедоступны в arXiv:2208.04188, \S6. Несмотря на эти замечания, обсуждение предложенных в статье идей интересно.)

План доказательства этой гипотезы, предложенный авторами статьи, содержит конструкции, развивающие такие классические идеи кусочно-линейной топологии, как барицентрическое подразбиение, второе барицентрическое подразбиение и индуцированный подкомплекс. В докладе будут рассмотрены примеры, раскрывающие эти конструкции, а также их применение к доказательству ключевой леммы [AP24, Lemma 6].

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

[AP24] Adiprasito, Patáková; Bull. London Math. Soc.; arXiv:2404.12265


Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html

#ВШМ_ФПМИ_топкомб

Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ

Когда: суббота 25 апреля, 13:55
Где: ауд. 322АдмК

Доклад:

Андрей Рябичев,
"Препятствие ван Кампена и условие чётности Гейла"

Известна задача, что три домика и три колодца на плоскости нельзя соединить непересекающимися тропинками. Мы докажем её прямое обобщение — джойн k+1 копии троеточия не вложим в R^2k.

Классическое доказательство состоит из нескольких простых шагов. Во-первых, оказывается что достаточно следить лишь за пересечениями несмежных граней. Во-вторых, можно показать что количество таких пересечений в общем положении нечётно. Для этого, в свою очередь, можно показать что это количество инвариантно при гомотопии вложения, а также построить пример вложения с нечётным числом самопересечений.

В последнем нам помогает кривая моментов — точки в R^2k вида (t,t^2,...,t^2k). Выпуклая оболочка набора точек на этой кривой называется циклополитопом. Он интересен например тем, что имеет максимальное число граней всех размерностей среди выпуклых многогранников с заданным числом вершин. Мы обсудим, как находить у циклополитопа грани старших размерностей и как это помогает (следуя arXiv:2208.04188 §7) искать самопересечения полного гиперграфа.

Доклад планируется элементарным и общеобразовательным.

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


Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html

#ВШМ_ФПМИ_топкомб

Семинар «Алгебра, геометрия и теория чисел»

Когда: суббота 25 апреля, 16:00
Где: 322 АдмК

Модифицированная гипотеза Ходжа (Александр Фролов)

Продолжение доклада от 03.04. В этот раз я расскажу об аналитических кольцах: как их получать из дискретных колец, пар Хубера. Будет введено понятие ядерности модулей над аналитическими кольцами.

Присоединяйтесь к ТГ группе семинара.

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.

#ВШМ_АГТЧ

Интересный анонс от наших друзей из Кроссворда Тьюринга:

Большой open call на наш фестиваль

23 мая делаем Фрактальную Одиссею — фестиваль для взрослых о фракталах, самоподобии и симметрии в науке и искусстве

В этом году, кроме клуба Лахесис, добавляется вторая площадка — библиотека Достоевского: она выходит в тот же двор. Утреннюю часть с лекциями проведем там, а потом перейдём в клуб

Лекций будет меньше, чем в прошлом году: мы сознательно оставили только самые сильные, а больше слотов отдали станциям, мастер-классам, искусству и другим форматам, которые работают только вживую. Другое отличие этого года — большая ночная музыкальная программа. Она станет самостоятельным и цельным событием, на которое тоже можно приходить отдельно

Сейчас мы собираем программу. Ищем и отдельных авторов, и образовательные и арт-проекты. Особенно интересно то, что вы уже протестировали

Очень важно, чтобы контет фестиваля был связан с визуальной красотой на стыке математики или естественных наук, но замыкаться исключительно на фракталах не обязательно

Этим постом можно и нужно делиться. Если вы приведете к нам участника, мы с радостью выделим вам бесплатный билет на фест)

Все подробности и форма заявки — на сайте
По любым вопросам можно писать мне @d1_d57