Теория представлений и лемма Шура: мост между алгеброй и симметриями

Неприводимые представления как атомы симметрии

Представление группы — это гомоморфизм (сохраняющее структуру отображение) из абстрактной группы в группу невырожденных матриц. Векторное пространство, на которое действуют эти матрицы, может содержать инвариантные подпространства (области, которые операторы группы переводят только сами в себя). Если таких нетривиальных инвариантных подпространств нет, представление называется неприводимым. Неприводимые представления играют роль «атомов» в химии: согласно теореме Машке, любое конечномерное представление конечной группы можно разложить в прямую сумму таких неделимых неприводимых блоков. Анализ любой сложной симметрии (например, вибрации кристаллической решетки) сводится к поиску и классификации ее неприводимых представлений.

Лемма Шура: формулировка и алгебраическая жесткость

Лемма Шура описывает сплетающие операторы (эквивариантные отображения) — такие линейные преобразования, которые коммутируют с действием группы. Первая часть леммы гласит: если у нас есть два неприводимых представления и линейный оператор, который переводит одно в другое, сохраняя симметрию, то этот оператор либо является изоморфизмом (то есть представления абсолютно идентичны), либо это тождественный нуль (нулевая матрица). Третьего не дано. Доказательство опирается на фундаментальные концепции линейной алгебры: ядро и образ коммутирующего оператора обязаны быть инвариантными подпространствами. А поскольку представления неприводимы, эти подпространства могут быть только либо нулевыми, либо совпадать со всем пространством целиком.

Следствие для алгебраически замкнутых полей

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

Теорема Вигнера-Эккарта и квантовая механика

В квантовой механике Лемма Шура приобретает статус закона физики. Квантовые системы обладают симметриями (например, сферической симметрией атома водорода). Гамильтониан системы коммутирует с операторами вращения. Из Леммы Шура следует, что энергетические уровни (собственные подпространства гамильтониана) обязаны образовывать неприводимые представления группы вращений. Обобщение Леммы Шура на тензорные операторы известно в физике как теорема Вигнера-Эккарта. Эта теорема позволяет вычислять вероятности квантовых переходов электронов (матричные элементы) почти без вычислений интегралов, опираясь исключительно на коэффициенты Клебша-Гордана и геометрическую структуру симметрий, что является фундаментом всей атомной спектроскопии.