查看“︁酉群”︁的源代码

{{NoteTA|G1=Math}}
{{Groups}}
{{李群}}
'''酉群'''，又叫'''幺正群'''，是[[李群]]的一种。在[[群论]]中，<math>n</math>阶'''酉群'''（{{lang|en|unitary group}}）是<math>n\times n</math>[[酉矩阵]]组成的[[群]]，群乘法是[[矩阵乘法]]。酉群记作<math>\text{U}(n)</math>，是[[一般线性群]]<math>\text{GL}(n, \mathbf{C})</math>的一个子群。

在最简单情形<math>n = 1</math>，群<math>\text{U}(1)</math>相当于[[圆群]]，由所有[[绝对值]]为1的[[复数 (数学)|复数]]在乘法下组成的群。所有酉群都包含一个这样的子群。

酉群<math>\text{U}(n)</math>是一个<math>n^2</math>维实[[李群]]。<math>\text{U}(n)</math>的[[李代数]]由所有复<math>n\times n</math>[[斜埃尔米特矩阵]]组成，[[李括号]]为[[交换子]]。

'''一般酉群'''(也称为'''酉相似群'''）由所有复矩阵<math>A</math>使得
<math>A^*A</math>是[[恒同矩阵]]非零复数倍，这就是酉群与恒同矩阵的正数倍的乘积。

==性质==

因为酉矩阵的[[行列式]]是模长1复数，行列式给出了一个[[群同态]]
:<math>\det\colon \mathrm{U}(n) \to \mathrm{U}(1)</math>
这个同态的[[核 (群论)|核]]是行列式为单位的酉矩阵集合，这个子群称为'''[[特殊酉群]]'''，记作<math>\text{SU}(n)</math>。我们有李群的[[短正合列]]：
:<math>1\to\mathrm{SU}(n)\to\mathrm{U}(n)\to\mathrm{U}(1)\to 1\,</math>。
这个短正合列[[裂正合|分裂]]，故<math>\text{U}(n)</math>可以写成<math>\text{SU}(n)</math>与<math>\text{U}(1)</math>的[[半直积]]。这里<math>\text{U}(1)</math>是<math>\text{U}(n)</math>中由<math>\mbox{diag} (e^{i\theta},1,1,\cdots,1)</math>形式的矩阵组成的子群。

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

== 拓扑 ==

酉群<math>\text{U}(n)</math>作为<math>M_n(\mathbf{C})</math>的子集赋予[[相对拓扑]]，<math>M_n(\mathbf{C})</math>是所有<math>n\times n</math>复矩阵集合，本身同构于<math>2n^2</math>维[[欧几里得空间]]。

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

:<math>A = S\,\mbox{diag}(e^{i\theta_1},\dots,e^{i\theta_n})\,S^{-1}</math>。

<math>\text{U}(n)</math>中从单位到<math>A</math>的一条[[道路 (拓扑学)|道路]]由

:<math>t\mapsto S\,\mbox{diag}(e^{it\theta_1},\dots,e^{it\theta_n})\,S^{-1}</math>

给出。

酉群不是[[单连通]]的；对所有<math>n</math>，<math>\text{U}(n)</math>的[[基本群]]是无限循环群
:<math>\pi_1(U(n)) \cong \mathbf{Z}</math>。

第一个酉群U(1)是一个拓扑[[圆周]]，熟知其有同构于<math>\mathbf{Z}</math>的基本群，包含映射<math>U(n) \to U(n+1)</math>在<math>\pi_1</math>上是同构（其[[商空间|商]]是[[斯蒂弗尔流形]]）。

行列式映射<math>\mathrm{det}\colon \mathrm{U}(n) \to \mathrm{U}(1)</math>诱导了基本群的同构，分裂映射<math>\mathrm{U}(1) \to \mathrm{U}(n)</math>诱导其逆。

==相关的群==
===三选二性质===
酉群是[[正交群]]、[[辛群]]与复数群的3重[[交集]]：
:<math>U(n) = O(2n) \cap GL(n,\mathbf{C}) \cap Sp(2n, \mathbf{R}),</math>
从而一个酉结构可以视为一个正交结构、复结构与辛结构，他们要求是“一致的”（意思是说：复结构与辛形式使用同样的<math>J</math>，且<math>J</math>是正交的；取定一个<math>J</math>将所有群写成矩阵群便确保了一致性）。

事实上，它是这三个中任何两个的交集；从而一个一致的正交与複结构导致了一个辛结构，如此等等<ref>[[弗拉基米尔·阿诺尔德]]《经典力学中的数学方法（''Mathematical Methods of Classical Mechanics''）》讨论了这个问题。</ref><ref>{{Cite web |url=http://www.math.ucr.edu/home/baez/symplectic.html |title=symplectic |access-date=2008-11-24 |archive-date=2011-11-08 |archive-url=https://web.archive.org/web/20111108105726/http://math.ucr.edu/home/baez/symplectic.html |dead-url=yes }}</ref>。

在方程的层次上，这可以由下面看出
:'''辛'''：<math>A^TJA = J,</math>
:'''複'''：<math>A^{-1}JA = J,</math>
:'''正交'''：<math>A^T=A^{-1},</math>
任何两个方程蕴含第三个。

在形式的层次上，这可从[[埃尔米特形式]]分解为实部与虚部看出：
实部是对称的（或正交），虚部是斜正交（辛）——他们由複结构联系（这便是一致性）。在一个[[殆凯勒流形]]上，可以将这个分解写成<math>h=g + i\omega</math>，这里<math>h</math>是埃尔米特形式，<math>g</math>是[[黎曼度量]]，<math>i</math>是[[殆复流形|殆复结构]]，而<math>\omega</math>是[[殆辛流形|殆辛结构]]。

从[[李群]]的观点来看，这可部分地解释如下：
<math>O(2n)</math>是<math>GL(2n,\mathbf{R})</math>的[[极大紧子群]]，而<math>U(n)</math>是<math>GL(n,\mathbf{C})</math>与<math>Sp(2n)</math>的极大紧子群。从而交集<math>O(2n) \cap GL(n,\mathbf{C})</math>或<math>O(2n) \cap Sp(2n)</math>是这些群的极大紧子群，即<math>U(n)</math>。从这个观点来看，意料之外的是交集<math>GL(n,\mathbf{C}) \cap Sp(2n) = U(n)</math>。

===特殊酉群与射影酉群===
[[File:PSU-PU.svg|right]]
{{main|射影酉群}}

就像正交群有子群[[特殊正交群]]与商群[[射影正交群]]<math>\text{PO}(n)</math>，以及[[子商|子商群]][[射影特殊正交群]]；酉群也有关联的[[特殊酉群]]<math>\text{SU}(n)</math>，[[射影酉群]]<math>\text{PU}(n)</math>，以及[[射影特殊酉群]]<math>\text{PSU}(n)</math>。他们的关系如左所示的[[交换图表]]；特别地，两个射影群相等：<math>\operatorname{PSU}(n) = \operatorname{PU}(n)</math>。

上面对经典酉群成立（复数上），对[[#有限域|有限域]]，可以类似地得到特殊酉群与射影酉群，但是一般地<math>\operatorname{PSU}(n,q^2) \neq \operatorname{PU}(n,q^2)</math>。

== G-结构：殆埃米尔特==
用[[G-结构]]的语言来说，一个具有<math>\mathrm{U}(n)</math>-结构的流形是一个[[殆埃米尔特流形]]。

==推广==
从[[李群]]的观点来看，典型酉群是[[斯坦伯格群 (李理论)|斯坦伯格群]]<math>{}^2\!A_n</math>的实形式，后者是由一般线性群的“图表自同构”（翻转{{tsl|en|Dynkin diagram|丹金图形}} <math>A_n</math>，对应于转置逆）与[[域扩张|扩张]]<math>\mathbf{C}/\mathbf{R}</math>的[[域同构]]（即[[复共轭]]）的复合得到的[[代数群]]。两个自同构都是代数群的自同构，阶数为2，可交换，酉群作为代数群是乘积自同构的不动点。典型酉群是这个群的实形式，对应于标准[[埃尔米特形式]]<math>\Psi</math>，它是正定的。

这可从几个方面推广：

* 推广到其它埃尔米特形式得到了不定酉群<math>\operatorname{U}(p,q)</math>；
* 域扩张可用任何2阶可分代数取代，最特别地是一个2阶有限域扩张；
* 推广到其它图表得出[[李型群]]，即其它斯坦伯格群<math>{}^2\!D_n, {}^2\!E_6, {}^3\!D_4, </math>（以及<math>{}^2\!A_n</math>）[[Suzuki-Ree群]]<math>{}^2\!B_2\left(2^{2n+1}\right), {}^2\!F_4\left(2^{2n+1}\right), {}^2\!G_2\left(3^{2n+1}\right)</math>；
* 考虑一个推广的酉群作为代数群，可取它的点在不同的代数上。
 
=== 不定形式 ===
类似于[[不定正交群]]，给定一个不必正定（但一般取为非退化）的埃尔米特形式，考虑保持这个形式的变换，我们可以定义'''不定酉群'''。这里我们在复向量空间上考虑问题。

给定复向量空间<math>V</math>上的一个埃尔米特形式<math>\Psi</math>，酉群<math>U(\Psi)</math>是保持这个形式的变换群：变换<math>M</math>使得<math>\Psi(Mv,Mw)=\Psi(v,w)</math>，对所有<math>v,w\in V</math>。写成矩阵，设这个形式用矩阵<math>\Phi</math>表示，这便是说<math>M^*\Phi M = \Phi</math>。

就像实数上的[[对称形式]]，埃尔米特形式由[[二次型的符号|符号]]确定，所有都是[[合同矩阵|酉合同]]于对角线上<math>p</math>个元素为1，<math>q</math>个<math>-1</math>的[[对角矩阵]]。非退化假设等价于  <math>p+q=n</math>。在一组标准基下，这代表二次形式：
:<math>\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 ,</math>
作为对称形式是：
:<math>\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 ,</math>
得出的群记为<math>U(p,q)</math>。

===有限群===
在<math>q=p^r</math>个元素的有限域<math>\mathbf{F}_q</math>上，有一个惟一的2阶扩张域  <math>\mathbf{F}_{q^2}</math>，带有2阶自同构<math>\alpha\colon x \mapsto x^q</math>（[[弗罗贝尼乌斯自同构]]的<math>r</math>次幂）。这使得我们可以定义<math>\mathbf{F}_{q^2}</math>上一个向量空间<math>V</math>上的埃尔米特形式，是一个<math>\mathbf{F}_q</math>-双线性映射<math>\Psi\colon V \times V \to K</math>使得<math>\Psi(w,v)=\alpha\left(\Psi(v,w)\right)</math>以及<math>\Psi(w,cv)=c\Psi(w,v)</math>对<math>c \in \mathbf{F}_{q^2}</math>。另外，有限域上向量空间的所有非退化埃尔米特形式都酉合同与用恒同矩阵表示的标准形式。这便是说，任何埃尔米特形式酉等价于
:<math>\Psi(w,v)=w^\alpha \cdot v = \sum_{i=1}^n w_i^q v_i ,</math>
这里<math>w_i,v_i</math>表示<math>w,v \in V</math>在<math>n</math>-维空间<math>V</math>的某个特定<math>\mathbf{F}_{q^2}</math>-基下的坐标{{harv|Grove|2002|loc=Thm. 10.3}}。

从而我们对扩张<math>\mathbf{F}_{q^2}/\mathbf{F}_q</math>可以定义一个（惟一的）<math>n</math>维酉群，记作<math>U(n,q)</math>或<math>U\left(n,q^2\right)</math>（取决于作者的习惯）。酉群中矩阵的行列式为1的子群称为'''特殊酉群'''，记作<math>SU(n,q)</math>或<math>SU(n,q^2)</math>。为方便起见，本文使用<math>U(n,q^2)</math>写法。<math>U(n,q^2)</math>的[[中心 (群论)|中心]]的阶数为<math>q+1</math>由为酉数量矩阵组成，这便是所有矩阵<math>cI_V</math>，这里<math>c^{q+1}=1</math>。特殊酉群的中心的阶数为<math>\gcd(n,q+1)</math>，由那些阶数整除<math>n</math>的酉数量矩阵组成。酉群除以中心的商称为'''[[射影酉群]]'''，<math>PU(n,q^2)</math>，特殊酉群除以中心是'''[[射影特殊酉群]]'''<math>PSU(n,q^2)</math>。在大多数情形（<math> n \geq 2</math>与<math>(n,q^2) \notin \{ (2,2^2), (2,3^2), (3,2^2) \}</math>），<math>SU(n,q^2)</math>是[[完滿群|完全群]]而<math>PSU(n,q^2)</math>是有限[[单群]]{{harv|Grove|2002|loc=Thm. 11.22 and 11.26}}。

===2阶可分代数 ===
更一般地，给定一个域<math>k</math>与一个2阶可分<math>k</math>-代数<math>K</math>（可能是一个域扩张但也未必），我们可以定义关于这个扩张的酉群。

首先，存在<math>K</math>的惟一<math>k</math>-自同构<math>a \mapsto \bar a</math>是一个[[对合]]且恰好不动元为<math>k</math>（<math>a=\bar a</math>当且仅当<math>a \in k</math>)<ref>Milne, [http://www.jmilne.org/math/CourseNotes/aag.html Algebraic Groups and Arithmetic Groups] {{Wayback|url=http://www.jmilne.org/math/CourseNotes/aag.html |date=20210506215706 }}, p. 103</ref>。这是复共轭与2阶有限域扩张共轭的推广，从而我们可以在它上面的定义埃尔米特形式与酉群。

===代数群===
定义酉群的方程是一些<math>k</math>上的[[多项式]]方程（但不是在<math>k</math>上）：对标准形式 
<math>\Phi=I</math>，这些方程由矩阵<math>A^*A=I</math>给出，这里<math>A^*=\overline A^t</math>是[[共轭转置]]。给定另外一个形式，它们是<math>A^*\Phi A=\Phi</math>。从而酉群一个[[代数群]]，它在一个<math>k</math>-代数<math>R</math>上的点由
:<math>\operatorname{U}(n,K/k,\Phi)(R)
  := \left\{ A\in \operatorname{GL}(n,K\otimes_k R) : A^*\Phi A=\Phi\right\}</math>
给出。

对域扩张<math>\mathbf{C}/\mathbf{R}</math>与标准（正定）埃尔米特形式，这得出了具有实点与复点的代数群：
:<math>\operatorname{U}(n,\mathbf{C}/\mathbf{R})(\mathbf{R})
 = \operatorname{U}(n),</math>
:<math>\operatorname{U}(n,\mathbf{C}/\mathbf{R})(\mathbf{C})
 = \operatorname{GL}(n,\mathbf{C})</math>。

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

== 参考文献 ==
<references/>
*{{Citation | last1=Grove | first1=Larry C. | title=Classical groups and geometric algebra | publisher=[[美国数学学会]] | location=Providence, R.I. | series=Graduate Studies in Mathematics | isbn=978-0-8218-2019-3 | id={{MathSciNet | id = 1859189}} | year=2002 | volume=39}}

== 另见 ==
*[[特殊酉群]]
*[[射影酉群]]
*[[正交群]]
*[[辛群]]

[[Category:李群]]