打开主菜单

酉群,又叫幺正群,是李群的一种。在群论中,酉群unitary group)是酉矩阵组成的,群乘法是矩阵乘法。酉群记作,是一般线性群的一个子群。

群论
Rubik's cube.svg
李群
E8Petrie.svg


在最简单情形,群相当于圆群,由所有绝对值为1的复数在乘法下组成的群。所有酉群都包含一个这样的子群。

酉群是一个维实李群李代数由所有复斜埃尔米特矩阵组成,李括号交换子

一般酉群(也称为酉相似群)由所有复矩阵使得 恒同矩阵非零复数倍,这就是酉群与恒同矩阵的正数倍的乘积。

性质编辑

因为酉矩阵的行列式是模长1复数,行列式给出了一个群同态

 

这个同态的是行列式为单位的酉矩阵集合,这个子群称为特殊酉群,记作 。我们有李群的短正合列

 

这个短正合列分裂,故 可以写成  半直积。这里  中由 形式的矩阵组成的子群。

酉群  非交换的。 中心是数量矩阵 ,这里 。这由舒尔引理得来。这样中心同构于 。因为 的中心是一个1维阿贝尔正规子群,酉群不是半单的。

拓扑编辑

酉群 作为 的子集赋予相对拓扑 是所有 复矩阵集合,本身同构于 欧几里得空间

作为一个拓扑空间, 连通空间。因为  的一个有界闭子集,然后海涅-博雷尔定理可知紧性。欲证 是连通的,回忆到任何酉矩阵 能被另一个酉矩阵 对角化。任何对角酉矩阵的对角线上都是绝对值为1的复数。从而我们可以写成

 

 中从单位到 的一条道路

 

给出。

酉群不是单连通的;对所有  基本群是无限循环群

 

第一个酉群U(1)是一个拓扑圆周,熟知其有同构于 的基本群,包含映射  上是同构(其斯蒂弗尔流形)。

行列式映射 诱导了基本群的同构,分裂映射 诱导其逆。

相关的群编辑

三选二性质编辑

酉群是正交群辛群与复数群的3重交集

 

从而一个酉结构可以视为一个正交结构、复结构与辛结构,他们要求是“一致的”(意思是说:复结构与辛形式使用同样的 ,且 是正交的;取定一个 将所有群写成矩阵群便确保了一致性)。

事实上,它是这三个中任何两个的交集;从而一个一致的正交与複结构导致了一个辛结构,如此等等[1][2]

在方程的层次上,这可以由下面看出

 
 
正交 

任何两个方程蕴含第三个。

在形式的层次上,这可从埃尔米特形式分解为实部与虚部看出: 实部是对称的(或正交),虚部是斜正交(辛)——他们由複结构联系(这便是一致性)。在一个殆凯勒流形上,可以将这个分解写成 ,这里 是埃尔米特形式, 黎曼度量 殆复结构,而 殆辛结构

李群的观点来看,这可部分地解释如下:   极大紧子群,而   的极大紧子群。从而交集  是这些群的极大紧子群,即 。从这个观点来看,意料之外的是交集 

特殊酉群与射影酉群编辑

就像正交群有子群特殊正交群与商群射影正交群 ,以及子商群射影特殊正交群;酉群也有关联的特殊酉群 射影酉群 ,以及射影特殊酉群 。他们的关系如左所示的交换图表;特别地,两个射影群相等: 

上面对经典酉群成立(复数上),对有限域,可以类似地得到特殊酉群与射影酉群,但是一般地 

G-结构:殆埃米尔特编辑

G-结构的语言来说,一个具有 -结构的流形是一个殆埃米尔特流形

推广编辑

李群的观点来看,典型酉群是斯坦伯格群 的实形式,后者是由一般线性群的“图表自同构”(翻转Dynkin diagram  ,对应于转置逆)与扩张 域同构(即复共轭)的复合得到的代数群。两个自同构都是代数群的自同构,阶数为2,可交换,酉群作为代数群是乘积自同构的不动点。典型酉群是这个群的实形式,对应于标准埃尔米特形式 ,它是正定的。

这可从几个方面推广:

  • 推广到其它埃尔米特形式得到了不定酉群 
  • 域扩张可用任何2阶可分代数取代,最特别地是一个2阶有限域扩张;
  • 推广到其它图表得出李型群,即其它斯坦伯格群 (以及 Suzuki-Ree群 
  • 考虑一个推广的酉群作为代数群,可取它的点在不同的代数上。

不定形式编辑

类似于不定正交群,给定一个不必正定(但一般取为非退化)的埃尔米特形式,考虑保持这个形式的变换,我们可以定义不定酉群。这里我们在复向量空间上考虑问题。

给定复向量空间 上的一个埃尔米特形式 ,酉群 是保持这个形式的变换群:变换 使得 ,对所有 。写成矩阵,设这个形式用矩阵 表示,这便是说 

就像实数上的对称形式,埃尔米特形式由符号确定,所有都是酉合同于对角线上 个元素为1,  对角矩阵。非退化假设等价于  。在一组标准基下,这代表二次形式:

 

作为对称形式是:

 

得出的群记为 

有限群编辑

 个元素的有限域 上,有一个惟一的2阶扩张域  ,带有2阶自同构 弗罗贝尼乌斯自同构 次幂)。这使得我们可以定义 上一个向量空间 上的埃尔米特形式,是一个 -双线性映射 使得 以及  。另外,有限域上向量空间的所有非退化埃尔米特形式都酉合同与用恒同矩阵表示的标准形式。这便是说,任何埃尔米特形式酉等价于

 

这里 表示  -维空间 的某个特定 -基下的坐标(Grove 2002,Thm. 10.3)。

从而我们对扩张 可以定义一个(惟一的) 维酉群,记作  (取决于作者的习惯)。酉群中矩阵的行列式为1的子群称为特殊酉群,记作  。为方便起见,本文使用 写法。 中心的阶数为 由为酉数量矩阵组成,这便是所有矩阵 ,这里 。特殊酉群的中心的阶数为 ,由那些阶数整除 的酉数量矩阵组成。酉群除以中心的商称为射影酉群 ,特殊酉群除以中心是射影特殊酉群 。在大多数情形(  ), 完全群 是有限单群Grove 2002,Thm. 11.22 and 11.26)。

2阶可分代数编辑

更一般地,给定一个域 与一个2阶可分 -代数 (可能是一个域扩张但也未必),我们可以定义关于这个扩张的酉群。

首先,存在 的惟一 -自同构 是一个对合且恰好不动元为  当且仅当 )[3]。这是复共轭与2阶有限域扩张共轭的推广,从而我们可以在它上面的定义埃尔米特形式与酉群。

代数群编辑

定义酉群的方程是一些 上的多项式方程(但不是在 上):对标准形式  ,这些方程由矩阵 给出,这里 共轭转置。给定另外一个形式,它们是 。从而酉群一个代数群,它在一个 -代数 上的点由

 

给出。

对域扩张 与标准(正定)埃尔米特形式,这得出了具有实点与复点的代数群:

 
 

分类空间编辑

关于U(n)的分类空间在条目U(n)的分类空间中描述。

参考文献编辑

  1. ^ 弗拉基米尔·阿诺尔德《经典力学中的数学方法(Mathematical Methods of Classical Mechanics)》讨论了这个问题。
  2. ^ symplectic
  3. ^ Milne, Algebraic Groups and Arithmetic Groups, p. 103

另见编辑