Когомологія

Когомологія — загальний термін для послідовностей абелевих груп, пов'язаних із топологічним простором, який часто визначається з коланцюгового комплексу.

Історія поняття

Гомологічні поняття вперше з'явилися при вивченні комплексних алгебричних кривих (функцій однієї змінної). Класичний прийом їх дослідження полягав у розгляді інтегралів від раціональних (або голоморфних) функцій. При цьому шлях інтегрування зазвичай явно не вказувався, вказувалися лише початкова й кінцева точки. Інтеграл був визначений із точністю до періодів. Тобто мова йде про одновимірні гомології відповідної ріманової поверхні.

При переході до многовидів більшої розмірності виникла необхідність у відповідних узагальненнях — «шляхах інтегрування». Пуанкаре належить ідея розглядати -вимірні плівки, які лежать у многовиді. Якщо ця плівка не має межі або замкнена, вона називається циклом. У загальному випадку у неї є межа — плівка розмірності . Плівки гомологічні, якщо вони обмежують (з різних сторін) плівку розмірності на 1 більше. Класи гомологічних плівок називаються гомологіями розглядуваного многовиду.

Потік рідини (без джерел) через поверхні двох концентричних сфер є однаковим. При інтегруванні замкненої форми по -вимірному циклу можна замінювати цикл на інший за умови, що їх розмірність є межа -вимірного ланцюга («плівки»):

Якщо та де  — група циклів. Такі два цикли Пуанкаре назвав гомологічними[1].

Поняття когомології було уведено Александером та Колмогоровим. Когомологія є топологічним поняттям, яке розвивалося спочатку для комплексних многовидів. Поступово стало зрозуміло, що зручно користуватися не лише сталими коефіцієнтами, але й змінними коефіцієнтами та коефіцієнтами у пучках. Поворотним моментом у алгебрі можна вважати теорему А. Картана про тривіальність когомологій когерентних аналітичних пучків на афінних многовидах. Завдяки їй когомологію можна було обчислювати за допомогою афінного покриття. Це відкрило шлях до визначення когомологій когерентних пучків на будь-якому абстрактному алгебричному многовиді (Серр).

Допоміжні визначення

Наприклад, будь-який алгебричний многовид над полем (або ) наділений триангуляцією і навіть напівалгебричною триангуляцією. -вимірним ланцюгом такої триангуляції називається алгебрична сума -вимірних симплексів триангуляції. -вимірні ланцюги утворюють комутативну групу Межа -вимірного симплексу — це сума усіх його граней розмірності . По лінійності поняття межі переноситься на будь-які ланцюги й дає оператор межі:

Найважливішою властивістю оператора межі є те, що (межа завжди цикл), щоправда для цього потрібно працювати із орієнтованими симплексами. Набір груп й межевих гомоморфізмів утворює так званий ланцюговий комплекс[2]:

Гомології триангуляції (або комплексу ) визначаються як цикли по модулю меж

Нехай  — довільне кільце із одиницею. Абелева група називається -модулем, якщо будь-яким елементам віднесений деякий елемент причому

Підгрупа модуля називається підмодулем, якщо . Гомоморфізм модуля у модуль називається лінійним, якщо .

Нехай скінченному числу (додатному, від'ємному або рівному нулю) віднесена декотра група й деякий гомоморфізм система () груп гомоморфізмів називається прямою послідовністю груп. Пряма послідовність називається точною, якщо для будь-якого образ гомоморфізму збігається з ядром гомоморфізму

Нехай будь-якому числу (додатному, від'ємному або рівному нулю) віднесені деяка група й деякий гомоморфізм утворена при цьому система груп та гомоморфізмів називається зворотною послідовністю груп. Зворотна послідовність називається точною, якщо для будь-якого образ гомоморфізму збігається із ядром гомоморфізму

Ядро гомоморфізму визначається як підгрупа, яка складається з усіх елементів групи які відображаються у нуль групи і позначається через [3]

Окрім основних тверджень аксіом Стінрода-Ейленберга або їх слідств у теорії гомологій та когомологій некомпактних поліедрів виникають факти, які не випливають з цих аксіом, але вважаються очевидними.

Визначення груп гомологій засноване на операції межі симплексу із вершинами яка описується формулою

де дашок над означає, що ця вершина є пропущеною. Кожний симплекс розглядається разом із його орієнтацією, яка задається (із точністю до будь-яких парних перестановок) порядком вершин. Знак мінус перед симплексом означає зміну орієнтації, тому усі грані , які фігурують у правій частині, мають однакову орієнтацію, яка задає орієнтацію межі . Ця формула визначає межевий гомоморфізм :

у групах ланцюгів комплексу із коефіцієнтами у абелевій групі (тобто лінійних комбінацій з коефіцієнтами у орієнтованих комплексів ).

Основне визначення

Замість ланцюгів можна користатися двоїстим поняттям коланцюга — функції на множині «симплексів» із значенням у групі Так отримується коланцюговий комплекс. Якщо  — будь-яка функція, визначена на -вимірних орієнтованих симплексах й яка приймає значення у групі (припускається, що змінює знак при зміні орієнтації аргумента; такі функції називаються -вимірними альтернійованими коланцюгами), то на -вимірних симплексах виникає функція  — комежа :

(значення на багатограннику дорівнює сумі значень на відповідним чином зорієнтованих гранях).

Як і у випадку ланцюгів,  — коланцюги типу виду (вони називаються комежами) є коциклами. Нехай для , відмінного від 0 на єдиному симплексі Для будь-якого симплексу який містить , значення на ньому дорівнює нулю как двічі узяте із протилежними знаками значення на . Тим самим визначаються групи когомологій які отримуються шляхом факторизації -вимірних коциклів комплексу по підгрупі комежей.

Когомології, на відміну від гомологій, контраваріантно залежать від простору. У порівнянні із гомологіями їх перевага полягає у наявності добутку, яке перетворює у градуйоване косокомутативне кільце. У випадку гладких многовидів цей добуток двоїстий більш наочній операції перетину циклів або гомологій.

є слідством гомоморфізм дуальний щодо при ототожненні коланцюгів із групами гомоморфізмів у вільних груп ланцюгів ( — група цілих чисел).

Поняття когомології є двоїстим поняттю гомології. Якщо  — кільце, тоу групі когомологій визначений добуток Колмогорова-Александера (або -добуток), який перетворює цю групу у градуйоване кільце, яке називається кільцем когомологій. У випадку, коли  — диференційовуваний многовид, кільце когомологій може бути обчислене за допомогою диференціальних форм на .

Усі форми на утворюють лінійний простір, замкнені -форми — його підпростір, а диференціали -форм — підпростір простору замкнених форм. Фактор-простір

називається -вимірною групою когомологій топологічного простору Елементом цієї групи є клас замкнених форм, які відрізняються одна від одної лише на диференціал. Розмірність простору називається -вимірним числом Бетті топологічного простору

Один з варіантів визначення когомологій пов'язаний із використанням в якості коефіцієнтів не , а довільної абелевої групи Когомології, які отримуються, позначаються через . Більш цікаві речі можна отримати, якщо скористатися «змінними» системами коефіцієнтів — пучками.

Типовий прийом дослідження многовидів або просторів полягає у розшаруванні їх на многовиди меншої розмірності. Нехай є таким розшаруванням; тоді повинен існувати тісний зв'язок міжкогомологіями та когомологіями шарів Однак лише у деяких випадках вдається обійтися без вироджень, коли усі шари однакові. У загальному випадку усі шари набувають особливості, які відрізняються від типових; вони відіграють головну роль. Когомології шарів вже не утворюють неперервний, а тим більше сталий клас. Виникаючи при цьому об'єкти Жан Лере назвав пучками.[4]

Фізичний зміст

Якщо  — значення потенціалу у точках (0-вимірний коланцюг), то на кожному (орієнтованому) відрізку  — різниця потенціалів у кінцях відрізку. Якщо  — сили, прикладені уздовж ребер багатокутників (1-вимірний коланцюг), то  — моменти на них. Якщо  — інтенсивність потоку газу через грані (2-вимірний коланцюг), то  — швидкість накопичення газу всередині відповідних багатогранників. У термінах операцій та записуються закони Кірхгофа у формі Максвела для електричних кіл.

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

Примітки

  1. В.И. Арнольд - Математические методы классической механики.
  2. Е.Г.Скляренко - Гомологии и когомологии общих пространств, Итоги науки и техн.Сер.Соврем.пробл.мт.Фундам.направления, 1989, том 50, 129-266.
  3. Samuel Eilenberg, Norman Steenrod - Foundations of algebraic topology.
  4. В.И.Данилов - Когомологии алгебраических многообразий, Итоги науки и техн. Сер.Соврем.Пробл.мат.Фундам.направления,1989, том 35, 5-130.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.