Теорема Ли — Колчина

Теорема Ли — Колчина — это теорема теории представлений линейных алгебраических групп. Теорема Ли является аналогом для линейных алгебр Ли.

Формулировка

Если G является связной разрешимой линейной алгебраической группой, определённой над алгебраически замкнутым полем, а

представление на ненулевом конечномерном векторном пространстве V, то имеется одномерное линейное подпространство L пространства V, такое что

То есть, имеет инвариантную прямую L, на которой G действует посредством одномерного представления. Это эквивалентно утверждению, что V содержит ненулевой вектор v, который является общим (одновременным) собственным вектором для всех .

Замечания
  • Из теоремы немедленно следует, что любое неприводимое конечномерное представление связной разрешимой линейной алгебраической группы G имеет размерность единица. Фактически, это другой способ утверждения теоремы Ли — Колчина.
  • Теорема Ли утверждает, что любое ненулевое представление разрешимой алгебры Ли на конечномерном векторном пространстве над алгебраически замкнутом поле характеристики 0 имеет одномерное инвариантное подпространство.
  • Аналогичный результат для алгебр Ли доказал Софус Ли[1], а для алгебраических групп доказал Колчин[2].
  • Теорема Бореля о неподвижной точке обобщает теорему Ли — Колчина.

Триангуляризация

Иногда эта теорема упоминается как Теорема Ли — Колчина о триангуляризации, поскольку по индукции из неё следует, что при подходящем базисе в V образ имеет треугольный вид. Другими словами, образ группы сопряжён в GL(n,K) (где n = dim V) в подгруппу группы T треугольных матриц, стандартной подгруппы Бореля группы GL(n,K) — образ одновременно триангуляризуем.

Теорема верна, в частности, для подгруппы Бореля полупростой линейной алгебраической группы G.

Контрпример

Если поле K не замкнуто алгебраически, теорема может не выполняться. Стандартная единичная окружность, рассматриваемая как множество комплексных чисел с абсолютным значением единица, является одномерной коммутативной (а потому разрешимой) линейной алгебраической группой над вещественными числами, которая имеет двумерное представление в ортогональной группе SO(2) без инвариантной (вещественной) прямой. Здесь образ числа является ортогональной матрицей

Примечания
  1. Lie, 1876.
  2. Kolchin, 1948, с. 19.

Литература
  • Gorbatsevich V.V. Lie–Kolchin theorem // Encyclopedia of Mathematics. — EMS Press, 2001.
  • Kolchin E. R. Algebraic matric groups and the Picard-Vessiot theory of homogeneous linear ordinary differential equations // Annals of Mathematics. — 1948. — Т. 49. — С. 1–42. — ISSN 0003-486X. — doi:10.2307/1969111. — .
  • Sophus Lie. Theorie der Transformationsgruppen. Abhandlung II // Archiv for Mathematik og Naturvidenskab. — 1876. — Т. 1. — С. 152–193.
  • William C. Waterhouse. chapter 10, в частности, секция 10.2) // Introduction to Affine Group Schemes. — Springer Verlag New York, 1979. — Т. 66. — (Graduate Texts in Mathematics).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.