[论文解读] An Elementary Introduction to Groups and Representations

Brian C. Hall|ArXiv.org|May 31, 2000

Advanced Algebra and Geometry被引用 27

一句话总结

本文提供了一种易于理解的、基于矩阵的李群与表示理论导论，聚焦于矩阵李群以避免微分几何的先备知识。它系统地从基本群论概念出发，逐步推导出李代数、指数映射，以及不可约表示的分类，通过详细分析 sl(3;C) 来激发对半单李代数及其最高权分类的一般理论的理解。

ABSTRACT

These notes give an elementary introduction to Lie groups, Lie algebras, and their representations. Designed to be accessible to graduate students in mathematics or physics, they have a minimum of prerequisites. Topics include definitions and examples of Lie groups and Lie algebras, the relationship between Lie groups and Lie algebras via the exponential mapping, the basics of representations theory, the Baker-Campbell-Hausdorff formula, a detailed study of the representations of SU(3), and a brief survey of the representation theory of general semisimple groups.

研究动机与目标

• 为不具备微分流形知识的读者提供一个自包含的、易于理解的李群与表示理论导论。
• 通过具体的矩阵例子和计算，发展矩阵李群及其关联李代数的理论。
• 通过在 sl(3;C) 上的显式计算，激发对半单李代数及其表示理论结构的理解，进而导出最高权分类。
• 建立表示理论中的基础结果，包括舒尔引理、完全可约性以及对偶表示，并应用于 SU(2)、SO(3) 和海森堡群。
• 介绍 Baker–Campbell–Hausdorff 公式及其在连接李群与李代数中的作用，特别是在海森堡群背景下的应用。

提出的方法

• 将矩阵李群定义为 GL(n;C) 的闭子群，从而在不依赖流形理论的前提下实现具体化处理。
• 利用矩阵指数与对数函数连接李群与李代数，对可对角化、幂零及一般矩阵采用显式计算技术。
• 将矩阵李群的李代数定义为所有满足 exp(tX) 对所有 t 属于该群的矩阵 X 的集合，并使用标准矩阵交换子作为李括号。
• 应用 Baker–Campbell–Hausdorff 公式，将群乘积表示为李代数元素的函数，在海森堡群情形下进行显式计算。
• 通过最高权理论对 sl(2;C) 和 sl(3;C) 的不可约表示进行分类，利用权空间分解及降低算符的作用。
• 利用外尔群与根空间分解分析半单李代数及其表示的结构，尤其关注 sl(3;C) 的情形。

实验结果

研究问题

• RQ1 如何仅通过矩阵李群发展李群与表示理论，从而避免微分几何的需要？
• RQ2 与矩阵李群相关联的李代数的结构是什么？指数映射如何关联群与代数？
• RQ3 如何通过最高权理论对 sl(3;C) 的不可约表示进行分类？权与根在其中扮演什么角色？
• RQ4 群的伴随表示与其中心之间存在何种关系，特别是在非单连通群如 O(2) 中？
• RQ5 sl(2;C) 的表示理论在多大程度上可推广至 sl(n;C)？在更高秩情形下，sl(3;C) 的证明在何处失效？

主要发现

• 对于连通矩阵李群 G，其伴随表示满足 ker(Ad) = Z(G)，但该等式在 O(2) 中不成立，因为此时 ker(Ad) 平凡，而 Z(O(2)) 包含单位元与 -I。
• 对于有限阿贝尔群，不可约复表示的数量等于群中元素的数量，因为此类群是循环群的积。
• 每个正交矩阵 R ∈ O(n) 都可将其 ℝⁿ 分解为 1 或 2 维的不变子空间，且在 2 维块上行列式为 1，由此通过指数映射的满射性证明 SO(n) 是连通的。
• SO(n) 的指数映射是满射，从而提供了一种替代证明其连通性的方法，关键依赖于行列式为 1 的条件。
• sl(2;C)⊕sl(2;C) 的不可约表示由最高权对 (m1, m2) 分类，其维数为 (m1+1)(m2+1)，推广了 sl(2;C) 的情形。
• 对于 sl(3;C) 的最高权为 (0,2) 的不可约表示，其维数为 8，权为 (0,0)、(−1,1)、(1,−1)、(−2,2)、(0,−1)、(2,−2)、(−1,0) 和 (1,1)，对应的重数分别为 1、2、2、1、1、1、1、1。