October 28th, 2009

Ацикличные комплексы

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

1. Ацикличный комплекс как резольвента своего модуля циклов в степени 0. На этой идее основана теория когомологий Тейта, где ключевую роль играет категория бесконечных в обе стороны ацикличных комплексов с какими-то там свойствами приспособленности. Типичный пример -- внешняя алгебра с одной образующей Λ и известный бесконечный в обе стороны, нестягиваемый, ацикличный комплекс проективно-инъективных Λ-модулей (с одной (ко)образующей).

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

Типичным примером может служить симметрическая коалгебра C с бесконечным числом кообразующих. Если рассмотреть тривиальный C-комодуль k, написать ему правую инъективную резольвенту в категории С-комодулей, и применить функтор комодульно-контрамодульного соответствия &PsiC = Hom_C(C,-), получится ацикличный комплекс свободных C-контрамодулей, который можно представлять себе, как проективную резольвенту тривиального контрамодуля k, помещенного в когомологическую степень +∞. На самом деле в плюс бесконечности сидит, конечно, не k, а некое условное одномерное векторное пространство, не вполне существующее, поскольку бесконечно подкрученное. Чтобы понять, что происходит, можно заменить C на симметрическую коалгебру с конечным числом n кообразующих; тогда RΨC(k) будет одномерным контрамодулем, сидящим в когомологической градуировке n. На более привычном языке алгебр, речь здесь идет о вычислении Ext*A(k,A) для кольца многочленов A от конечного или бесконечного числа переменных.

Collapse )

Мораль: с точки зрения пункта 2, не следует ограничиваться одними только ацикличными комплексами. Просто любой объект контрапроизводной категории имеет, наряду с когомологиями в конечных степенях, некие очень условные "когомологии на плюс бесконечности". А объект копроизводной категории -- имеет "когомологии на минус бесконечности". В отдельных случаях объекты контрапроизводной категории могут мыслиться как (проективные) резольвенты чего-то там, живущего на плюс бесконечности. Что это за отдельные случаи -- трудно сказать, но вопрос не обязательно сводится к рассмотрению подкатегории в контрапроизводной категории, состоящей из ацикличных комплексов.

Псевдонаучная псевдодеятельность

http://gavagay.livejournal.com/356234.html
http://ivanov-petrov.livejournal.com/1298972.html
http://mike67.livejournal.com/262055.html

1. Денег слишком много в этой молекулярной биологии патамушта. Государственных, как водится. По хорошему, всем этим конкурирующим командам следовало бы объединить усилия, а не растрачивать интеллектуальные и прочие ресурсы на бессмысленные гонки. А нет, так пойти заняться чем-нибудь другим.
2. Лично мне единственную жизнь хотелось бы провести, делая что-то такое, чего не сделают без меня. А не участвуя в погонях за приоритетами в получении результатов, которые неизбежно будут получены в самое ближайшее время, и вопрос только в том, кто именно сделает это первым.
3. Жизнь может заставить много чем заниматься, конечно. Но тогда так и надо говорить.
4. Я свои соображения публикую в ЖЖ, чего и другим желаю.