CC BY
23
УДК 512.7
БИРАЦИОНАЛЬНЫЕ ИНВАРИАНТЫ ТОРА БЕЗ АФФЕКТА В ИСКЛЮЧИТЕЛЬНОЙ ГРУППЕ
ТИПА F4
© 2009 Ю.Ю. Крутиков1
В данной работе мы вычисляем все когомологические бирациональ-ные инварианты для тора без аффекта в полупростой исключительной группе типа F4. Нерациональность этого тора была установлена Б.Э. Кунявским и А. Кортелла. Мы доказываем когомологическую нетривиальность основного бирационального инварианта изучаемого тора. Нами найдены все подгруппы в группе Вейля W(F4), для которых соответствующий когомологический инвариант ненулевой.
Ключевые слова: алгебраический тор, бирациональный инвариант, когомологии, каноническая резольвента, полупростая группа.
Введение
Пусть G — полупростая группа, определенная над полем k, T С G — максимальный k-тор. Пусть L — минимальное поле разложения тора T — минимальное расширение Галуа поля k, над которым тор T разложим, то есть T L = G^l, где d — размерность тора. Если П — группа Галуа расширения L/k, то она сохраняет систему корней P = R(G) и поэтому содержится в ее группе автоморфизмов П С Aut R = A(R).
Известно [1], что группа разложения Гдеп общего тора Tgen (определенного над полем функций многообразия всех максимальных торов) лежит между группой Вейля и группой автоморфизмов системы корней: W(R) С Гдеп С A(R). Максимальный k-тор T С G называется тором без аффекта, если П = Гдеп.
Бирациональная геометрия торов без аффекта в полупростых группах стала изучаться более четверти века назад. В пионерской работе [2] данного направления В.Е. Воскресенский и Б.Э. Кунявский разобрали случаи максимальных торов без аффекта в присоединенных и односвязных классических группах. Их результаты получили обобщение в работе А.А. Кляч-
1Крутиков Юрий Юрьевич (yuri820710@mail.ru), кафедра алгебры и геометрии Самарского государственного университета, 443011, Россия, г. Самара, ул. Акад. Павлова, 1.
ко [3], в которой он установил выполнение принципа Хассе и слабой аппроксимации для максимальных торов без аффекта в полупростых алгебраических группах, определенных над полем алгебраических чисел следующих типов: внутренние формы Шевалле, односвязные группы, присоединенные группы и простые группы. Обе эти работы в основном посвящены вычислению группы H 1(fc,PicX), которая является бирациональным инвариантом k-тора T. Здесь X — это гладкая проективная модель тора T. Напомним, что всякий k-тор T может быть вложен в гладкое проективное k-многообразие X, тогда X = X 0k L и есть проективная модель тора T (такая проективная модель для тора существует над любым полем, и ее построение описано в следующем пункте данной работы). Когомологический бирациональный инвариант H 1(k, Pic X) имеет важное значение, так как вычисление этой группы позволяет установить выполнение принципа Хассе и слабой аппроксимации, а значит, имеет важное значение не только для бирациональной геометрии алгебраических торов, но и для их арифметических приложений. Затем исследователи сконцентрировали свое внимание на проблеме рациональности торов без аффекта в полупростых группах. К настоящему времени эта проблема полностью решена. В совместной работе А.Кортелла и Б.Э. Кунявского [4] разобраны все торы без аффекта в простых односвязных и присоединенных группах и установлена нерациональность этих торов за исключением пяти рациональных случаев: rk G ^ 2; G — внутренняя форма присоединенной группы типа Ai ; G — форма присоединенной группы типа А21; G — форма присоединенной группы типа Bi; G — форма односвязной группы типа Ci. И наконец, полный ответ (включая промежуточные группы) получен в работе Н. Ле-мир, В.Л. Попова и З. Райхштейна [6]. Тем не менее на данный момент почти нет информации о когомологических бирациональных инвариантах H 1(F, Pic X) для нерациональных торов без аффекта, где F С L — промежуточное расширение поля k. Кроме упомянутых работ [2, 3], частные результаты для торов без аффекта в исключительных группах можно найти в статьях [5, 7]. В данной работе мы вычисляем все когомологические бирациональные инварианты для тора без аффекта в полупростой исключительной группе типа F4.
1. Каноническая резольвента и методы ее построения
Когомологические бирациональные инварианты H 1(F, Pic X),k С F С L, являются производными от так называемого основного бирационального инварианта алгебраического тора T. Пусть X и Y — гладкие проективные многообразия над полем k, содержащие тор T в качестве открытого подмножества, X = X0kL и Y = Y0kL. Тогда существует изоморфизм П-модулей Pic X ® Si =Pic Y ® S2, где Si, S2 — пермутационные П-модули [8]. Моду-
ли Pic X и Pic Y, связанные таким соотношением, называются подобными. Пусть [Pic X] — класс подобия; он является бирациональным инвариантом k-тора T. Решетка Pic X обладает свойством Н-1(п, PicX) = 0, Vn ^ П. Назовем П-модули с таким свойством вялыми. Как известно [8], вложение T С X определяет точную последовательность П-модулей
0 —► T —► S —► Pic X —► 0, (1)
где S — пермутационный П-модуль, порожденный простыми дивизорами из дополнения X\Т. Пусть теперь
0 —► T —► Si —► N —► 0 (2)
является другой резольвентой модуля Т, где Si — пермутационный П-модуль, а N — вялый. В работе [8] показано, что [Pic X] и [N] совпадают. Будем обозначать класс [PicX] символом pn(T) или просто p(T), если группа П зафиксирована. Всякую резольвенту П-модулей вида (2) называют канонической резольвентой, так как она позволяет находить основной бирациональный инвариант p(T) тора T. Заметим, что для любой подгруппы п группы П имеем класс pn(T), который также является бирациональным инвариантом тора T. Класс pn (T) равен [N], где N рассматривается как п-модуль.
Кратко опишем два метода нахождения канонической (вялой) резольвенты, пользуясь следующим соглашением: для всякого П-модуля M будем обозначать через M = Hom(M, Z) двойственный к M П-модуль.
Т0
I. (геометрический метод) В дуальной решетке T нужно построить гладкий проективный П-инвариантный веер £, определяющий гладкую проективную модель Демазюра X^. Веер £ определяет вялую резольвенту П-модуля Т, а значит, и p(T) [9].
II. (алгебраический метод) Имея эпиморфизм П-модулей S ^ T , где S — некоторый пермутационный П-модуль, рассматриваем гомоморфизмы Sn ^ (T )п для всех подгрупп п группы П. Добавляя, если необходимо, прямые пермутационные слагаемые к S, можно добиться того, что данные отображения станут сюрьективными для любой подгруппы п. Тогда рассмотрим точную последовательность:
0 —► N 0 —► Т —► T 0 —► 0, (3)
которая в свою очередь индуцирует точную последовательность
0 ^ (№)п ^ ^ (Т 0)п ^ Н 1(п, №) ^ 0.
А это будет означать, что Н 1(п,Ж ) = 0, Уп ^ П. Так как Н-1(п,Ж) = = Н 1(п,Ж ) = 0, то, обратив по двойственности точную последовательность (3), мы получим каноническую резольвенту.
Замечание 1.1. Описание алгебраического метода построения канонической резольвенты подразумевает полный перебор всех подгрупп группы П.
На самом деле можно существенно ’’проредить” рассматриваемые подгруппы, пользуясь следующим фактом: если п и П2 сопряжены в П, то H-1(ni,iV) = H—1 (п2, N), а значит, достаточно рассматривать подгруппы в П с точностью до сопряжения.
Далее мы предлагаем алгоритм, позволяющий оптимизировать процесс перебора подгрупп для построения канонической резольвенты алгебраическим методом.
Пусть П — конечная группа, а M — П-модуль без кручения конечного ранга. Рассмотрим конечный список его Z-подмодулей, состоящий из всевозможных пересечений подмодулей типа M<д>, где g ’пробегает” группу П. Так как для любой подгруппы п в П Mп = Пдеп M<д>, то мы получим полный список {Ki} Z-подмодулей M, представимых в виде Ki = Mn, где п — некоторая подгруппа в П. Пусть n(Ki) — подгруппа в П, состоящая из всех элементов П, тривиально действующих на Ki. Мы утверждаем, что если эпиморфизм П-модулей S ^ M таков, что отображение Sn(Ki) ^ Mn(Ki) сюрьективно для любого i, то Sn ^ Мп сюрьективно для любой подгруппы в П. Действительно, пусть п — подгруппа в П, тогда по построению списка {Ki} найдется номер i такой, что Mп = Ki, тогда п ^ n(Ki). А значит, всякий п-инвариантный элемент из M является и п^^-инвариантным элементом и, следовательно, имеет прообраз в Sс Sп. Итак, мы обосновали следующий Алгоритм 1.2 (оптимальный перебор подгрупп). Пусть M — Z-модуль без кручения конечного ранга, на котором действует конечная группа П.
i. Для каждого элемента g группы П находим Z-подмодуль инвариантов M <д>, создаем из них список List.
ii. Пусть List/ = List, тогда в List добавляем все возможные попарные пересечения элементов списка List/. Если множества List/ и List совпадают, то переходим к следующему шагу, иначе повторяем шаг ii.
iii. Для каждого элемента Ki £ List вычисляем подгруппу п(^). Получаем список подгрупп {п(^)}.
2. Тор без аффекта в связной полупростой группе типа F4
Пусть T4 — это тор без аффекта в связной полупростой группе G типа F4, а П — группа Галуа минимального поля разложения тора T4. Известно [10], что группа W(F4) = A(F4) изоморфна полупрямому произведению симметрической группы S3 на группу, которая в свою очередь является полупрямым произведением S4 на (Z2)3; |W(F4)| = 27 ■ 32. Решетка характеров T4 тора T4 может быть реализована как стандартная решетка L2
[10] в R4. Если в качестве базиса T4 взять ai = ei,a2 = 62,03 = 63,0:4 = = 1 (ei + в2 + e3 + 64), где ei,e2,e3,e4 — стандартный базис R4, то получим
точное целочисленное представление группы П. В работе [5] показано, что образ этого представления, который будем обозначать Ш(^4), есть группа целочисленных автоморфизмов квадратичной формы
^4 : + ж1ж4 + ж2ж4 + ж3ж4.
Замечание 2.1. Группа Ш(^4) сопряжена над Q группе ортогональных матриц 0(4, <0>) [5], более точно, Ш(^4) = Т-10(4, 0>) Т, где Т = /1 0 0 1/2 \
0 10 1/2 0 0 11/2 \ 0 0 0 1/2 у
¿о к базису стандартной решетки Ь2. В свою очередь группа 0(4,0>) в качестве нормальной подгруппы содержит группу 0(4, /о) целочисленных автоморфизмов квадратичной формы /о = ж^ + ж2 + ж3 + ж4. Эта группа является полупрямым произведением £4 X 2^, причем
/ -111
матрица перехода от базиса стандартной решетки
0(4,0>) =< 0(4, /о), Л >, где Л = 2
-1 \
-1 -1 -1 -1
-1 1 -1 1
V 1 1 -1 -1)
(4)
Со всякой матрицей ||ау || из 0(4,/о) можно биективно связать отображение а : {1,2,3,4} ^ {±1, ±2, ±3, ±4} такое, что а(к) = ік равно номеру строки в к-м столбце матрицы ||ау1|, содержащей ненулевой элемент, умноженному на знак этого элемента. Табличная запись отображения а имеет
вид ( 1 2 3 4 ). Если зафиксируем первую строку этой таблицы, то
І1 І2 і3 і4
для задания а достаточно записать вторую строку. По этой записи легко восстановить соответствующую матрицу из Ш(*4). Например,
а=
12
34
Т -1АТ =
= (-3 - 412) ^ А =
00 -1 0 01
1 0 0
Є 0(4, /о),
/ 0 1 1 1 \
0 10 1
-110 0
0 -2 0 -1
Зафиксируем обозначение т для элемента Ш(^4) вида Т-1ЛТ, который нельзя представить 4-элементным массивом. В силу (4) любой элемент Ш (^4) можно записать в виде а ■ т г,г = 0... 2, где а соответствует некоторому 4-элементному массиву. Всюду в дальнейшем мы будем использовать данное представление для элементов Ш(^4).
Построим каноническую резольвенту для П-модуля Т4, используя алгоритм 1.2. Пусть Х1,Х2,Хз,Х4 — базис представления Ш(^4),
а Х>Х2,Х3,Х4 — двойственный базис. Тогда целочисленное представление
группы П, вычисленное в этом базисе Т4 , — это группа Ш(^4)*. Так
как орбиты элементов х1 и х1 — X2 + X3 порождают Т4 , то в качестве накрывающего пермутационного можно взять модуль ранга 48
£0 = 31° ® >2° = Z[П/Stab(х1)] ® ^[П/Я1аЪ(х1 — X2 + X3)]. (5)
Имеем точную последовательность
0 —► N° —► 3° —^ Т4° —► 0. (6)
Можно выбрать пермутационный базис С1,..., С48 модуля >5 так, что
^(С1) = х1 — х2, ^(С2) = х1 — х3, <^(С3) = х1 + х4, ^(С4) = х2 — х3,
<^(С5) = х2 + х4, <^(С6) = х3 + х4, <^(С7) = 2х1 + х4, <^(С8) = 2х2 + х4,
^(С9) = 2х3+х4, ^(С1°) = х1+х2—х3, ^(С11) = х1 —х2+х3, ^(С12) = х1—х2—х3, ^(С13) = х1 + х2 + х4, ^(С14) = х1 + х3 + х4, ^(С15) = х2 + х3 + х4,
<^(С16) = х1+х2+х3+х4,^(С17) = х1+х2—х3+х4,^(С18) = х1—х2+х3+х4, ^(С19) = х1 — х2 — х3 — х4, ^(С2°) = х1 + х2 + х3 + 2х4,
^(с21) = х1 ,^(с22) = ^ ^(С23) = X3, ^(с24) = X4, ^(С^+24) = —= 1...24.
Алгоритм 1.2 оптимального перебора дает с точностью до сопряжения 10 подгрупп п. Ниже в табл. 1 представлены вычисления, показывающие, что последовательность (6) удовлетворяет требованиям сюръективности отображений (3 °)п ^ (Т4 )п.
Таблица 1
№ Система образующих п Є П* В - базис (Т4 )п Прообраз В из (3°)п
1 (3214)*, ((-3 - 41 - 2) ■ т)* х1 + х2 + х3 + 3х4 С3 + С5 + С6
2 (1 - 234)*, ((-3 - 421) ■ т2)* х1 + 2х3 + х4 4 + -N1
3 (13 - 24)*, ((34 - 2 - 1) ■ т2)* х1 + х4 2 -иу -
4 (1243)*, (42 - 13)* 2х2 + х4 е8
5 (1432)* х2 - 2х3 е4 + х23
х1 - х со со 4 - СО 2 - 2 2 -
2х3 + х4 Сл + ю 00 + -N1
6 (-2 - 134)*, ((14 - 32) ■ т2)* х3 + х4 -е6 - е10 - е44
124 х1 - х2 + х4 е со + е ю ю
7 (1 - 43 - 2)*, ((-2413) ■ т2)* х1 + х2 - х3 -е34
8 ((-13 - 4 - 2) ■ т2)* х1 -е21
х2 + х4 -е29
-х2 + х3 8 2 е
9 (-413 - 2)*, (2134)* 2х3 + х4 -е33
х1 + х2 - х3 -е34
10 (123 - 4)*, ((2 - 3 - 14) ■ т)* х2 + х3 + х4 -е39
2 х - 1х -е25
Переходя к точной последовательности двойственных модулей, получаем каноническую резольвенту:
0 —► т4 —+ 5 —► N —► 0, (7)
здесь ^*(хг)=х»°^. Ввиду точности последовательности (7), N~>5/^*(Т4).
Возьмем в качестве базиса Б элементы С1, С2,..., С44, ^*(х1), ^*(х2),
^*(х3), V*(х4), тогда N =< [С1], [С2], [С44] >, где [С*], г = 1...44 — клас-
сы смежности соответствующих элементов. Действие П на Б индуцирует действие П на NI.
Перейдем к вычислениям одномерных когомологий модуля N. В работе мы используем два алгоритма для вычисления группы Н 1(п,^1 ),п ^ П. Первый из них применим в следующих условиях. Пусть в п есть нормальная подгруппа п индекса два такая, что Н 1(п, N) = 0. Тогда используем последовательность ’’ограничение-инфляция”:
0 —► Н 1(п/п, Н 1(п, N) —4 Н 1(п, N) = 0.
Откуда Н ^п, N) = Н 1(п/п, Nп), а так как п/п =< д,д2 = е > — циклическая, то Н 1(< д >,N1п) = Н-1(< д >,ЖП) = . Таким образом, имеем
следующий
Алгоритм 2.2 (’’ограничение-инфляция”).
ь Вычисляем Z-подмодуль инвариантов N1п модуля N.
П. Находим ядро отображения (д + е) : Nп ^ п.
Ш. Находим образ отображения (д — е) : Nп ^ п.
гу. Вычисляем фактор-группу , это и есть Н 1(п,^1).
Перейдем ко второму алгоритму. Условие его применения — это 2-порожденность группы п. Пусть мы исследуем подгруппу п =< д1, д2 >. Всякий скрещенный гомоморфизм ^ : п ^ N однозначно определяется своими значениями на образующих
ь ^(д2) = а.
Так как I1 — вялый П-модуль, то Н 1(< д1 >,Л) = Н-1(< д1 >,Л) = = 0, а значит, можно выбрать в каждом классе Z 1(п,^1) 1-коцикл ^ такой, что <^(д1) = 0. Опишем теперь те значения а, которые соответствуют
1-кограницам, то есть элементам группы В1(п,^1). Если ^ £ В 1(п,^1) и <^(д1) = 0, ^(д2) = а, то существует а £ N такой, что <^(д1) = (д1 — е)а = = 0, а <^(д2) = (д2 — е)а = а, то есть а является элементом Z-подмодуля В в N, где В — образ отображения (д2 — е) : N<д1> ^ N. Рассмотрим фактор-группу N/В. Мы утверждаем, что группа (!1 /В)*ОГ8 изоморфна Н 1(п,^1). Действительно, пусть элемент а соответствует некоторому
1-коциклу ^ £ Z 1(п,^1). Так как группа Н 1(п,^1) конечна, то существует т £ N такое, что т^> £ В 1(п,^1), то есть та £ В, а значит, класс
смежности [а] £ (И/В)*ОГ8. Обратно, пусть класс [а] £ (Ж/В)*ОГ8, тогда
для некоторого натурального числа т та £ В, а значит, определяет главный скрещенный гомоморфизм ^ такой, что <^(д1) = та = (д2 — е)а, где
а — д1 -инвариантный элемент N, то есть <^(д1) = (д1 — е)а = 0. Тогда тV : п ^ N является 1-коциклом, а значит, класс [а] соответствует элементу [тV] группы Н1 (п,Ж). Согласование структур групп (Ж/В)*ОГ8 и Н 1(п,7£) очевидно. Таким образом, мы получаем следующий Алгоритм 2.3 (группы с двумя образующими). Пусть п =< д1,д2 >.
ь Вычисляем Z-подмодуль инвариантов N<д1> модуля N) .
П. Находим образ отображения (д2 — е) : N<д1> ^ N — Z-модуль В.
ш. Вычисляем (!1 /В)*ОГ8, используя алгоритм 2.4.14 из книги [12]. Это и есть Н 1(п,^1).
Известный результат [11, гл. 4, §6] определяет, что р-компонента группы Н 1(С,^1) содержится в группе Н 1(Ср,^1), где Ср — силовская р-подгруппа в С. Таким образом, сначала мы будем рассматривать не всю подгруппу, а только 2- и 3-подгруппы в П. Из них выделим подгруппы с нетривиальным инвариантом. Далее для групп, содержащих выделенные подгруппы в качестве силовских, мы будем вычислять одномерные когомологии соответствующего модуля.
В работе [5] были вычислены одномерные когомологии вялого модуля N для силовской 2-группы П2 и силовской 3-группы П3 группы П. Эти бирациональные инварианты оказались нулевыми, а так как все подгруппы П3 циклические, то Н 1(п,^1) =0, Уп ^ П3. Таким образом, нам осталось рассмотреть подгруппы силовской 2-группы П2 и группы, их содержащие. Как абстрактная группа П2 изоморфна полупрямому произведению ^4 х^|.
Далее мы перечисляем все подгруппы группы П2, рассматривая гомоморфизм проекции ^4 х Z2 ^ ^4 на первый множитель, и учитываем замечание 2.1.
При этом гомоморфизме проекции любая подгруппа П2 переходит в подгруппу ^4. Сужение гомоморфизма на эту подгруппу обладает ядром, являющимся подгруппой в Z2. Подгруппы ^4 хорошо известны и имеют не более двух образующих. Подгруппы Z4 можно получить, перебирая множества порождающих элементов (достаточно ограничиться четырьмя образующими). Кроме того, любой элемент из образа определяет набор из 16 возможных прообразов, получающихся с учетом знака. Итак, пусть мы имеем список подгрупп в ^4, список подгрупп в Z2 и можем генерировать все элементы группы по заданным образующим. Тогда имеем следующий Алгоритм 2.4 (полный перебор подгрупп в П2).
Ь Фиксируем подгруппу Н ^ ^4 с ее образующими 01,02.
П. Создаем списки возможных прообразов для элементов 01,02 — {о'}, г = 1, 2, ] = 1...16.
ш. Фиксируем подгруппу К ^ Z2.
Гу. Генерируем группу С =< ок, о',К >.
V. Если выполняется условие о связи между порядками образа, ядра и прообраза |С|/|К| = |Н|, то С является подгруппой в П2, переходящей при гомоморфизме в Н.
Перебирая все подгруппы H в D4, получаем все подгруппы в П2. С помощью этого алгоритма с точностью до сопряжения элементами всей группы П были найдены 18 нециклических подгрупп 4 порядка, 41 нециклическая подгрупа 8 порядка, 33 нециклические подгруппы 16 порядка, 15 нециклических подгрупп 32 порядка, 7 нециклических подгрупп 64 порядка в П2.
Так как для циклических групп когомологии вялого модуля нулевые, остается рассмотреть подгруппы, найденные выше. Мы рассматриваем группы по возрастанию их порядка. Для каждой группы всегда находилась либо циклическая подгруппа индекса 2, либо нециклическая подгруппа (с точностью до сопряжения) индекса 2, рассмотренная на предыдущем шаге, с нулевой группой одномерных когомологией. Таким образом, в каждом случае применим алгоритм 2.2. Результаты его работы позволили выделить две подгруппы порядка 4, шесть подгрупп порядка 8, пять подгрупп порядка 16 и одну подгруппу порядка 32, для которых когомологический инвариант вялого модуля нетривиален. Список этих подгрупп читатель может найти в таблицах 2 и 3 теоремы 2.6. Следуя намеченному плану, мы переходим к рассмотрению подгрупп группы П, силовские 2-подгруппы которых сопряжены упомянутым выше подгруппам П2.
Алгоритм 2.5 (нахождение подгрупп с заданной силовской
2-группой). Дана 2-подгруппа п в группе П.
i. Составляем полный список {о^} 3-подгрупп в группе П.
ii. Для каждой подгруппы о генерируем группу G =<п,о >.
iii. Если порядок силовской 2-подгруппы группы G равен порядку группы п, то G является одной из искомых подгрупп.
Мы применили алгоритм 2.5 для каждой из 2-групп таблиц 2 и 3. Были найдены 12 подгрупп в группе П, все они оказались 2-порожденными. Для каждой из них вычислили когомологический инвариант, используя алгоритм 2.3. Он оказался нетривиальным для четырех групп: № 14 табл. 2 (ее силовская 2-подгруппа — группа № 11 табл. 2), № 15 табл. 2 (ее си-ловская 2-подгруппа — группа № 12 табл. 2), № 16 табл. 2 (ее силовская
2-подгруппа — группа № 13 табл. 2), № 2 табл. 3 (ее силовская 2-подгруппа — группа № 1 табл. 3).
Наконец, собирая все представленные выше результаты, получаем основную теорему.
Теорема 2.6. Пусть T4 — максимальный k-тор без аффекта в полупро-стой группе типа F4, L — минимальное поле разложения тора T с группой Галуа П = Gal(L/k), X — гладкая проективная модель тора T, X = X 0 L. Тогда в обозначениях замечания 2.1
i. Когомологический бирациональный инвариант H 1(п, Pic X) = Z2 тогда и только тогда, когда подгруппа п группы П сопряжена одной из следующих групп (табл. 2).
Таблица 2
№ Порядок подгруппы п Система образующих п
1 4 (-1 - 234), (-12 - 3 - 4)
2 4 (-12 - 34), (-1432)
3 8 (-12 - 34), (1 - 23 - 4), (-1432)
4 8 (-143 - 2), (-12 - 34)
5 8 (-12 - 34), (1432), (-1 - 23 - 4)
6 8 (1 - 4 - 32), (-1 - 2 - 34)
7 8 (34 - 1 - 2), (-12 - 34)
8 16 (-143 - 2), (123 - 4), (-12 - 34)
9 16 (-2341), (1 - 23 - 4)
10 16 (34 - 1 - 2), (-1432), (-12 - 34)
11 16 (34 - 1 - 2), (-1 - 234), (-21 - 43)
12 16 (-2341), (14 - 32)
13 32 (-2341), (-1432), (1 - 23 - 4)
14 48 (2431) ■ т, (-1 - 234)
15 48 (-2341), т
16 96 (-12 - 34) ■ т, (-2341)
ii. Когомологический бирациональный инвариант H 1(п, Pic X) = Z2®Z2 тогда и только тогда, когда подгруппа п группы П сопряжена одной из следующих групп (табл. 3).
Таблица 3
№ Порядок подгруппы п Система образующих п
1 8 (34 - 1 - 2), (2 - 1 - 43)
2 24 (2 - 4 - 31) ■ т, (-3 - 412)
iii. В остальных случаях H 1(п, Pic X) = 0.
Автор статьи благодарит В.Е. Воскресенского и С.Ю. Попова за постоянное внимание и поддержку, а также Б.Э. Кунявского за полезные замечания и исправления.
Литература
[1] Воскресенский В.Е. Максимальные торы без аффекта в полупростых алгебраических группах // Матем. заметки. 1988. Т. 44. Вып. 3. С. 309-318.
[2] Воскресенский В.Е., Кунявский Б.Э. О максимальных торах в полупростых алгебраических группах // Деп. в ВИНИТИ 5.03.84. № 1269. Куйбышев, 1984.
[3] Клячко А.А. Прямые слагаемые перестановочных модулей и бирацио-нальная геометрия. Арифметика и геометрия многообразий. Самара, 1992.
[4] Cortella A., Kunyavski B. Rationality problem for generic tori in simple groups // J. Algebra 225 (2000). P. 771-793.
[5] Попов С.Ю. Решетки Галуа и их бирациональные инварианты // Вестник СамГУ. 1998. № 4(10). С. 71-83.
[6] Lemire N., Popov V.L., Reichstein Z. Cayley groups // J. Amer. Math. Soc. 19 (2006). P. 921-967.
[7] Белова Л.А. Модули четверной группы Клейна и их когомологические инварианты // Вестник СамГУ. 2008. № 6(65). С. 59-70.
[8] Воскресенский В.Е. Алгебраические торы М.: Наука, 1977.
[9] Воскресенский В.Е. Проективные инвариантные модели Демазюра //
Известия АН СССР. Сер.: Математическая. 1982. Т. 46. № 2.
С. 195-210.
[10] Бурбаки Н. Группы и алгебры Ли. Группы Кокстера и системы Титса. Системы корней. М.: Мир, 1972.
[11] Алгебраическая теория чисел / под ред. Дж. Касселса и А. Фрелиха. М.: Мир, 1969.
[12] Cohen H. A course in computational algebraic number theory. Berlin; Heidelberg; New York: Springer, 1996.
Поступила в редакцию 15/VI/2009; в окончательном варианте — 15/W/2009.
BIRATIONAL INVARIANTS FOR THE TORUS WITHOUT AFFECT IN A GROUP OF F4 TYPE
© 2009 Yu.Yu. Krutikov2
In the paper all the cohomological birational invariants for the torus without affect in a semisimple exceptional group of F4 type are calculated. Kunyavski B. and Cortella A. have proved that this torus is not rational. We prove that the Picard group of a projective model for the studied torus is not cohomologically trivial. We find all the subgroups in Weyl group W (F4) for which the corresponding cohomological invariant is not trivial.
Key words: algebraic torus, birational invariant, cohomology, flasque resolution, semisimple group.
Paper received 15/W/2009. Paper accepted 15/V7/2009.
2Krutikov Yuri Yurievich (yuri820710@mail.ru), Dept. of Algebra and Geometry, Samara State University, Samara, 443011, Russia.
