Лемма о змее: связывающий гомоморфизм простыми словами

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

Что утверждает лемма о змее

Возьмём коммутативную диаграмму в абелевой категории (например, в категории модулей над кольцом) с двумя точными строками:

$$\begin{aligned} & A \xrightarrow{f} B \xrightarrow{g} C \to 0 \\ & 0 \to A' \xrightarrow{f'} B' \xrightarrow{g'} C' \end{aligned}$$

Вертикальные отображения $a\colon A \to A'$, $b\colon B \to B'$, $c\colon C \to C'$ делают все квадраты коммутативными: $f' a = b f$ и $g' b = c g$. Лемма о змее утверждает, что существует точная последовательность

$$\ker a \to \ker b \to \ker c \xrightarrow{\;\partial\;} \operatorname{coker} a \to \operatorname{coker} b \to \operatorname{coker} c$$

где $\partial$ - тот самый связывающий гомоморфизм. Более того, если $f$ инъективно, то $\ker a \to \ker b$ тоже инъективно, а если $g'$ сюръективно, то $\operatorname{coker} b \to \operatorname{coker} c$ сюръективно. Название «змея» появляется именно из формы пути: связывающее отображение начинается в правом верхнем углу (в $\ker c$) и заканчивается в левом нижнем (в $\operatorname{coker} a$), извиваясь через середину.

Связывающий гомоморфизм: как он устроен

Самое неочевидное в лемме - само существование $\partial\colon \ker c \to \operatorname{coker} a$. Строится он диаграммной погоней по шагам. Возьмём элемент $x \in \ker c \subseteq C$.

1. Поскольку $g$ сюръективно (правый конец верхней строки заканчивается нулём), найдётся $y \in B$ с $g(y) = x$.
2. Применим $b$: получим $b(y) \in B'$. Так как диаграмма коммутативна и $c(x) = 0$, элемент $b(y)$ лежит в ядре $g'$, то есть в образе $f'$.
3. Значит, существует единственный $z \in A'$ с $f'(z) = b(y)$ (здесь работает инъективность $f'$).
4. Полагаем $\partial(x) = z + \operatorname{im} a \in \operatorname{coker} a$.

Ключевая тонкость: $y$ выбирается не однозначно, поэтому нужно проверить, что класс $z$ в коядре не зависит от выбора прообраза. Эта проверка - сердце доказательства, и именно её студенты чаще всего пропускают. Производные функторы, которые опираются на лемму о змее, тесно связаны со свойствами проективных модулей, через резольвенты которых считаются $\operatorname{Tor}$ и $\operatorname{Ext}$.

Рассчитать для своей задачи

Почему путь называют змеёй

Если выписать всю диаграмму целиком, добавив сверху строку ядер $\ker a, \ker b, \ker c$, а снизу строку коядер $\operatorname{coker} a, \operatorname{coker} b, \operatorname{coker} c$, то итоговая точная последовательность нарисуется как непрерывная линия. Она идёт слева направо по верхней строке ядер, затем связывающим гомоморфизмом $\partial$ спускается из $\ker c$ в $\operatorname{coker} a$, пересекая середину диаграммы, и снова идёт слева направо по нижней строке коядер. Эта S-образная траектория и дала имя лемме.

Важно, что вся последовательность из шести членов (или восьми, если добавить инъективность слева и сюръективность справа) точна в каждом узле. Точность в $\ker c$ и в $\operatorname{coker} a$ - самые трудные места, потому что именно там «стыкуется» связывающий гомоморфизм с соседними стрелками.

Доказательство точности: диаграммная погоня

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

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

Типичный фрагмент: чтобы доказать точность в $\ker c$, берём $x \in \ker c$ с $\partial(x) = 0$ и показываем, что $x$ лежит в образе $\ker b \to \ker c$. Условие $\partial(x) = 0$ означает, что построенный $z$ попал в образ $a$, и аккуратной коррекцией прообраза $y$ мы добиваемся, чтобы он лежал в $\ker b$.

Всего узлов для проверки шесть, и удобно разбить их на три типа. Точность в $\ker a$ и $\ker b$ (а также в $\operatorname{coker} b$ и $\operatorname{coker} c$) наследуется почти напрямую из точности исходных строк: ограничение исходных стрелок $f, g$ на ядра и индуцированные стрелки на коядрах сохраняют образы и ядра. Точность же в $\ker c$ и $\operatorname{coker} a$ - это два «стыка» со связывающим гомоморфизмом, и только они требуют полной погони с выбором прообраза. Полезный приём при разборе: не держать в голове всю диаграмму, а вести отдельно одну стрелку за раз, выписывая на каждом шаге, в каком объекте сейчас находится элемент и какое условие про него уже известно.

Рассчитать для своей задачи

Где лемма о змее работает

Лемма - рабочий инструмент, а не музейный экспонат. Чаще всего она применяется так:

• Длинная точная последовательность гомологий. Из короткой точной последовательности комплексов лемма о змее даёт связывающий гомоморфизм $\partial\colon H_n(C) \to H_{n-1}(A)$ и склеивает гомологии в длинную точную последовательность. Это основа всей гомологической алгебры.
• Производные функторы. Длинные точные последовательности для $\operatorname{Tor}$ и $\operatorname{Ext}$ получаются ровно тем же приёмом.
• Теория пучков и когомологии. Связывающий гомоморфизм возникает при переходе от короткой точной последовательности пучков к длинной последовательности когомологий.

Во всех этих случаях именно змея переносит «дефект точности» с одного уровня на соседний. Например, при вычислении гомологий короткая точная последовательность комплексов $0 \to A_\bullet \to B_\bullet \to C_\bullet \to 0$ распадается в каждой степени на короткие точные последовательности модулей, лемма о змее даёт связывающий $\partial$, и из кусочков складывается бесконечная цепочка, в которой соседние гомологии $A$, $B$ и $C$ переплетены. Без этого механизма гомологии трёх комплексов оставались бы тремя независимыми наборами чисел, а лемма о змее показывает, насколько жёстко они связаны.

Если вам нужно разобрать конкретную диаграмму или применение, удобнее собрать запрос в форме выше и довести разбор в чате.

Частые ошибки

• Забыть проверить корректность $\partial$. Связывающий гомоморфизм определён через выбор прообраза $y$, и независимость класса от этого выбора - обязательный шаг, а не очевидность.
• Перепутать направление стрелок. Верхняя строка заканчивается нулём (сюръективность $g$), нижняя начинается с нуля (инъективность $f'$). Поменяв их местами, конструкцию $\partial$ построить нельзя.
• Считать, что крайние стрелки всегда инъективны и сюръективны. Дополнительная инъективность $\ker a \to \ker b$ и сюръективность $\operatorname{coker} b \to \operatorname{coker} c$ требуют дополнительных условий ($f$ инъективно, $g'$ сюръективно).
• Думать, что лемма работает в любой категории. Нужна абелева категория (или хотя бы категория модулей): без ядер, коядер и точности конструкция теряет смысл.
• Игнорировать коммутативность квадратов. Без $f'a = bf$ и $g'b = cg$ элемент $b(y)$ не попадёт в образ $f'$, и третий шаг погони рассыплется.

FAQ

Почему лемма называется именно «о змее»? Из-за формы итоговой точной последовательности. Если нарисовать диаграмму с ядрами сверху и коядрами снизу, путь последовательности идёт зигзагом: по верхней строке, затем связывающим гомоморфизмом по диагонали вниз через центр, и снова по нижней строке. Эта S-образная линия похожа на ползущую змею.

В каких категориях верна лемма о змее? В любой абелевой категории: категории модулей над кольцом, абелевых групп, пучков абелевых групп, комплексов. Нужны существование ядер и коядер и понятие точности. Для произвольной абелевой категории доказательство опирается на лемму о вложении Митчелла либо на язык подобъектов.

Зачем нужен связывающий гомоморфизм на практике? Он склеивает короткие точные последовательности в длинные. Самое важное применение - длинная точная последовательность гомологий из короткой точной последовательности цепных комплексов; на ней держатся производные функторы $\operatorname{Tor}$ и $\operatorname{Ext}$ и когомологии пучков.

Коротко

Лемма о змее из коммутативной диаграммы с двумя точными строками строит точную последовательность ядер и коядер трёх вертикальных отображений, соединённую связывающим гомоморфизмом $\partial\colon \ker c \to \operatorname{coker} a$. Сам $\partial$ задаётся диаграммной погоней - выбором прообраза и спуском через середину диаграммы, а доказательство сводится к проверке точности в каждом узле. Практическая ценность леммы в том, что она превращает короткие точные последовательности в длинные и лежит в основе всей гомологической алгебры.