特征标与权 multiplicity 的关联

引言

在表示论中，特征标（character）与权 multiplicity（weight multiplicity）是研究群表示结构的核心工具。特征标通过群的表示矩阵的迹（trace）来刻画，而权 multiplicity则反映某个表示在另一个表示中的出现次数。两者的关联揭示了群表示分类的深层规律，为理解表示的分解提供了关键视角。本文将从特征标的定义、权 multiplicity 的性质，以及它们在表示分类中的相互作用展开论述。

特征标的定义与性质

特征标是群表示理论中的基础概念。设$ G $为一个有限群，$ \pi $为$ G $的表示，则特征标$ \chi_\pi $定义为$ \pi $在单位元处的矩阵迹，即
$$ \chi_\pi(g) = \text{Tr}(\pi(g)) = \sum_{\lambda} \langle \pi(g), \lambda \rangle $$
其中$ \lambda $为表示$ \pi $的特征向量。特征标具有以下性质：

  1. 正交性：若$ \pi $和$ \rho $为两个不同的表示，则$ \chi_\pi $和$ \chi_\rho $在单位元处的值满足
    $$ \langle \chi_\pi, \chi_\rho \rangle = \delta_{\pi, \rho} $$
  2. 特征标函数的正交性：特征标函数构成一个正交基，即
    $$ \langle \chi_\pi, \chi_\rho \rangle = \delta_{\pi, \rho} $$
  3. 特征标与表示的对应关系：特征标完全由表示的类型决定，同一类表示的特征标值相同。

权 multiplicity 的定义与性质

权 multiplicity 是研究表示分解的另一关键指标。设$ \pi $为$ G $的表示，$ \rho $为另一个表示，则$ \text{multiplicity}(\rho, \pi) $表示$ \rho $在$ \pi $中的出现次数。这一概念可通过以下定理刻画：
Schur引理指出，若$ \pi $和$ \rho $为同构表示，则
$$ \text{multiplicity}(\rho, \pi) = \dim \text{Hom}_G(\pi, \rho) $$
进一步，Weyl的定理表明，若$ \pi $和$ \rho $为同构表示，则$ \text{multiplicity}(\rho, \pi) = 1 $。这揭示了表示的分解中，同构表示的出现次数与表示空间的维度相关。

特征标与权 multiplicity 的关联

特征标与权 multiplicity 的关联体现在表示分解的结构上。对于有限群$ G $，其表示空间$ \text{Rep}(G) $可分解为特征标对应的正交表示：
$$ \text{Rep}(G) = \bigoplus_{\pi \in \text{Rep}(G)} \text{Hom}G(\pi, \pi) $$
其中，每个特征标对应的表示$ \pi $的权 multiplicity 由其在分解中的次数决定。具体而言，若$ \pi $的特征标值为$ \chi\pi $，则
$$ \text{multiplicity}(\rho, \pi) = \dim \text{Hom}_G(\pi, \rho) $$
这表明，权 multiplicity 是表示分解中特征标对应的表示的维度的函数，而特征标则通过正交性约束了这种维度关系。

表示分类中的应用

在群表示分类中，特征标与权 multiplicity 的关联提供了重要的分类工具。例如，特征标乘积定理指出，两个表示的特征标乘积的模长等于其权 multiplicity 的乘积，即
$$ |\chi_\pi \cdot \chi_\rho|^2 = \sum_{\sigma} \text{multiplicity}(\sigma, \pi) \text{multiplicity}(\sigma, \rho) $$
这一关系揭示了表示分解中特征标的平方和与权 multiplicity 的乘积之间的联系，为研究表示的分解提供了数学基础。

结论

特征标与权 multiplicity 的关联是群表示理论的核心内容，二者通过正交性与维度关系紧密相连。特征标作为表示分类的标识符，而权 multiplicity 则反映了表示分解的结构。在研究有限群的表示时，通过分析特征标值与权 multiplicity 的关系，可以更深入地理解表示的分解规律。这一理论不仅在数学研究中具有基础性意义，也为群表示的分类提供了重要的分析框架。

参考文献

  1. Weyl, H. (1939). Representations of Finite Groups and Their Symmetries.
  2. Schur, I. (1927). Die Theorie der endlichen Gruppen.
  3. Fulton, J., & Harris, J. (1997). Representation Theory: A First Course.