Математическая энциклопедия - галуа когомологии

когомологии Галуа группы. Если М - абелева группа и группа Галуа расширения , действующая на М, то когомологии Галуа есть группы когомологии

определяемые комплексом состоит из всех отображений , a d - кограничный оператор (см. Когомологии групп). Если K/k- расширение бесконечной степени, то дополнительно требуется, чтобы Галуа топологическая группа непрерывно действовала на дискретной группе М, а за коцепи берутся непрерывные отображения.

Для неабелевой группы Мсодержательно определяются только нульмерные ( Н°).и одномерные ( Н ¹) когомологии. А именно, множество неподвижных точек группы G(K/k).в М, а фактормножество множества одномерных коциклов, т. е. непрерывных отображений г: удовлетворяющих соотношению

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

Если сепарабельное замыкание поля k, то принято группу обозначать и вместо писать .

Г. к. в форме, несколько отличной от современной, возникли еще в работах Д. Гильберта (D. Hilbert), Э. Артина (Е. Artin), Р. Брауэра (R. Brauer), X. Хассе (Н. Hasse), К. Шевалле (С. Chevalley) по теории полей классов, конечномерным простым алгебрам и квадратичным формам. Развитие идей и методов гомологич. алгебры обусловили введение в начале 50-х гг. 20 в. Г. к. конечных расширений со значениями в абелевой группе в работах Э. Артина, А. Вейля (A. Weil), Г. Хохшильда (G. Hochschild), Дж. Тейта (J. Tate) в связи с потребностями теории полей классов. В общем случае теория абелевых Г. к. была затем развита Дж. Тейтом и Ж. П. Серром (см. [1], [3], [6]).

С помощью Г. к. Дж. Тейтом было введено понятие когомологич. размерности группы Галуа G к, поля k, к-рая обозначается . Она определяется через когомологическую р-р азмерность наименьшее целое число птакое, что для всякого периодического G к -модуля Аи всякого целого р-примарная компонента группы равна нулю. Когомологическая размерность есть

Для всякого алгебраически замкнутого поля k для всех полей таких , что Брауэра группа В (К).их любого конечного расширения K/k тривиальна, cd для р-адического поля, поля алгебраич. функций одной переменной с конечным полем констант и для чисто мнимого числового поля (см. [1]). Поля k, когомологич. размерность группы Галуа к-рых , и группа Брауэра наз. полями размерности н это. обозначается К таким полям относятся все конечные поля, максимальные неразветвленные расширения р-адических полей, поле рациональных функций от одной переменной с алгебраически замкнутым полем констант. Если группа Галуа является про-р-группой, т. е. проективным пределом конечных р-групп, то размерность над равна минимальному числу топологических образующих группы , а размерность есть число определяющих соотношений между этими образующими. Если , то свободная про-р-группа.

Неабелевы Г. к. появились в конце 50-х гг. 20 в., однако систематич. исследования начались лишь в 60-х гг. и стимулировались главным образом проблемой классификации алгебраич. групп над алгебраически незамкнутыми полями.

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

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

Г. к. связной унипотентной группы Uтривиальны, если Uопределена над совершенным полем k, т. е. для произвольной унипотентной группы U, и для всех , если U - абелева группа. В частности, для аддитивной группы произвольного поля всегда Для несовершенного поля k, вообще говоря,

Одним из первых существенных фактов о Г. к. была "теорема 90" Гильберта, одна из формулировок к-рой утверждает, что Кроме того, и для любого k-разложимого алгебраич. тора Твсегда . В общем случае вычисление для произвольного k-определенного тора Тсводится к вычислению где К - минимальное поле разложения Т, что пока (1977) сделано только для специальных полей. Особенно важен для приложений случай, когда k - поле алгебраич. чисел. Для этого случая получены теоремы двойственности, имеющие разнообразные применения.

Пусть расширение Галуа конечной степени, группа аделей мультипликативной K-группы , группа характеров тора. Теорема двойственности утверждает, что -произведение: