ГАЛУА КОГОМОЛОГИИ

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

определяемые комплексом состоит из всех отображений , ad -кограничный оператор (см.Когомологии групп).Если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-группы , - группа характеров тора. Теорема двойственности утверждает, что -произведение:

задает невырожденное спаривание при С помощью этой теоремы найдена формула, выражающаяТамагавы числатора Тчерез инварианты, связанные с его Г. к. Существуют и другие важные теоремы двойственности для Г. к. [1].

Доказана [11] тривиальность над полями kразмерности. Выделен естественный класс полей, обладающих лишь конечным числом расширений фиксированной степени [так наз. поля типа (F)];к ним относится, напр., поле р-адических чисел. Доказано, что для произвольной алгебраич. группы G над полем kтипа (F).группа когомологий является конечным множеством (см. [1]).

Теория Г. к. полупростых алгебраич. групп имеет глубокие арифметич. и аналитич. рименения. Теорема Кнезера- Брюа- Титса утверждает, что для односвязных полупростых алгебраич. групп G над локальными полями k, поле вычетов к-рых имеет когомологич. размерность =<1. Эта теорема была доказана сначала для полей р-адических чисел [12], а затем в [7] было получено единообразное доказательство в общем случае. Доказана [13] тривиальностьH¹(k,G) для поля алгебраич. функций от одной переменной с конечным полем констант. Во всех этих случаях когомологич. размерность и это подтверждает общую гипотезу Ж. П. Серра о тривиальности для односвязных полупростых G над полями kс .

Пустьk -глобальное поле,V -множество всех неэквивалентных нормировании - пополнениеk.Вложения индуцируют естественное отображение

для произвольной k-определенной алгебраич. группы С, ядро к-рого обозначается Ш (G) и в случае абелевых многообразий наз. группой Шафаревича - Тейта. Группа Ш (G).показывает в какой мере Г. к. над глобальным полем определяются Г. к. над локализациями. Для линейных алгебраич. групп основной результат о принадлежит А. Борелю (A. Borel), к-рый доказал конечность группы . Существует гипотеза, что группа конечна и в случае абелевых многообразий. Выделяется случай, когда т. е. отображение iинъективно. Тогда говорят, что для GсправедливХассе принцип.Такое название объясняется тем, что для ортогональной группы инъективность iэквивалентна классич. теореме Минковского - Хассе о квадратичных формах, а для проективной группы - теореме Брауэра - Хассе - Нётер о расщеплении простых алгебр. Существует также гипотеза, принадлежащая Ж. П. Серру, что для односвязной или присоединенной полупростой группы всегда Ш(G) = 0. Это утверждение доказано для большинства одно-связных полупростых групп над числовыми глобальными полями (исключая группы, имеющие простые компоненты типаE₈).(см. [13]), а также для любых односвязных алгебраич. групп над функциональными глобальными полями.

Лит.:[1] Серр Ж.-П., Когомологий Галуа, пер. с франц., М., 1968; [2] его же, Алгебраические группы и поля классов, пер. с франц., М., 1968; [31 Алгебраическая теория чисел, пер. с англ., М., 1969; [4] Кох X., Теория Галуа р-расшире-ний, пер. с нем., М., 1973; [5] Art in E., Tate J., Class field theory, N. Y.- Amst., 1967; [6] Sеrrе J.-P., Corps locaux. P., 1962; [7] Воrе1 A., Sеrrе J.-P., "Comra. Math. Helv.", 1964, v. 39, p. Ill-64; [8] Аrtin M., Grоthendieck A., Verdier J.-L., Theorie des topos et cohomologie etale des schemas, t. 1-3, B.- Hdlb. - N. Y., 1972; [9] BruhatF., Tits J.,"Publ. Math. IHES", 1972, № 41, p. 5-252; [10] Borel А., там же, 1963, № 16, p. 5-30; [11] Steinberg R., там же, 1965, № 25, p. 49-80; [12] К n e-zer M., "Math. Z.", 1965, Bd 88, S. 40-47; Bd 89, S. 250-72; [13] Harder G., "Math. Z.", 1965, Bd 90, S. 404-28; 1966, Bd 92, S. 396-415.E. А. Нисневич, В. П. Платонов.