Самая непонятная вещь в гомологической алгебре

[posic]

это знаки -- в смысле, все эти минус один в степени и так далее. Не даром сам великий Д. об этих знаках писал не раз. Надо бы почитать, все никак не соберусь.

Comments

[mikhandr.livejournal.com]

Я практически во всём формально с вами согласен, и книга GJ "настольная" :-).

Правда мы вот пытались понять феномен знаков в гомологической алгебре, а модельная категория врядле этому способствует ;-).

{Кстати, сам Квиллен (уже через 4 года уже после "этого"!) сказал, что модельные категории не нужны (простите за резкость). Можно строить теорию гомотопий и на другой аксиоматической базе см. например Baues "Algebraic Homotopy". Принимая удобство понятия модельных категорий для алгебраизации геометрических задач, считаю, что ваши замечания лежат в иной плоскости по отношению к той, в которой лежит феномен знаков.}

Что касается Инассаридзе, то, возвращаясь к Квиллену и праотцам понятия гомологии вообще, принимается точка зрения, что группы гомологий- это объекты самой категории, т.е. гомологии группы- это группы, гомологии узлов- узлы, гомологии топологических пространств- топологические пространства и т.д.(если в архаичном смысле, то абелианизированные). Работа Инассаридзе преследует цель развивать гомологии без абелианизации, но тогда в нашем распоряжении (для вычислений) остаются только свободные симплициальные резольвенты и различные производные функторы на них. Такой формат развития гомологической алгебры, как говорят, по личным беседам, видел и так вами любимый Квиллен. Ещё, и для примера, в своём 600-ста страничном письме в адрес Квиллена Гротендик гениально подмечает, что фундаментальные группы сфер суть какие-то коммутаторные тождества, и это действительно недавно было осознано благодаря работам Ву и Эллиса, т.е. фундаментальные группы сфер- суть неабелевы производные от функтора Lie- а вот ЭТО уже ДЕЙСТВИТЕЛЬНО НОВАЯ МАТЕМАТИКА!!!

Хочу заступиться за Постникова, хоть он в этом и не нуждается!:-)
Феномен симмплициальности математики, а оказывается и логики в целом, далёк, во всяком случае для меня, от понимания. На этом пути пока сделаны только самые первые шаги, см., например, статьи R. Brown и T.Porter о неабелевой математике, нейронауке и феномене мышления в целом http://www.bangor.ac.uk/~mas010/, т.е. дельта видимо хороша тем, что само математическое мышление как-то построено на дельте. (вот например, следствие 4.3. стр.84 из книги с устаревшим предисловием ;-))

Поэтому позвольте присоединиться к посылке Леонида, только в усиленном виде: "Самая непонятная вещь в математике."

P.S.Будет очень интересно, мне кажется и Леониду тоже :-), какой станет теория чисел, когда полностью мотивизируют гомотопии и этальные когомологии.

[dmitri-pavlov.livejournal.com]

>Феномен симмплициальности математики, а оказывается и логики в целом, далёк, во всяком случае для меня, от понимания.

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

>На этом пути пока сделаны только самые первые шаги, см., например, статьи R. Brown и T.Porter о неабелевой математике, нейронауке и феномене мышления в целом http://www.bangor.ac.uk/~mas010/, т.е. дельта видимо хороша тем, что само математическое мышление как-то построено на дельте.

Звучит крайне подозрительно, особенно про нейронауку.
А какие именно статьи?

>(вот например, следствие 4.3. стр.84 из книги с устаревшим предисловием ;-))

Этот факт уже давно обсосан и разобран.
Почитайте, например, книгу Lurie «Higher Topos Theory». Там это развивается дальше.

[mikhandr.livejournal.com]

"В математике очень много феноменов, далёких
от понимание. Многие из них встречаются не реже,
чем симплициальные множества. Поэтому не очень
понятно, почему последним должно уделяться
особое внимание."

Я уже писал, хочется разобраться в кой каких гомологиях.

"Этот факт уже давно обсосан и разобран.
Почитайте, например, книгу Lurie «Higher Topos Theory». Там это развивается дальше."

И вы тоже к этому доктору отсылаете... А он (Lurie) ведь сразу хочет провести операцию на головном мозге. :-)

[dmitri-pavlov.livejournal.com]

>Я уже писал, хочется разобраться в кой каких гомологиях.

Допустим. Но как из этого следует, что симплициальный феномен важнее (непонятнее) всех остальных, я не понимаю.

Книга Lurie очень понятно написана и легко читается.

[mikhandr.livejournal.com]

Стоп.
Важнее и непонятнее вещи совершенно разные.
А непонятнее- это категория субъективная.

"Книга Lurie очень понятно написана и легко читается."
Эх, кто бы объяснил её содержание без прочтения 600 страниц.
Есть ли где-нибудь покороче насчёт Cat и Delta0Set?

[dmitri-pavlov.livejournal.com]

>Важнее и непонятнее вещи совершенно разные
Не очень понятно, в каком смысле симплициальные
феномены являются самыми непонятными,
если, как я уже сказал, мы их довольно хорошо понимаем.

>А непонятнее- это категория субъективная.
Как и важность.

>Эх, кто бы объяснил её содержание без прочтения 600 страниц.

Прочитайте введение.

>Есть ли где-нибудь покороче насчёт Cat и Delta0Set?

Это стандартная конструкция, называется нерв категории.
Её описание есть где угодно. В той же книге Lurie она разъясняется коротко и ясно (первая глава).
Смотрите также
http://golem.ph.utexas.edu/category/2008/01/geometric_representation_theor_18.html

[mikhandr.livejournal.com]

Ок, посмотрю.

[dmitri-pavlov.livejournal.com]

>Правда мы вот пытались понять феномен знаков в гомологической алгебре, а модельная категория врядле этому способствует ;-).

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

А все знаки на комплексах, как известно, вытекают из моноидальной
структуры на них.

[mikhandr.livejournal.com]

"А все знаки на комплексах, как известно, вытекают из моноидальной
структуры на них."
Это вы о чём?

[dmitri-pavlov.livejournal.com]

Уточнение: из симметрической моноидальной структуры.
На комплексах есть моноидальная структура — градуированное тензорное произведение.
На этой моноидальной структуре есть
различные сплетения (braiding).
Например, можно просто переставлять компоненты. Это не интеренсно.
А можно переставлять компоненты, и в случае, если обе они нечётные, менять знак.
Это сплетение является симметричным, и из получающейся
симметричной моноидальной структуры вылезает вся алгебра.

[mikhandr.livejournal.com]

Спасибо, попробую разобраться.

[dmitri-pavlov.livejournal.com]

{Кстати, сам Квиллен (уже через 4 года уже после "этого"!) сказал, что модельные категории не нужны (простите за резкость). Можно строить теорию гомотопий и на другой аксиоматической базе см. например Baues "Algebraic Homotopy". Принимая удобство понятия модельных категорий для алгебраизации геометрических задач, считаю, что ваши замечания лежат в иной плоскости по отношению к той, в которой лежит феномен знаков.}

Можно, а нужно ли? Модельные категории сейчас проникают
во все области математики, а где удалось применить подход Bauesa?

[mikhandr.livejournal.com]

"..а где удалось применить подход Bauesa?"

..там же, он определяет кофибрантные категории и строит аналогичную науку.

"Можно, а нужно ли?"

Это покажет время. :-)

[dmitri-pavlov.livejournal.com]

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

[mikhandr.livejournal.com]

А через 20 лет кто-то возможно напишет тоже самое о кофибрантных категориях. ;-)

[dmitri-pavlov.livejournal.com]

Всё может быть. Но пока применений не видно.

[mikhandr.livejournal.com]

Вопрос в том, выдержит ли страница posic или её автор наш диспут?
В любом случае, можете прямо у меня писать! :-)