Абстрактная алгебра
Теория представлений групп
Как изучать абстрактную группу, если у нас нет ничего, кроме таблицы умножения? Ответ теории представлений: «оживить» группу - превратить её элементы в конкретные матрицы, которые можно перемножать и вычислять. И оказывается, что скромная таблица характеров (просто следы матриц!) полностью кодирует всю структуру представлений.
- Квантовая механика: спин ½ электрона - двумерное представление группы SU(2); спектральные правила отбора в химии следуют из теории представлений групп симметрий
- Обработка сигналов: быстрое преобразование Фурье (FFT) - это теория представлений циклических групп; обобщённые FFT используют представления произвольных групп
Предварительные знания
Что такое представление группы
**Представление** группы G в векторном пространстве V над полем k - это гомоморфизм групп ρ: G → GL(V), где GL(V) - группа обратимых линейных преобразований V. Иными словами, каждому g ∈ G сопоставляется обратимая матрица ρ(g), причём ρ(gh) = ρ(g)ρ(h) и ρ(e) = I. **Размерность** представления - это dim(V). Двумерное представление даёт 2×2 матрицы, трёхмерное - 3×3.
**Зачем представления?** Абстрактная группа - сложный объект. Её представление превращает абстрактную симметрию в конкретные матрицы, с которыми можно вычислять. Теория представлений - мост между алгеброй и линейной алгеброй. Физики используют представления групп симметрий для классификации элементарных частиц: спин электрона - это представление SU(2).
**Подпредставление** - подпространство W ⊆ V, инвариантное относительно всех ρ(g): если w ∈ W, то ρ(g)w ∈ W для всех g ∈ G. **Неприводимое** представление (irrep) - то, у которого нет нетривиальных инвариантных подпространств. Неприводимые представления - атомы теории; все остальные из них строятся.
Отображение ρ: Z/4Z → GL₁(ℝ) задаётся как ρ(k) = (-1)^k (умножение на ±1). Является ли это представлением?
Характеры представлений
**Характер** представления ρ - это функция χ_ρ: G → k, заданная как след матрицы: χ_ρ(g) = tr(ρ(g)). Характер - класс-функция (постоянна на классах сопряжённости), так как tr(ABA⁻¹) = tr(B). Ключевые свойства: - χ(e) = dim(V) (след единичной матрицы) - χ(g⁻¹) = χ(ḡ) (в унитарных представлениях) - χ_{ρ₁ ⊕ ρ₂} = χ_{ρ₁} + χ_{ρ₂} (характер суммы - сумма характеров)
**Теорема об ортогональности характеров:** Характеры неприводимых представлений образуют ортонормальный базис в пространстве класс-функций на G. Это значит, что таблица характеров - унитарная матрица (с учётом весов). Число неприводимых представлений = число классов сопряжённости в G.
Характер - это само представление (матрицы ρ(g))
Характер - только числовая функция χ(g) = tr(ρ(g)), гораздо более скромный объект. Но, удивительно, характер полностью определяет представление с точностью до изоморфизма (для разложимых представлений над ℂ).
See concept content for the resolution.
Группа Z/4Z = {0,1,2,3} имеет 4 класса сопряжённости (так как абелева). Сколько неприводимых представлений у Z/4Z?
Лемма Шура и неприводимые представления
**Лемма Шура** - фундаментальный результат теории представлений: 1. Если ρ₁: G → GL(V₁) и ρ₂: G → GL(V₂) - неприводимые представления, и φ: V₁ → V₂ - линейное отображение, коммутирующее со всеми ρ(g) (т.е. φ∘ρ₁(g) = ρ₂(g)∘φ), то φ = 0 или φ - изоморфизм. 2. Если ρ - неприводимое представление над алгебраически замкнутым полем (например, ℂ), то единственные операторы, коммутирующие со всеми ρ(g) - это скалярные: φ = λI.
**Применения в физике:** Классификация молекулярных орбиталей по неприводимым представлениям группы симметрии молекулы определяет, какие спектральные переходы разрешены (правила отбора). Молекула воды H₂O имеет группу симметрии C₂ᵥ; её четыре неприводимых представления (A₁, A₂, B₁, B₂) классифицируют орбитали и колебания.
Лемма Шура утверждает, что оператор φ: V → V, коммутирующий со всем неприводимым представлением G над ℂ, является скалярным. Что это означает для центра Z(G)?
Ключевые идеи
- Представление ρ: G → GL(V) - гомоморфизм группы в обратимые операторы
- Неприводимое представление не имеет нетривиальных инвариантных подпространств
- Характер χ(g) = tr(ρ(g)) - класс-функция, полностью определяющая представление
- Число неприводимых представлений = число классов сопряжённости
- Лемма Шура: интертвинующие операторы между неприводимыми - 0 или изоморфизм
- Таблица характеров - унитарная матрица; ортогональность характеров
Дальнейшие пути
Теория представлений конечных групп (теорема Машке, теорема Бернсайда) переходит в представления групп Ли, которые управляют физикой элементарных частиц. Таблицы характеров вычисляются в GAP и SageMath.
- Простые группы — Классификация простых групп тесно связана с их неприводимыми представлениями
- Алгебры Ли — Представления групп Ли изучаются через представления соответствующих алгебр Ли
Вопросы для размышления
- Почему теорема об ортогональности характеров гарантирует, что таблица характеров квадратная (число строк = число столбцов)?
- Знаковое представление S_n: sgn(σ) = ±1. Какой характер у тензорного произведения знакового представления с самим собой?
- Как теория представлений объясняет, почему атом водорода имеет уровни с вырождением n²?