ВШМ МФТИ

♾️🖤❤️ Дорогие математики! МФТИ в лице физтех -школ ФПМИ и ВШМ приглашает вас на олимпиаду по математике. Олимпиада пройдет в новом формате математических соревнований. «Frontiers of Math» — это олимпиада, где каждая задача является отражением реальной исследовательской проблемы, над которой работают ведущие математические группы мира. Цель — не просто проверить знания, а выявить глубокое понимание предмета и творческий подход. 📆 В программе дня: 🏫 Решение уникального набора задач; 🏛️ Экскурс...

Премия Абеля за 2026 год присуждена Герду Фальтингсу за работы по арифметической геометрии 19 марта Норвежская академия объявила, что лауреатом премии Абеля стал немецкий математик Герд Фальтингс. Премия присуждена ему за «создание мощных методов исследования в арифметической геометрии и доказательство гипотез Морделла и Ленга в диофантовой теории». Арифметическая геометрия — это геометрия точек с целыми или рациональными координатами на алгебраических кривых. Вот небольшой текст для широкой пуб...

Семинар «Алгебра, геометрия и теория чисел» Когда: суббота 14 марта, 16:00 Где: 322 АдмК Высшие группы Чжоу и Гипотеза Бейлинсона-Суле (Василий Болбачан) Для многообразия можно определить его мотивные когомологии как Hom в триангулированной категории мотивов. Гипотетически, эта триангулированная категория должна быть производной от абелевой, что соответствует так называемой гипотезе Бейлинсона-Суле утверждающей, что мотивные когомологии должны зануляться в неположительных степенях. С другой стор...

Семинар «Алгебра, геометрия и теория чисел» Когда: суббота 21 марта, 17:00 Где: 322 АдмК Гомотопическая теория типов как язык гомотопически когерентной математики (Аршак Айвазьян) Интуиционистская теория типов (или теория типов Мартина-Лёфа, MLTT) — это альтернатива аксиоматической теории множеств. На первый взгляд для работающего математика разница между ними заключается лишь в косметической модификации нотации — более структуралистскими и индуктивными акцентами. Но внезапно эта модификация дел...

Уже в следующую пятницу старший научный сотрудник ВШМ Денис Савельев расскажет на XXIII Баховских чтениях в Санкт-Петербургской консерватории о своем опыте реконструкции сочинений Иоганна Себастьяна Баха. Композиция и реконструкция произведений композиторов эпохи барокко — вторая профессия Дениса Игоревича, известного среди математиков своими работами по теории ультрафильтров (которые стали темой его недавнего интервью проекту «За науку»). Вот что говорит о предстоящем выступлении он сам: Назван...

И, если вас интересует поступление в магистратуру, которую ВШМ открывает в этом году... Приходите писать нашу олимпиаду! ⬇️

Семинар Добрушинской лаборатории Когда: вторник 17 марта, 16:15 Где: Адм.корпус, ауд.322. Доклад: Всеволод Жанович Сакбаев, Игорь Васильевич Волович (ИМ РАН), "Меры и свойства траекторий систем осцилляторов // Measures and properties of trajectories of oscillator systems" Исследуются свойства траекторий в системах гармонических осцилляторов, снабженных точечной, абсолютно непрерывной или сингулярной мерой. Бесконечномерные линейные потоки счетных систем осцилляторов демонстрируют новый класс пов...

Семинар «Алгебра, геометрия и теория чисел» Когда: суббота 28 марта, 17:00 Где: 322 АдмК Гомотопическая теория типов как язык гомотопически когерентной математики (Аршак Айвазьян) В первой части мы определили интенсиональную теорию типов с базовыми связками (Prod, Sigma), терминальным типом (1), индуктивными типами (N, coprod, 0, =) и кумулятивной иерархией универсумов (U_n), а также обсудили семантику большинства из них. Во второй части мы перейдем непосредственно к гомотопической теории типов ...

Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ Когда: суббота 14 марта, 13:55 Где: Адм. корпус, ауд.322 Доклад: Михаил Блудов (ФПМИ/ВШМ), "Цветная топологическая теорема Хелли // A topological colorful Helly theorem" Классическая теорема Хелли утверждает, что если семейство выпуклых множеств в R^d обладает тем свойством, что любые d+1 множеств из семейства пересекаются, то и все множества из семейства пересекаются. Эта может быт...

Логический семинар лаборатории им. Манина Высшей школы современной математики Когда: среда 18 марта, 14:15 Где: Дистанционно, с трансляцией в ауд.322АдмК Доклад: Илья Шапировский, "О локально конечных полимодальных логиках" Логика L локально конечна (или иначе - локально таблична), если для каждого конечного числа переменных имеется лишь конечное число неэквивалентных в L формул. В алгебраических терминах это значит, что локально конечно многообразие алгебр логики L. Это достаточно сильное свойс...