Семинар Добрушинской лаборатории
Когда: вторник 18 ноября, 16:15
Где: Адм.корпус, ауд.322.
Доклад:
Владимир Соколов (МФТИ),
"О линейных деформациях матричного умножения
// On linear deformations of matrix multiplication"
Две алгебры Ли, заданные на одном и том же векторном пространстве, называются согласованными, если любая комбинация соответствующих скобок задает алгебру Ли. Согласованные скобки имеют несколько важных приложений в теории интегрируемых систем. Более жесткой структурой являются согласованные ассоциативные алгебры. Пусть одна из ассоциативных алгебр — это Mat(n). Рассматривается задача об описании согласованных с ней ассоциативных алгебр. Приводится алгебраическая структура, представления которой описывают такие алгебры. Строится широкий класс примеров, порождаемых аффинными схемами Дынкина типов A,D,E.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
Когда: вторник 18 ноября, 16:15
Где: Адм.корпус, ауд.322.
Доклад:
Владимир Соколов (МФТИ),
"О линейных деформациях матричного умножения
// On linear deformations of matrix multiplication"
Две алгебры Ли, заданные на одном и том же векторном пространстве, называются согласованными, если любая комбинация соответствующих скобок задает алгебру Ли. Согласованные скобки имеют несколько важных приложений в теории интегрируемых систем. Более жесткой структурой являются согласованные ассоциативные алгебры. Пусть одна из ассоциативных алгебр — это Mat(n). Рассматривается задача об описании согласованных с ней ассоциативных алгебр. Приводится алгебраическая структура, представления которой описывают такие алгебры. Строится широкий класс примеров, порождаемых аффинными схемами Дынкина типов A,D,E.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
❤3
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 19 ноября, 15:00 (ВРЕМЯ НЕОБЫЧНОЕ)
Где: ОНЛАЙН https://telemost.yandex.ru/j/00084330909943
можно подключиться самостоятельно, или подойти в 322АдмК
Доклад:
Д.П.Шкатов (Университет Йоханнесбурга, ЮАР),
"Введение в семантику первопорядковых модальных логик - часть 3"
Третий доклад из серии, основанной на вводных лекциях о семантике первопорядковых модальных логик, прочитанных совместно с В.Б.Шехтманом летом 2025 года в рамках ESSLLI 2025. Будут изложены некоторые методы доказательства полноты по Крипке неканонических логик и представлено краткое введение в семантику пучков Крипке.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 19 ноября, 15:00 (ВРЕМЯ НЕОБЫЧНОЕ)
Где: ОНЛАЙН https://telemost.yandex.ru/j/00084330909943
можно подключиться самостоятельно, или подойти в 322АдмК
Доклад:
Д.П.Шкатов (Университет Йоханнесбурга, ЮАР),
"Введение в семантику первопорядковых модальных логик - часть 3"
Третий доклад из серии, основанной на вводных лекциях о семантике первопорядковых модальных логик, прочитанных совместно с В.Б.Шехтманом летом 2025 года в рамках ESSLLI 2025. Будут изложены некоторые методы доказательства полноты по Крипке неканонических логик и представлено краткое введение в семантику пучков Крипке.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
👍1
Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ
Когда: суббота 22 ноября, 13:55
Где: Административный корпус, ауд.322
Александр Фролов,
"Теория детских рисунков: как комбинаторика может помочь в решении гипотезы из 19-го века?"
Детский рисунок — такой двудольный граф D, вложенный в сферу с g ручками X, что пространство X\D гомеоморфно дизъюнктному объединению дисков. Несмотря на простоту таких объектов, теория детских рисунков связана с различными областями математики: комбинаторной топологией, алгебраической геометрией, алгебраической комбинаторикой, арифметикой, дифференциальными уравнениями... Объект стал популярен благодаря Александру Гротендику и его "маргинальному" "эскизу программы". А именно, Гротендика привлекла связь детских рисунков и теории Галуа: по сути он указал на гипотетический подход к решению важной гипотезы из арифметики — обратной задачи теории Галуа.
Необходимые сведения из арифметики и алгебраической геометрии будут сообщены.
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Трансляции семинара не планируется, но, возможно, мы выложим запись.
#ВШМ_ФПМИ_топкомб
Когда: суббота 22 ноября, 13:55
Где: Административный корпус, ауд.322
Александр Фролов,
"Теория детских рисунков: как комбинаторика может помочь в решении гипотезы из 19-го века?"
Детский рисунок — такой двудольный граф D, вложенный в сферу с g ручками X, что пространство X\D гомеоморфно дизъюнктному объединению дисков. Несмотря на простоту таких объектов, теория детских рисунков связана с различными областями математики: комбинаторной топологией, алгебраической геометрией, алгебраической комбинаторикой, арифметикой, дифференциальными уравнениями... Объект стал популярен благодаря Александру Гротендику и его "маргинальному" "эскизу программы". А именно, Гротендика привлекла связь детских рисунков и теории Галуа: по сути он указал на гипотетический подход к решению важной гипотезы из арифметики — обратной задачи теории Галуа.
Необходимые сведения из арифметики и алгебраической геометрии будут сообщены.
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Трансляции семинара не планируется, но, возможно, мы выложим запись.
#ВШМ_ФПМИ_топкомб
❤10
Семинар «Алгебра, геометрия и теория чисел»
Когда: суббота 22 ноября
Где: 322 АдмК
Современный трек (16:00): М. Дусман, "Теоремы Нимана и абстрактный формализм шести функторов"
В докладе начнем с классических результатов Нимана о шести функторах между триангулированными категориями, а затем обсудим абстрактный формализм шести функторов, следуя Шольце. Если останется время, обсудим применение к мотивным пучкам.
Аннотации прошедших докладов, а также обновления по предстоящим, доступны в таблице https://docs.google.com/spreadsheets/d/1mk-KpzO7tOFuptWrFZbed6atLEqWxbRlgrWthil66kE/edit?usp=drivesdk
Присоединяйтесь к ТГ группе семинара.
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
#ВШМ_АГТЧ
Когда: суббота 22 ноября
Где: 322 АдмК
Современный трек (16:00): М. Дусман, "Теоремы Нимана и абстрактный формализм шести функторов"
В докладе начнем с классических результатов Нимана о шести функторах между триангулированными категориями, а затем обсудим абстрактный формализм шести функторов, следуя Шольце. Если останется время, обсудим применение к мотивным пучкам.
Аннотации прошедших докладов, а также обновления по предстоящим, доступны в таблице https://docs.google.com/spreadsheets/d/1mk-KpzO7tOFuptWrFZbed6atLEqWxbRlgrWthil66kE/edit?usp=drivesdk
Присоединяйтесь к ТГ группе семинара.
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
#ВШМ_АГТЧ
🔥7
ВШМ: артефакты
Субботним вечером, пока в нашей семинарской идет семинар #ВШМ_АГТЧ, расскажем немного об одном из артефактов, украшающих пространство Высшей школы современной математики. Это большая картина на стене библиотеки, на которую вы могли обратить внимание на одном из фото с недавнего коллоквиума.
Эта картина была написана известным математиком Робертом Адольфовичем Минлосом (1931-2018) для его коллеги по Добрушинской математической лаборатории Никиты Дмитриевны Введенской (1930-2022).
Картина написана на листе оргалита и была закреплена на входной двери квартиры Никиты Введенской, в которой с 1960-х по 2010-е годы часто собирались ее коллеги, друзья и товарищи. Как вспоминала сама Никита, «обpазовалась большая компания, ... отнюдь не математическая, хотя пpеобладали в ней математики и филологи: [Р. Л. Добрушин,] В. А. Успенский, Р. А. Минлос, Ф. А. Беpезин, М. Л. Лидов, В. В. Иванов, С. П. Маpкиш, А. А. Зализняк, Е. В. Падучева, Б. Т. Поляк, А. М. Яглом и дpугие». По словам Владимира Михайловича Тихомирова, еще одного известного математика и товарища Никиты по мехмату МГУ, Никита Введенская «сыграла исключительную роль в объединении целого поколения выдающихся деятелей науки и культуры».
На картине, которая была подарена нам наследниками Н. Д. Введенской, сохранены номер квартиры и прорези для замка и дверной ручки.
#ВШМ_артефакты
Субботним вечером, пока в нашей семинарской идет семинар #ВШМ_АГТЧ, расскажем немного об одном из артефактов, украшающих пространство Высшей школы современной математики. Это большая картина на стене библиотеки, на которую вы могли обратить внимание на одном из фото с недавнего коллоквиума.
Эта картина была написана известным математиком Робертом Адольфовичем Минлосом (1931-2018) для его коллеги по Добрушинской математической лаборатории Никиты Дмитриевны Введенской (1930-2022).
Картина написана на листе оргалита и была закреплена на входной двери квартиры Никиты Введенской, в которой с 1960-х по 2010-е годы часто собирались ее коллеги, друзья и товарищи. Как вспоминала сама Никита, «обpазовалась большая компания, ... отнюдь не математическая, хотя пpеобладали в ней математики и филологи: [Р. Л. Добрушин,] В. А. Успенский, Р. А. Минлос, Ф. А. Беpезин, М. Л. Лидов, В. В. Иванов, С. П. Маpкиш, А. А. Зализняк, Е. В. Падучева, Б. Т. Поляк, А. М. Яглом и дpугие». По словам Владимира Михайловича Тихомирова, еще одного известного математика и товарища Никиты по мехмату МГУ, Никита Введенская «сыграла исключительную роль в объединении целого поколения выдающихся деятелей науки и культуры».
На картине, которая была подарена нам наследниками Н. Д. Введенской, сохранены номер квартиры и прорези для замка и дверной ручки.
#ВШМ_артефакты
❤24🔥11👍1👏1
Семинар Добрушинской лаборатории
Когда: вторник 25 ноября, 16:15
Где: Адм.корпус, ауд.322.
Доклад:
Елена Жижина (МФТИ),
"Диффузия в высоко-контрастной периодической среде и липкое броуновское движение // Diffusion in a high-contrast periodic medium and sticky Brownian motion"
В докладе я расскажу о том, как в задаче о диффузии в высоко-контрастной периодической среде естественным образом возникает интересный процесс, который в англоязычной литературе называется Sticky Brownian Motion, т.е. липкое броуновское движение. Обсудим также, как выглядит генератор такого процесса.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
Когда: вторник 25 ноября, 16:15
Где: Адм.корпус, ауд.322.
Доклад:
Елена Жижина (МФТИ),
"Диффузия в высоко-контрастной периодической среде и липкое броуновское движение // Diffusion in a high-contrast periodic medium and sticky Brownian motion"
В докладе я расскажу о том, как в задаче о диффузии в высоко-контрастной периодической среде естественным образом возникает интересный процесс, который в англоязычной литературе называется Sticky Brownian Motion, т.е. липкое броуновское движение. Обсудим также, как выглядит генератор такого процесса.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
❤3
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 26 ноября, 14:00
Где: Адм. корпус, ауд.322.
Доклад:
Никита Лукашов (НИУ ВШЭ),
"Проблема унификации для подсистем полимодальной логики доказуемости GLP"
Полимодальная логика доказуемости GLP со счётным числом модальностей была введена Г.Джапаридже в 1980-х годах и нашла интересные применения в теории доказательств. Несмотря на неполноту по Крипке, GLP разрешима и для неё были установлены многие обычные свойства модальных логик.
Большинство положительных результатов о GLP были получены с помощью сведения к её подсистеме J, которая уже является полной по Крипке относительно класса, так называемых, стратифицированных моделей. Однако это сведение, к сожалению, не сохраняет тип унификации: Л.Д.Беклемишевым (2025 год) было показано, что логика GLP в языке даже с двумя модальностями обладает нулевым типом унификации, в то время как мною было установлено, что соответствующие подсистемы J с ограниченным числом модальностей обладают конечным типом унификации.
В своём докладе я представлю мои результаты касательно типа унификации J и её подсистем J_t в языках с модальностями [0], [1], … [t-1]. Обобщив методы С. Гилярди (конец 1990-х годов) для одномодального случая, мне удалось показать, что для всех t логики J_t обладают конечным типом унификации. При этом для всей логики J с бесконечным числом модальностей мне удалось установить нулевой тип унификации.
Доклад основан на статье: Lukashov N. V. Unification in subsystems of polymodal provability logic GLP //Logic Journal of the IGPL. – 2025. – Т. 33. – №. 6. – (to appear).
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 26 ноября, 14:00
Где: Адм. корпус, ауд.322.
Доклад:
Никита Лукашов (НИУ ВШЭ),
"Проблема унификации для подсистем полимодальной логики доказуемости GLP"
Полимодальная логика доказуемости GLP со счётным числом модальностей была введена Г.Джапаридже в 1980-х годах и нашла интересные применения в теории доказательств. Несмотря на неполноту по Крипке, GLP разрешима и для неё были установлены многие обычные свойства модальных логик.
Большинство положительных результатов о GLP были получены с помощью сведения к её подсистеме J, которая уже является полной по Крипке относительно класса, так называемых, стратифицированных моделей. Однако это сведение, к сожалению, не сохраняет тип унификации: Л.Д.Беклемишевым (2025 год) было показано, что логика GLP в языке даже с двумя модальностями обладает нулевым типом унификации, в то время как мною было установлено, что соответствующие подсистемы J с ограниченным числом модальностей обладают конечным типом унификации.
В своём докладе я представлю мои результаты касательно типа унификации J и её подсистем J_t в языках с модальностями [0], [1], … [t-1]. Обобщив методы С. Гилярди (конец 1990-х годов) для одномодального случая, мне удалось показать, что для всех t логики J_t обладают конечным типом унификации. При этом для всей логики J с бесконечным числом модальностей мне удалось установить нулевой тип унификации.
Доклад основан на статье: Lukashov N. V. Unification in subsystems of polymodal provability logic GLP //Logic Journal of the IGPL. – 2025. – Т. 33. – №. 6. – (to appear).
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
❤1
Семинар «Алгебра, геометрия и теория чисел»
Когда: суббота 29 ноября
Где: 322 АдмК
Современный трек (16:00): Г.Тарасов, "Диффеология: наивный подход к обобщённым гладким структурам"
Я попробую представить введение в диффеологию — обобщение классической дифференциальной геометрии, построенное на понятии гладкой параметризации. Основные конструкции в диффеологии мимикрируют под их прототипы в топологии, за тем лишь исключением, что нас интересует гладкое поведение сразу, минующее непрерывность. Парадоксально диффеология способна подходить к неручным с точки зрения дифференциальной геометрии пространствам, таким как слоения, орбифолды и даже бесконечномерные пространства отображений, как если бы они ничем не отличались от обычных многообразий.
Повествование большей частью следует статье «An Introduction to Diffeology» и не предполагает ничего более знакомства с основными понятиями дифференциальной геометрии и алгебраической топологии
Аннотации прошедших докладов, а также обновления по предстоящим, доступны в таблице https://docs.google.com/spreadsheets/d/1mk-KpzO7tOFuptWrFZbed6atLEqWxbRlgrWthil66kE/edit?usp=drivesdk
Присоединяйтесь к ТГ группе семинара.
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
#ВШМ_АГТЧ
Когда: суббота 29 ноября
Где: 322 АдмК
Современный трек (16:00): Г.Тарасов, "Диффеология: наивный подход к обобщённым гладким структурам"
Я попробую представить введение в диффеологию — обобщение классической дифференциальной геометрии, построенное на понятии гладкой параметризации. Основные конструкции в диффеологии мимикрируют под их прототипы в топологии, за тем лишь исключением, что нас интересует гладкое поведение сразу, минующее непрерывность. Парадоксально диффеология способна подходить к неручным с точки зрения дифференциальной геометрии пространствам, таким как слоения, орбифолды и даже бесконечномерные пространства отображений, как если бы они ничем не отличались от обычных многообразий.
Повествование большей частью следует статье «An Introduction to Diffeology» и не предполагает ничего более знакомства с основными понятиями дифференциальной геометрии и алгебраической топологии
Аннотации прошедших докладов, а также обновления по предстоящим, доступны в таблице https://docs.google.com/spreadsheets/d/1mk-KpzO7tOFuptWrFZbed6atLEqWxbRlgrWthil66kE/edit?usp=drivesdk
Присоединяйтесь к ТГ группе семинара.
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
#ВШМ_АГТЧ
🔥5❤2
Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ
Когда: суббота 29 ноября, 13:55
Где: Административный корпус, ауд.322
Андрей Рябичев (ВШМ МФТИ),
"S^1-расслоения над поверхностями, часть 2"
Предположим, над замкнутой ориентируемой поверхностью задано ориентируемое расслоение со слоем окружность. Ясно, что если класс Эйлера расслоения не равен нулю, то непрерывного сечения оно не имеет. Можно, однако, рассматривать квазисечения — неформально говоря, многозначное отображение из базы в тотальное пространство, образом которого является замкнутая подповерхность с особенностями общего положения.
Оказывается, по особенностям квазисечения (самопересечениям, зонтикам Уитни, а также складкам и сборкам при проекции на базу) можно вычислить класс Эйлера расслоения. Мы обсудим, как это сделать, начав с определений. Доклад следует статье Г.Ю.Паниной arXiv:2410.22453, изложение планируется вполне элементарным.
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Трансляции семинара не планируется, но, возможно, мы выложим запись.
#ВШМ_ФПМИ_топкомб
Когда: суббота 29 ноября, 13:55
Где: Административный корпус, ауд.322
Андрей Рябичев (ВШМ МФТИ),
"S^1-расслоения над поверхностями, часть 2"
Предположим, над замкнутой ориентируемой поверхностью задано ориентируемое расслоение со слоем окружность. Ясно, что если класс Эйлера расслоения не равен нулю, то непрерывного сечения оно не имеет. Можно, однако, рассматривать квазисечения — неформально говоря, многозначное отображение из базы в тотальное пространство, образом которого является замкнутая подповерхность с особенностями общего положения.
Оказывается, по особенностям квазисечения (самопересечениям, зонтикам Уитни, а также складкам и сборкам при проекции на базу) можно вычислить класс Эйлера расслоения. Мы обсудим, как это сделать, начав с определений. Доклад следует статье Г.Ю.Паниной arXiv:2410.22453, изложение планируется вполне элементарным.
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Трансляции семинара не планируется, но, возможно, мы выложим запись.
#ВШМ_ФПМИ_топкомб
🔥4
ВШМ: артефакты. Продолжение
Еще одним предметом исторической памяти в библиотеке ВШМ является эта меловая доска. Она была сделана на заказ для Юрия Ивановича Манина (1937-2023), выдающегося специалиста в области алгебры, алгебраической геометрии и математической физики.
Идеи Ю. И. Манина повлияли на несколько поколений московских математиков, многие из которых работают в Высшей школе современной математики МФТИ.
Доска выполнена из шлифованного стекла, покрытого краской с обратной стороны и вставленного в деревянную раму. Ее нам подарил ученик Ю. И. Манина Михаил Анатольевич Цфасман, заведующий Лабораторией алгебры, геометрии, логики и теории чисел им. Ю. И. Манина и научный руководитель ВШМ.
#ВШМ_артефакты
Еще одним предметом исторической памяти в библиотеке ВШМ является эта меловая доска. Она была сделана на заказ для Юрия Ивановича Манина (1937-2023), выдающегося специалиста в области алгебры, алгебраической геометрии и математической физики.
Идеи Ю. И. Манина повлияли на несколько поколений московских математиков, многие из которых работают в Высшей школе современной математики МФТИ.
Доска выполнена из шлифованного стекла, покрытого краской с обратной стороны и вставленного в деревянную раму. Ее нам подарил ученик Ю. И. Манина Михаил Анатольевич Цфасман, заведующий Лабораторией алгебры, геометрии, логики и теории чисел им. Ю. И. Манина и научный руководитель ВШМ.
#ВШМ_артефакты
❤13👍13🔥6😭1
Семинар Добрушинской лаборатории
Когда: вторник 2 декабря, 16:15
Где: Адм.корпус, ауд.322.
Доклад:
И.В. Вьюгин (НИУ ВШЭ),
"Уравнение Маркова // Markov equation"
А.А. Марков в 1879 году вывел новое диофантово уравнение: $x^2+y^2+z^2=3xyz$ и доказал, что все натуральные решения уравнения Маркова имеют естественную структуру графа-дерева. Им же было показано как с помощью натуральных решений этого уравнения выражаются действительные числа, которые хуже всего приближаются рациональными.
В последние годы, под влиянием работ Бургейна, Гамбурда и Сарнака, уравнение Маркова стали изучать над полем вычетов по простому модулю p.
Граф решений строится и в случае уравнения для вычетов по простому модулю, но не является деревом. Наши новые результаты утверждают, что графы решений уравнений Маркова и Маркова-Гурвица: $x_1^2+...+x_n^2=ax_1...x_n$, рассматриваемых над полем вычетов, имеют "гигантскую" компоненту связности, включающую в себя почти все решения.
Такие оценки позволили В.Чену в прошлом году доказать, что граф решений уравнения Маркова связен, ответив тем самым на вопрос Бургейна.
Я планирую рассказать об описанных выше результатах.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
Когда: вторник 2 декабря, 16:15
Где: Адм.корпус, ауд.322.
Доклад:
И.В. Вьюгин (НИУ ВШЭ),
"Уравнение Маркова // Markov equation"
А.А. Марков в 1879 году вывел новое диофантово уравнение: $x^2+y^2+z^2=3xyz$ и доказал, что все натуральные решения уравнения Маркова имеют естественную структуру графа-дерева. Им же было показано как с помощью натуральных решений этого уравнения выражаются действительные числа, которые хуже всего приближаются рациональными.
В последние годы, под влиянием работ Бургейна, Гамбурда и Сарнака, уравнение Маркова стали изучать над полем вычетов по простому модулю p.
Граф решений строится и в случае уравнения для вычетов по простому модулю, но не является деревом. Наши новые результаты утверждают, что графы решений уравнений Маркова и Маркова-Гурвица: $x_1^2+...+x_n^2=ax_1...x_n$, рассматриваемых над полем вычетов, имеют "гигантскую" компоненту связности, включающую в себя почти все решения.
Такие оценки позволили В.Чену в прошлом году доказать, что граф решений уравнения Маркова связен, ответив тем самым на вопрос Бургейна.
Я планирую рассказать об описанных выше результатах.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
🔥5
Forwarded from МФТИ — Физтех
1 декабря — повод вспомнить, что математика лежит в основе не только формул и задач, но и всех современных научных открытий.
В этот день мы поговорили с директором ВШМ МФТИ, профессором РАН Андреем Соболевским о том,
почему математика — язык естественных наук,
как она изменила устройство современной науки,
какие вызовы приносит эпоха больших данных и ИИ
и что важно знать будущим исследователям.
На сайте МФТИ большой материал о том, как математика формирует картину мира и помогает понимать самые сложные явления вокруг нас.
Please open Telegram to view this post
VIEW IN TELEGRAM
❤32🔥4🥰2👾1
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 3 февраля, 14:00
Где: ОНЛАЙН + трансляция на большом экране в 322АдмК
Доклад:
Александр Гагарин,
"Логика топологической достижимости"
Доклад посвящен одной логике, связанной с путями в топологических пространствах. Вводится бинарная модальность "достижимости" γ(A,B), интерпретируемая в точке x как "существует путь из x в точку, где истинно B, и во всех промежуточных точках которого истинно A". Ранее эта связка изучалась для александровских топологий и для симплициальных комплексов; две соответствующие логики разрешимы и конечно аксиоматизируемы (Bezhanishvili, Bussi, Ciancia, Fernández-Duque и Gabelaia 2024). В докладе будет рассмотрена логика всех топологий в языке с модальностями ☐A ("внутренность A") и γ(A,B), которая также оказалась конечно аксиоматизируемой и разрешимой. Для доказательства используется переход к подходящему варианту окрестностой семантики.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 3 февраля, 14:00
Где: ОНЛАЙН + трансляция на большом экране в 322АдмК
Доклад:
Александр Гагарин,
"Логика топологической достижимости"
Доклад посвящен одной логике, связанной с путями в топологических пространствах. Вводится бинарная модальность "достижимости" γ(A,B), интерпретируемая в точке x как "существует путь из x в точку, где истинно B, и во всех промежуточных точках которого истинно A". Ранее эта связка изучалась для александровских топологий и для симплициальных комплексов; две соответствующие логики разрешимы и конечно аксиоматизируемы (Bezhanishvili, Bussi, Ciancia, Fernández-Duque и Gabelaia 2024). В докладе будет рассмотрена логика всех топологий в языке с модальностями ☐A ("внутренность A") и γ(A,B), которая также оказалась конечно аксиоматизируемой и разрешимой. Для доказательства используется переход к подходящему варианту окрестностой семантики.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
👍3
ВШМ в Физтех-лицее
Сегодня в Доме Капицы в комплексе Физтех-лицея состоялась встреча с учениками и научно-популярная лекция для 10 и 11 математических классов. На вопросы о поступлении, учебе, жизни и математике ответили заместитель директора ВШМ Алексей Ильин и студенты бакалавриата ВШМ Михаил Гарковенко и Екатерина Шерстнева (сама выпускница ФТЛ).
А завтра с 13.00 до 14.40 там же пройдет еще одна научно-популярная лекция для 8-9 математических классов.
Благодарим преподавателя ФТЛ Евгению Штыпу за помощь в организации этого события, и до новых встреч!
Сегодня в Доме Капицы в комплексе Физтех-лицея состоялась встреча с учениками и научно-популярная лекция для 10 и 11 математических классов. На вопросы о поступлении, учебе, жизни и математике ответили заместитель директора ВШМ Алексей Ильин и студенты бакалавриата ВШМ Михаил Гарковенко и Екатерина Шерстнева (сама выпускница ФТЛ).
А завтра с 13.00 до 14.40 там же пройдет еще одна научно-популярная лекция для 8-9 математических классов.
Благодарим преподавателя ФТЛ Евгению Штыпу за помощь в организации этого события, и до новых встреч!
❤🔥17❤5😍1🐳1