酉群
















群论

Rubik's cube.svg
































李群

E8Petrie.svg







































酉群,又叫幺正群,是李群的一种。在群论中,n{displaystyle n}n酉群unitary group)是n{displaystyle ntimes n}ntimes n酉矩阵组成的群,群乘法是矩阵乘法。酉群记作U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)},是一般线性群GL(n,C){displaystyle {text{GL}}(n,mathbf {C} )}{displaystyle {text{GL}}(n,mathbf {C} )}的一个子群。


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


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


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




目录






  • 1 性质


  • 2 拓扑


  • 3 相关的群


    • 3.1 三选二性质


    • 3.2 特殊酉群与射影酉群




  • 4 G-结构:殆埃米尔特


  • 5 推广


    • 5.1 不定形式


    • 5.2 有限群


    • 5.3 2阶可分代数


    • 5.4 代数群




  • 6 分类空间


  • 7 参考文献


  • 8 另见





性质


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


det:U(n)→U(1){displaystyle det colon mathrm {U} (n)to mathrm {U} (1)}detcolon mathrm{U}(n) to mathrm{U}(1)

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



1→SU(n)→U(n)→U(1)→1{displaystyle 1to mathrm {SU} (n)to mathrm {U} (n)to mathrm {U} (1)to 1,}1to {mathrm  {SU}}(n)to {mathrm  {U}}(n)to {mathrm  {U}}(1)to 1,

这个短正合列分裂,故U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}可以写成SU(n){displaystyle {text{SU}}(n)}{displaystyle {text{SU}}(n)}U(1){displaystyle {text{U}}(1)}{displaystyle {text{U}}(1)}的半直积。这里U(1){displaystyle {text{U}}(1)}{displaystyle {text{U}}(1)}U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}中由diag(eiθ,1,1,⋯,1){displaystyle {mbox{diag}}(e^{itheta },1,1,cdots ,1)}{displaystyle {mbox{diag}}(e^{itheta },1,1,cdots ,1)}形式的矩阵组成的子群。


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



拓扑


酉群U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}作为Mn(C){displaystyle M_{n}(mathbf {C} )}{displaystyle M_{n}(mathbf {C} )}的子集赋予相对拓扑,Mn(C){displaystyle M_{n}(mathbf {C} )}{displaystyle M_{n}(mathbf {C} )}是所有n{displaystyle ntimes n}ntimes n复矩阵集合,本身同构于2n2{displaystyle 2n^{2}}2n^2维欧几里得空间。


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



A=Sdiag(eiθ1,…,eiθn)S−1{displaystyle A=S,{mbox{diag}}(e^{itheta _{1}},dots ,e^{itheta _{n}}),S^{-1}}A=S,{mbox{diag}}(e^{{itheta _{1}}},dots ,e^{{itheta _{n}}}),S^{{-1}}

U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}中从单位到A{displaystyle A}A的一条道路由


t↦Sdiag(eitθ1,…,eitθn)S−1{displaystyle tmapsto S,{mbox{diag}}(e^{ittheta _{1}},dots ,e^{ittheta _{n}}),S^{-1}}tmapsto S,mbox{diag}(e^{ittheta_1},dots,e^{ittheta_n}),S^{-1}

给出。


酉群不是单连通的;对所有n{displaystyle n}nU(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}的基本群是无限循环群



π1(U(n))≅Z{displaystyle pi _{1}(U(n))cong mathbf {Z} }pi _{1}(U(n))cong {mathbf  {Z}}

第一个酉群U(1)是一个拓扑圆周,熟知其有同构于Z{displaystyle mathbf {Z} }mathbf{Z}的基本群,包含映射U(n)→U(n+1){displaystyle U(n)to U(n+1)}U(n) to U(n+1)π1{displaystyle pi _{1}}pi_1上是同构(其商是斯蒂弗尔流形)。


行列式映射det:U(n)→U(1){displaystyle mathrm {det} colon mathrm {U} (n)to mathrm {U} (1)}mathrm{det}colon mathrm{U}(n) to mathrm{U}(1)诱导了基本群的同构,分裂映射U(1)→U(n){displaystyle mathrm {U} (1)to mathrm {U} (n)}mathrm{U}(1) to mathrm{U}(n)诱导其逆。



相关的群



三选二性质


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


U(n)=O(2n)∩GL(n,C)∩Sp(2n,R),{displaystyle U(n)=O(2n)cap GL(n,mathbf {C} )cap Sp(2n,mathbf {R} ),}U(n) = O(2n) cap GL(n,mathbf{C}) cap Sp(2n, mathbf{R}),

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


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


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




ATJA=J,{displaystyle A^{T}JA=J,}A^TJA = J,


A−1JA=J,{displaystyle A^{-1}JA=J,}A^{-1}JA = J,


正交AT=A−1,{displaystyle A^{T}=A^{-1},}A^T=A^{-1},


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


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


从李群的观点来看,这可部分地解释如下:
O(2n){displaystyle O(2n)}O(2n)GL(2n,R){displaystyle GL(2n,mathbf {R} )}GL(2n,mathbf{R})的极大紧子群,而U(n){displaystyle U(n)}U(n)GL(n,C){displaystyle GL(n,mathbf {C} )}GL(n,mathbf{C})Sp(2n){displaystyle Sp(2n)}Sp(2n)的极大紧子群。从而交集O(2n)∩GL(n,C){displaystyle O(2n)cap GL(n,mathbf {C} )}O(2n) cap GL(n,mathbf{C})O(2n)∩Sp(2n){displaystyle O(2n)cap Sp(2n)}O(2n) cap Sp(2n)是这些群的极大紧子群,即U(n){displaystyle U(n)}U(n)。从这个观点来看,意料之外的是交集GL(n,C)∩Sp(2n)=U(n){displaystyle GL(n,mathbf {C} )cap Sp(2n)=U(n)}GL(n,mathbf{C}) cap Sp(2n) = U(n)



特殊酉群与射影酉群


PSU-PU.svg


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


上面对经典酉群成立(复数上),对有限域,可以类似地得到特殊酉群与射影酉群,但是一般地PSU⁡(n,q2)≠PU⁡(n,q2){displaystyle operatorname {PSU} (n,q^{2})neq operatorname {PU} (n,q^{2})}operatorname{PSU}(n,q^2) neq operatorname{PU}(n,q^2)



G-结构:殆埃米尔特


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



推广


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


这可从几个方面推广:



  • 推广到其它埃尔米特形式得到了不定酉群U⁡(p,q){displaystyle operatorname {U} (p,q)}operatorname{U}(p,q)

  • 域扩张可用任何2阶可分代数取代,最特别地是一个2阶有限域扩张;

  • 推广到其它图表得出李型群,即其它斯坦伯格群2Dn,2E6,3D4,{displaystyle {}^{2}!D_{n},{}^{2}!E_{6},{}^{3}!D_{4},}{}^2!D_n, {}^2!E_6, {}^3!D_4, (以及2An{displaystyle {}^{2}!A_{n}}{}^2!A_n)Suzuki-Ree群2B2(22n+1),2F4(22n+1),2G2(32n+1){displaystyle {}^{2}!B_{2}left(2^{2n+1}right),{}^{2}!F_{4}left(2^{2n+1}right),{}^{2}!G_{2}left(3^{2n+1}right)}{}^2!B_2left(2^{2n+1}right), {}^2!F_4left(2^{2n+1}right), {}^2!G_2left(3^{2n+1}right)

  • 考虑一个推广的酉群作为代数群,可取它的点在不同的代数上。



不定形式


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


给定复向量空间V{displaystyle V}V上的一个埃尔米特形式Ψ{displaystyle Psi }Psi,酉群U(Ψ){displaystyle U(Psi )}U(Psi)是保持这个形式的变换群:变换M{displaystyle M}M使得Ψ(Mv,Mw)=Ψ(v,w){displaystyle Psi (Mv,Mw)=Psi (v,w)}Psi(Mv,Mw)=Psi(v,w),对所有v,w∈V{displaystyle v,win V}v,win V。写成矩阵,设这个形式用矩阵Φ{displaystyle Phi }Phi 表示,这便是说M∗ΦM=Φ{displaystyle M^{*}Phi M=Phi }M^*Phi M = Phi


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


z‖Ψ2=‖z1‖2+⋯+‖zp‖2−zp+1‖2−zn‖2,{displaystyle lVert zrVert _{Psi }^{2}=lVert z_{1}rVert ^{2}+dots +lVert z_{p}rVert ^{2}-lVert z_{p+1}rVert ^{2}-dots -lVert z_{n}rVert ^{2},}lVert z rVert_Psi^2 = lVert z_1 rVert^2 + dots + lVert z_p rVert^2 - lVert z_{p+1} rVert^2 - dots - lVert z_n rVert^2 ,

作为对称形式是:


Ψ(w,z)=w¯1z1+⋯+w¯pzp−p+1zp+1−nzn,{displaystyle Psi (w,z)={bar {w}}_{1}z_{1}+cdots +{bar {w}}_{p}z_{p}-{bar {w}}_{p+1}z_{p+1}-cdots -{bar {w}}_{n}z_{n},}Psi(w,z) = bar w_1 z_1 + cdots + bar w_p z_p - bar w_{p+1}z_{p+1} - cdots - bar w_n z_n ,

得出的群记为U(p,q){displaystyle U(p,q)}U(p,q)



有限群


q=pr{displaystyle q=p^{r}}q=p^r个元素的有限域Fq{displaystyle mathbf {F} _{q}}mathbf {F} _{q}上,有一个惟一的2阶扩张域 Fq2{displaystyle mathbf {F} _{q^{2}}}mathbf{F}_{q^2},带有2阶自同构α:x↦xq{displaystyle alpha colon xmapsto x^{q}}alphacolon x mapsto x^q(弗罗贝尼乌斯自同构的r{displaystyle r}r次幂)。这使得我们可以定义Fq2{displaystyle mathbf {F} _{q^{2}}}mathbf{F}_{q^2}上一个向量空间V{displaystyle V}V上的埃尔米特形式,是一个Fq{displaystyle mathbf {F} _{q}}mathbf {F} _{q}-双线性映射Ψ:V→K{displaystyle Psi colon Vtimes Vto K}Psicolon V times V to K使得Ψ(w,v)=α(v,w)){displaystyle Psi (w,v)=alpha left(Psi (v,w)right)}Psi(w,v)=alphaleft(Psi(v,w)right)以及Ψ(w,cv)=cΨ(w,v){displaystyle Psi (w,cv)=cPsi (w,v)}Psi(w,cv)=cPsi(w,v)c∈Fq2{displaystyle cin mathbf {F} _{q^{2}}}c in mathbf{F}_{q^2}。另外,有限域上向量空间的所有非退化埃尔米特形式都酉合同与用恒同矩阵表示的标准形式。这便是说,任何埃尔米特形式酉等价于


Ψ(w,v)=wαv=∑i=1nwiqvi,{displaystyle Psi (w,v)=w^{alpha }cdot v=sum _{i=1}^{n}w_{i}^{q}v_{i},}Psi(w,v)=w^alpha cdot v = sum_{i=1}^n w_i^q v_i ,

这里wi,vi{displaystyle w_{i},v_{i}}w_i,v_i表示w,v∈V{displaystyle w,vin V}w,v in Vn{displaystyle n}n-维空间V{displaystyle V}V的某个特定Fq2{displaystyle mathbf {F} _{q^{2}}}mathbf{F}_{q^2}-基下的坐标(Grove 2002,Thm. 10.3)。


从而我们对扩张Fq2/Fq{displaystyle mathbf {F} _{q^{2}}/mathbf {F} _{q}}mathbf{F}_{q^2}/mathbf{F}_q可以定义一个(惟一的)n{displaystyle n}n维酉群,记作U(n,q){displaystyle U(n,q)}U(n,q)U(n,q2){displaystyle Uleft(n,q^{2}right)}Uleft(n,q^2right)(取决于作者的习惯)。酉群中矩阵的行列式为1的子群称为特殊酉群,记作SU(n,q){displaystyle SU(n,q)}SU(n,q)SU(n,q2){displaystyle SU(n,q^{2})}SU(n,q^2)。为方便起见,本文使用U(n,q2){displaystyle U(n,q^{2})}U(n,q^2)写法。U(n,q2){displaystyle U(n,q^{2})}U(n,q^2)的中心的阶数为q+1{displaystyle q+1}q+1由为酉数量矩阵组成,这便是所有矩阵cIV{displaystyle cI_{V}}cI_V,这里cq+1=1{displaystyle c^{q+1}=1}c^{q+1}=1。特殊酉群的中心的阶数为gcd(n,q+1){displaystyle gcd(n,q+1)}gcd(n,q+1),由那些阶数整除n{displaystyle n}n的酉数量矩阵组成。酉群除以中心的商称为射影酉群PU(n,q2){displaystyle PU(n,q^{2})}PU(n,q^2),特殊酉群除以中心是射影特殊酉群PSU(n,q2){displaystyle PSU(n,q^{2})}PSU(n,q^2)。在大多数情形(n≥2{displaystyle ngeq 2} n geq 2(n,q2)∉{(2,22),(2,32),(3,22)}{displaystyle (n,q^{2})notin {(2,2^{2}),(2,3^{2}),(3,2^{2})}}(n,q^2) notin { (2,2^2), (2,3^2), (3,2^2) }),SU(n,q2){displaystyle SU(n,q^{2})}SU(n,q^2)是完全群而PSU(n,q2){displaystyle PSU(n,q^{2})}PSU(n,q^2)是有限单群(Grove 2002,Thm. 11.22 and 11.26)。



2阶可分代数


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


首先,存在K{displaystyle K}K的惟一k{displaystyle k}k-自同构a↦{displaystyle amapsto {bar {a}}}a mapsto bar a是一个对合且恰好不动元为k{displaystyle k}ka=a¯{displaystyle a={bar {a}}}a=bar a当且仅当a∈k{displaystyle ain k}a in k)[3]。这是复共轭与2阶有限域扩张共轭的推广,从而我们可以在它上面的定义埃尔米特形式与酉群。



代数群


定义酉群的方程是一些k{displaystyle k}k上的多项式方程(但不是在k{displaystyle k}k上):对标准形式
Φ=I{displaystyle Phi =I}Phi=I,这些方程由矩阵A∗A=I{displaystyle A^{*}A=I}A^*A=I给出,这里A∗=A¯t{displaystyle A^{*}={overline {A}}^{t}}{displaystyle A^{*}={overline {A}}^{t}}是共轭转置。给定另外一个形式,它们是A∗ΦA=Φ{displaystyle A^{*}Phi A=Phi }A^*Phi A=Phi。从而酉群一个代数群,它在一个k{displaystyle k}k-代数R{displaystyle R}R上的点由


U⁡(n,K/k,Φ)(R):={A∈GL⁡(n,K⊗kR):A∗ΦA=Φ}{displaystyle operatorname {U} (n,K/k,Phi )(R):=left{Ain operatorname {GL} (n,Kotimes _{k}R):A^{*}Phi A=Phi right}}operatorname{U}(n,K/k,Phi)(R)<br />
  := left{ Ain operatorname{GL}(n,Kotimes_k R) : A^*Phi A=Phiright}

给出。


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



U⁡(n,C/R)(R)=U⁡(n),{displaystyle operatorname {U} (n,mathbf {C} /mathbf {R} )(mathbf {R} )=operatorname {U} (n),}operatorname {U}(n,{mathbf  {C}}/{mathbf  {R}})({mathbf  {R}})=operatorname {U}(n),


U⁡(n,C/R)(C)=GL⁡(n,C){displaystyle operatorname {U} (n,mathbf {C} /mathbf {R} )(mathbf {C} )=operatorname {GL} (n,mathbf {C} )}operatorname {U}(n,{mathbf  {C}}/{mathbf  {R}})({mathbf  {C}})=operatorname {GL}(n,{mathbf  {C}})



分类空间


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



参考文献




  1. ^ 弗拉基米尔·阿诺尔德《经典力学中的数学方法(Mathematical Methods of Classical Mechanics)》讨论了这个问题。


  2. ^ symplectic


  3. ^ Milne, Algebraic Groups and Arithmetic Groups, p. 103



  • Grove, Larry C., Classical groups and geometric algebra, Graduate Studies in Mathematics 39, Providence, R.I.: 美国数学学会, 2002, ISBN 978-0-8218-2019-3, MR1859189 


另见



  • 特殊酉群

  • 射影酉群

  • 正交群

  • 辛群




Comments

Popular posts from this blog

Information security

Lambak Kiri

章鱼与海女图