Перейти к содержанию

Группа Кремоны

Материал из Мегавики — свободной энциклопедии

Группа Кремоны — это группа бирациональных автоморфизмов n-мерного проективного пространства над полем k. Группу ввёл в рассмотрение в 1863—1865 годах Луиджи Кремона[1][2]. Группа обозначается как Cr(n(k)), Bir(n(k)) или Crn(k).

Группа Кремоны естественным образом отождествляется с группой автоморфизмов Autk(k(x1,...,xn)) поля рациональных функций от n неизвестных над k, или трансцендентным расширением поля k со степенью трансцендентности n.

Проективная полная линейная группа порядка n+1 проективных преобразований содержится в группе Кремоны порядка n. Они совпадают только в случаях, когда n=0 или n=1, в которых числитель и знаменатель преобразования линейны.

Группа Кремоны в пространствах размерности 2[править]

В пространствах размерности два Гизатуллин[3] дал полное описание соотношений для системы образующих группы. Структура этой группы остаётся не вполне понятной, хотя имеется большое число работ по нахождению её элементов или подгрупп.

  • Серж Канта и Стефан Лами[4] показали, что группа Кремоны не проста как абстрактная группа.
  • Жереми Бланк показал, что группа не имеет нетривиальных нормальных подгрупп и замкнута в естественной топологии.
  • Долгачёва и Исковских написали статью о конечных подгруппах группы Кремоны[5].

Группа Кремоны в пространствах размерности 3 и больше[править]

Мало известно о структуре группы Кремоны в пространствах размерности 3 и выше, хотя много элементов этой группы описано. Бланк[6] показал, что она (линейно) связна, ответив на вопрос Серра[7]. Нет простого аналога теореме Нётера — Кастельнуово, поскольку Хадсон[8] показала, что группа Кремоны в размерности по меньшей мере 3 не порождается её элементами степени, ограниченной любым фиксированным числом.

Группы де Жонкьера[править]

Группа де Жонкьера[9] — это подгруппа группы Кремоны следующего вида. Выберем базис трансцендентности x1,...,xn для расширения поля k. Тогда группа де Жонкьера — это подгруппа автоморфизмов k(x1,...,xn), отображающих подполе k(x1,...,xr) в себя для некоторого rn. Она имеет нормальную подгруппу, заданную группой Кремоны автоморфизмов k(x1,...,xn) над полем k(x1,...,xr), а фактор-группа является группой Кремоны k(x1,...,xr) над полем k. Она может считаться группой бирациональных автоморфизмов расслоённого пучка r×nrr.

Если n=2 и r=1, группа де Жонкьера является группой Кремоны преобразований, сохраняющих пучок прямых через данную точку, и она является полупрямым произведением PGL2(k) и PGL2(k(t)).

Примечания[править]

  1. Cremona, 1863, с. 305–311.
  2. Cremona, 1865, с. 269–280, 363–376.
  3. Гизатуллин, 1982.
  4. Cantat, Lamy, 2010.
  5. Dolgachev, Iskovskikh, 2009.
  6. Blanc, 2010.
  7. Serre, 2010.
  8. Hudson, 1927.
  9. Имеется разное написание фамилии. Так, И. Р. Шафаревич пишет её через дефис: де-Жонкьер. Шафаревич даёт следующее определение группы де-Жонкьера:
    преобразование де-Жонкьера: (x1,x2,,xn)(y1,y2,,yn), где yi=aixi+fi(xi+1,,xn),ai0 и fi — произвольный многочлен от переменных xi+1,,xn.

Литература[править]