Гомологическая алгебра - Википедия - Homological algebra

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

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

Развитие гомологической алгебры было тесно связано с появлением теория категорий. По большому счету, гомологическая алгебра - это изучение гомологических функторы и сложные алгебраические структуры, которые они влекут за собой. Одна довольно полезная и повсеместная концепция в математике - это концепция цепные комплексы, которые можно изучать как через их гомологии, так и через когомология. Гомологическая алгебра предоставляет средства для извлечения информации, содержащейся в этих комплексах, и представления ее в форме гомологической инварианты из кольца, модули, топологические пространства, и другие «материальные» математические объекты. Мощный инструмент для этого предоставляется спектральные последовательности.

С самого начала гомологическая алгебра играла огромную роль в алгебраической топологии. Его влияние постепенно расширялось и в настоящее время включает коммутативная алгебра, алгебраическая геометрия, алгебраическая теория чисел, теория представлений, математическая физика, операторные алгебры, комплексный анализ, и теория уравнения в частных производных. K-теория является независимой дисциплиной, которая опирается на методы гомологической алгебры, как и некоммутативная геометрия из Ален Конн.

История гомологической алгебры

Гомологическая алгебра начала изучаться в своей самой основной форме в 1800-х годах как раздел топологии, но только в 1940-х годах она стала самостоятельным предметом с изучением таких объектов, как ext функтор и тор-функтор, среди прочего.^[1]

Цепные комплексы и гомологии

Понятие цепной комплекс является центральным в гомологической алгебре. Аннотация цепной комплекс это последовательность ${ displaystyle (C _ { bullet}, d _ { bullet})}$ из абелевы группы и групповые гомоморфизмы, со свойством, что композиция любых двух последовательных карты равно нулю:

${ displaystyle C _ { bullet}: cdots longrightarrow C_ {n + 1} { stackrel {d_ {n + 1}} { longrightarrow}} C_ {n} { stackrel {d_ {n}} { longrightarrow}} C_ {n-1} { stackrel {d_ {n-1}} { longrightarrow}} cdots, quad d_ {n} circ d_ {n + 1} = 0.}$

Элементы C_п называются п-цепи и гомоморфизмы d_п называются карты границ или же дифференциалы. В цепные группы C_п может быть наделен дополнительной структурой; например, они могут быть векторные пространства или же модули за фиксированный звенеть р. Дифференциалы должны сохранять дополнительную структуру, если она существует; например, они должны быть линейные карты или гомоморфизмы р-модули. Для удобства обозначений ограничимся абелевыми группами (вернее, категория Ab абелевых групп); знаменитый Теорема Барри Митчелла подразумевает, что результаты будут обобщены на любой абелева категория. Каждый цепной комплекс определяет еще две последовательности абелевых групп: циклы Z_п = Ker d_п и границы B_п = Im d_п+1, где Kerd и яd обозначить ядро и изображение из d. Поскольку композиция двух последовательных граничных карт равна нулю, эти группы вкладываются друг в друга как

${ displaystyle B_ {n} substeq Z_ {n} substeq C_ {n}.}$

Подгруппы абелевых групп автоматически нормальный; поэтому мы можем определить пth группа гомологии ЧАС_п(C) как факторная группа из п-циклы по п-границы,

${ displaystyle H_ {n} (C) = Z_ {n} / B_ {n} = operatorname {Ker} , d_ {n} / operatorname {Im} , d_ {n + 1}.}$

Цепной комплекс называется ациклический или точная последовательность если все его группы гомологий равны нулю.

Цепные комплексы в большом количестве возникают в алгебра и алгебраическая топология. Например, если Икс это топологическое пространство затем особые цепи C_п(Икс) формальные линейные комбинации из непрерывные карты из стандарта п-симплекс в Икс; если K это симплициальный комплекс затем симплициальные цепи C_п(K) являются формальными линейными комбинациями п-просты K; если А = F/р является представлением абелевой группы А к генераторы и отношения, куда F это свободная абелева группа охватывается генераторами и р - подгруппа отношений, то полагая C₁(А) = р, C₀(А) = F, и C_п(А) = 0 для всех остальных п определяет последовательность абелевых групп. Во всех этих случаях существуют естественные дифференциалы d_п изготовление C_п в цепной комплекс, гомологии которого отражают структуру топологического пространства Икс, симплициальный комплекс K, или абелева группа А. В случае топологических пространств мы приходим к понятию особые гомологии, который играет фундаментальную роль при исследовании свойств таких пространств, например, коллекторы.

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

• Два объекта Икс и Y связаны картой ж между ними. Гомологическая алгебра изучает отношение, индуцированное отображением ж, между цепными комплексами, связанными с Икс и Y и их гомологии. Это обобщено на случай нескольких объектов и соединяющих их карт. Сформулировано на языке теория категорий, гомологическая алгебра изучает функториальные свойства различных построений цепных комплексов и гомологии этих комплексов.
• Объект Икс допускает множественные описания (например, как топологическое пространство и как симплициальный комплекс) или комплекс ${ displaystyle C _ { bullet} (X)}$ построен с использованием некоторого "представления" Икс, что предполагает неканонический выбор. Важно знать эффект изменения в описании Икс на цепных комплексах, связанных с Икс. Обычно комплекс и его гомология ${ Displaystyle Н _ { пуля} (С)}$ функториальны по отношению к представлению; и гомология (хотя и не сам комплекс) фактически не зависит от выбранного представления, таким образом, это инвариантный из Икс.

Стандартные инструменты

Точные последовательности

В контексте теория групп, последовательность

${ displaystyle G_ {0} ; { xrightarrow {f_ {1}}} ; G_ {1} ; { xrightarrow {f_ {2}}} ; G_ {2} ; { xrightarrow {f_ {3}}} ; cdots ; { xrightarrow {f_ {n}}} ; G_ {n}}$

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

${ displaystyle mathrm {im} (f_ {k}) = mathrm {ker} (f_ {k + 1}). !}$

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

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

Короткая точная последовательность

Наиболее распространенный тип точной последовательности - это короткая точная последовательность. Это точная последовательность вида

${ displaystyle A ; { overset {f} { hookrightarrow}} ; B ; { overset {g} { twoheadrightarrow}} ; C}$

где ƒ - мономорфизм и грамм является эпиморфизм. В этом случае, А это подобъект из B, а соответствующие частное является изоморфный к C:

${ Displaystyle C cong B / f (A).}$

(куда f (А) = им (ж)).

Короткую точную последовательность абелевых групп можно также записать в виде точной последовательности из пяти членов:

${ displaystyle 0 ; { xrightarrow {}} ; A ; { xrightarrow {f}} ; B ; { xrightarrow {g}} ; C ; { xrightarrow {}} ; 0 }$

где 0 представляет нулевой объект, такой как тривиальная группа или нульмерное векторное пространство. Размещение 0 сил ƒ быть мономорфизмом и грамм быть эпиморфизмом (см. ниже).

Длинная точная последовательность

Длинная точная последовательность - это точная последовательность, индексированная натуральные числа.

Лемма пяти

Рассмотрим следующие коммутативная диаграмма в любом абелева категория (например, категория абелевы группы или категория векторные пространства над данным поле ) или в категории группы.

Лемма пяти утверждает, что если строки точный, м и п находятся изоморфизмы, л является эпиморфизм, и q это мономорфизм, тогда п также является изоморфизмом.

Лемма о змее

В абелева категория (например, категория абелевы группы или категория векторные пространства над данным поле ) рассмотрим коммутативная диаграмма:

где строки точные последовательности а 0 - это нулевой объект.Тогда есть точная последовательность, относящаяся к ядра и коядра из а, б, и c:

${ displaystyle ker a to ker b to ker c { overset {d} { to}} operatorname {coker} a to operatorname {coker} b to operatorname {coker} c}$

Кроме того, если морфизм ж это мономорфизм, то морфизм kerа → керб, и если грамм' является эпиморфизм, то кокерб → коксовательc.

Абелевы категории

В математика, абелева категория это категория в котором морфизмы и объекты могут быть добавлены и в которые ядра и коядра существуют и имеют желаемые свойства. Мотивирующим прототипом абелевой категории является категория абелевых групп, Ab. Теория возникла в результате предварительной попытки объединить несколько теории когомологий к Александр Гротендик. Абелевы категории очень стабильный категории, например они обычный и они удовлетворяют лемма о змеях. Класс абелевых категорий замыкается относительно нескольких категориальных конструкций, например, категория категорий цепные комплексы абелевой категории, или категории функторы из малая категория в абелеву категорию тоже абелевы. Эти свойства устойчивости делают их неизбежными в гомологической алгебре и за ее пределами; теория имеет важные приложения в алгебраическая геометрия, когомология и чистый теория категорий. Абелевы категории названы в честь Нильс Хенрик Абель.

Более конкретно, категория абелевский если

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

Функтор Ext

Позволять р быть звенеть и пусть Mod_р быть категория из модули над р. Позволять B быть в моде_р и установить Т(B) = Hom_р(А, Б), для фиксированного А в моде_р. Это левый точный функтор и поэтому имеет право производные функторы р^пТ. Функтор Ext определяется как

${ displaystyle operatorname {Ext} _ {R} ^ {n} (A, B) = (R ^ {n} T) (B).}$

Это можно рассчитать, взяв любой инъекционное разрешение

${ displaystyle 0 rightarrow B rightarrow I ^ {0} rightarrow I ^ {1} rightarrow dots,}$

и вычисления

${ displaystyle 0 rightarrow operatorname {Hom} _ {R} (A, I ^ {0}) rightarrow operatorname {Hom} _ {R} (A, I ^ {1}) rightarrow dots.}$

Потом (р^пТ)(B) это гомология этого комплекса. Обратите внимание, что Hom_р(А, Б) исключен из комплекса.

Альтернативное определение дается с использованием функтора грамм(А) = Hom_р(А, Б). Для фиксированного модуля B, это контравариантный левый точный функтор, и поэтому мы также имеем право производные функторы р^пграмм, и может определить

${ displaystyle operatorname {Ext} _ {R} ^ {n} (A, B) = (R ^ {n} G) (A).}$

Это можно рассчитать, выбрав любой проективное разрешение

${ displaystyle dots rightarrow P ^ {1} rightarrow P ^ {0} rightarrow A rightarrow 0,}$

и продолжая дважды, вычисляя

${ displaystyle 0 rightarrow operatorname {Hom} _ {R} (P ^ {0}, B) rightarrow operatorname {Hom} _ {R} (P ^ {1}, B) rightarrow dots.}$

Потом (р^пграмм)(А) - гомологии этого комплекса. Снова отметим, что Hom_р(А, Б) исключен.

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

Функтор Tor

Предполагать р это звенеть, и обозначается р-Мод то категория из оставили р-модули и по Мод-р категория права р-модули (если р является коммутативный, две категории совпадают). Исправить модуль B в р-Мод. За А в Мод-р, набор Т(А) = А⊗_рB. потом Т это правильный точный функтор из Мод-р к категория абелевых групп Ab (в случае, когда р коммутативен, это точный правый функтор из Мод-р к Мод-р) и это левые производные функторы L_пТ определены. Мы установили

${ displaystyle mathrm {Tor} _ {n} ^ {R} (A, B) = (L_ {n} T) (A)}$

т.е. возьмем проективное разрешение

${ displaystyle cdots rightarrow P_ {2} rightarrow P_ {1} rightarrow P_ {0} rightarrow A rightarrow 0}$

затем удалите А член и тензор проективного разрешения с B получить комплекс

${ displaystyle cdots rightarrow P_ {2} otimes _ {R} B rightarrow P_ {1} otimes _ {R} B rightarrow P_ {0} otimes _ {R} B rightarrow 0}$

(Обратите внимание, что А⊗_рB не появляется, а последняя стрелка - это просто нулевая карта) и возьмите гомология этого комплекса.

Спектральная последовательность

Исправить абелева категория, например, категория модулей над кольцом. А спектральная последовательность выбор неотрицательного целого числа р₀ и набор из трех последовательностей:

1. Для всех целых чисел р ≥ р₀, объект E_р, называется простынь (как в листе бумага ), а иногда и страница или срок,
2. Эндоморфизмы d_р : E_р → E_р удовлетворение d_р о d_р = 0, называется карты границ или же дифференциалы,
3. Изоморфизмы E_{г + 1} с ЧАС(E_р), гомологии E_р относительно d_р.

E₂ лист когомологической спектральной последовательности

Двукратно дифференцированная спектральная последовательность содержит огромное количество данных, которые необходимо отслеживать, но есть общий метод визуализации, который делает структуру спектральной последовательности более ясной. У нас есть три индекса, р, п, и q. Для каждого р, представьте, что у нас есть лист миллиметровой бумаги. На этом листе мы возьмем п быть горизонтальным направлением и q быть вертикальным направлением. В каждой точке решетки есть объект ${ displaystyle E_ {r} ^ {p, q}}$.

Это очень распространено для п = п + q быть еще одним естественным индексом в спектральной последовательности. п проходит по диагонали, с северо-запада на юго-восток, через каждый лист. В гомологическом случае дифференциалы имеют бистепень (-р, р - 1), поэтому они уменьшаются п одним. В когомологическом случае п увеличивается на единицу. Когда р равен нулю, дифференциал перемещает объекты на одну позицию вниз или вверх. Это похоже на дифференциал на цепном комплексе. Когда р единица, дифференциал перемещает объекты на одно деление влево или вправо. Когда р два, дифференциал перемещает объекты так же, как рыцарь переехать шахматы. Для высших р, дифференциал действует как обобщенный ход коня.

Производный функтор

Предположим, нам дан ковариант левый точный функтор F : А → B между двумя абелевы категории А и B. Если 0 → А → B → C → 0 - короткая точная последовательность в А, затем применяя F дает точную последовательность 0 → F(А) → F(B) → F(C), и можно спросить, как продолжить эту последовательность вправо, чтобы сформировать длинную точную последовательность. Строго говоря, этот вопрос некорректно поставлен, поскольку всегда существует множество различных способов продолжить заданную точную последовательность вправо. Но оказывается, что (если А достаточно "приятно") есть один канонический способ сделать это, заданный правильными производными функторами F. Для каждого я≥1 существует функтор р^яF: А → B, и приведенная выше последовательность продолжается так: 0 → F(А) → F(B) → F(C) → р¹F(А) → р¹F(B) → р¹F(C) → р²F(А) → р²F(B) → .... Из этого мы видим, что F является точным функтором тогда и только тогда, когда р¹F = 0; так что в некотором смысле правые производные функторы F измерить "как далеко" F от точности.

Функциональность

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

А морфизм между двумя цепными комплексами, ${ displaystyle F: C _ { bullet} to D _ { bullet},}$ семейство гомоморфизмов абелевых групп ${ displaystyle F_ {n}: C_ {n} to D_ {n}}$ которые коммутируют с дифференциалами, в том смысле, что ${ displaystyle F_ {n-1} circ d_ {n} ^ {C} = d_ {n} ^ {D} circ F_ {n}}$ для всех п. Морфизм цепных комплексов индуцирует морфизм ${ displaystyle H _ { bullet} (F)}$ групп их гомологий, состоящих из гомоморфизмов ${ displaystyle H_ {n} (F): H_ {n} (C) to H_ {n} (D)}$ для всех п. Морфизм F называется квазиизоморфизм если он индуцирует изоморфизм на пй гомологии для всех п.

Многие конструкции цепных комплексов, возникающие в алгебре и геометрии, в том числе особые гомологии, имеют следующие функториальность свойство: если два объекта Икс и Y связаны картой ж, то ассоциированные цепные комплексы соединяются морфизмом ${ Displaystyle F = C (е): C _ { bullet} (X) к C _ { bullet} (Y),}$ и, кроме того, состав ${ displaystyle g circ f}$ карт ж: Икс → Y и грамм: Y → Z вызывает морфизм ${ Displaystyle C (г CIRC F): C _ { bullet} (X) to C _ { bullet} (Z)}$ что совпадает с составом ${ Displaystyle C (g) circ C (f).}$ Отсюда следует, что группы гомологий ${ Displaystyle Н _ { пуля} (С)}$ также являются функториальными, так что морфизмы между алгебраическими или топологическими объектами порождают совместимые отображения между их гомологиями.

Следующее определение вытекает из типичной ситуации в алгебре и топологии. Тройка, состоящая из трех цепных комплексов ${ displaystyle L _ { bullet}, M _ { bullet}, N _ { bullet}}$ и два морфизма между ними, ${ displaystyle f: L _ { bullet} to M _ { bullet}, g: M _ { bullet} to N _ { bullet},}$ называется точная тройка, или короткая точная последовательность комплексов, и записывается как

${ displaystyle 0 longrightarrow L _ { bullet} { overset {f} { longrightarrow}} M _ { bullet} { overset {g} { longrightarrow}} N _ { bullet} longrightarrow 0,}$

если для любого п, последовательность

${ displaystyle 0 longrightarrow L_ {n} { overset {f_ {n}} { longrightarrow}} M_ {n} { overset {g_ {n}} { longrightarrow}} N_ {n} longrightarrow 0}$

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

${ displaystyle ldots longrightarrow H_ {n} (L) { overset {H_ {n} (f)} { longrightarrow}} H_ {n} (M) { overset {H_ {n} (g)} { longrightarrow}} H_ {n} (N) { overset { delta _ {n}} { longrightarrow}} H_ {n-1} (L) { overset {H_ {n-1} (f) } { longrightarrow}} H_ {n-1} (M) longrightarrow ldots,}$

где группы гомологии L, M, и N циклически следуют друг за другом, и δ_п некоторые гомоморфизмы, определяемые ж и грамм, называется соединяющие гомоморфизмы. Топологические проявления этой теоремы включают Последовательность Майера – Виеториса и длинная точная последовательность для относительная гомология.

Основополагающие аспекты

Теории когомологий были определены для многих различных объектов, таких как топологические пространства, снопы, группы, кольца, Алгебры Ли, и C * -алгебры. Изучение современного алгебраическая геометрия было бы почти немыслимо без когомологии пучков.

Центральным в гомологической алгебре является понятие точная последовательность; их можно использовать для выполнения реальных расчетов. Классическим инструментом гомологической алгебры является инструмент производный функтор; самые простые примеры - функторы Ext и Tor.

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

• Картан -Эйленберг: В своей книге 1956 г. «Гомологическая алгебра» эти авторы использовали проективный и инъективные разрешения модуля.
• «Тохоку»: подход в знаменитая бумага к Александр Гротендик который появился во второй серии Математический журнал Тохоку в 1957 г., используя абелева категория концепция (включить снопы абелевых групп).
• В производная категория из Гротендик и Вердье. Производные категории восходят к тезису Вердье 1967 года. Они примеры триангулированные категории используется в ряде современных теорий.

Они переходят от вычислимости к общности.

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

Были попытки создания «некоммутативных» теорий, расширяющих первые когомологии как торсоры (важно в Когомологии Галуа ).

Смотрите также

• Абстрактная чушь, термин для гомологической алгебры и теория категорий
• Дериватор
• Гомотопическая алгебра
• Список тем по гомологической алгебре

Рекомендации

• Анри Картан, Сэмюэл Эйленберг, Гомологическая алгебра. С приложением Дэвида А. Бухсбаума. Перепечатка оригинала 1956 года. Достопримечательности Принстона в математике. Princeton University Press, Princeton, NJ, 1999. xvi + 390 с. ISBN  0-691-04991-2
• Гротендик, Александр (1957). "Sur quelques points d'algèbre homologique, I". Математический журнал Тохоку. 9 (2): 119–221. Дои:10.2748 / tmj / 1178244839.
• Saunders Mac Lane, Гомология. Перепечатка издания 1975 года. Классика по математике. Springer-Verlag, Берлин, 1995. x + 422 с. ISBN  3-540-58662-8
• Питер Хилтон; Штаммбах, У. Курс гомологической алгебры. Второе издание. Тексты для выпускников по математике, 4. Springer-Verlag, New York, 1997. xii + 364 с. ISBN  0-387-94823-6
• Гельфанд, Сергей I .; Юрий Манин, Методы гомологической алгебры. Перевод с русского издания 1988 г. Второе издание. Монографии Спрингера по математике. Springer-Verlag, Берлин, 2003. xx + 372 с. ISBN  3-540-43583-2
• Гельфанд, Сергей I .; Юрий Манин, Гомологическая алгебра. Перевод авторов с русского оригинала 1989 г. Перепечатка оригинального английского издания из серии Encyclopaedia of Mathematical Sciences (Алгебра, V, Encyclopaedia Math. Sci., 38, Springer, Berlin, 1994). Springer-Verlag, Берлин, 1999. iv + 222 с. ISBN  3-540-65378-3
• Вейбель, Чарльз А. (1994). Введение в гомологическую алгебру. Кембриджские исследования в области высшей математики. 38. Издательство Кембриджского университета. ISBN  978-0-521-55987-4. МИСТЕР  1269324. OCLC  36131259.