Михайлов и Нараин Гупта: от сомнений в доказательствах к контрпримеру (2000–2018)
история из жизни · статус: рассказана 9 раз · последнее событие: упоминание (29 июля 2025)
Михайлов годами разбирал вместе с Пасси сложные доказательства Нараина Гупты о размерных подгруппах и видел в них пробелы; в 2000 году он разминулся с самим Гуптой в коридоре МГУ. В 2018 году он решил эту проблему 80-летней давности с помощью гомотопических групп сфер.
Начало известно из поздних рассказов
2000 в названии — когда это началось; в прочитанных источниках оно впервые появляется в 2010, так что о начале известно только из того, что сказано позже.
Часть сюжета: Михайлов и Бартольди: решение проблемы размерных подгрупп (2015–2019)
Рядом в тех же эпизодах: Михайлов: отказ от шахмат и возвращение к ним в Варанаси (2019) · Михайлов: записать старые математические идеи и выложить в архив (2023) · Михайлов: первая поездка и год в Индии (2002–2003) · Фильм «Поедем с тобой в Макао»: создание и выход (2023–2025)
О чём: Нараин Гупта, Проблема размерных подгрупп, Московский государственный университет
| дата | событие | что | источник |
|---|---|---|---|
| 13 мая 2010 | впервые в источниках (пересказ; началось раньше) | Статью Гупты в 11 страниц он читал около года, отмечая на полях галочками строки, с которыми согласен, и почти в конце нашёл утверждение, которое не может вывести и в которое не верит. | Семинары: Р. В. Михайлов, Старые и новые задачи теории групповых колец 00:50:39 |
| 29 июля 2015 | пересказ | К результату, связывающему гомотопические группы с размерными подгруппами, он шёл 13 лет, сомневаясь, не была ли копившаяся годами интуиция неправильной ассоциацией. | Р. В. Михайлов, fr-конструкторы в гомологической алгебре I 00:34:10 |
| 2019 г. (было 1969 г.) | пересказ | Проблема размерных подгрупп была мейнстримовой в 60-е, её никто не мог решить; первый прорыв сделал Рипс в психиатрической больнице в 1969 году. | Роман Михайлов стрим 2019. 2 01:25:11 |
| 9 июля 2022 (было 2012 г.) | пересказ | Многие годы вместе с Индером Биром Сингхом Пасси он разбирал крайне сложные доказательства Гупты; уже около десяти лет назад было ясно, что в них пробелы, но найти контрпримеры было трудно. | Roman Mikhailov: Homotopy patterns in group theory 00:07:47 |
| ноябрь 2023 г. (было 2000 г.) | пересказ | Весной 2000 года в МГУ мимо него, гулявшего с девушкой, по коридору провезли Гупту в инвалидной коляске (у того был Паркинсон); они посмотрели друг на друга и прошли мимо. | Роман Михайлов. Номады (cтрим про математику) 01:19:09 |
| 14 ноября 2023 | пересказ | Его самая сильная работа — решение 80-летней проблемы размерных подгрупп через гомотопические группы сфер, первое их применение в классической алгебре. | Роман Михайлов. Независимый кинодвиж (стрим о кино) 01:38:50 |
| 18 апреля 2024 (было 2000 г.) | пересказ | В 2000 году он шёл по коридору МГУ, взявшись за руки с девушкой, а навстречу везли Гупту в инвалидной коляске — у того был Паркинсон; они посмотрели друг на друга и прошли мимо. | Алексей Fiat и Роман Михайлов. Обзор на рекордный занос WSOP $2.5M и истории из жизни. Часть 2. 00:09:23 |
| 18 июля 2024 | пересказ | Из теории групп его интересовали размерные подгруппы — эту проблему он решил; гипотезы Басса, Капланского и другие были хобби без серьёзных прорывов. | Роман Михайлов. Стрим от 18.07.2024 03:04:46 |
| 22 июля 2024 | пересказ | Почти через 20 лет так и оказалось: его решение, о котором он подробно рассказывал в стриме «Номады», началось с аномалии Рипса. → отсылает к Роман Михайлов. Номады (cтрим про математику) | Роман Михайлов. Стрим посвященный Илье Рипсу 00:10:02 |
| 29 июля 2025 (было 2018 г.) | упоминание | В 2018 году он решил культовую проблему 80-летней давности. | Роман Михайлов: как изменить русское кино? О семье, сектах и карьере 00:55:21 |
По времени событий (по его рассказам)
- 1969 г. — Проблема размерных подгрупп была мейнстримовой в 60-е, её никто не мог решить; первый прорыв сделал Рипс в психиатрической больнице в 1969 году. · Роман Михайлов стрим 2019. 2
- 2000 г. — Весной 2000 года в МГУ мимо него, гулявшего с девушкой, по коридору провезли Гупту в инвалидной коляске (у того был Паркинсон); они посмотрели друг на друга и прошли мимо. · Роман Михайлов. Номады (cтрим про математику)
- 2000 г. — В 2000 году он шёл по коридору МГУ, взявшись за руки с девушкой, а навстречу везли Гупту в инвалидной коляске — у того был Паркинсон; они посмотрели друг на друга и прошли мимо. · Алексей Fiat и Роман Михайлов. Обзор на рекордный занос WSOP $2.5M и истории из жизни. Часть 2.
- 2012 г. — Многие годы вместе с Индером Биром Сингхом Пасси он разбирал крайне сложные доказательства Гупты; уже около десяти лет назад было ясно, что в них пробелы, но найти контрпримеры было трудно. · Roman Mikhailov: Homotopy patterns in group theory
- 2018 г. — В 2018 году он решил культовую проблему 80-летней давности. · Роман Михайлов: как изменить русское кино? О семье, сектах и карьере
Что об этом сказано
17 высказываний в источниках, по датам (выше — повороты сюжета, здесь — подробности).
- 13 мая 2010 · Семинары: Р. В. Михайлов, Старые и новые задачи теории групповых колец — Он считает, что в доказательстве Гупты есть дыра, но не обязательно ошибка: может быть, у Гупты было какое-то сверхвидение. (с оговоркой) — 00:51:01
- 13 мая 2010 · Семинары: Р. В. Михайлов, Старые и новые задачи теории групповых колец — Рипс рассказывал, что, решив проблему, взялся за пятую размерную подгруппу и, взглянув на неё, увидел бездну. — 00:54:55
- 13 мая 2010 · Семинары: Р. В. Михайлов, Старые и новые задачи теории групповых колец — Он пытался решить первую проблему Плоткина — построить группу ступени нильпотентности 3 с нетривиальной более высокой размерной подгруппой — и посвятил этому очень много времени, но не смог. — 00:55:54
- 29 июля 2015 · Р. В. Михайлов, fr-конструкторы в гомологической алгебре I — Увидев когда-то это 2-кручение, он долго думал и однажды понял, что это то же 2-кручение, с которого начинаются гомотопические группы сфер. — 00:32:23
- 2019 г. · Роман Михайлов стрим 2019. 2 — С 2005 года у него была интуиция, что проблема связана с гомотопическими группами сфер, хотя это казалось шизофренической ассоциацией. — 01:25:32
- 2019 г. · Роман Михайлов стрим 2019. 2 — Проблему они решили благодаря Лорану Бартольди и его компьютерным выкладкам: узор рисуется взаимоотношениями сфер разной размерности. — 01:25:55
- 9 июля 2022 · Roman Mikhailov: Homotopy patterns in group theory — У области была плохая репутация: многие ошибались даже в опубликованных работах; она очень сложна, потому что связана с сокращениями в групповых кольцах, — «дикая» область. — 00:08:52
- ноябрь 2023 г. · Роман Михайлов. Номады (cтрим про математику) — Тогда он столкнулся с проблемой размерных подгрупп: взял на конференцию в Америку книгу Пасси и поразился, что проблема формулируется в одну строчку. — 01:14:23
- ноябрь 2023 г. · Роман Михайлов. Номады (cтрим про математику) — Через 18 лет тот самый студент из МГУ разрушил всю теорию Гупты. — 01:20:47
- ноябрь 2023 г. · Роман Михайлов. Номады (cтрим про математику) — По-настоящему они с Гуптой встретились в Гувахати в 2002 году. — 01:21:11
- ноябрь 2023 г. · Роман Михайлов. Номады (cтрим про математику) — Гупта умер в конце 2000-х и так и не узнал, что его теория рассыпалась. — 01:21:34
- 18 апреля 2024 · Алексей Fiat и Роман Михайлов. Обзор на рекордный занос WSOP $2.5M и истории из жизни. Часть 2. — Нараин Гупта посвятил 20 лет жизни построению целого исчисления, глубокого языка, чтобы показать, что кроме примеров типа Рипса там ничего нет. — 00:07:47
- 18 апреля 2024 · Алексей Fiat и Роман Михайлов. Обзор на рекордный занос WSOP $2.5M и истории из жизни. Часть 2. — Впервые он увидел Гупту в 2000 году, когда тот приехал в Москву после 20 лет работы над исчислением. — 00:08:13
- 18 апреля 2024 · Алексей Fiat и Роман Михайлов. Обзор на рекордный занос WSOP $2.5M и истории из жизни. Часть 2. — Подросток с подружкой, встреченный Гуптой в коридоре, почти через 20 лет разрушит теорию его жизни и опровергнет её. — 00:09:50
- 18 апреля 2024 · Алексей Fiat и Роман Михайлов. Обзор на рекордный занос WSOP $2.5M и истории из жизни. Часть 2. — С 2002 года они общались с Гуптой в Индии; тот объяснял, что люди не понимают его доказательства, хотя он всё прописал. — 00:10:26
- 22 июля 2024 · Роман Михайлов. Стрим посвященный Илье Рипсу — Открытие Рипса было аномалией, которую никто не мог осмыслить; он видел в ней перевод через «словарь» на другой язык более универсального закона. — 00:09:42
- 22 июля 2024 · Роман Михайлов. Стрим посвященный Илье Рипсу — В 50–60-е проблема размерных подгрупп была мейнстримной; ошибочные решения публиковали Магнус и ученики Линдона — две статьи с ошибками в топовых журналах. — 00:14:46