Nhóm Heisenberg

Bản mẫu:Thiếu nguồn gốc Trong toán học, nhóm Heisenberg $H$, được đặt tên theo nhà toán học Werner Heisenberg, là nhóm các ma trận tam giác trên 3 × 3 dưới dạng

$\left(\begin{array}{ccc}1& a& c\\ 0& 1& b\\ 0& 0& 1\end{array}\right)$

dưới phép toán phép nhân ma trận. Các phần tử a, b và c có thể được lấy từ bất kỳ vành giao hoán nào có phần tử đơn vị, thường là vành số thực (tạo ra "nhóm Heisenberg liên tục") hoặc vành các số nguyên (tạo ra "nhóm Heisenberg rời rạc").

Nhóm Heisenberg liên tục phát sinh trong việc mô tả các hệ thống cơ lượng tử một chiều, đặc biệt là trong bối cảnh của định lý Stone – von Neumann.

Trường hợp ba chiều

Tích của hai ma trận Heisenberg 3 x 3 được cho bởi:

$\left(\begin{array}{ccc}1& a& c\\ 0& 1& b\\ 0& 0& 1\end{array}\right)\left(\begin{array}{ccc}1& a^{\prime }& c^{\prime }\\ 0& 1& b^{\prime }\\ 0& 0& 1\end{array}\right)=\left(\begin{array}{ccc}1& a+a^{\prime }& c+a{b}^{\prime }+c^{\prime }\\ 0& 1& b+b^{\prime }\\ 0& 0& 1\end{array}\right).$

Dễ thấy rằng bằng việc nhìn vào phần tử Bản mẫu:Math, nhóm này không phải là nhóm abel.

Phần tử đơn vị của nhóm Heisenberg là ma trận đơn vị còn phần tử nghịch đảo thì được đưa ra bằng

${\left(\begin{array}{ccc}1& a& c\\ 0& 1& b\\ 0& 0& 1\end{array}\right)}^{-1}=\left(\begin{array}{ccc}1& -a& ab-c\\ 0& 1& -b\\ 0& 0& 1\end{array}\right).$

Nhóm Heisenberg là nhóm con của nhóm affine 2 chiều Aff(2): $\left(\begin{array}{ccc}1& a& c\\ 0& 1& b\\ 0& 0& 1\end{array}\right)$ tác động trên $(\overrightarrow{x},1)$ tương ứng với biến đổi affin sau:$\left(\begin{array}{cc}1& a\\ 0& 1\end{array}\right)\overrightarrow{x}+\left(\begin{array}{c}c\\ b\end{array}\right)$.

Sau đây là một số ví dụ nổi bật trong trường hợp 3 chiều.

Nhóm Heisenberg liên tục

Nếu Bản mẫu:Math, là các số thực (trong vành R) thì ta gọi nhóm đó là nhóm Heisenberg liên tục H₃(R).

Nó là nhóm Lie thực lũy linh với chiều bằng 3.

Nhóm Heisenberg rời rạc

Một phần của đồ thị Cayley của nhóm Heisenberg rời rạc, với các phần tử sinh x, y, z như trong văn bản. (Màu chỉ để hỗ trợ thị giác.)

Nếu Bản mẫu:Math, là các số nguyên (trong vành Z) thì ta gọi nhóm đó là nhóm Heisenberg rời rạc H₃(Z). Nó là nhóm lũy linh không giao hoán. Nó có hai phần tử sinh sau,

$x=\left(\begin{array}{ccc}1& 1& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right),y=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 1\\ 0& 0& 1\end{array}\right)$

và quan hệ

$z_{}^{}=xy{x}^{-1}{y}^{-1},xz=zx,yz=zy$,

Với

$z=\left(\begin{array}{ccc}1& 0& 1\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)$

là phần tử sinh tâm của H₃. (Lưu ý rằng các nghịch đảo của x, y và z thay thế 1 ở trên đường chéo chính bằng −1.)

Theo định lý Bass, nó có độ tăng trưởng cấp 4.

Ta có thể viết bất kỳ phần tử nào bằng cách

$\left(\begin{array}{ccc}1& a& c\\ 0& 1& b\\ 0& 0& 1\end{array}\right)=y^b{z}^c{x}^a.$

Nhóm Heisenberg modulo một số nguyên tố lẻ p

Nếu ta lấy a, b, c trong Z/pZ với p là số nguyên tố lẻ, thì ta gọi nhóm đó là nhóm Heisenberg modulo p. Nó là nhóm có cấp p³ với các phần tử sinh x, y và thỏa mãn quan hệ sau:

$z_{}^{}=xy{x}^{-1}{y}^{-1},x^p=y^p=z^p=1,xz=zx,yz=zy.$

Nhóm Heisenberg modulo 2

Nhóm Heisenberg modulo 2 có cấp 8 đẳng cấu với nhóm nhị diện D₄ (các đối xứng của một hình vuông). Quan sát rằng nếu

$x=\left(\begin{array}{ccc}1& 1& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right),y=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 1\\ 0& 0& 1\end{array}\right)$.

Thì

$xy=\left(\begin{array}{ccc}1& 1& 1\\ 0& 1& 1\\ 0& 0& 1\end{array}\right),$

và

$yx=\left(\begin{array}{ccc}1& 1& 0\\ 0& 1& 1\\ 0& 0& 1\end{array}\right).$

Các phần tử x và y tương ứng với phản xạ (với 45° giữa chúng), trong khi xy và yx tương ứng với các phép quay 90 °. Các phản xạ khác là xyx và yxy, và quay 180° là xyxy(=yxyx).

Đại số Heisenberg

Đại số Lie $𝔥$ của nhóm Heisenberg $H$ (trên các số thực) được gọi là đại số Heisenberg. Nó được biểu diễn bằng không gian của ma trận vuông kích thước 3×3 dưới dạng

$\left(\begin{array}{ccc}0& a& c\\ 0& 0& b\\ 0& 0& 0\end{array}\right),$

với $a,b,c\in ℝ$.

Ba phần tử sau lập thành cơ sở cho $𝔥$,

$X=\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right);Y=\left(\begin{array}{ccc}0& 0& 0\\ 0& 0& 1\\ 0& 0& 0\end{array}\right);Z=\left(\begin{array}{ccc}0& 0& 1\\ 0& 0& 0\\ 0& 0& 0\end{array}\right).$

Ba phần tử cơ sở này thỏa mãn quan hệ giao hoán,

$[X,Y]=Z;[X,Z]=0;[Y,Z]=0$.

Tên "nhóm Heisenberg" được lấy cảm hứng từ các quan hệ đó có cùng dạng với các quan hệ giao hoán chính tắc trong cơ học lượng tử.

$[\hat{x},\hat{p}]=i\hslash I;[\hat{x},i\hslash I]=0;[\hat{p},i\hslash I]=0,$

trong đó $\hat{x}$ là toán tử vị trí, $\hat{p}$ là toán tử quán tính, và $\hslash$ là hằng số Planck.

Nhóm Heisenberg Bản mẫu:Mvar có tính chất đặc biệt khác là ánh xạ mũ là song ánh từ đại số Lie $𝔥$ sang nhóm Bản mẫu:Mvar,

$\exp \left(\begin{array}{ccc}0& a& c\\ 0& 0& b\\ 0& 0& 0\end{array}\right)=\left(\begin{array}{ccc}1& a& c+\frac{ab}{2}\\ 0& 1& b\\ 0& 0& 1\end{array}\right).$

Trong lý thuyết trường bảo giác

Trong lý thuyết trường bảo giác, thuật ngữ đại số Heisenberg được dùng để chỉnh dạng tổng quát vô hạn chiều của đại số. Nó được span bởi các phần tử $a_n,n\in \mathbb{Z}$, cùng các quan hệ giao hoán

$[a_n,a_m]=n{\delta }_{n+m,0}.$

Khi bị thay đổi tỷ lệ, thì nó trờ thành số bản sao vô hạn và đếm được của đại số trên.

Số chiều cao hơn

Các nhóm Heisenberg tổng quát $H_{2n+1}$ có thể định nghĩa cho số chiều cao hơn trong không gian Euclide, và tổng quát hơn trong không gian vectơ symplectic. Thường hợp tổng quát đơn giản nhất là nhóm Heisenberg thực có số chiều $2n+1$, với bất kỳ $n\ge 1$. Bởi là nhóm của các ma trận, $H_{2n+1}$ (hoặc $H_{2n+1}(ℝ)$ được dùng để chỉ đây là nhóm các ma trận trên trường $ℝ$ của các số thực ) và được định nghĩa là nhóm các ma trận kích thước $(n+2)\times (n+2)$ có các phần tử thuộc $ℝ$ và ma trận nằm dưới dạng sau:

$\left[\begin{array}{ccc}1& 𝐚& c\\ \mathrm{𝟎}& I_n& 𝐛\\ 0& \mathrm{𝟎}& 1\end{array}\right]$

Trong đó

a là vectơ hàng có độ dài n,

b là vectơ cột có độ dài n,

I_n là ma trận đơn vị bậc n.

Cấu trúc nhóm

Quả thực đây vẫn là một nhóm, bởi phép toán nhân của nó:

$\left[\begin{array}{ccc}1& 𝐚& c\\ 0& I_n& 𝐛\\ 0& 0& 1\end{array}\right]\cdot \left[\begin{array}{ccc}1& {𝐚}^{\prime }& c^{\prime }\\ 0& I_n& {𝐛}^{\prime }\\ 0& 0& 1\end{array}\right]=\left[\begin{array}{ccc}1& 𝐚+{𝐚}^{\prime }& c+c^{\prime }+𝐚\cdot {𝐛}^{\prime }\\ 0& I_n& 𝐛+{𝐛}^{\prime }\\ 0& 0& 1\end{array}\right]$

và trong nghịch đảo:

$\left[\begin{array}{ccc}1& 𝐚& c\\ 0& I_n& 𝐛\\ 0& 0& 1\end{array}\right]\cdot \left[\begin{array}{ccc}1& -𝐚& -c+𝐚\cdot 𝐛\\ 0& I_n& -𝐛\\ 0& 0& 1\end{array}\right]=\left[\begin{array}{ccc}1& 0& 0\\ 0& I_n& 0\\ 0& 0& 1\end{array}\right].$

Đại số Lie

Nhóm Heisenberg là nhóm Lie đơn liên có đại số Lie chứa các ma trận sau

$\left[\begin{array}{ccc}0& 𝐚& c\\ 0& 0_n& 𝐛\\ 0& 0& 0\end{array}\right],$

rong đó

a là vectơ hàng có độ dài n,

b là vectơ cột có độ dài n,

0_n là ma trận không bậc n.

Bằng cách đặt e₁, ..., e_n là cơ sở chính tắc của Rⁿ, và đặt

$\begin{array}{cc}{p}_i& =\left[\begin{array}{ccc}0& {\mathrm{e}}_i^{\mathrm{T}}& 0\\ 0& 0_n& 0\\ 0& 0& 0\end{array}\right],\\ q_j& =\left[\begin{array}{ccc}0& 0& 0\\ 0& 0_n& {\mathrm{e}}_j\\ 0& 0& 0\end{array}\right],\\ z& =\left[\begin{array}{ccc}0& 0& 1\\ 0& 0_n& 0\\ 0& 0& 0\end{array}\right],\end{array}$

Đại số Lie đi cùng có thể được đặc trưng hóa bằng các quan hệ giao hoán chính tắc, Bản mẫu:NumBlk

trong đó p₁, ..., p_n, q₁, ..., q_n, z là các phần tử sinh đại số.

Cụ thể hơn, z là phần tử tâm của đại số Lie Heisenberg. Lưu ý rằng đại số Lie của nhóm Heisenberg có tính lũy linh.

Ánh xạ mũ

Đặt

$u=\left[\begin{array}{ccc}0& 𝐚& c\\ 0& 0_n& 𝐛\\ 0& 0& 0\end{array}\right],$

khi đó $u^3=0_{n+2}$. Giá trị của ánh xạ mũ qua $u$ là

$\exp (u)=\sum _{k=0}^{\mathrm{\infty }}\frac{1}{k!}{u}^k=I_{n+2}+u+\frac{1}{2}{u}^2=\left[\begin{array}{ccc}1& 𝐚& c+\frac{1}{2}𝐚\cdot 𝐛\\ 0& I_n& 𝐛\\ 0& 0& 1\end{array}\right].$

Ánh xạ mũ của bất kỳ đại số Lie lũy linh là vi đồng phôi giữa đại số Lie và nhóm Lie đơn liên liên đới duy nhất đơn liên.

Các ý trên (bên cạnh các mệnh đề về số chiều và nhóm Lie) vẫn áp dụng được khi ta thay R bằng bất kỳ vành giao hoán A. Nhóm tương ứng được ký hiệu là H_n(A ).

Dưới giả định thêm số nguyên tố 2 khả nghịch trong vành A, ánh xạ mũ cũng định được được bởi nó rút gọn thành tổng hữu hạn và có dạng như trên (ví dụ chẳng hạn. A có thể là vành Z/p Z với p là số nguyên tố lẻ hoặc bất kỳ trường đặc số không).

Lý thuyết biểu diễn

Lý thuyết biểu diễn của nhóm Heisenberg lúc đầu vẫn còn đơn giản sau – sau được tổng quát hóa bởi lý thuyết Mackey và được giới thiệu trong vật lý lượng tử.

Cho bất kỳ số thực khác không $\hslash$, ta có thể định nghĩa biểu diễn unita bất khả quy ${\mathrm{\Pi }}_{\hslash }$ của $H_{2n+1}$ tác động trên không gian Hilbert$L^2({ℝ}^n)$ bằng công thức:

$\left[{\mathrm{\Pi }}_{\hslash }\left(\begin{array}{ccc}1& 𝐚& c\\ 0& I_n& 𝐛\\ 0& 0& 1\end{array}\right)\psi \right](x)=e^{i\hslash c}{e}^{ib\cdot x}\psi (x+\hslash a)$

Phép biểu diễn này còn được gọi là biểu diễn Schrödinger. Động cơ thúc đẩy của phép biểu diễn này là tác động của các toán tử vị trí và toán tử quán tính được mũ lên trong cơ học lượng tử. Tham số $a$ mô tả các phép tịnh tiến trong không gian vị trí, tham số $b$ mô tả các phép tịnh tiến trong không gian quán tính, còn tham số $c$ thì cho hệ số pha. Hệ số pha được dùng để thu về nhóm các toán tử, bởi phép tịnh tiếp trong không gian vị trí và không gian quán tính không giao hoán với nhau.

Kết quả quan trọng thu về được là định lý Stone–von Neumann, định lý phát biểu rằng mọi biểu diễn unita bất khả quy (liên tục mạnh) của nhóm Heisenberg có tâm tác động không tầm thường thì tương đương với ${\mathrm{\Pi }}_{\hslash }$ cho một số $\hslash$. Hoặc là, chúng đều tương đương với đại số Weyl (hoặc đại số CCR) trên không gian symplectic số chiều 2n.

Tham khảo

• Bản mẫu:Chú thích sách
• Bản mẫu:Citation
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích tạp chí
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách

Liên kết ngoài

• Groupprops, The Group Properties Wiki Unitriangular matrix group UT(3,p)