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

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

Доклад:

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

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


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

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

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

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

Всем привет! Мы возвращаемся с новым мини-курсом.

Zhiyu Tian (Beijing International Center for Mathematical Research) и М.З. Ровинский (ВШЭ) прочитают
в рамках проекта на базе ВШМ мини-курс лекций "Geometry and Arithmetic of One-Cycles".

Лекции будут проходить 17-20 мая в аудитории 322 АдмК.

Zhiyu Tian 14:00-15:30
М.З. Ровинский 16:00-17:30

Форма для регистрации: https://forms.gle/oVta1zXC1HaiqoM89

Проект реализуется при поддержке Фонда Целевого Капитала МФТИ
https://t.me/miptfund

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

Когда: суббота 16 мая, 18:00
Где: 322 АдмК

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

Продолжение докладов от 04.04 и 25.04.

В заключительном докладе будет обсуждена К-теория Ефимова (больших) дуализируемых категорий и формулировка модифицированной гипотезы Ходжа в архимедовом и неархимедовом случаях.

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

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

#ВШМ_АГТЧ

Этим летом коллеги из Лаборатории комбинаторных и геометрических структур снова проводит ЛИПС, очень рекомендуем поучаствовать (дедлайн регистрации уже через неделю!)


Что такое ЛИПС?
ЛИПС (летняя исследовательская программа студентов) — это ежегодная школа-конференция для студентов математиков, которую мы организуем на базе Лаборатории комбинаторных и геометрических структур ФПМИ МФТИ.

Для кого школа?
Мы будем ждать вас, если вы студент-математик старше второго курса бакалавриата и интересуетесь одной из следующих тем исследований:
• Комбинаторика (экстремальная комбинаторика, экстремальная теория множеств, теоретическая информатика)
• Геометрия (дискретная и комбинаторная геометрия)
• Топология (топологическая комбинаторика)

Где? На кампусе МФТИ в Долгопрудном.

Когда? 13 июля – 15 августа

Что даст участие?
За 5 недель вы погрузитесь в предметную область, поработаете над проектом в мини-группе под руководством ведущего ученого. Студенты, которые хорошо себя покажут на ЛИПС, смогут получить рекомендацию от руководителя трека.

Дедлайн подачи на школу — 20 мая. Ждем ваших заявок!
Обязательно изучите все подробности отбора и программы на сайте Лаборатории комбинаторных и геометрических структур.

Проект реализуется при поддержке Фонда целевого капитала МФТИ.

Напоминаем, что завтра в рамках проекта MIPT Distinguished Lectures in Pure Mathematics, поддержанного Фондом целевого капитала МФТИ, стартуют два параллельных лекционных мини-курса.

Первый из них, Geometry and Arithmetic of One-Cycles, прочитает доцент Пекинского международного центра математических исследований Чжию Тянь. Курс состоит из трех частей:

Introduction and motivation: I will talk about integral Hodge conjecture and integral Tate conjecture for one-cycles, their relation to the study of zero-cycles over local and global fields.
Geometric study of one-cycles: topics include deformation equivalence VS algebraic equivalence, the space of one-cycles and its homotopy groups.
Introduction to Kato homology: topics include conjectures on Kato homology rationally connected fibrations, relations to integral Tate/Hodge conjectures, geometric Manin conjecture, Cohen-Jones-Segal conjecture. Applications to 0-cycles of rationally connected varieties over local and global fields.

Лекции будут проходить в семинарской комнате Высшей школы современной математики (322 АдмК) по адресу г. Долгопрудный, ул. Первомайская, д. 7, с 17 по 20 мая, 2026 г. (начало в 14:00).

Если вы планируете лично посещать лекции и еще не зарегистрировались, пожалуйста, сделайте это сейчас по ссылке.

#DLPM

Параллельно с лекциями Чжию Тяня в рамках проекта MIPT Distinguished Lectures in Pure Mathematics, поддержанного Фондом целевого капитала МФТИ, профессор факультета математики НИУ ВШЭ Марат Ровинский прочитает мини-курс Некоторые теории когомологий алгебраических многообразий
и связи между ними.
Аннотация курса:

Для гладких вещественных многообразий имеется несколько теорий когомологий: клеточные, сингулярные (они же — когомологии постоянного пучка) и когомологии де Рама. При этом две последние связаны теоремой де Рама.
В 50-х годах XX века Р. Том обнаружил, что рациональные гомологии любого вещественного ориентируемого компактного дифференцируемого многообразия порождены классами подмногообразий. Он же построил примеры таких многообразий, для которых целочисленные гомологии классами подмногообразий не порождаются.
Будут обсуждаться комплексно-аналитические и алгебраические модификации сингулярных когомологий, когомологий де Рама, а также теории когомологий (понимаемой в несколько более широком смысле) в стиле Пуанкаре–Тома.
Приблизительный план:
(1) Теории когомологий алгебраических многообразий.
(2) Аналитические и алгебраические когомологии де Рама, структуры Ходжа.
(3) Сингулярные и этальные когомологии.
(4) Резольвенты Герстена пучков, ассоциированных с теориями когомологий.

Лекции будут проходить в семинарской комнате Высшей школы современной математики (322 АдмК) по адресу г. Долгопрудный, ул. Первомайская, д. 7, с 17 по 20 мая, 2026 г. (начало в 16:00).

Если вы планируете лично посещать лекции и еще не зарегистрировались, пожалуйста, сделайте это сейчас по ссылке.

#DLPM

В канале проекта MIPT Distinguished Lectures in Pure Mathematics появились записи лекций Чжию Тяня и Марата Ровинского, прочитанные в первый день мини-курса: https://t.me/mipt_dlipm/52

#DLPM

В канале проекта MIPT Distinguished Lectures in Pure Mathematics появились записи лекций Чжию Тяня и Марата Ровинского, прочитанные во второй день мини-курса: https://t.me/mipt_dlipm/55

#DLPM

Курс Тяня Чжию выплеснулся за пределы запланированных 4 лекций.

Внимание, время и место завтрашней лекции вас удивят и возможно, обрадуют. Для прохода в здание МЦНМО на Большом Власьевском, 11, пропуск не требуется.

#DLPM

Завтра состоится дополнительная лекция Zhiyu Tian по пункту 4 (о гипотезах).

Лекция пройдет в конференц-зале НМУ (4 этаж) в 10:00.

Приглашаются все желающие!

Проект реализуется при поддержке Фонда Целевого Капитала МФТИ
https://t.me/miptfund

Фестиваль 18+.

О красоте математики.

В подвальном баре на Покровке.

Трех «якорных» спикеров представляет и модерирует директор ВШМ Андрей Соболевский.

В общем, приходите!

Семинар Добрушинской лаборатории

Когда: вторник 26 мая, 16:15
Где: Адм.корпус, ауд.322.

Доклад:

Александра Кузнецова (МФТИ), "Подмногообразия многообразия Богомолова-Гуана // Submanifolds of the Bogomolov-Guan manifold"

Многообразия Богомолова-Гуана - это некэлеров аналог неприводимых голоморфно симплектических многообразий. Я расскажу о том, как изучать алгебраические подмногообразия многообразия Богомолова-Гуана X. Оказывается, что любое алгебраическое подмногообразие Y либо содержится в слое лагранжева расслоения X, либо же образ Y при лагранжевом расслоении - это кривая очень специального вида. В частности, в достаточно общем случае любое алгебраическое подмногообразие многообразия Богомолова-Гуана обязательно содержится в слое лагранжева расслоения. Доклад основан на совместной работе с Лейлой Абубакаровой и Мишей Вербицким.



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

Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167

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

#ВШМ_Добрушинский