Алгебра и топология: спорный тезис
Dec. 1st, 2010 04:13 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicЗадачи гомологической алгебры имеют решения. Поставьте себе задачу гомологической алгебры, разумную (объективно) и интересную (для вас), работайте над ней, и через N десятилетий у вас будет прекрасное решение, устраивающее вас во всех отношениях. Например, задача о неограниченных производных категориях была полностью решена прямо на моих глазах. Задача о правильном утончении структуры триангулированной категории является самым известным на сегодняшний день кандидатом в контрпримеры к моему тезису. Последнее время над ней много работают, и я думаю, что полное решение не за горами.
Важнейшие задачи алгебраической топологии не имеют решений. Надежду и попытки получить полные решения важнейших задач своей науки топологи в последнее время, кажется, вообще оставили. Вместо этого они развивают методы или преодолевают препятствия к естественным конструкциям. Каждый новый метод позволяет отщипнуть еще немножко от краешка неразрешимой проблемы и, в лучшем случае, посмотреть на нее в целом с новой стороны, но он ее не решает. Конкретное препятствие к конструкции можно преодолеть, но вполне естественной формулировки у нее нет и никогда не будет.
Задача о вычислении гомотопических групп сфер сегодня не ближе к своему решению, чем в 1930-х, когда она была поставлена. От нее поотщипывали по краям, и неплохо поотщипывали, это да. Продолжают отщипывать и сейчас. Но я не знаю, чтобы кто-либо из современных специалистов пытался или надеялся ее полностью решить. Модели для спектров изобретаются, и каждая следующая может быть лучше предыдущей, но ответа на вопрос, что такое спектр, кроме как с точностью до гомотопии, нет и, насколько можно судить, не будет. Задача о классификации узлов столь же неразрешима сейчас, как и когда-либо. И т.д.
Важнейшие задачи алгебраической топологии не имеют решений. Надежду и попытки получить полные решения важнейших задач своей науки топологи в последнее время, кажется, вообще оставили. Вместо этого они развивают методы или преодолевают препятствия к естественным конструкциям. Каждый новый метод позволяет отщипнуть еще немножко от краешка неразрешимой проблемы и, в лучшем случае, посмотреть на нее в целом с новой стороны, но он ее не решает. Конкретное препятствие к конструкции можно преодолеть, но вполне естественной формулировки у нее нет и никогда не будет.
Задача о вычислении гомотопических групп сфер сегодня не ближе к своему решению, чем в 1930-х, когда она была поставлена. От нее поотщипывали по краям, и неплохо поотщипывали, это да. Продолжают отщипывать и сейчас. Но я не знаю, чтобы кто-либо из современных специалистов пытался или надеялся ее полностью решить. Модели для спектров изобретаются, и каждая следующая может быть лучше предыдущей, но ответа на вопрос, что такое спектр, кроме как с точностью до гомотопии, нет и, насколько можно судить, не будет. Задача о классификации узлов столь же неразрешима сейчас, как и когда-либо. И т.д.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2010-12-01 02:10 am (UTC)no subject
Date: 2010-12-01 06:40 am (UTC)Кстати, верно ли, что бывают ДГ-оснащения триангулированных категорий, которые никак не связываются квазиизоморфизмами? Это как-то зависит от триангулированной категории?
no subject
Date: 2010-12-01 01:39 pm (UTC)Про единственность DG-оснащений имеется статья -- http://arxiv.org/abs/0908.4187 Вообще говоря, конечно, они вряд ли единственны.
no subject
Date: 2010-12-01 05:00 pm (UTC)