Ночное рефлексирующее

Просто опыт жизни показывает, что я как тот капитализм. Или там, еврейский народ. То есть, примерно 90% людей, с которыми я сталкиваюсь, изначально убеждены или немедленно убеждаются в моей виновности по длинному списку взятых с потолка обвинений.

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

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

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

Это был подзамочный комментарий к открытому постингу https://posic.livejournal.com/1867096.html

Когомологии как производный функтор

Когомологии группы есть правый производный функтор функтора инвариантов. Гомологии группы есть левый производный функтор функтора коинвариантов. Когомологии пучков есть правый производный функтор функтора глобальных сечений.

Все это сложновато. Попробуем попроще. Коядро морфизма есть правый производный функтор функтора ядра морфизма. Ядро морфизма есть левый производный функтор функтора коядра морфизма.

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

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

Что значит "тейтовский производный функтор"? Это значит, что нужно использовать тот факт, что абелева категория комплексов векторных пространств фробениусова. Ее проективные объекты суть то же самое, что инъективные объекты, которые суть то же самое, что ацикличные (= стягиваемые) комплексы векторных пространств.

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

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

Это такое крайне тавтологическое утверждение. Но занятное.

А что делать, если комплексы не векторных пространств, а объектов какой-то абелевой категории? Производить предыдущую конструкцию в точной категории комплексов с почленно расщепимыми точными тройками. Эта точная категория (для любой даже не абелевой, а аддитивной категории) фробениусова, и ее проективно-инъективные объекты суть стягиваемые комплексы.

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