siyuv | Модельная категория Строма

Entry tags:

math

Модельная категория Строма

На категории топологических пространств давно были построены две модельные категории: стандартная (принадлежащая Квиллену) и модельная категория Арне Строма, которая появилась в начале 70-х.

Категория Строма часто упоминается, хотя мало где используется существенным образом. Это связано ни с какими-либо свойствами этой модельной структуры, а с тем, что гомотопические эквикалентности между топологическими пространствами в качестве слабых эквивалентностей оставляют слишком много гомотопических типов; изучать их достаточно тяжело и видимо бесперспективно. Так или иначе, но единственная известная мне работа действительно использующая модельную категорию Строма принадлежит Майклу Коулу (заранее прошу прощения у читателей не имеющих доступа к МathSciNet и другим рессурсам, но этот автор не заботится о доступности своих работ). Там строится новая модельная категория (смешанная из стромовской и стандартной), но что с ней делать дальше остается неясным.

Между тем свойства стромовской модельной категории весьма примечательны. Например все объекты в ней одновременно кофибрантны и фибрантны. До сих пор неизвестно существует ли аналогичная модель для топологических пространств со слабыми гомотопическими эквивалентностями (Марк Хови предполагает что нет).

Однако тот факт что эта модельная категория в серьез не изучалась в последние 35 лет похоже привел к тому, что полного доказательства сегодня никто не знает. Я это обнаружил когда прочитал вот этот пост Мэя в рассылке по алгебраической топологии. Там он указывает, что в оригинальной работе имеются некоторые "subtle points". Настоящие ли это дыры я не знаю, но судя по тому что его студент передоказал теорему Строма в более ограничивающих условиях (для компактно-порожденных пространств), настоящие.

Мой интерес к этой модельной категории был в ту пору (в 2003 году, когда Мэй писал свой пост) не вполне праздным. Я искал тогда примеры модельных категорий, не порождающихся корасслоениями. Стромовская категория -- очевидный кандидат, но действительно ли она не является кофибрантно-порожденной по-видимому не известно до сих пор, как впрочем и то, верна ли теорема Строма в изначально заявленной общности.

Flat | Top-Level Comments Only

Вы не знаете алгебраических геометров, не работающих со схемами -- извините за задержку с ответом: коллега, который говорил мне об этом не проверял почту во время праздников. Сейчас он вернулся и предложил в качестве примера книжку Гриффитса-Харриса, в которой схемам посвящена ровно одна страница. Отсюда я делаю вывод, что люди занимающиеся комплексно-аналитической геометрией легко могут обойтись без схем.

Не надо углубляться в абстракции, но Вы в них углубились -- это противоречие между тем чему меня учили и моим карьерным путем, а не в моей аргументации. Я готов его обсуждать, но вряд ли Вам это будет интересно.

Вы придаете слишком большое значение Research Statemen -- спасибо, учту на будущее.

Что Вы понимаете под классической теорией, стало совсем непонятным -- классический этап развития гомотопической топологии это все работы изучающие пространства с точностью до (сильной) гомотопической эквивалентности (Пуанкаре, Александров, Хопф, Понтрягин,...). Выбор расслоений вторичен и до некоторой степени произволен. Классический этап в основном завершился с появлением работ Вайтхеда, подкрепленными весьма убедительными вычислениями Серра. Изменился сам предмет изучения алгебраической топологии, т.е. стали изучать пространства с точностью до слабой эквивалентности. Разумеется классический этап не мог закончиться сразу, в конце-концов оставались люди, которые не смогли/не захотели выучить спектральные последовательности, и не все они подались в дифуры, как Понтрягин. Наверное именно к этому течению следует отнести работу Гуревича, хотя, повторюсь, расслоения можно брать и по Гуревичу (именно об этом работа Коула). Из значимых работ посвященных сильным эквивалентностям вспоминается только теорема Милнора (упоминается в Фоменко-Фуксе без доказательства) о том, что пространство отображений двух полиэдров гомотопически эквивалентно CW-комплексу. Приведенный Вами пример из В. Пуппе тоже вроде бы в этом ключе.

За ссылку спасибо -- очень интересно.

Комплексно-аналитическая геометрия - это несколько другой предмет, нежели алгебраическая геометрия. И там тоже есть свой аналог схем - аналитические пространства, но это слишком трудный предмет для нового поколения.

Если даже Вы не следуете тому, чему Вас некие люди учили, то с какой стати к этому учению прислушиваться тем, кого этому не учили?

Пуанкаре не изучал пространств с точностью до гомотопической эквивалентности. Я не уверен, что у него было это понятие. И Александров, Хопф, Понтрягин - тоже. Вообще, мы тут сильно расходимся в том, что является предметом той или иной науки. Несколько философский вопрос. Более-менее никто не изучал и не изучает произвольные пространства с точностью до гомотопической эквивалентности. Изучают интересные вопросы про пространства, обычно довольно простые. Другие пространства появляются по ходу дела, вроде пространств отображений (работа Милнора очень простая - он просто сделал некую полезную работу). Для работы с этими другими пространствами нужен некий framework, и не всегда удобно проверять, что каждое возникающее пространство гомотопически эквивалентно CW-комплексу.

Спор у нас довольно беспредметный. Вы занимаетесь неким предметом, там не нужны никакие "общие" пространства, и Вас больше интересует то, что симплициальные множества можно заменять на другие категории, нежели то, что есть какие-то результаты применимы к довольно обширным классам пространств. А меня больше занимает в данный момент то, что теорию гомотопий можно построить для широкого класса пространств. Я вас не агитирую бросать Ваши занятия, и, наверное, не стоит убеждать меня в том, что интересная мне тема неинтересна.

Кстати, Гуревич не относится к числу тех, кто не смог выучить спектральные последовательности.

...с какой стати к этому учению прислушиваться тем, кого этому не учили? -- у Вас кажется сложилось впечатление, что я критикую абстрактную математику. Это было бы странно, учитывая мою специализацию. Я всего лишь высказал мысль, что предметом изучения гомотопической топологии являются пространства с точностью до слабых эквивалентностей. Различные абстрактные понятия для этого весьма полезны. Более того, они часто представляют интерес сами по себе, но вряд ли можно говорить, что они подменяют собой основной предмет, поскольку не вся наука переключается на их изучение (например эквивариантная топология). Бывает и так, что какая-то абстракция срастается с абстракциями из других областей математики и тогда можно говорить о новой науке (например К-теория). Стабильная гомотопическая теория пока где-то по середине.

Я не уверен, что у него было это понятие -- понятия групп (ко)гомологий у него тоже не было. Это не помешало ему доказать теорему двойственности. Александров, Хопф, Понтрягин - тоже -- Ну а что же они изучали? Другого предмета для изучения у них вроде бы не было. Конечно они понимали бесперспективность изучения всех гомотопических типов и всячески себя ограничивали (многообразиями, трианглированными пространствами, и т.д.). Это и привело в конце концов к революции Вайтхеда-Серра.

Изучают интересные вопросы про пространства, обычно довольно простые -- Разумеется, каждая конкретная работа изучает какой-то интересный вопрос, но про целую область математики так говорить, мне кажется, неправомерно. Ну а кончатся интересные вопросы, это означает конец области? Мне кажется нет. Предметом изучения должно быть что-то недостижимое (решение всех диафантовых уравнений или классификация всех гомотопических типов). Если предмет изучения себя не исчерпал, то со временем могут появиться новые подходы, новые идеи. Адамс 66-м году сказал на конгрессе в Москве, что гомотопическая топология выполнила поставленные перед ней задачи (мне не удалось найти ссылку, цитирую с чужих слов). На тот момент кончились интересные вопросы. И это при том, что Адамс считал, что топология должна заниматься пространствами, а симплициальные множества через чур абстрактны. Прошло 40 лет уже, а область жива. Появились новые идеи, новые применения...

Спор у нас довольно беспредметный -- он возник из того, что Вы меня упрекнули в чрезмерной узости взглядов. Я всего лишь пытаюсь оправдаться.

...наверное, не стоит убеждать меня в том, что интересная мне тема неинтересна -- вот уж и в мыслях не было, тем более, что Вы не рассказываете чем Вы занимаетесь.

Гуревич не относится к числу тех, кто не смог выучить спектральные последовательности -- я этого не утверждал.

" Я всего лишь высказал мысль, что предметом изучения гомотопической топологии являются пространства с точностью до слабых эквивалентностей."

Я утверждаю, что этого никогда не было. Я не знаю ни одной нетехнической (не вспомогательной) значительной работы о "пространства с точностью до слабых эквивалентностей". Может, у Вас есть пример?

"Ну а что же они изучали?"

Вряд здесь есть место для очерка по истории топологии. Возьмите книгу Дьедонне на эту тему, например.

Меня удивляет, что Вы постоянно объединяете Уайтхеда (причем я так и не понял, которого) с Серром.

" Ну а кончатся интересные вопросы, это означает конец области?"

Да, конечно. Это совсем не оригинальная точка зрения.

Адамс сказал, что "most of the basic (теории гомoтопий) principles are known". Далее он говорит о том, что "when you contemplate some of the tabulated data, orderly patterns are hard to find". Действительно, топологи почти не способны находить закономерности в числовых данных - в противоположность теоретико-числовикам, например. Может, их там и нет, а может, они не видят - не знаю.

К словам Адамса в 1966-м надо относиться с большой осторожностью. В 1965-м он перенес "the first attack of a psychiatric illness, as a result of which he was on sick leave for some months." Уровень его работ никогда больше не вернулся к тому, что был до болезни. Будучи бесспорным лидером теории гомотопий на тот момент, он мог принять отсутствие идей у себя за их отсутствие вообще.

"Разумеется классический этап не мог закончиться сразу, в конце-концов оставались люди, которые не смогли/не захотели выучить спектральные последовательности, и не все они подались в дифуры, как Понтрягин. Наверное именно к этому течению следует отнести работу Гуревича..."

Трудно понять эту фразу иначе, как то, что Гуревич относится к тем, кто не смог или не захотел изучить спектральные последовательности.

""Спор у нас довольно беспредметный" -- он возник из того, что Вы меня упрекнули в чрезмерной узости взглядов. Я всего лишь пытаюсь оправдаться."

Увы, не получается.

Может, у Вас есть пример? -- да в общем-то любая работа по гомотопической топологии. Возьмите хотя бы инвариант Хопфа = 1. В гомотопической категории рассматриваются отображения из S^{2n-1} в S^n. Им ставятся в соответствие числа (инвариант Хопфа). Спрашивается: для каких n инвариант Хопфа может быть равен 1. Ответ: 2, 4 и 8.

Возьмите книгу Дьедонне на эту тему, например -- я Вас попросил сформулировать что является предметом изучения некой области, а Вы мне в ответ предлагаете почитать про историю ее развития. Это конечно интересно, но не тоже самое. Я просто не могу уловить в чем наше расхождение. Хотя похоже оно весьма фундаментально.

Меня удивляет, что Вы постоянно объединяете Уайтхеда (причем я так и не понял, которого) с Серром. -- Сначала я этого Уайтхеда назвал старшим -- Вы возразили, потом я назвал его старым -- Вы промолчали. Я перестал его как-то определять, решив что Вы уже поняли о ком идет речь. Я их не объединяю, а обозначаю переходный этап в развитии топологии. Их работы появились на рубеже 49-50 годов и обозначили революцию в области. Уайтхед ввел новый предмет изучения, а Серр убедительно показал, что этот предмет гораздо более интересный, чем тот что рассматривался до этого.

Это совсем не оригинальная точка зрения -- я догадываюсь, но на мой взгляд она часто бывает ошибочной. Вот история про Атиа, рассказанная как-то на лекции МакФерсоном: в какой-то момент Атиа всем говорил, что теория узлов это пройденный этап, изучать там больше нечего. Но через 10 лет, когда нашлись применения в физике, появились новые идеи тот же Атиа стал всем говорить что нужно заниматься теорией узлов. Когда его спросили: как же так, ведь 10 лет назад Вы говорили ровно противоположное. Он нашелся что ответить: "Я был прав тогда, прав и сейчас."

Примерно то же произошло/происходит с гомотопической теорией.

most of the basic (теории гомoтопий) principles are known -- А откуда вы цитируете, можно ссылку, пожалуйста? Я думал, что это его речь на конгрессе. Он это где-то написал?

К словам Адамса в 1966-м надо относиться с большой осторожностью -- про его болезнь я не знал. Будучи неправым по срокам (он не предвидел блестящих работ Квиллена, Сулливана, Сигала в начале 70х), Адамс оказался прав глобально. Это не секрет, что с середины 70х до середины 80х вся область находилась в упадке. Работ филдсовского уровня не было; статьи в Annals если и появлялись, то как правило решали задачи поставленные в начале 70х методами разработанными в начале 70х (нестабильный аналог спектральной последовательности Адамса).

Но предмет изучения гомотопической тополигии никуда не исчез (также как и теории узлов) и продолжал вызывать интерес. В конце 80х начался подъем и сегодня у нас практически ренессанс. Новые идеи, новые приложения... Появились новые интересные задачи.

Опять зашкалил за длину комента...

Проблема инварианта Хопфа - это не проблема о пространствах с точностью до слабых гомотопических эквивалентностей. Это проблема об отображниях сфер в сферы. Очень странно, что Вы привели ее в качестве примера, поскольку она в точно такой же степени является или не является проблемой о пространствах с точностью до сильной гомотопической эквивалентности.

Вы спросили, "Ну а что же они изучали?" На этот вопрос в двух словах не ответишь, и я отослал Вас к книге, в которой это подробно рассказано. Расхождение действительно фундаментально - Вы полагаете, что ответ на вопрос о том, чем занимается наука, можно дать на школьном уровне ("геометрия изучает плоские и пространственные фигуры"), я полагаю, что ответ можно дать только познакомившись с тем, чем реально занимались и занимаются в данной области.

Дж. Г. К. Уайтхед (видимо, речь идет о нем) не ввел никакого нового предмета изучения. Он ввел техническое средство, CW-комплексы. Серр ничего про этот "предмет" не доказал - он даже не цитирует ни одной работы Уайтхеда в своей диссертации.

Атийя действительно был прав оба раза. То, что два совершенно разных, почти не пересекающихся предмета можно назвать "теорией узлов", ничего не доказывает. Никаких приложений у классической теории узлов к физике нет. Стоит ли ей заниматься - спорный вопрос; некоторые всегда считали, что стоит, некоторые - что нет. Новый предмет, возникший в конце 80-х, является на самом деле не теорией узлов, а теорией специфических инвариантов узлов. Перспектива другая, задачи другие - это другой раздел математики.

"Примерно то же произошло/происходит с гомотопической теорией."

Возможно, теорией гомотопий просто стал называться другой предмет. Пока я не вижу, чем он интересен.

Я цитирoвал доклад Адамса на Конгрессе в Москве, а про болезнь - некролог в Bull. London Math. Soc.

" В конце 80х начался подъем и сегодня у нас практически ренессанс. Новые идеи, новые приложения... Появились новые интересные задачи."

Мне, как человеку постороннему, этого не видно. В тоже время мне видны многие достижения в областях, далеких от моих собственных интересов. Все, что Вы здесь упоминали - это, на мой взгляд, внутренние технические достижения. Специалистам, они, возможно, кажутся подъемом, но я отношусь к таким заявлениям скептически, повидав на своей жизни десятки предисловий, начинавшихся слова "Исследования в области Х переживают небывалый расцвет". Так что burden of proof снова на Вас: что за приложения, что за задачи?

Это проблема об отображниях сфер в сферы -- с точностью до гомотопии, заметьте, т.е. проблема формулируется в гомотопической категории.

...она в точно такой же степени является или не является проблемой о пространствах с точностью до сильной гомотопической эквивалентности -- конечно, это содержание теоремы того самого Уайтхеда. Различие достаточно тонкое и проявляется в технических вопросах, которые Вы вряд ли признаете интересными. Тем не менее задачи гомотопической топологии формулируются именно в гомотопической категории, а в какой из двух -- иногда это не важно, иногда критично.

Расхождение действительно фундаментально -- ответил ниже по ветке.

Он ввел техническое средство, CW-комплексы -- несколько больше: он ввел относительные CW-комплексы, которые вместе с ретрактами заменили классические расслоения (по Борсуку). Новый предмет изучения он тоже ввел -- это пространства с точностью до слабых эквивалентностей. CW-комплексы ему были нужны, чтобы показать, что новый предмет изучения совпадает со старым для хороших пространств.

Серр ввел почти одновременно с Уайтхедом новое понятие расслоения и создал на их основе новые вычислительные средства. Формально CW-комплексы для этого не нужны, и я вполне допускаю, что по началу он не видел связи. Но эти две работы обозначили появление новой framework в которой следует изучать гомотопическую топологию. Позднее она стала называться стандартной модельной категорией. И появление этих двух работ с разницей в год весьма символично.

То, что два совершенно разных, почти не пересекающихся предмета можно назвать "теорией узлов", ничего не доказывает -- предмет изучения у них один (узлы с точностью до изотопии). Да и трудно мне представить специалиста по инвариантам Васильева, никогда не слышавшего, скажем, про мю-инварианты Милнора.

...является на самом деле не теорией узлов, а теорией специфических инвариантов узлов -- то что вопрос о распознавании узлов при помощи инвариантов конечного типа считается важной открытой проблемой прямо подтверждает мою точку зрения.

Возможно, теорией гомотопий просто стал называться другой предмет -- Вы пытаетесь сыграть в туже игру, как с теорией узлов. Я этого не принимаю. Предмет остался тем же и продолжает изучать гомотопическую категорию пространств. Появились новые методы, новые приложения, но менять название причин нет.

Мне, как человеку постороннему, этого не видно -- посторонний человек может это оценить по появлениям статей в ведущих журналах, по назначениям специалистов в ведущие университеты. Вникать не обязательно, косвенных свидетельств достаточно.

Так что burden of proof снова на Вас: что за приложения, что за задачи? -- У меня не достаточно авторитета, чтобы высказываться за всю область, поэтому публично я этого делать не стану.

Какая разница, какие гомотопические эквивалентности рассматриваются? Речь идет о сферах, самых обыкновенных, круглых. Отображения можно рассматривать только гладкие, или даже вещественно-аналитические. При чем тут слабые и сильные эквивалентности?

А работу Уайтхеда Вы смотрели?

"И появление этих двух работ с разницей в год весьма символично."

Ну и аргумент!

Далее у Вас получается порочный круг - Вы обосновываете свою точку зрения, заранее принимая ее. Если раздел математики определяется "предметом изучения" в Вашем смысле, то он им, разумеется, определяется. Содержания в такой аргументации - ноль.

"У меня не достаточно авторитета, чтобы высказываться за всю область, поэтому публично я этого делать не стану."

А вот это меня, честно, потрясло. Я ожидал, что Вы расскажете про интересные результаты, интересные задачи. А Вы говорите про какой-то авторитет. Выходит, Вы просто не знаете никаких интересных результатов и задач. Из чего мне придется заключить, что их действительно нет, а есть внутреннее развитие теории, интересное только специалистам. Не даром Вы все время говорите по то, что разные области математики расходятся.

Какая разница, какие гомотопические эквивалентности рассматриваются? -- в данном случае никакой.

Речь идет о сферах, самых обыкновенных, круглых. Отображения можно рассматривать только гладкие, или даже вещественно-аналитические. -- речь идет о классах отображений с точностью до гомотопии. Сферы могут быть любые -- хоть квадратные, хоть с рожками. Отображения тоже. Важен только их класс эквивалентности.

При чем тут слабые и сильные эквивалентности? -- простите, я забыл что Вы можете этого не знать. Квиллен доказал, что гомотопическая категория является локализацией (в смысле Габриеля-Зисмана) категогрии пространств по классу эквивалентностей. Так что от выбора эквивалентностей зависят множества гомотопических классов отображений между пространствами.

А работу Уайтхеда Вы смотрели? -- нет, а зачем? Она пересказана десятки раз.

Ну и аргумент! -- хороший аргумент. Он говорит о том, что революция в области на тот момент назрела. А вы как думаете?

Вы обосновываете свою точку зрения, заранее принимая ее -- обоснований для своей точки зрения по-поводу того, что является предметом гомотопической топологии, я привел более чем достаточно. Если Вам вдруг не хватило, то взгляните на первый пункт программы курса гомотопической топологии в НМУ.

Конечно можно сказать про любую область, что ее предмет это то чем она занимается. Но это масло масленое. Предмет это не то чем область занимается, а то что ее ограничивает. Как только выходит за рамки предмета, это уже приложение. Следуя же Вашей логике, все приложения следует включать непосредственно в предмет, а это очевидно не так.

В последнем комменте я пытался не обосновать этот нехитрый тезис, а объяснить каким образом Уайтхед ввел новый предмет изучения и какова связь с работой Серра.

А вот это меня, честно, потрясло -- неужели Вы не понимаете, что требуете от меня выставления оценок людям, которые сами регулярно ставят мне оценки и будут продолжать этим заниматься еще много лет по запросам различных Search/Promotion Committees. Ну ладно, если Вас так уж интересует мое мнение, то я попробую его изложить завтра, но только в самых общих чертах и только в моей узкой области.

Не даром Вы все время говорите по то, что разные области математики расходятся -- а вот это уже передергивание. Я сказал это единственный раз о двух конкретных областях (точнее даже под-областях) и выразил свое неудовольствие продолжающим углубляться разрывом.

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject