Цветные метабиблиотеки и хищные спектральные последовательности (2010–2016)
история проекта · статус: последние сведения — 2016 (взгляд назад в 2023) · последнее событие: этап (2 сентября 2016)
Многолетнее исследование Михайлова хищных («жидких») спектральных последовательностей: в 2010 году он выдвинул гипотезу, что нестабильная спектралка Адамса вкладывается в хищную, а в 2016 году рассказал, что результаты его метода до 46–47-й группы совпали с таблицей Тоды. Позже он вспоминал годы, когда исписывал тысячи страниц ради этих конструкций.
О чём: Хироси Тода, Хищные и жидкие системы
| дата | событие | что | источник |
|---|---|---|---|
| 25 февраля 2010 | замысел | Михайлов вводит понятие хищной спектралки и выдвигает гипотезу: нестабильная спектралка Адамса не хищная, но вкладывается в хищную, что позволяет оценивать дифференциалы во всех размерностях. | Р. В. Михайлов, Производные функторы в нестабильной теории гомотопий 00:52:55 |
| 2 сентября 2016 | этап | По его словам, если удалить всё, что теоретически можно удалить, результаты до 46–47-й группы совпадают с таблицей Тоды. | Лекция 1 · Цветные метабиблиотеки. Разум пространства · Роман Михайлов · Лекториум 01:03:02 |
| 2 сентября 2016 | взгляд назад | Он работает над этим 10 лет; раньше думал, что устроит праздник с друзьями и тортиками, если покроет таблицу Тоды до 20–22-й группы, — покрыл, дико радовался и рассылал письма друзьям. | Лекция 1 · Цветные метабиблиотеки. Разум пространства · Роман Михайлов · Лекториум 01:05:37 |
| ноябрь 2023 г. | взгляд назад | Годами он исписывал тысячи страниц, придумывая хищные жидкие спектралки, склеивающиеся из капелек, как жидкий робот из «Терминатора». | Роман Михайлов. Номады (cтрим про математику) 01:42:59 |
Что об этом сказано
1 высказывание в источниках, по датам (выше — повороты сюжета, здесь — подробности).
- 2 сентября 2016 · Лекция 1 · Цветные метабиблиотеки. Разум пространства · Роман Михайлов · Лекториум — анонс: Он надеется и уверен, что фильтрованность спектральной последовательности докажут, хотя уже два года они ходят на обеды и говорят «скоро докажем». (в шутку) — 01:13:05