Это не официальный сайт wikipedia.org 01.01.2023

Группа Кремоны — Википедия

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

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

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

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

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

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

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

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

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

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

Если n = 2   и r = 1  , группа де Жонкьера является группой Кремоны преобразований, сохраняющих пучок прямых через данную точку, и она является полупрямым произведением P G L 2 ( k )   и P G L 2 ( 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. Имеется разное написание фамилии. Так, И. Р. Шафаревич пишет её через дефис: де-Жонкьер. Шафаревич даёт следующее определение группы де-Жонкьера:
    преобразование де-Жонкьера: ( x 1 , x 2 , , x n ) ( y 1 , y 2 , , y n )  , где y i = a i x i + f i ( x i + 1 , , x n ) , a i 0   и f i   — произвольный многочлен от переменных x i + 1 , , x n  .

ЛитератураПравить