本页使用了标题或全文手工转换

酉群

维基百科,自由的百科全书
跳转至: 导航搜索
群论
Rubik's cube.svg

数学中,n酉群unitary group)是n×n 酉矩阵组成的,群乘法是矩阵乘法。酉群记作U(n),是一般线性群GL(n, C)的一个子群。

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

酉群U(n)是一个n2维实李群。U(n)的李代数由所有复n× n 斜埃尔米特矩阵组成,李括号交换子

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

性质[编辑]

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

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

这个短正合列分裂,故U(n)可以写成SU(n)与U(1)的半直积。这里U(1)是U(n)中由,1,1,...,1)形式的矩阵组成的子群。

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

拓扑[编辑]

酉群U(n)作为Mn(C)的子集赋予相对拓扑Mn(C)是所有n×n复矩阵集合,本身同构于2n2欧几里得空间

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

U(n)中从单位到A的一条道路

给出。

酉群不是单连通的;对所有n,U(n)的基本群是无限循环群

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

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

相关的群[编辑]

三选二性质[编辑]

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

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

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

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

正交

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

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

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

特殊酉群与射影酉群[编辑]

PSU-PU.svg

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

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

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

另见[编辑]