么正群 ,又叫么正群 ,是李群 的一種。在群論 中,
n
{\displaystyle n}
階么正群 (unitary group )是
n
×
n
{\displaystyle n\times n}
么正矩陣 組成的群 ,群乘法是矩陣乘法 。么正群記作
U
(
n
)
{\displaystyle {\text{U}}(n)}
,是一般線性群
GL
(
n
,
C
)
{\displaystyle {\text{GL}}(n,\mathbf {C} )}
的一個子群。
在最簡單情形
n
=
1
{\displaystyle n=1}
,群
U
(
1
)
{\displaystyle {\text{U}}(1)}
相當於圓群 ,由所有絕對值 為1的複數 在乘法下組成的群。所有么正群都包含一個這樣的子群。
么正群
U
(
n
)
{\displaystyle {\text{U}}(n)}
是一個
n
2
{\displaystyle n^{2}}
維實李群 。
U
(
n
)
{\displaystyle {\text{U}}(n)}
的李代數 由所有復
n
×
n
{\displaystyle n\times n}
斜埃爾米特矩陣 組成,李括號 為交換子 。
一般么正群 (也稱為酉相似群 )由所有複矩陣
A
{\displaystyle A}
使得
A
∗
A
{\displaystyle A^{*}A}
是恆同矩陣 非零複數倍,這就是么正群與恆同矩陣的正數倍的乘積。
性質
因為么正矩陣的行列式 是模長1複數,行列式給出了一個群同態
det
:
U
(
n
)
→
U
(
1
)
{\displaystyle \det \colon \mathrm {U} (n)\to \mathrm {U} (1)}
這個同態的核 是行列式為單位的么正矩陣集合,這個子群稱為特殊么正群 ,記作
SU
(
n
)
{\displaystyle {\text{SU}}(n)}
。我們有李群的短正合列 :
1
→
S
U
(
n
)
→
U
(
n
)
→
U
(
1
)
→
1
{\displaystyle 1\to \mathrm {SU} (n)\to \mathrm {U} (n)\to \mathrm {U} (1)\to 1\,}
。
這個短正合列分裂 ,故
U
(
n
)
{\displaystyle {\text{U}}(n)}
可以寫成
SU
(
n
)
{\displaystyle {\text{SU}}(n)}
與
U
(
1
)
{\displaystyle {\text{U}}(1)}
的半直積 。這裏
U
(
1
)
{\displaystyle {\text{U}}(1)}
是
U
(
n
)
{\displaystyle {\text{U}}(n)}
中由
diag
(
e
i
θ
,
1
,
1
,
⋯
,
1
)
{\displaystyle {\mbox{diag}}(e^{i\theta },1,1,\cdots ,1)}
形式的矩陣組成的子群。
么正群
U
(
n
)
{\displaystyle {\text{U}}(n)}
對
n
>
1
{\displaystyle n>1}
是非交換 的。
U
(
n
)
{\displaystyle {\text{U}}(n)}
的中心 是數量矩陣
λ
I
{\displaystyle \lambda I}
,這裏
λ
∈
U
(
1
)
{\displaystyle \lambda \in {\text{U}}(1)}
。這由舒爾引理 得來。這樣中心同構於
U
(
1
)
{\displaystyle {\text{U}}(1)}
。因為
U
(
n
)
{\displaystyle {\text{U}}(n)}
的中心是一個1維阿貝爾正規子群 ,么正群不是半單 的。
拓撲
么正群
U
(
n
)
{\displaystyle {\text{U}}(n)}
作為
M
n
(
C
)
{\displaystyle M_{n}(\mathbf {C} )}
的子集賦予相對拓撲 ,
M
n
(
C
)
{\displaystyle M_{n}(\mathbf {C} )}
是所有
n
×
n
{\displaystyle n\times n}
複矩陣集合,本身同構於
2
n
2
{\displaystyle 2n^{2}}
維歐幾里得空間 。
作為一個拓撲空間,
U
(
n
)
{\displaystyle {\text{U}}(n)}
是緊 連通空間 。因為
U
(
n
)
{\displaystyle {\text{U}}(n)}
是
M
n
(
C
)
{\displaystyle M_{n}(\mathbf {C} )}
的一個有界閉子集,然後海涅-鮑萊耳定理 可知緊性。欲證
U
(
n
)
{\displaystyle {\text{U}}(n)}
是連通的,回憶到任何么正矩陣
A
{\displaystyle A}
能被另一個么正矩陣
S
{\displaystyle S}
對角化 。任何對角么正矩陣的對角線上都是絕對值為1的複數。從而我們可以寫成
A
=
S
diag
(
e
i
θ
1
,
…
,
e
i
θ
n
)
S
−
1
{\displaystyle A=S\,{\mbox{diag}}(e^{i\theta _{1}},\dots ,e^{i\theta _{n}})\,S^{-1}}
。
U
(
n
)
{\displaystyle {\text{U}}(n)}
中從單位到
A
{\displaystyle A}
的一條道路 由
t
↦
S
diag
(
e
i
t
θ
1
,
…
,
e
i
t
θ
n
)
S
−
1
{\displaystyle t\mapsto S\,{\mbox{diag}}(e^{it\theta _{1}},\dots ,e^{it\theta _{n}})\,S^{-1}}
給出。
么正群不是單連通 的;對所有
n
{\displaystyle n}
,
U
(
n
)
{\displaystyle {\text{U}}(n)}
的基本群 是無限循環群
π
1
(
U
(
n
)
)
≅
Z
{\displaystyle \pi _{1}(U(n))\cong \mathbf {Z} }
。
第一個么正群U(1)是一個拓撲圓周 ,熟知其有同構於
Z
{\displaystyle \mathbf {Z} }
的基本群,包含映射
U
(
n
)
→
U
(
n
+
1
)
{\displaystyle U(n)\to U(n+1)}
在
π
1
{\displaystyle \pi _{1}}
上是同構(其商 是斯蒂弗爾流形 )。
行列式映射
d
e
t
:
U
(
n
)
→
U
(
1
)
{\displaystyle \mathrm {det} \colon \mathrm {U} (n)\to \mathrm {U} (1)}
誘導了基本群的同構,分裂映射
U
(
1
)
→
U
(
n
)
{\displaystyle \mathrm {U} (1)\to \mathrm {U} (n)}
誘導其逆。
相關的群
三選二性質
么正群是正交群 、辛群 與複數群的3重交集 :
U
(
n
)
=
O
(
2
n
)
∩
G
L
(
n
,
C
)
∩
S
p
(
2
n
,
R
)
,
{\displaystyle U(n)=O(2n)\cap GL(n,\mathbf {C} )\cap Sp(2n,\mathbf {R} ),}
從而一個酉結構可以視為一個正交結構、複結構與辛結構,他們要求是「一致的」(意思是說:複結構與辛形式使用同樣的
J
{\displaystyle J}
,且
J
{\displaystyle J}
是正交的;取定一個
J
{\displaystyle J}
將所有群寫成矩陣群便確保了一致性)。
事實上,它是這三個中任何兩個的交集;從而一個一致的正交與複結構導致了一個辛結構,如此等等[ 1] [ 2] 。
在方程的層次上,這可以由下面看出
辛 :
A
T
J
A
=
J
,
{\displaystyle A^{T}JA=J,}
複 :
A
−
1
J
A
=
J
,
{\displaystyle A^{-1}JA=J,}
正交 :
A
T
=
A
−
1
,
{\displaystyle A^{T}=A^{-1},}
任何兩個方程蘊含第三個。
在形式的層次上,這可從埃爾米特形式 分解為實部與虛部看出:
實部是對稱的(或正交),虛部是斜正交(辛)——他們由複結構聯繫(這便是一致性)。在一個殆凱勒流形 上,可以將這個分解寫成
h
=
g
+
i
ω
{\displaystyle h=g+i\omega }
,這裏
h
{\displaystyle h}
是埃爾米特形式,
g
{\displaystyle g}
是黎曼度量 ,
i
{\displaystyle i}
是殆複結構 ,而
ω
{\displaystyle \omega }
是殆辛結構 。
從李群 的觀點來看,這可部分地解釋如下:
O
(
2
n
)
{\displaystyle O(2n)}
是
G
L
(
2
n
,
R
)
{\displaystyle GL(2n,\mathbf {R} )}
的極大緊子群 ,而
U
(
n
)
{\displaystyle U(n)}
是
G
L
(
n
,
C
)
{\displaystyle GL(n,\mathbf {C} )}
與
S
p
(
2
n
)
{\displaystyle Sp(2n)}
的極大緊子群。從而交集
O
(
2
n
)
∩
G
L
(
n
,
C
)
{\displaystyle O(2n)\cap GL(n,\mathbf {C} )}
或
O
(
2
n
)
∩
S
p
(
2
n
)
{\displaystyle O(2n)\cap Sp(2n)}
是這些群的極大緊子群,即
U
(
n
)
{\displaystyle U(n)}
。從這個觀點來看,意料之外的是交集
G
L
(
n
,
C
)
∩
S
p
(
2
n
)
=
U
(
n
)
{\displaystyle GL(n,\mathbf {C} )\cap Sp(2n)=U(n)}
。
特殊么正群與射影么正群
就像正交群有子群特殊正交群 與商群射影正交群
PO
(
n
)
{\displaystyle {\text{PO}}(n)}
,以及子商群 射影特殊正交群 ;么正群也有關聯的特殊么正群
SU
(
n
)
{\displaystyle {\text{SU}}(n)}
,射影么正群
PU
(
n
)
{\displaystyle {\text{PU}}(n)}
,以及射影特殊么正群
PSU
(
n
)
{\displaystyle {\text{PSU}}(n)}
。他們的關係如左所示的交換圖表 ;特別地,兩個射影群相等:
PSU
(
n
)
=
PU
(
n
)
{\displaystyle \operatorname {PSU} (n)=\operatorname {PU} (n)}
。
上面對經典么正群成立(複數上),對有限體 ,可以類似地得到特殊么正群與射影么正群,但是一般地
PSU
(
n
,
q
2
)
≠
PU
(
n
,
q
2
)
{\displaystyle \operatorname {PSU} (n,q^{2})\neq \operatorname {PU} (n,q^{2})}
。
G-結構:殆埃米爾特
用G-結構 的語言來說,一個具有
U
(
n
)
{\displaystyle \mathrm {U} (n)}
-結構的流形是一個殆埃米爾特流形 。
推廣
從李群 的觀點來看,典型么正群是斯坦伯格群
2
A
n
{\displaystyle {}^{2}\!A_{n}}
的實形式,後者是由一般線性群的「圖表自同構」(翻轉丹金圖形
A
n
{\displaystyle A_{n}}
,對應於轉置逆)與擴張
C
/
R
{\displaystyle \mathbf {C} /\mathbf {R} }
的域同構 (即複共軛 )的複合得到的代數群 。兩個自同構都是代數群的自同構,階數為2,可交換,么正群作為代數群是乘積自同構的不動點。典型么正群是這個群的實形式,對應於標準埃爾米特形式
Ψ
{\displaystyle \Psi }
,它是正定的。
這可從幾個方面推廣:
推廣到其它埃爾米特形式得到了不定么正群
U
(
p
,
q
)
{\displaystyle \operatorname {U} (p,q)}
;
體擴張可用任何2階可分代數取代,最特別地是一個2階有限體擴張;
推廣到其它圖表得出李型群 ,即其它斯坦伯格群
2
D
n
,
2
E
6
,
3
D
4
,
{\displaystyle {}^{2}\!D_{n},{}^{2}\!E_{6},{}^{3}\!D_{4},}
(以及
2
A
n
{\displaystyle {}^{2}\!A_{n}}
)Suzuki-Ree群
2
B
2
(
2
2
n
+
1
)
,
2
F
4
(
2
2
n
+
1
)
,
2
G
2
(
3
2
n
+
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)}
;
考慮一個推廣的么正群作為代數群,可取它的點在不同的代數上。
不定形式
類似於不定正交群 ,給定一個不必正定(但一般取為非退化)的埃爾米特形式,考慮保持這個形式的轉換,我們可以定義不定么正群 。這裏我們在複向量空間上考慮問題。
給定複向量空間
V
{\displaystyle V}
上的一個埃爾米特形式
Ψ
{\displaystyle \Psi }
,么正群
U
(
Ψ
)
{\displaystyle U(\Psi )}
是保持這個形式的轉換群:轉換
M
{\displaystyle M}
使得
Ψ
(
M
v
,
M
w
)
=
Ψ
(
v
,
w
)
{\displaystyle \Psi (Mv,Mw)=\Psi (v,w)}
,對所有
v
,
w
∈
V
{\displaystyle v,w\in V}
。寫成矩陣,設這個形式用矩陣
Φ
{\displaystyle \Phi }
表示,這便是說
M
∗
Φ
M
=
Φ
{\displaystyle M^{*}\Phi M=\Phi }
。
就像實數上的對稱形式 ,埃爾米特形式由符號 確定,所有都是酉合同 於對角線上
p
{\displaystyle p}
個元素為1,
q
{\displaystyle q}
個
−
1
{\displaystyle -1}
的對角矩陣 。非退化假設等價於
p
+
q
=
n
{\displaystyle p+q=n}
。在一組標準基下,這代表二次形式:
‖
z
‖
Ψ
2
=
‖
z
1
‖
2
+
⋯
+
‖
z
p
‖
2
−
‖
z
p
+
1
‖
2
−
⋯
−
‖
z
n
‖
2
,
{\displaystyle \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
¯
1
z
1
+
⋯
+
w
¯
p
z
p
−
w
¯
p
+
1
z
p
+
1
−
⋯
−
w
¯
n
z
n
,
{\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},}
得出的群記為
U
(
p
,
q
)
{\displaystyle U(p,q)}
。
有限群
在
q
=
p
r
{\displaystyle q=p^{r}}
個元素的有限體
F
q
{\displaystyle \mathbf {F} _{q}}
上,有一個惟一的2階擴張體
F
q
2
{\displaystyle \mathbf {F} _{q^{2}}}
,帶有2階自同構
α
:
x
↦
x
q
{\displaystyle \alpha \colon x\mapsto x^{q}}
(弗比尼斯自同構 的
r
{\displaystyle r}
次冪)。這使得我們可以定義
F
q
2
{\displaystyle \mathbf {F} _{q^{2}}}
上一個向量空間
V
{\displaystyle V}
上的埃爾米特形式,是一個
F
q
{\displaystyle \mathbf {F} _{q}}
-雙線性映射
Ψ
:
V
×
V
→
K
{\displaystyle \Psi \colon V\times V\to K}
使得
Ψ
(
w
,
v
)
=
α
(
Ψ
(
v
,
w
)
)
{\displaystyle \Psi (w,v)=\alpha \left(\Psi (v,w)\right)}
以及
Ψ
(
w
,
c
v
)
=
c
Ψ
(
w
,
v
)
{\displaystyle \Psi (w,cv)=c\Psi (w,v)}
對
c
∈
F
q
2
{\displaystyle c\in \mathbf {F} _{q^{2}}}
。另外,有限體上向量空間的所有非退化埃爾米特形式都酉合同與用恆同矩陣表示的標準形式。這便是說,任何埃爾米特形式酉等價於
Ψ
(
w
,
v
)
=
w
α
⋅
v
=
∑
i
=
1
n
w
i
q
v
i
,
{\displaystyle \Psi (w,v)=w^{\alpha }\cdot v=\sum _{i=1}^{n}w_{i}^{q}v_{i},}
這裏
w
i
,
v
i
{\displaystyle w_{i},v_{i}}
表示
w
,
v
∈
V
{\displaystyle w,v\in V}
在
n
{\displaystyle n}
-維空間
V
{\displaystyle V}
的某個特定
F
q
2
{\displaystyle \mathbf {F} _{q^{2}}}
-基下的坐標(Grove 2002 ,Thm. 10.3)。
從而我們對擴張
F
q
2
/
F
q
{\displaystyle \mathbf {F} _{q^{2}}/\mathbf {F} _{q}}
可以定義一個(惟一的)
n
{\displaystyle n}
維么正群,記作
U
(
n
,
q
)
{\displaystyle U(n,q)}
或
U
(
n
,
q
2
)
{\displaystyle U\left(n,q^{2}\right)}
(取決於作者的習慣)。么正群中矩陣的行列式為1的子群稱為特殊么正群 ,記作
S
U
(
n
,
q
)
{\displaystyle SU(n,q)}
或
S
U
(
n
,
q
2
)
{\displaystyle SU(n,q^{2})}
。為方便起見,本文使用
U
(
n
,
q
2
)
{\displaystyle U(n,q^{2})}
寫法。
U
(
n
,
q
2
)
{\displaystyle U(n,q^{2})}
的中心 的階數為
q
+
1
{\displaystyle q+1}
由為酉數量矩陣組成,這便是所有矩陣
c
I
V
{\displaystyle cI_{V}}
,這裏
c
q
+
1
=
1
{\displaystyle c^{q+1}=1}
。特殊么正群的中心的階數為
gcd
(
n
,
q
+
1
)
{\displaystyle \gcd(n,q+1)}
,由那些階數整除
n
{\displaystyle n}
的酉數量矩陣組成。么正群除以中心的商稱為射影么正群 ,
P
U
(
n
,
q
2
)
{\displaystyle PU(n,q^{2})}
,特殊么正群除以中心是射影特殊么正群
P
S
U
(
n
,
q
2
)
{\displaystyle PSU(n,q^{2})}
。在大多數情形(
n
≥
2
{\displaystyle n\geq 2}
與
(
n
,
q
2
)
∉
{
(
2
,
2
2
)
,
(
2
,
3
2
)
,
(
3
,
2
2
)
}
{\displaystyle (n,q^{2})\notin \{(2,2^{2}),(2,3^{2}),(3,2^{2})\}}
),
S
U
(
n
,
q
2
)
{\displaystyle SU(n,q^{2})}
是完全群 而
P
S
U
(
n
,
q
2
)
{\displaystyle PSU(n,q^{2})}
是有限單純群 (Grove 2002 ,Thm. 11.22 and 11.26)。
2階可分代數
更一般地,給定一個域
k
{\displaystyle k}
與一個2階可分
k
{\displaystyle k}
-代數
K
{\displaystyle K}
(可能是一個體擴張但也未必),我們可以定義關於這個擴張的么正群。
首先,存在
K
{\displaystyle K}
的惟一
k
{\displaystyle k}
-自同構
a
↦
a
¯
{\displaystyle a\mapsto {\bar {a}}}
是一個對合 且恰好不動元為
k
{\displaystyle k}
(
a
=
a
¯
{\displaystyle a={\bar {a}}}
當且僅當
a
∈
k
{\displaystyle a\in k}
)[ 3] 。這是複共軛與2階有限體擴張共軛的推廣,從而我們可以在它上面的定義埃爾米特形式與么正群。
代數群
定義么正群的方程是一些
k
{\displaystyle k}
上的多項式 方程(但不是在
k
{\displaystyle k}
上):對標準形式
Φ
=
I
{\displaystyle \Phi =I}
,這些方程由矩陣
A
∗
A
=
I
{\displaystyle A^{*}A=I}
給出,這裏
A
∗
=
A
¯
t
{\displaystyle A^{*}={\overline {A}}^{t}}
是共軛轉置 。給定另外一個形式,它們是
A
∗
Φ
A
=
Φ
{\displaystyle A^{*}\Phi A=\Phi }
。從而么正群一個代數群 ,它在一個
k
{\displaystyle k}
-代數
R
{\displaystyle R}
上的點由
U
(
n
,
K
/
k
,
Φ
)
(
R
)
:=
{
A
∈
GL
(
n
,
K
⊗
k
R
)
:
A
∗
Φ
A
=
Φ
}
{\displaystyle \operatorname {U} (n,K/k,\Phi )(R):=\left\{A\in \operatorname {GL} (n,K\otimes _{k}R):A^{*}\Phi A=\Phi \right\}}
給出。
對體擴張
C
/
R
{\displaystyle \mathbf {C} /\mathbf {R} }
與標準(正定)埃爾米特形式,這得出了具有實點與復點的代數群:
U
(
n
,
C
/
R
)
(
R
)
=
U
(
n
)
,
{\displaystyle \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} )}
。
分類空間
關於U (n )的分類空間 在條目U(n)的分類空間 中描述。
參考文獻
^ 弗拉基米爾·阿諾爾德 《經典力學中的數學方法(Mathematical Methods of Classical Mechanics )》討論了這個問題。
^ symplectic . [2008-11-24 ] . (原始內容 存檔於2011-11-08).
^ Milne, Algebraic Groups and Arithmetic Groups (頁面存檔備份 ,存於互聯網檔案館 ), p. 103
另見