Модули четверной группы Клейна и их когомологические инварианты Текст научной статьи по специальности «Математика»

УДК 512.4

МОДУЛИ ЧЕТВЕРНОЙ ГРУППЫ КЛЕЙНА И ИХ КОГОМОЛОГИЧЕСКИЕ ИНВАРИАНТЫ1

© 2008 Л.А. Белова2

Работа посвящена вычислению бирациональных инвариантов типа Н 1(п, РюХь) алгебраических торов с гладкой проективной моделью Xь, где п — группа типа ^2 ® Ж2. Использовалась теорема Клячко, которая позволяет вычислять эти когомологические инварианты, используя только структуру модуля Т рациональных характеров тора Т. Найдены все торы размерности не более 8 с биквадратичным полем разложения, когомологический инвариант которых нетривиален. Далее изучался максимальный тор в односвязной полупростой исключительной группе, определяемой системой корней типа Е%. В соответствующей группе Вейля Ш(Е8) были найдены подгруппы типа ^2Ф^2, соответствующий модуль для которых обладают нетривиальным когомологическим инвариантом. Тем самым доказана нерациональность максимального тора исключительной полупростой группы типа Е%.

Ключевые слова: торы с биквадратным полем разложения, нерациональность максимального тора в Ш(Е%).

Введение

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

1 Представлена доктором физико-математических наук, профессором В.Е. Воскресенским.

2Белова Любовь Александровна ([email protected]), кафедра алгебры и геометрии Самарского государственного университета, 443011, Россия, г. Самара, ул. Акад. Павлова, 1.

ситуации имеется мощный инструмент для вычисления основного бирацио-нального инварианта, разработанный В.Е. Воскресенским—это так называемая вялая резольвента для алгебраического тора, которая позволяет найти класс Пикара, а также вычислять серию производных бирациональных инвариантов — групп одномерных когомологий H 1(п, Pic Xl) для любой подгруппы п в П. Здесь П — группа Галуа минимального поля разложения тора T. Нетривиальность этих групп позволяет доказать нерациональность алгебраических торов.

Работа посвящена вычислению производных бирациональных инвариантов (точнее, групп одномерных когомологий {H 1(п, Pic Xl) : п < П}) для максимального алгебраического тора в односвязной полупростой исключительной группе, определяемой системой корней типа Eÿ. Здесь п — подгруппа типа Z20Z2 в группе Вейля для системы корней типа Eÿ. Среди таких подгрупп были найдены те, которые обладают нетривиальным когомологическим инвариантом. Тем самым доказана нерациональность максимального тора исключительной полупростой группы типа Eÿ. Однако, прямой способ подсчета группы когомологий, т.е. построение вялой резольвенты, сопряжен с трудностями технического характера. В данной работе вычисления когомологических инвариантов проводились без построения вялой резольвенты. Мы использовали теорему Клячко, которая позволяет вычислять когомологический инвариант, используя только структуру модуля T рациональных характеров.

1. Алгебраический тор. Вялая резольвента алгебраического тора

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

Среди алгебраических групп выделяют важный класс аффинных групповых схем. Простейший пример — это мультипликативная группа Gm,k, которая определяется условием Gm(Б) = Б*, где B* —мультипликативная группа обратимых элементов кольца Б.

Напомним основные моменты теории схем. Пусть A — k-алгебра, тогда X = Spec A называется аффинной схемой, где Spec A — множество всех простых идеалов A. Алгебра обладает так называемой когрупповой структурой. В алгебре A есть следующие операции:

m* : A ^ A ®kA (коумножение), i* : A ^ A (кообращение), e* : A ^ k (коединица), удовлетворяющие системе аксиом двойственных аксиомам группы. Такие k-алгебры называются алгебрами Хопфа.

Вернемся к нашему простейшему примеру. Группа Gm является простей-

шей аффинной схемой вида: 8реск[Г, Т 1], т.к. Нотг^(к[Г, Т 1], В) = В*. Ко-групповые операции имеют вид:

т*(Т) = Т <8> Т, е*(Т) = Т-1, г*(Т) = 1.

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

Понятно, что наряду с От,к мы можем рассматривать и ее декартову степень О т,к X ... От,к = Сттк. Это также аффинная групповая схема.

Определим, наконец, алгебраический тор.

Определение 1: Алгебраический тор Т, определенный над полем к это аффинная к-схема следующего вида Т % Ь = От ¿, где Ь/к — конечное расширение Галуа, п — размерность тора, т.е., алгебраический тор Т — это к-форма группы ¿, которую можно реализовать как подгруппу диагональных матриц О(п) в ОЬ(И, к) для некоторого N є N.

Поле Ь называется полем разложения тора. Пересечение всех полей разложения называется минимальным полем разложения тора Т. Всюду в дальнейшем Ь — это минимальное поле разложения тора Т.

Пусть Т — алгебраический тор. Рассмотрим мультипликативную абелеву группу Т = Ыошь(О<т ь,От,ь) его рациональных характеров. Известно [2], что группа Т — свободная абелева группа конечного Х-ранга, равного размерности тора Т, на которой точно действует группа Галуа П = ва1(Ь/к).

Перейдем к описанию вялой резольвенты тора Т. Для любого тора Т можно рассмотреть регулярное вложение тора Т%Ь в гладкое проективное многообразие: Ть с Хь, где Ть —открытое подмножество той же размерности, что и Хь. Многообразие Хь называется гладкой проективной моделью тора Т.

Это вложение индуцирует следующую точную последовательность

где Т — модуль рациональных характеров тора Т, § = Ж^,-] —пермутацион-ный П-модуль, порожденный простыми дивизорами на дополнении Хь \ Ть.

Эта последовательность называется канонической резольвентой. Она была введена и изучена В.Е. Воскресенским [2].

Отметим, что П-модуль Р1сХ]^ обладает следующим свойством

п

0 —— Т —— § —— Ріс Хь —— 0 ,

(1.1)

Н 1 (л, Ріс ХЬ) = 0 : У л < П.

Такой модуль называется вялым. Заметим, что многообразие Х определяется не однозначно. Если У — другая проективная модель тора Т, то из

теории Хиронаки следует, что PicXl ~ Pic Yl. Т.е. модуль PicXl определяется с точностью до определенной эквивалентности П-модулей, называемой подобием. Напомним определение подобия П-модулей.

Определение 2: Модули A и B называются подобными, если существуют пермутационные модули S 1 и S 2 такие, что имеет место изоморфизм П-модулей

A 0 S1 = B 0 S 2

(Обозначение: A ~ B).

Класс подобия p(T) = [Pic Xl] является основным бирациональным инвариантом алгебраического тора T и однозначно определяется П-модулем T рациональных характеров тора T.

Известно [2], что если

0 ^ T ^ S ^ ^ 0

каким-либо образом построенная точная последовательность, обладающая тем свойством, что S —пермутационный модуль, а N — вялый, то [PicXl] = = [N]. Таким образом, мы можем построить вялую резольвенту для тора T любым удобным для нас способом.

Кроме основного бирационального инварианта p(T), для алгебраического тора T существует серия производных бирациональных инвариантов. Один из них — это группа одномерных когомологий H1(n, N) : п < П. Здесь [N] = [PicXl], В частности, нетривиальность этого инварианта влечет нерациональность соответствующего тора.

Напомним, что H 1(п, A) = Z1(n, A)/D1(n, A) : п < П — фактор-группа скрещенных гомоморфизмов Z1(n, A) (1-коциклов) по подгруппе главных скрещенных гомоморфизмов D1(n,A). Скрещенный гомоморфизм—это отображение ф : П ^ A, удовлетворяющее соотношению ф(#1#2) = Я1ф(§2) + ф(?0, D1^, A) = {ф : П ^ A : 3 a е A : ф(§) = ga — a} — подгруппа главных скрещенных гомоморфизмов, A — П-модуль.

Как было отмечено выше, класс подобия П-модуля [N] однозначно определяется П-модулем T = Hom(G^L, Gm,L), т.е. не зависит от способа построения вялой резольвенты. Таким образом, мы можем построить резольвенту удобным для нас способом. Возникает вопрос о способах построения канонической последовательности. Имеется по крайней мере два подхода к ее построению: первый основан на теории целочисленных моделей Демазю-ра [2], а второй использует рассмотрение двойственного модуля и его пер-мутационного накрытия. Подробно этот способ описан в [2]. Имеется много работ, посвященных построению вялых резольвент как для конкретных торов, так и для некоторых серий алгебраических торов [2], [5], [7], [9]. Трудоемкость вычислений возрастает при переходе к следующей размерности. Так для двумерных торов можно обойтись рассмотрением представителей [PicXl] рангов до шести включительно, трехмерные торы дают примеры вялых модулей ранга 15, наконец, некоторые частные вычисления для торов

размерности 4 приводят к рассмотрению вялых модулей ранга 44. Цель нашей работы — вычисление когомологических бирациональных инвариантов. С одной стороны, они — это производные основного бирационального инварианта, а с другой — они полностью определяются модулем рациональных

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

2. Теорема А.А. Клячко и классификация модулей четверной группы Л.А. Назаровой

Пусть T — алгебраический тор над полем k,

0 ^ T ^ S ^ ^ 0

— вялая резольвента для тора T. Здесь T — модуль рациональных характеров тора T, S —пермутационный модуль, а N — вялый, причем [PicX^] = [N].

Кроме основного бирационального инварианта p(T) = [PicXl], для алгебраического тора T существует серия производных бирациональных инвариантов. Один из них — это группа одномерных когомологий H1(n, N) : п < П. Здесь [N] = [PicXl], В частности, нетривиальность этого инварианта влечет нерациональность соответствующего тора.

Известно, что если группа разложения тора — циклическая группа, то группа одномерных когомологий H 1(< g >, Pic Xl) тривиальна. Так же все торы размерности 1,2 рациональны [2], т.е. считать когомологический инвариант в этом случае тоже не имеет смысла. Согласно результатам Ше-валле [7], [9] первые случаи нетривиальности групп одномерных когомологий — это случаи торов размерности 3 с биквадратичным полем разложения. Группа Галуа в этом случае — это четверная группа Клейна П = = Z2 0 Z2. Поэтому естественно было ограничить внимание именно на модулях четверной группы. В этом параграфе мы опишем метод вычисления когомологических инвариантов, используя действие группы П на самом модуле рациональных характеров T, который имеет маленький ранг, а не на вялом модуле N. Правда, для этого нам придется рассмотреть двумерные когомологии. В основе метода лежит теорема А.А. Клячко (1992) [3]:

Теорема 2.1:

V

И.В. Кулагина [8] развила эту идею в случае П = ^ 0 ^ и получила следующую явную формулу:

Теорема 2.2:

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

H1(n, N) = Ker H2(П, T) ^Y\ H2(< g >, T) .

(2.1)

(2.2)

Ker(a + e) + Ker(b + e) + Ker(c + e) ’

здесь а и b — образующие четверной группы, рассматриваемые как операторы из Х[П], действующие на модуле рациональных характеров T тора T. В этой формуле c = ab, а Ker(x + e) = {t е T : xt = —t}, где x е П.

Итак, чтобы посчитать группу одномерных когомологий Hx(n, N) : п < П для вялого модуля N, достаточно применить формулу (2.2). Однако, следует иметь в виду, что все вычисления (нахождение ядра оператора, суммы решеток Ker(a+e) + Ker(b+e) + Ker(c+e) и, наконец, фактор-группы) проводятся над кольцом Z. Существуют стандартные алгоритмы, описанные в книге [6], позволяющие это сделать. Применение этих алгоритмов значительно упрощает вычисления, так как они легко реализуются на компьютере. Для удобства читателя опишем кратко, как это можно сделать. Пусть у нас есть целочисленное матричное представление группы П, т.е. гомоморфизм ф : П ^ GL(n, Z). По аналогии со случаем векторных пространств, если мы рассматриваем матрицу из GL(n, Z), то ее можно привести к эрмитовой нормальной форме (HNF-форме) [6]. Напомним определение эрмитовой нормальной формы матрицы [6].

Определение 2: Мы говорим, что матрица M = (m,-,j) с целыми коэффициентами приведена к эрмитовой нормальной форме (HNF - форме), если существуют r ^ n и строго возрастающее отображение f : [r + 1, n] ^ [1, m], удовлетворяющие следующим условиям:

• Для r + 1 ^ j ^ n, mf(j),j = 0, если i > f(j) и 0 ^ mf(£),j < тд^, если k < j.

• Первые r столбцов матрицы M нулевые.

Причем известно, если матрица A е GL(n, Z) такова, что ее столбцы — это набор образующих подмодуля L в Zm, то ее HNF-форма дает целочисленный базис L. Имеет место следующая

Теорема 2.3: Пусть матрица A е Mat(mXn,Z). Тогда существует единственная матрица B е Mat(m X n,Z), такая, что B = AU, где матрица U е GL(n, Z), матрица B имеет HNF-форму.

Таким образом, чтобы найти Ker(a + e) + Ker(b + e) + Ker(c + e) мы строим матрицу, столбцами которой являются базисы решеток Ker(a + e), Ker(b + e), Ker(ab + e) соответственно и приводим ее к HNF-форме. Тогда ненулевые столбцы полученной матрицы образуют базис суммы решеток. Реализация этого алгоритма описана в книге [6]: алгоритм 2.4.5 (Hermite Normal Form).

Целочисленный базис ядра Ker(x + e), x е Z^], в свою очередь, находим, используя следующее

Предложение 2.1: Пусть матрица A е Mat(m X n, Z), B = AU и пусть первые r столбцов матрицы B равны 0. Тогда первые r столбцов матрицы U дают Z-базис ядра A, где A — матрица оператора о.

Реализация этого алгоритма описана в книге [6]: алгоритм 2.4.10 (Kernel over Z).

Наконец, осталось найти фактор - группу L'/L, где L' = Ker(a + е) + + Ker(& + е) + Ker(c + е). Это можно сделась, используя приведение матрицы к нормальной форме Смита [6], (SNF-форме), т.е. форме следующего вида [diag(d\,d2,...dn), d,-+1\d(-, 1 ^ i < n}, n = rankL'. Числа di, стоящие на диагонали, соответствуют порядкам циклических групп в каноническом разложении L'/L = ф (Z/d;Z).

1 $Ci<n

Реализация этого алгоритма описана в книге [6]: алгоритм 2.4.14 (Smith Normal Form).

Итак, алгоритм вычисления 1-когомологий для групп типа Z20Z2 таков:

1) вычисляем базисы Кег(а + е), Кег(Ь + е), Кег(аЬ + е),

2) находим сумму Кег(а + е) + Кег(Ь + е) + Кег(с + е),

3) находим Кег(а + е)(Ь + е),

4) вычисляем ЯХ(П,Й), используя теорему 2.2.

Используя формулу (2.2), были вычислены когомологические инварианты для неразложимых модулей четверной группы ранга 4-8, минуя построение вялой резольвенты. Была написана программа в среде программирования Delphi, реализующая этот алгоритм. Неразложимые модули четверной группы были получены, следуя классификации Л.А. Назаровой [4].

Известно, что если группа П содержит нециклическую силовскую подгруппу, то имеется бесконечно много неизоморфных неразложимых целочисленных представлений группы П. В работе [4] описываются все неразложимые представления в случае П = Z2 0 Z2, т.е. указаны целочисленные унимодулярные матрицы А и В, такие, что А2 = В2 = Е, АВ = ВА.

Опишем кратко метод построения неразложимых представлений, следуя методу, описанному в [4]. Можно выбрать базис решетки Т таким образом, что матрицы А и В будут иметь вид:

A =

B =

' E 0 0 A14

0 \ -E A23 0

0 0 E 0

, 0 0 0 -E ,

' E \ 0 -B13 \ 0 '

0 -E \ 0 B24

0 0 -E 0

, 0 \ 0 0 \ E ,

Di

Da

здесь E — единичная матрица.

Введем в рассмотрение матрицу следующего вида: D =

D2 I D3

где Di, D2, D3, D4 получены соответственно из B13, A23, B24, A14 редукцией по модулю 2. Т.е. рассматриваем матрицу D как матрицу над полем F2.

Оказывается, что если два представления A, Б и A', Б' имеют одинаковое разложение на блоки вида ±Е и D = D', то они эквивалентны и преобразова-

Е | C12

ние подобия осуществляет матрица вида C = — - —

0 I Е ,

два представления эквивалентны с преобразующей матрицей такого вида, то они имеют равные D. Т.е. можно поставить в соответствие П-модулю T матрицу D.

Введем следующие обозначения. Пусть m — сумма количеств строк и столбцов матрицы D. Назовем ее длиной матрицы. Будем обозначать через Cm(E?., Е^), i, j, к, I = {1,2}, а, в = {15} матрицу длины m, у которой на

месте i, j стоит матрица Еа, на месте к, I — матрица Ев. Матрица Еа имеет один из следующих видов:

и, обратно, если

0 E

E1 = і і і , E2 =

E , 0 ,

E = I 0 ), E5 =

E3 = ( 0 | E ),

0

0

0

E

Матрицы вида Cm(E?, Ekl) называются цепочками. Существуют следующие типы неразложимых неизоморфных цепочек такого вида [4]: m = 4n + 1: Cm(E3n, Е^), Cm(E32, E^), Cm(E}1; E^2), Cm(E^1, E|2), m = 4n + 2: Cm(E3’1,E^), Cm(E32,E^t), Cm(Ej1;E^2), Cm(E\l,E*2), m = 4n + 3: Cm(E3’1,E*2), Cm(E:^2,E^), Cm(E12,ЕЦ), Cm(E^l,E^!1), m = 4n : Cm(E^1), Cm(E^), Cm(E;|1), Cm(E^).

Наконец, в работе [4] показано, что для получения полной классификации неразложимых Z2 0 ^-модулей достаточно рассматривать матрицу D одного из следующих видов: это либо цепочка вида Cm(Eij, Е^), т.е. на соответсвующем месте в матрице D стоит одна из матриц вида Еа.

Е | Е '

— - — , где D' имеет нормальную форму Фро-

, D | Е

бениуса, причем ее характеристический полином f(t) неприводим над полем F2 или есть степень неприводимого.

Либо D = Ф(/(0) =

3. Проблема рациональности для максимальных алгебраических торов исключительных групп

Одной из важнейших подзадач проблемы рациональности алгебраических торов является задача о рациональности максимальных алгебраических торов в односвязных полупростых группах. Случаи, когда П определяется классическими системами корней были изучены В.Е. Воскресенским совместно с Б.Э. Кунявским [2]. Остаются неизученными исключительные группы. Случай О2 — это случай двумерного максимального тора, а значит, случай рационального тора. Таким образом, нужно рассмотреть Я = = ^4, Еб, £7, Е%}. Случаю £4 посвящены работы С.Ю. Попова [5], И.В. Кулагиной [8]. В частности, Кулагина доказала [8], что когомологические бира-циональные инварианты для ^ 0^-модуля Т4 нулевые. (Здесь Т4 —решетка корней типа £4.) Все изучаемые торы имеет размерность, не превосходящую восемь, следовательно гкТ ^ 8. Как известно, любой модуль есть прямая сумма неразложимых модулей. Классификация Назаровой позволяет нам описать все возможные прямые слагаемые соответствующих модулей и вычислить их когомологические бирациональные инварианты.

Используя классификацию Л.А. Назаровой неразложимых ^ 0 ^ - модулей и формулу (2.2), были посчитаны когомологические инварианты для торов Т с биквадратичным полем разложения в случае, когда ШшТ ^ 8. Теорема 3.1: Пусть Т — неразложимый ^0^-модуль, гкТ ^ 8. Тогда

2) Если Т е (С8(е51), С8(е52), Ф(/(0) ДО = г2 + г +1}, то Я1(л, Т) = Ж20Ж2,

3) Для остальных случаев Н 1(п, Т) = 0.

Мы использовали стандартные обозначения для соответствующего типа решетки, введенные Л.А. Назаровой [4]. Таким образом, среди неразложимых модулей ранга 6,8 были найдены модули, обладающие когомологически нетривиальным вялым модулем. Заметим, что в случае модулей ранга 8 появляются первые примеры модулей, одномерные когомологии которых есть сама четверная группа, а не циклическая группа второго порядка, как было в предыдущих случаях. Но зачастую мы имеем П-модуль и заранее не знаем его разложение в прямую сумму неразложимых П-модулей. В частности, с такой ситуацией мы сталкиваемся, когда рассматриваем максимальные торы в односвязных полупростых группах 0 и изучаем их рациональность. Мы изучим максимальный тор в исключительной группе с системой корней Я = £8 и докажем его нерациональность.

Напомним основные факты из теории максимальных алгебраических торов в односвязных полупростых группах. Пусть 0 — связная полупростая группа, определенная над полем к. д —ее алгебра Ли. Я — система корней

в g. Множество R всех корней конечно, пусть Q(R) — подгруппа в T, порож-

конечный индекс в T. Обозначим P(R) решетку весов системы R. Имеет

Пусть G — связная полупростая группа, определенная над полем к, с системой корней R = R(G), T с G — максимальный тор без аффекта, т.е. T = P(R) = Q(R), П = W(R) = A(R), П — группа Галуа минимального поля разложения L тора T. Все приведенные системы корней классифицированы в [1]. Нас интересует система корней типа Е%. Выберем в евклидовом пространстве R8 стандартный ортонормированный базис (е,-)і^,-<8. Тогда система корней R содержит векторы следующего вида:

дача состояла в том, чтобы попытаться найти в группе Вейля подгруппу типа ^2 0 ^2 с нетривиальным когомологическим инвариантом. Вычисления производились, используя компьютер. А именно: производился поиск коммутирующих инволюций в группе Вейля типа Е% и к ним применялась формула (2.2) из §2.

Опишем алгоритм поиска коммутирующих инволюций. Пусть оа - отражение относительно гиперплоскости, ортогональной к корню а. Ясно, что любая инволюция может быть записана в виде ш = оа1 оа2 ••• оак, причем (а,, а у) = 0, г ф у Если шх = оа1 Оа2 • • • Оак, Ш2 = ор1 Ор2 ••• оРг - две инволюции, то Ш1Ш2 = Ш2Ш1 ^ (а,-, в у) = 0. Поэтому был произведен поиск коммутирующих инволюций пока не обнаружился модуль с нетривиальным когомологическим инвариантом. Таким является, например следующий модуль:

Здесь ах = в\ + в2, аі4 = ез + Є4, а2з = £5 + е^, а28 = £7 + є%.

Таким образом, доказана Теорема 3.2: Максимальный тор исключительной полупростой группы, определяемой системой корней Я типа Е8 не является рациональным.

денная всеми корнями, Q(R) является решеткой в T, поэтому Q(R) имеет

место включение : Q(R) с T с P(R). Вернемся к нашей задаче.

с четной суммой

8

i=1

i=1

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

1

1

а, = -(*,+,*)-jfe + e, + e4+e5 + ee+e7), а,=Є|+Є2, а, = Є2-Єь <ц

а5 = «4 - ез, аб = - в4, а7 = еб - в$, а§ = е7 - еб.

Группа Вейля W(Я) системы корней типа Е<& имеет порядок 21435527. За-

T =< а, b >, а = 0101402з, b = 01014028,

Я1(л, N) = Z2.

Литература

[1] Бурбаки, Н. Группы и алгебры Ли. Группы Кокстера и системы Тит-са. Группы, порожденные отражениями. Системы корней / Н. Бурбаки. М.: Мир, 1972. - 334 с.

[2] Воскресенский, В.Е. Алгебраические торы / В.Е. Воскресенский. М.: Наука, 1977. - 224 с.

[3] Клячко, А.А. Прямые слагаемые перестановочных модулей и бирацио-нальная геометрия / А.А. Клячко // Арифметика и геометрия многообразий. - Самара, 1992. - С. 78-92.

[4] Назарова, Л.А. Представления четвериады / Л.А. Назарова // Известия АН СССР, серия математическая. - 1967. - №31. - С. 1361-1378.

[5] Попов, С.Ю. Решетки Галуа и их бирациональные инварианты / С.Ю. Попов // Вестник Самарского гос. университета. Естественнонаучная серия. - 1998. - №4(10). - С. 71-83.

[6] Cohen, H. // A Course in Computational Algebraic Number Theory / H. Cohen Berlin: Springer, 1996. - 563 pp.

[7] Кунявский, Б.Э. О трехмерных алгебраических торах / Б.Э.Кунявс-кий // Исследования по теории чисел. Саратов: Изд-во ун-та, 1987. -С. 90-111.

[8] Кулагина, И.В. Бирациональные инварианты модулей четверной группы / И.В. Кулагина // Вестник Самарского гос. университета. Естественнонаучная серия. - 2005. - №5(39). - С. 71-78.

[9] Kunyavskii, B. Algebraic tori — thirty years after / B.Kunyavskii // Вестник Самарского гос. университета. Естественнонаучная серия. - 2007. -№7(57). - P. 198-214.

Поступила в редакцию 20/V7/2008; в окончательном варианте — 20/VI/2008.

THE KLEIN FOUR-GROUP MODULES AND THEIR COHOMOLOGICAL INVARIANTS 3

© 2008 L.A. Belova4

The paper is dedicated to calculation induced birational invariants of algebraic torus T so called cohomological invariants {H1(n, Pic XL)}n<n.

Here XL is a smooth projective model of T, n is Klein four-group. We use the result of A.A. Klyachko which allows to calculate these invariants without calculation of Pic Xl in terms of the group H2. The structure of the module T of rational characters of T only is used. The cohomological birational invariants of algebraic tori with biquadratic splitting field of dim T ^ 8 and find all tori which have nontrivial cohomological birational invariant is calculated. Also, a maximal torus T of the connected semisimple group of type £§ is studied. The fout-subgroups of the Weil’s group n = W(E8) which have nontrivial cogomological invariant {H 1(n, Pic XL)}n<n are found. Therefore the maximal torus T of the connected semisimple group of type £8 is nonrational.

Keywords and phrases: torus with biquadratic splitting field, nonrational

maximal torus in W(E8).

Paper received 20/V7/2008.

Paper accepted 20/V7/2008.

3Communicated by Dr. Sci. (Phys. & Math.) Prof. V.E. Voskresenskii.

4Belova Lubov Alexandrovna ([email protected]), Dept. of Algebra and Geometry, Samara State University, Samara, 443011, Russia.