Группа Гейзенберга

Кусок графа Кэли дискретной группы Гейзенберга .

Группа Гейзенберга — группа, состоящая из квадратных матриц вида

${\begin{pmatrix}1&a&c\\0&1&b\\0&0&1\\\end{pmatrix}},$

где элементы a, b, c принадлежат какому-либо коммутативному кольцу с единицей. В качестве такого кольца R чаще всего берется:

• кольцо вещественных чисел $R=\mathbb {R}$ — так называемая непрерывная группа Гейзенберга, обозначается $H_{3}(\mathbb {R} )$, или
• кольцо целых чисел $R=\mathbb {Z}$ — так называемая дискретная группа Гейзенберга, обозначается $H_{3}(\mathbb {Z} )$, или
• кольцо вычетов $R=\mathbb {Z} _{p}$ с простым числом p — группа обозначается $H_{3}(\mathbb {Z} _{p})$.

Названа в честь Вернера Гейзенберга, который использовал эту группу в квантовой механике: непрерывная группа Гейзенберга используется для описания одномерных квантово-механических систем.

Вариации и обобщения

Группа Гейзенберга обобщается на любое число измерений. Именно, группа Гейзенберга $H_{n+2},\ n\geq 1,$ состоит из квадратных матриц порядка n+2:

${\begin{pmatrix}1&a_{1}&a_{2}&\dots &a_{n}&c\\0&1&0&\dots &0&b_{1}\\0&0&\ddots &\ddots &\vdots &b_{2}\\\vdots &\vdots &\ddots &\ddots &0&\vdots \\0&0&\dots &0&1&b_{n}\\0&0&\dots &\dots &0&1\\\end{pmatrix}},$

элементы $a_{i},b_{i},c$ принадлежат какому-либо коммутативному кольцу с единицей.

Непрерывная группа Гейзенберга $H_{n+2}(\mathbb {R} )$ представляет собой связную, односвязную группу Ли (с топологией, порожденной стандартной топологией $\mathbb {R}$), алгебра Ли которой (размерности 2n+1) состоит из матриц вида

${\begin{pmatrix}0&a_{1}&a_{2}&\dots &a_{n}&c\\0&0&0&\dots &0&b_{1}\\0&0&\ddots &\ddots &\vdots &b_{2}\\\vdots &\vdots &\ddots &\ddots &0&\vdots \\0&0&\dots &0&0&b_{n}\\0&0&\dots &\dots &0&0\\\end{pmatrix}}.$

Примечания

• Кириллов А.А. Элементы теории представлений, — М.: Наука, 1978.
• Ernst Binz & Sonja Pods. Geometry of Heisenberg Groups, — American Mathematical Society, 2008, ISBN 978-0-8218-4495-3.
• Roger Evans Howe. On the role of the Heisenberg group in harmonic analysis, — Bulletin of the American Mathematical Society 1980, 3(2):821.
• A.A. Kirilov. Lectures on the Orbit Method (Chapter 2: Representations and Orbits of the Heisenberg Group), — American Mathematical Society, 2004.