Лемма Шурса - Schurs lemma - Wikipedia

Для использования в других целях см. Лемма Шура (значения).

В математика, Лемма Шура^[1] это элементарное, но чрезвычайно полезное утверждение в теория представлений из группы и алгебры. В групповом случае это говорит, что если M и N являются двумя конечномерными неприводимые представления группы грамм и φ является линейным преобразованием из M к N который коммутирует с действием группы, то либо φ является обратимый, или же φ = 0. Важный частный случай возникает, когда M = N и φ это собственная карта; в частности, любой элемент центр группы должен действовать как скалярный оператор (скалярное кратное тождества) на M. Лемма названа в честь Иссай Шур кто использовал это, чтобы доказать Соотношения ортогональности Шура и развить основы теория представлений конечных групп. Лемма Шура допускает обобщение на Группы Ли и Алгебры Ли, наиболее распространенная из которых связана с Жак Диксмье.

Теория представлений групп

Теория представлений - это изучение гомоморфизмов группы, грамм, в общая линейная группа GL (V) векторного пространства V; т.е. в группу автоморфизмов V. (Здесь ограничимся случаем, когда основное поле V является ${\displaystyle \mathbb {C} }$, поле комплексных чисел.) Такой гомоморфизм называется представлением грамм на V. Представление на V это частный случай групповое действие на V, но вместо того, чтобы разрешать любые произвольные перестановки базового набора V, ограничимся обратимыми линейный трансформации.

Позволять ρ быть представлением грамм на V. Может случиться так, что V имеет подпространство, W, так что для каждого элемента грамм из граммобратимое линейное отображение ρ(грамм) сохраняет или исправляет W, так что (ρ(грамм))(ш) в W для каждого ш в W, и (ρ(грамм))(v) не в W для любого v не в W. Другими словами, каждая линейная карта ρ(грамм): V→V также является автоморфизмом W, ρ(грамм): W→W '', когда его домен ограничен W. Мы говорим W стабилен под грамм, или стабильно под действием грамм. Понятно, что если учесть W само по себе как векторное пространство, то существует очевидное представление грамм на W- представление, которое мы получаем, ограничивая каждую карту ρ(грамм) к W. Когда W обладает этим свойством, мы называем W с данным представлением субпредставительство из V. Представление грамм без подпредставлений (кроме себя и нуля) является несводимый представление. Неприводимые представления, такие как простые числа, или как простые группы в теории групп являются строительными блоками теории представлений. Многие из исходных вопросов и теорем теории представлений касаются свойств неприводимых представлений.

Поскольку нас интересуют гомоморфизмы между группами, или непрерывные карты между топологические пространства, нас интересуют некоторые функции между представлениями грамм. Позволять V и W - векторные пространства, и пусть ${\displaystyle \rho _{V}}$ и ${\displaystyle \rho _{W}}$ быть представлениями грамм на V и W соответственно. Затем мы определяем грамм-линейная карта ж из V к W быть линейной картой из V к W то есть эквивариантный под действием грамм; то есть для каждого грамм в грамм, ${\displaystyle \rho _{W}(g)\circ f=f\circ \rho _{V}(g)}$. Другими словами, мы требуем, чтобы ж коммутирует с действием грамм. грамм-линейные отображения - это морфизмы в категория представительств грамм.

Лемма Шура - это теорема, описывающая то, что грамм-линейные отображения могут существовать между двумя неприводимыми представлениями грамм.

Утверждение и доказательство леммы.

Теорема (Лемма Шура): Позволять V и W быть векторными пространствами с нижележащим полем ${\displaystyle \mathbb {C} }$; и разреши ${\displaystyle \rho _{V}}$ и ${\displaystyle \rho _{W}}$ неприводимые представления грамм на V и W соответственно.^[2]

1. Если ${\displaystyle V}$ и ${\displaystyle W}$ не изоморфны, то нетривиальных грамм-линейные карты между ними.
2. Если ${\displaystyle V=W}$; и если ${\displaystyle \rho _{V}=\rho _{W}}$, то единственная нетривиальная грамм-линейные карты идентичны, а скалярные кратные идентичности. (Скалярное кратное тождества иногда называют гомотетия.)

Доказательство: Предполагать ${\displaystyle f}$ ненулевой грамм-линейная карта из ${\displaystyle V}$ к ${\displaystyle W}$. Мы докажем, что ${\displaystyle V}$ и ${\displaystyle W}$ изоморфны. Позволять ${\displaystyle V'}$ быть ядром или пустым пространством ${\displaystyle f}$ в ${\displaystyle V}$, подпространство всех ${\displaystyle x}$ в ${\displaystyle V}$ для которого ${\displaystyle fx=0}$. (Легко проверить, что это подпространство.) По предположению, что ${\displaystyle f}$ является грамм-линейный, для каждого ${\displaystyle g}$ в ${\displaystyle G}$ и выбор ${\displaystyle x}$ в ${\displaystyle V',f((\rho _{V}(g))(x))=(\rho _{W}(g))(f(x))=(\rho _{W}(g))(0)=0}$. Но говоря, что ${\displaystyle f(\rho _{V}(g)(x))=0}$ это то же самое, что сказать, что ${\displaystyle \rho _{V}(g)(x)}$ находится в нулевом пространстве ${\displaystyle f:V\rightarrow W}$. Так ${\displaystyle V'}$ устойчив под действием грамм; это субпредставительство. Поскольку по предположению ${\displaystyle V}$ неприводимо, ${\displaystyle V'}$ должно быть равно нулю; так ${\displaystyle f}$ инъективно.

Точно так же покажем ${\displaystyle f}$ также сюръективен; поскольку ${\displaystyle f((\rho _{V}(g))(x))=(\rho _{W}(g))(f(x))}$, можно сделать вывод, что при произвольном выборе ${\displaystyle f(x)}$ в диапазоне ${\displaystyle f}$, ${\displaystyle \rho _{W}(g)}$ отправляет ${\displaystyle f(x)}$ где-то еще в диапазоне ${\displaystyle f}$; в частности, он отправляет это изображение ${\displaystyle \rho _{V}(g)x}$. Итак, диапазон ${\displaystyle f(x)}$ является подпространством ${\displaystyle W'}$ из ${\displaystyle W}$ стабильный под действием ${\displaystyle G}$, так что это субпредставление и ${\displaystyle f}$ должен быть нулевым или сюръективным. По предположению он не равен нулю, поэтому он сюръективен, и в этом случае это изоморфизм.

В том случае, если ${\displaystyle V=W}$ и они имеют такое же представление, пусть ${\displaystyle \lambda }$ быть собственным значением ${\displaystyle f}$. (Собственное значение существует для каждого обратимого линейного преобразования в векторном пространстве, базовое поле которого ${\displaystyle \mathbb {C} }$, как простое следствие основная теорема алгебры.) Позволять ${\displaystyle f'=f-\lambda I}$. Тогда если ${\displaystyle x}$ является собственным вектором ${\displaystyle f}$ соответствующий ${\displaystyle \lambda ,f'(x)=0}$. Ясно, что ${\displaystyle f'}$ это грамм-линейная карта, потому что сумма или разность грамм-линейные карты также грамм-линейный. Затем мы возвращаемся к приведенному выше аргументу, где мы использовали тот факт, что карта была грамм-линейный, чтобы заключить, что ядро ​​является подпредставлением и, таким образом, равно нулю или равно всем ${\displaystyle V}$; потому что он не равен нулю (он содержит ${\displaystyle x}$) это должно быть все из V и так ${\displaystyle f'}$ тривиально, поэтому ${\displaystyle f=\lambda I}$.

Формулировка на языке модулей

Если M и N два простые модули над кольцом р, то любой гомоморфизм ж: M → N из р-модули либо обратимы, либо нулевые.^[3] В частности, кольцо эндоморфизмов простого модуля является делительное кольцо.^[4]

Условие, что ж гомоморфизм модулей означает, что

${\displaystyle f(rm)=rf(m){\text{ for all }}m\in M{\text{ and }}r\in R.}$

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

Лемма Шура часто применяется в следующем частном случае. Предположим, что р является алгебра над полем k и векторное пространство M = N это простой модуль р. Тогда лемма Шура говорит, что кольцо эндоморфизмов модуля M это алгебра с делением над полем k. Если M конечномерна, эта алгебра с делением конечномерна. Если k - это поле комплексных чисел, единственный вариант - это алгебра с делением на комплексные числа. Таким образом, кольцо эндоморфизмов модуля M "как можно меньше". Другими словами, единственные линейные преобразования M которые коммутируют со всеми преобразованиями, происходящими из р являются скалярными кратными тождества.

В более общем случае это справедливо для любой алгебры р над бесчисленным алгебраически замкнутый поле k и для любого простого модуля M что является не более чем счетномерным: единственные линейные преобразования M которые коммутируют со всеми преобразованиями, происходящими из р являются скалярными кратными тождества.

Когда поле не является алгебраически замкнутым, случай, когда кольцо эндоморфизмов как можно меньше, по-прежнему представляет особый интерес. Простой модуль над k-алгебра называется абсолютно просто если его кольцо эндоморфизмов изоморфно k. Это, вообще говоря, сильнее, чем неприводимость над полем k, откуда следует, что модуль неприводим даже над алгебраическим замыканием k.

Представления групп Ли и алгебр Ли

Опишем лемму Шура, как она обычно формулируется в контексте представлений групп Ли и алгебр Ли. Результат состоит из трех частей.^[5]

Сначала предположим, что ${\displaystyle V_{1}}$ и ${\displaystyle V_{2}}$ неприводимые представления группы Ли или алгебры Ли над любым полем и что ${\displaystyle \phi :V_{1}\rightarrow V_{2}}$ является переплетающаяся карта. потом ${\displaystyle \phi }$ равен нулю или изоморфизму.

Во-вторых, если ${\displaystyle V}$ неприводимое представление группы Ли или алгебры Ли над алгебраически замкнутый поле и ${\displaystyle \phi :V\rightarrow V}$ является переплетающейся картой, то ${\displaystyle \phi }$ является скалярным кратным тождественной карты.

В-третьих, предположим ${\displaystyle V_{1}}$ и ${\displaystyle V_{2}}$ неприводимые представления группы Ли или алгебры Ли над алгебраически замкнутый поле и ${\displaystyle \phi _{1},\phi _{2}:V_{1}\rightarrow V_{2}}$ ненулевые переплетающиеся карты. потом ${\displaystyle \phi _{1}=\lambda \phi _{2}}$ для некоторого скаляра ${\displaystyle \lambda }$.

Как простое следствие второго утверждения состоит в том, что любое сложное неприводимое представление Абелева группа одномерно.

Приложение к элементу Казимира

Предполагать ${\displaystyle {\mathfrak {g}}}$ является алгеброй Ли и ${\displaystyle U({\mathfrak {g}})}$ это универсальная обертывающая алгебра из ${\displaystyle {\mathfrak {g}}}$. Позволять ${\displaystyle \pi :{\mathfrak {g}}\rightarrow \mathrm {End} (V)}$ быть неприводимым представлением ${\displaystyle {\mathfrak {g}}}$ над алгебраически замкнутым полем. Универсальное свойство универсальной обертывающей алгебры гарантирует, что ${\displaystyle \pi }$ распространяется на представление ${\displaystyle U({\mathfrak {g}})}$ действующий в том же векторном пространстве. Из второй части леммы Шура следует, что если ${\displaystyle x}$ принадлежит к центру ${\displaystyle U({\mathfrak {g}})}$, тогда ${\displaystyle \pi (x)}$ должно быть кратным оператору идентичности. В случае, когда ${\displaystyle {\mathfrak {g}}}$ является комплексной полупростой алгеброй Ли, важным примером предыдущей конструкции является тот, в котором ${\displaystyle x}$ является (квадратичным) Элемент Казимира ${\displaystyle C}$. В этом случае, ${\displaystyle \pi (C)=\lambda _{\pi }I}$, куда ${\displaystyle \lambda _{\pi }}$ - константа, которую можно явно вычислить в терминах старшего веса ${\displaystyle \pi }$.^[6] Действие элемента Казимира играет важную роль в доказательстве полной приводимости конечномерных представлений полупростых алгебр Ли.^[7]

Смотрите также Дополнение Шура.

Обобщение на непростые модули

Одномодульная версия леммы Шура допускает обобщения с участием модулей M это не обязательно просто. Они выражают связь между теоретико-модульными свойствами M и свойства кольцо эндоморфизмов из M.

Модуль называется сильно неразложимый если его кольцо эндоморфизмов является местное кольцо. Для важного класса модулей конечная длина, следующие свойства эквивалентны (Лам 2001, §19):

• Модуль M является неразложимый;
• M сильно неразложим;
• Каждый эндоморфизм M либо нильпотентен, либо обратим.

Вообще говоря, лемму Шура нельзя обратить: существуют модули, которые не являются простыми, но их алгебра эндоморфизмов является делительное кольцо. Такие модули обязательно неразложимы и поэтому не могут существовать над полупростыми кольцами, такими как комплексное групповое кольцо конечной группы. Однако даже над кольцом целые числа, модуль рациональное число имеет кольцо эндоморфизмов, которое является телом, в частности, поле рациональных чисел. Даже для групповых колец есть примеры, когда характеристика поля делит порядок группы: Радикал Якобсона из проективное покрытие одномерного представления переменная группа на пяти точках над полем с тремя элементами имеет поле с тремя элементами в качестве кольца эндоморфизмов.

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

• Лемма Квиллена

Примечания

1. Иссай Шур (1905) "Neue Begründung der Theorie der Gruppencharaktere" (Новые основы теории групповых характеров), Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, страницы 406-432.
2. Дж. П. Серр, (1977) "Линейные представления конечных групп", стр. 13
3. (Сенгупта 2001, п. 126) ошибка harv: цель отсутствует: CITEREFSengupta2001 (помощь)
4. Лам (2001), п. 33.
5. Зал 2015 Теорема 4.29.
6. Зал 2015 Предложение 10.6.
7. Зал 2015 Раздел 10.3

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

• Даммит, Дэвид С .; Фут, Ричард М. (1999). Абстрактная алгебра (2-е изд.). Нью-Йорк: Вили. п. 337. ISBN  0-471-36857-1.
• Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение, Тексты для выпускников по математике, 222 (2-е изд.), Springer, ISBN  978-3319134666
• Лам, Цит-Юэн (2001). Первый курс в некоммутативных кольцах. Берлин, Нью-Йорк: Springer-Verlag. ISBN  978-0-387-95325-0.
• Сенгупта, Амбар (2012). Представление конечных групп: полупростое введение. Нью-Йорк. Дои:10.1007/978-1-4614-1231-1_8. ISBN  9781461412311. OCLC  769756134.
• Штерн, А.И .; Ломоносов, В. (2001) [1994], "Лемма Шура", Энциклопедия математики, EMS Press