Аппроксимация в алгебраических группах - Approximation in algebraic groups

В теории алгебраических групп аппроксимационные теоремы являются продолжением Китайская теорема об остатках к алгебраические группы грамм над глобальные поля k.

История

Эйхлер (1938) доказали сильную аппроксимацию для некоторых классических групп. сильная аппроксимация была установлена ​​в 1960-1970-х годах для полупростых односвязных алгебраических групп над глобальные поля. Результаты для числовые поля из за Кнезер  (1966 ) и Платонов  (1969 ); то функциональное поле случай, закончился конечные поля, связано с Маргулис  (1977 ) и Прасад  (1977 ). В случае числового поля Платонов также доказал родственный результат над местные поля называется Гипотеза Кнезера – Титса.

Формальные определения и свойства

Позволять грамм - линейная алгебраическая группа над глобальным полем k, и А кольцо аделей k. Если S - непустое конечное множество мест k, то пишем АS для кольца S-адель и АS для продукта доработок ks, за s в конечном множестве S. На любой выбор S, грамм(k) встраивается в грамм(АS) и грамм(АS).

Вопрос задан в слабый приближение, является ли вложение грамм(k) в грамм(АS) имеет плотный образ. Если группа грамм связан и k-рационально, то он удовлетворяет слабой аппроксимации по любому множеству S (Платонов, Рапинчук 1994, стр.402). В общем, для любой подключенной группы грамм, существует конечное множество Т конечных мест k такой, что грамм удовлетворяет слабому приближению относительно любого множества S это не пересекается с Т (Платонов, Рапинчук 1994, стр.415). В частности, если k является полем алгебраических чисел, то любая группа грамм удовлетворяет слабому приближению по множеству S = S бесконечных мест.

Вопрос задан в сильный приближение, является ли вложение грамм(k) в грамм(АS) имеет плотный образ, или, что то же самое, имеет ли множество

грамм(k)грамм(АS)

это плотное подмножество в грамм(А). Основная теорема сильного приближения (Кнезер 1966, с.188) утверждает, что неразрешимая линейная алгебраическая группа грамм над глобальным полем k имеет сильную аппроксимацию для конечного множества S если и только если это радикальный N является всесильный, грамм/N односвязно, и каждый почти простой компонент ЧАС из грамм/N имеет некомпактный компонент ЧАСs для некоторых s в S (в зависимости от ЧАС).

Доказательства сильного приближения зависели от Принцип Хассе для алгебраических групп, которые для групп типа E8 было доказано только несколько лет спустя.

Слабое приближение справедливо для более широкого класса групп, включая присоединенные группы и внутренние формы из Группы Шевалле, показывая, что свойство сильной аппроксимации является ограничительным.

Смотрите также

Рекомендации

  • Эйхлер, Мартин (1938), "Allgemeine Kongruenzklasseneinteilungen der Ideale einfacher Algebren über algebraischen Zahlkörpern und ihre L-Reihen"., Journal für die Reine und Angewandte Mathematik (на немецком), 179: 227–251, Дои:10.1515 / crll.1938.179.227, ISSN  0075-4102
  • Кнезер, Мартин (1966), "Сильное приближение", Алгебраические группы и разрывные подгруппы (Proc. Sympos. Pure Math., Boulder, Colo., 1965), Провиденс, Р.И.: Американское математическое общество, стр. 187–196, МИСТЕР  0213361
  • Маргулис, Г. А. (1977), "Коограниченные подгруппы в алгебраических группах над локальными полями", Академия Наук СССР. Функциональный анализ и его приложение, 11 (2): 45–57, 95, ISSN  0374-1990, МИСТЕР  0442107
  • Платонов, В. П. (1969), "Проблема сильной аппроксимации и гипотеза Кнезера – Титса для алгебраических групп", Известия Академии Наук СССР. Серия Математическая, 33: 1211–1219, ISSN  0373-2436, МИСТЕР  0258839
  • Платонов, Владимир; Рапинчук, Андрей (1994), Алгебраические группы и теория чисел. (Перевод с русского оригинала 1991 г. Рэйчел Роуэн.), Чистая и прикладная математика, 139, Бостон, Массачусетс: Academic Press, Inc., ISBN  0-12-558180-7, МИСТЕР  1278263
  • Прасад, Гопал (1977), "Сильное приближение для полупростых групп над функциональными полями", Анналы математики, Вторая серия, 105 (3): 553–572, Дои:10.2307/1970924, ISSN  0003-486X, JSTOR  1970924, МИСТЕР  0444571