么正群,又叫么正群,是李群的一種。在群論中,么正群unitary group)是么正矩陣組成的,群乘法是矩陣乘法。么正群記作,是一般線性群的一個子群。

群論


在最簡單情形,群相當於圓群,由所有絕對值為1的複數在乘法下組成的群。所有么正群都包含一個這樣的子群。

么正群是一個維實李群李代數由所有復斜埃爾米特矩陣組成,李括號交換子

一般么正群(也稱為酉相似群)由所有複矩陣使得 恆同矩陣非零複數倍,這就是么正群與恆同矩陣的正數倍的乘積。

性質

因為么正矩陣的行列式是模長1複數,行列式給出了一個群同態

 

這個同態的是行列式為單位的么正矩陣集合,這個子群稱為特殊么正群,記作 。我們有李群的短正合列

 

這個短正合列分裂,故 可以寫成  半直積。這裡  中由 形式的矩陣組成的子群。

么正群  非交換的。 中心是數量矩陣 ,這裡 。這由舒爾引理得來。這樣中心同構於 。因為 的中心是一個1維阿貝爾正規子群,么正群不是半單的。

拓撲

么正群 作為 的子集賦予相對拓撲 是所有 複矩陣集合,本身同構於 歐幾里得空間

作為一個拓撲空間, 連通空間。因為  的一個有界閉子集,然後海涅-鮑萊耳定理可知緊性。欲證 是連通的,回憶到任何么正矩陣 能被另一個么正矩陣 對角化。任何對角么正矩陣的對角線上都是絕對值為1的複數。從而我們可以寫成

 

 中從單位到 的一條道路

 

給出。

么正群不是單連通的;對所有  基本群是無限循環群

 

第一個么正群U(1)是一個拓撲圓周,熟知其有同構於 的基本群,包含映射  上是同構(其斯蒂弗爾流形)。

行列式映射 誘導了基本群的同構,分裂映射 誘導其逆。

相關的群

三選二性質

么正群是正交群辛群與複數群的3重交集

 

從而一個酉結構可以視為一個正交結構、複結構與辛結構,他們要求是「一致的」(意思是說:複結構與辛形式使用同樣的 ,且 是正交的;取定一個 將所有群寫成矩陣群便確保了一致性)。

事實上,它是這三個中任何兩個的交集;從而一個一致的正交與複結構導致了一個辛結構,如此等等[1][2]

在方程式的層次上,這可以由下面看出

 
 
正交 

任何兩個方程式蘊含第三個。

在形式的層次上,這可從埃爾米特形式分解為實部與虛部看出: 實部是對稱的(或正交),虛部是斜正交(辛)——他們由複結構聯繫(這便是一致性)。在一個殆凱勒流形上,可以將這個分解寫成 ,這裡 是埃爾米特形式, 黎曼度量 殆複結構,而 殆辛結構

李群的觀點來看,這可部分地解釋如下:   極大緊子群,而   的極大緊子群。從而交集  是這些群的極大緊子群,即 。從這個觀點來看,意料之外的是交集 

特殊么正群與射影么正群

 

就像正交群有子群特殊正交群與商群射影正交群 ,以及子商群射影特殊正交群;么正群也有關聯的特殊么正群 射影么正群 ,以及射影特殊么正群 。他們的關係如左所示的交換圖表;特別地,兩個射影群相等: 

上面對經典么正群成立(複數上),對有限體,可以類似地得到特殊么正群與射影么正群,但是一般地 

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. [2008-11-24]. (原始內容存檔於2011-11-08). 
  3. ^ Milne, Algebraic Groups and Arithmetic Groups頁面存檔備份,存於網際網路檔案館), p. 103

另見