酉群

编辑:蚕桑网互动百科 时间:2020-01-24 09:22:00
编辑 锁定
本词条缺少名片图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧!
在数学中,n 阶酉群(unitary group)是 n×n酉矩阵组成的群,群乘法是矩阵乘法。酉群记作 U(n),是一般线性群 GL(n, C) 的一个子群。 在最简单情形 n = 1,群 U(1) 相当于圆群,由所有绝对值为 1 的复数在乘法下组成的群。所有酉群都包含一个这样的子群。 酉群 U(n) 是一个 n2 维实李群。U(n) 的李代数由所有复 n× n斜埃尔米特矩阵组成,李括号为交换子。 一般酉群(也称为酉相似群)由所有复矩阵 A 使得 A * A 是恒同矩阵非零复数倍,这就是酉群与恒同矩阵的正数倍的乘积。
中文名
酉群
外文名
unitary group
性    质
n×n酉矩阵组成的群
记    作
U(n)

酉群性质

编辑
群论 群论
因为酉矩阵的行列式是模长 1 复数,行列式给出了一个群同态
这个同态的核是行列式为单位的酉矩阵集合,这个子群称为特殊酉群,记作 SU(n)。我们有李群的短正合列:
这个短正合列分裂,故 U(n) 可以写成 SU(n) 与 U(1) 的半直积。这里 U(1) 是 U(n) 中由
形式的矩阵组成的子群。
酉群 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 的基本群,包含映射 U(n) \to U(n+1) 在 π1 上是同构(其商是斯蒂弗尔流形)。
行列式映射
诱导了基本群的同构,分裂映射
诱导其逆。

酉群三选二性质

编辑
酉群是正交群、辛群与复数群的 3 重交集:
从而一个酉结构可以视为一个正交结构、复结构与辛结构,他们要求是“一致的”(意思是说:复结构与辛形式使用同样的 J,且 J 是正交的;取定一个 J 将所有群写成矩阵群便确保了一致性)。
事实上,它是这三个中任何两个的交;从而一个一致的正交与复结构导致了一个辛结构,如此等等。
在方程的层次上,这可以有下面看出
辛:ATJA = J,
复:A−1JA = J,
正交:AT = A−1,
任何两个方程蕴含第三个。
在形式的层次上,这可从埃尔米特形式分解为实部与虚部看出: 实部是对称的(或正交),虚部是斜正交(辛)——他们由复结构联系(这便是一致性)。在一个殆凯勒流形上,可以将这个分解写成 h = g + iω,这里 h 是埃尔米特形式,g 是黎曼度量,i 是殆复结构,而 ω 是殆辛结构。
从李群的观点来看,这可部分地解释如下: O(2n) 是
的极大紧子群,而 U(n) 是
与 Sp(2n) 的极大紧子群。从而交集
是这些群的极大紧子群,即 U(n)。从这个观点来看,意料之外的是交集

酉群结构:殆埃米尔特

编辑
用 G-结构的语言来说,一个具有 U(n)-结构的流形是一个殆埃米尔特流形。

酉群推广

编辑
李群的观点来看,典型酉群是斯坦伯格群
的实形式,后者是由一般线性群的“图表自同构”(翻转 Dynkin diagram An,对应于转置逆)与扩张
的域同构(即复共轭)的复合得到的代数群。两个自同构都是代数群的自同构,阶数为 2,可交换,酉群作为代数群是乘积自同构的不动点。典型酉群是这个群的实形式,对应于标准埃尔米特形式 Ψ,它是正定的。
这可从几个方面推广:
推广到其它埃尔米特形式得到了不定酉群
域扩张可用任何 2 阶可分代数取代,最特别地是一个 2 阶有限域扩张;
推广到其它图表得出李型群,即其它斯坦伯格群
, (以及
)Suzuki-Ree 群
考虑一个推广的酉群作为代数群,可取它的点在不同的代数上。

酉群不定形式

类似于不定正交群,给定一个不必正定(但一般取为非退化)的埃尔米特形式,考虑保持这个形式的变换,我们可以定义不定酉群。这里我们在复向量空间上考虑问题。
给定复向量空间 V 上的一个埃尔米特形式 Ψ,酉群 U(Ψ) 是保持这个形式的变换群:变换 M 使得 Ψ(Mv,Mw) = Ψ(v,w),对所有
。写成矩阵,设这个形式用矩阵 Φ 表示,这便是说 M *ΦM = Φ。
就像实数上的对称形式,埃尔米特形式由符号确定,所有都是酉合同于对角线上 p 个元素为 1,q 个 - 1 的对角矩阵。非退化假设等价于 p + q = n。在一组标准基下,这代表二次形式:
,
作为对称形式是:
,
得出的群记为 U(p,q) 。

酉群有限群

在 q = pr 个元素的有限域
上,有一个唯一的 2 阶扩张域
,带有 2 阶自同构
(弗罗贝尼乌斯自同构的 r 次幂)。这使得我们可以定义
上一个向量空间 V 上的埃尔米特形式,是一个
-双线性映射
使得
以及 Ψ(w,cv) = cΨ(w,v) 对
。 另外,有限域上向量空间的所有非退化埃尔米特形式都酉合同与用恒同矩阵表示的标准形式。这便是说,任何埃尔米特形式酉等价于
,
这里 wi,vi 表示
在 n-维空间 V 的某个特定
-基下的坐标(Grove 2002, Thm. 10.3)。
从而我们对扩张
可以定义一个(唯一的)n 维酉群,记作 U(n,q) 或
(取决于作者的习惯)。酉群中矩阵的行列式为 1 的子群称为特殊酉群,记作 SU(n,q) 或 SU(n,q2)。为方便起见,本文使用 U(n,q2) 写法。U(n,q2) 的中心的阶数为 q + 1 由为酉数量矩阵组成,这便是所有矩阵 cIV,这里 cq+1 = 1 。特殊酉群的中心的阶数为 gcd(n,q + 1) ,由那些阶数整除 n 的酉数量矩阵组成。酉群除以中心的商称为射影酉群,PU(n,q2),特殊酉群除以中心是射影特殊酉群 PSU(n,q2) 。在大多数情形(
),SU(n,q2) 是完全群而 PSU(n,q2) 是有限单群(Grove 2002, Thm. 11.22 and 11.26)。

酉群2阶可分代数

更一般地,给定一个域 k 与一个 2 阶可分 k-代数 K(可能是一个域扩张但也未必),我们可以定义关于这个扩张的酉群。
首先,存在 K 的唯一 k-自同构
是一个对合且恰好不动元为 k(
当且仅当
)。这是复共轭与 2 阶有限域扩张共轭的推广,从而我们可以在它上面的定义埃尔米特形式与酉群。

酉群代数群

定义酉群的方程是一些 k 上的多项式方程(但不是在 k 上):对标准形式 Φ = I,这些方程由矩阵 A * A = I给出,这里 A^*=\overline A^t 是 共轭转置。给定另外一个形式,它们是 A * ΦA = Φ 。从而酉群一个代数群,它在一个 k-代数 R 上的点由
给出。
对域扩张
与标准(正定)埃尔米特形式,这得出了具有实点与复点的代数群:
,
.

酉群分类空间

编辑
关于 U(n) 的分类空间在条目U(n)的分类空间中描述。(条目尚未建立)

酉群参考文献

编辑
Grove, Larry C., Classical groups and geometric algebra, Graduate Studies in Mathematics, 39, Providence, R.I.: 美国数学学会. 2002, MR1859189, ISBN 978-0-8218-2019-3
词条标签:
非文化 自然资源 自然学科 科技 理学 文化 学科