THC Science

In mathematics, the term Heisenberg group, named after Werner Heisenberg, refers to the group of 3×3 upper triangular matrices of the form

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

or its generalizations. Elements a, b, c can be taken from some (arbitrary) commutative ring, often taken to be the ring of real numbers or the ring of integers.

The real Heisenberg group arises in the description of one-dimensional quantum mechanical systems. More generally, one can consider groups associated to n-dimensional systems, and most generally, to any symplectic vector space.

The three-dimensional case

There are several prominent examples of the three-dimensional case.

Continuous Heisenberg group

If a, b, c are real numbers (in the ring R) then one has the continuous Heisenberg group H₃(R). It is a nilpotent Lie group.

In addition to the representation as real 3x3 matrices, the continuous Heisenberg group also has several different representations in terms of function spaces. By Stone–von Neumann theorem, there is a unique irreducible unitary representation of H in which its center acts by a given nontrivial character. This representation has several important realizations, or models. In the Schrödinger model, the Heisenberg group acts on the space of square integrable functions. In the theta representation, it acts on the space of holomorphic functions on the upper half-plane; it is so named for its connection with the theta functions.

Discrete Heisenberg group

If a, b, c are integers (in the ring Z) then one has the discrete Heisenberg group H₃(Z). It is a non-abelian nilpotent group. It has two generators

x={\begin{pmatrix}1&1&0\\0&1&0\\0&0&1\\\end{pmatrix}},\ \ y={\begin{pmatrix}1&0&0\\0&1&1\\0&0&1\\\end{pmatrix}}

and relations

z_{}^{}=xyx^{-1}y^{-1},\ xz=zx,\ yz=zy

,

where

z={\begin{pmatrix}1&0&1\\0&1&0\\0&0&1\\\end{pmatrix}}

is the generator of the center of H₃. By Bass' theorem, it has a polynomial growth rate of order 4.

Heisenberg group modulo p

If one takes a, b, c in Z/p Z for an odd prime p, then one has the Heisenberg group modulo p. It is a group of order p³ with two generators, x, y and relations

z_{}^{}=xyx^{-1}y^{-1},\ x^{p}=y^{p}=z^{p}=1,\ xz=zx,\ yz=zy

.

Analogues of Heisenberg groups over finite fields of odd prime order p are called extra special groups, or more properly, extra special groups of exponent p. More generally, if the derived subgroup of a group is contained in the center Z of the group G, then the map from G/Z × G/Z → Z is a skew-symmetric bilinear operator on abelian groups. However, requiring that G/Z be a finite vector space requires the Frattini subgroup of G to be contained in the center, and requiring that Z be a one dimensional vector space over Z/pZ requires that Z have order p, so if G is not abelian, then G is extra special. If G is extra special but does not have exponent p, then general construction below applied to the symplectic vector space G/Z does not yield a group isomorphic to G.

Higher dimensions

More general Heisenberg groups $H_{n}$ may be defined for higher dimensions in Euclidean space, and more generally on symplectic vector spaces. The simplest general case is the real Heisenberg group of dimension 2n+1, for any integer n ≥ 1. As a group of matrices, H_n (or H_n(R) to indicate this is the Heisenberg group over the ring R or real numbers) is defined as the group of square matrices of size n+2 with entries in R:

{\begin{bmatrix}1&a&c\\0&I_{n}&b\\0&0&1\end{bmatrix}}

where a is a row vector of length n, b is a column vector of length n and $I_{n}$ is the identity matrix of size n. This is indeed a group, as is shown by the multiplication:

{\begin{bmatrix}1&a&c\\0&I_{n}&b\\0&0&1\end{bmatrix}}\cdot {\begin{bmatrix}1&a'&c'\\0&I_{n}&b'\\0&0&1\end{bmatrix}}={\begin{bmatrix}1&a+a'&c+c'+ab'\\0&I_{n}&b+b'\\0&0&1\end{bmatrix}}

and

{\begin{bmatrix}1&a&c\\0&I_{n}&b\\0&0&1\end{bmatrix}}\cdot {\begin{bmatrix}1&-a&-c+ab\\0&I_{n}&-b\\0&0&1\end{bmatrix}}={\begin{bmatrix}1&0&0\\0&I_{n}&0\\0&0&1\end{bmatrix}}.

The Heisenberg group is a connected, simply-connected Lie group whose Lie algebra consists of matrices

{\begin{bmatrix}0&a&c\\0&0_{n}&b\\0&0&0\end{bmatrix}},

where a is a row vector of length n, b is a column vector of length n and 0_n is the zero matrix of size n. The exponential map is given by the following expression

\exp {\begin{bmatrix}0&a&c\\0&0_{n}&b\\0&0&0\end{bmatrix}}=\sum _{k=0}^{\infty }{\frac {1}{k!}}{\begin{bmatrix}0&a&c\\0&0_{n}&b\\0&0&0\end{bmatrix}}^{k}={\begin{bmatrix}1&a&c+{1 \over 2}ab\\0&I_{n}&b\\0&0&1\end{bmatrix}}.

By letting e₁, ..., e_n be the canonical basis of Rⁿ, and setting

p_{i}={\begin{bmatrix}0&\operatorname {e} _{i}&0\\0&0_{n}&0\\0&0&0\end{bmatrix}},

q_{j}={\begin{bmatrix}0&0&0\\0&0_{n}&\operatorname {e} _{j}^{\mathrm {T} }\\0&0&0\end{bmatrix}},

z={\begin{bmatrix}0&0&1\\0&0_{n}&0\\0&0&0\end{bmatrix}},

the Lie algebra can also be characterized by the canonical commutation relations

[p_{i},q_{j}]=\delta _{ij}z,

[p_{i},z]=0,

[q_{j},z]=0,

where p₁, ..., p_n, q₁, ..., q_n, z are generators. In particular, z is a central element of the Heisenberg Lie algebra. Note that the Lie algebra of the Heisenberg group is nilpotent. The exponential map of a nilpotent Lie algebra is a diffeomorphism between the Lie algebra and the unique associated connected, simply-connected Lie group.

The above discussion (aside from statements referring to dimension and Lie group) applies if we replace R by any commutative ring A. The corresponding group is denoted H_n(A). Under the additional assumption that the prime 2 is invertible in the ring A the exponential map is also defined, since it reduces to a finite sum and has the form above (i.e. A could be a ring Z/pZ with an odd prime p or any field of characteristic 0).

On symplectic vector spaces

The general abstraction of a Heisenberg group is constructed from any symplectic vector space^[1]. For example, let (V,ω) be a finite dimensional real symplectic vector space (so ω is a nondegenerate skew symmetric bilinear form on V). The Heisenberg group H(V) on (V,ω) (or simply V for brevity) is the set V×R endowed with the group law

(v_{1},t_{1})\cdot (v_{2},t_{2})=\left(v_{1}+v_{2},t_{1}+t_{2}+{\frac {1}{2}}\omega (v_{1},v_{2})\right).

The Heisenberg group is a central extension of the additive group V. Thus there is an exact sequence

0\to \mathbb {R} \to H(V)\to V\to 0.

Any symplectic vector space admits a Darboux basis {e_j,f^k}_{1 ≤ j,k ≤ n} satisfying ω(e_j,f^k) = δ_j^k. In terms of this basis, every vector decomposes as

v=q^{a}\mathbf {e} _{a}+p_{a}\mathbf {f} ^{a}.

The q^a and p_a are canonically conjugate coordinates.

If {e_j,f^k}_{1 ≤ j,k ≤ n} is a Darboux basis for V, then let {E} be a basis for R, and {e_j,f^k, E}_{1 ≤ j,k ≤ n} is the corresponding basis for V×R. A vector in $\operatorname {H} (V)$ is then given by

v=q^{a}\mathbf {e} _{a}+p_{a}\mathbf {f} ^{a}+tE

and the group law becomes

(p_{1},q_{1},t_{1})\cdot (p_{2},q_{2},t_{2})=\left(p_{1}+p_{2},q_{1}+q_{2},t_{1}+t_{2}+{\frac {1}{2}}(p_{1}q_{2}-p_{2}q_{1})\right).

Because the underlying manifold of the Heisenberg group is a linear space, vectors in the Lie algebra can be canonically identified with vectors in the group. The Lie algebra of the Heisenberg group is given by the commutation relation

[(v_{1},t_{1}),(v_{2},t_{2})]=\omega (v_{1},v_{2})

or written in terms of the Darboux basis

[\mathbf {e} _{a},\mathbf {f} ^{b}]=\delta _{a}^{b}

and all other commutators vanish.

It is also possible to define the group law in a different way but which yields a group isomorphic to the group we have just defined. To avoid confusion, we will use u instead of t, so a vector is given by

v=q^{a}\mathbf {e} _{a}+p_{a}\mathbf {f} ^{a}+uE

and the group law is

(p_{1},q_{1},u_{1})\cdot (p_{2},q_{2},u_{2})=(p_{1}+p_{2},q_{1}+q_{2},u_{1}+u_{2}+p_{1}q_{2}).

An element of the group : $v=q^{a}\mathbf {e} _{a}+p_{a}\mathbf {f} ^{a}+uE$ can then be expressed as a matrix

{\begin{bmatrix}1&p&u\\0&I_{n}&q\\0&0&1\end{bmatrix}}

which gives a faithful matrix representation of H(V). The u in this formulation is related to t in our previous formulation by $u=t+{\frac {1}{2}}pq$ , so that the t value for the product comes to

u_{1}+u_{2}+p_{1}q_{2}-{\frac {1}{2}}(p_{1}+p_{2})(q_{1}+q_{2})

=t_{1}+{\frac {1}{2}}p_{1}q_{1}+t_{2}+{\frac {1}{2}}p_{2}q_{2}+p_{1}q_{2}-{\frac {1}{2}}(p_{1}+p_{2})(q_{1}+q_{2})

=t_{1}+t_{2}+{\frac {1}{2}}(p_{1}q_{2}-p_{2}q_{1})

as before.

The isomorphism to the group using upper triangular matrices relies on the decomposition of V into a Darboux basis, which amounts to a choice of isomorphism V ≅ U ⊕ U*. Although the new group law yields a group isomorphic to the one given higher up, the group with this law is sometimes referred to as the polarized Heisenberg group as a reminder that this group law relies on a choice of basis (a choice of a Lagrangian subspace of V is a polarization).

To any Lie algebra, there is a unique connected, simply connected Lie group G. All other connected Lie groups with the same Lie algebra as G are of the form G/N where N is a central discrete group in G. In this case, the center of H(V) is R and the only discrete subgroups are isomorphic to Z. Thus H(V)/Z is another Lie group which shares this Lie algebra. Of note about this Lie group is that it admits no faithful finite dimensional representations; it is not isomorphic to any matrix group. It does however have a well-known family of infinite-dimensional unitary representations.

The connection with the Weyl algebra

The Lie algebra ${\mathfrak {h}}_{n}$ of the Heisenberg group was described above as a Lie algebra of matrices. We now apply the Poincaré–Birkhoff–Witt theorem to determine the universal enveloping algebra ${\mathfrak {U}}({\mathfrak {h}}_{n})$ . Among other properties, the universal enveloping algebra is an associative algebra into which ${\mathfrak {h}}_{n}$ injectively imbeds. By Poincaré–Birkhoff–Witt, it is the free vector space generated by the monomials

z^{j}p_{1}^{k_{1}}p_{2}^{k_{2}}\cdots p_{n}^{k_{n}}q_{1}^{\ell _{1}}q_{2}^{\ell _{2}}\cdots q_{n}^{\ell _{n}}

where the exponents are all non-negative. Thus ${\mathfrak {U}}({\mathfrak {h}}_{n})$ consists of real polynomials

\sum _{j,{\vec {k}},{\vec {\ell }}}c_{j{\vec {k}}{\vec {\ell }}}\,\,z^{j}p_{1}^{k_{1}}p_{2}^{k_{2}}\cdots p_{n}^{k_{n}}q_{1}^{\ell _{1}}q_{2}^{\ell _{2}}\cdots q_{n}^{\ell _{n}}

with the commutation relations

p_{k}p_{\ell }=p_{\ell }p_{k},\quad q_{k}q_{\ell }=q_{\ell }q_{k},\quad p_{k}q_{\ell }-q_{\ell }p_{k}=\delta _{k\ell }z,\quad zp_{k}-p_{k}z=0,\quad zq_{k}-q_{k}z=0.

The algebra ${\mathfrak {U}}({\mathfrak {h}}_{n})$ is closely related to the algebra of differential operators on Rⁿ with polynomial coefficients, since any such operator has a unique representation in the form

P=\sum _{{\vec {k}},{\vec {\ell }}}c_{{\vec {k}}{\vec {\ell }}}\,\,\partial _{x_{1}}^{k_{1}}\partial _{x_{2}}^{k_{2}}\cdots \partial _{x_{n}}^{k_{n}}x_{1}^{\ell _{1}}x_{2}^{\ell _{2}}\cdots x_{n}^{\ell _{n}}.

This algebra is called the Weyl algebra. It follows from abstract nonsense that the Weyl algebra W_n is a quotient of ${\mathfrak {U}}({\mathfrak {h}}_{n})$ . However, this also easy to see directly from the above representations; viz. by the mapping

z^{j}p_{1}^{k_{1}}p_{2}^{k_{2}}\cdots p_{n}^{k_{n}}q_{1}^{\ell _{1}}q_{2}^{\ell _{2}}\cdots q_{n}^{\ell _{n}}\,\mapsto \,\partial _{x_{1}}^{k_{1}}\partial _{x_{2}}^{k_{2}}\cdots \partial _{x_{n}}^{k_{n}}x_{1}^{\ell _{1}}x_{2}^{\ell _{2}}\cdots x_{n}^{\ell _{n}}.

Weyl's view of quantum mechanics

See main article Weyl quantization.

The application that led Hermann Weyl to an explicit introduction of the Heisenberg group was the question of why the Schrödinger picture and Heisenberg picture are physically equivalent. Abstractly there is a good explanation: the group H_n is a central extension of R²ⁿ by a copy of R, and as such is a semidirect product. Its representation theory is relatively simple (a special case of the later Mackey theory), and in particular there is a uniqueness result for unitary representations with given action of the central element z (in the Lie algebra) or the one-parameter subgroup it creates under the exponential map, which is the central extension. This abstract uniqueness accounts for the equivalence of the two physical pictures.

The same uniqueness result was used by David Mumford for discrete Heisenberg groups, in his theory of abelian varieties. This is a large generalization of the approach used in Jacobi's elliptic functions, which is the case of the modulo 2 Heisenberg group, of order 8. The simplest case is the theta representation of the Heisenberg group, of which the discrete case gives the theta function.

The Heisenberg group also occurs in Fourier analysis, where it is used in some formulations of the Stone–von Neumann theorem. In this case, the Heisenberg group can be understood to act on the space of square integrable functions; the result is a representation of the Heisenberg groups sometimes called the Weyl representation.

As a sub-Riemannian manifold

The three-dimensional Heisenberg group H₃(R) on the reals can also be understood to be a smooth manifold, and specifically, a simple example of a sub-Riemannian manifold^[2]. Given a point p=(x,y,z) in R³, define a differential 1-form Θ at this point as

\Theta _{p}=dz-{\frac {1}{2}}\left(xdy-ydx\right)

.

This one-form belongs to the cotangent bundle of R³; that is,

\Theta _{p}:T_{p}\mathbb {R} ^{3}\to \mathbb {R}

is a map on the tangent bundle. Let

H_{p}=\{v\in T_{p}\mathbb {R} ^{3}\;s.t.\;\;\Theta _{p}(v)=0\}.

It can be seen that H is a subbundle of the tangent bundle TR³. A cometric on H is given by projecting vectors to the two-dimensional space spanned by vectors in the x and y direction. That is, given vectors $v=(v_{1},v_{2},v_{3})$ and $w=(w_{1},w_{2},w_{3})$ in TR³, the inner product is given by

\langle v,w\rangle =v_{1}w_{1}+v_{2}w_{2}.

The resulting structure turns H into the manifold of the Heisenberg group. An orthonormal frame on the manifold is given by the Lie vector fields

X={\frac {\partial }{\partial x}}-{\frac {1}{2}}y{\frac {\partial }{\partial z}},

Y={\frac {\partial }{\partial y}}+{\frac {1}{2}}x{\frac {\partial }{\partial z}},

Z={\frac {\partial }{\partial z}},

which obey the relations [X,Y]=Z and [X,Z]=[Y,Z]=0. Being Lie vector fields, these form a left-invariant basis for the group action. The geodesics on the manifold are spirals, projecting down to circles in two dimensions. That is, if

\gamma (t)=(x(t),y(t),z(t))

is a geodesic curve, then the curve $c(t)=(x(t),y(t))$ is an arc of a circle, and

z(t)={\frac {1}{2}}\int _{c}xdy-ydx

with the integral limited to the two-dimensional plane. That is, the height of the curve is proportional to the area of the circle subtended by the circular arc, which follows by Stokes' theorem.

References

^ Hans Tilgner, "A class of solvable Lie groups and their relation to the canonical formalism", Annales de l'institut Henri Poincaré (A) Physique théorique, 13 no. 2 (1970), pp. 103-127.
^ Richard Montgomery, A Tour of Subriemannian Geometries, Their Geodesics and Applications (Mathematical Surveys and Monographs, Volume 91), (2002) American Mathematical Society, ISBN 0-8218-1391-9.

[1] Hans Tilgner, "A class of solvable Lie groups and their relation to the canonical formalism", Annales de l'institut Henri Poincaré (A) Physique théorique, 13 no. 2 (1970), pp. 103-127.

[2] Richard Montgomery, A Tour of Subriemannian Geometries, Their Geodesics and Applications (Mathematical Surveys and Monographs, Volume 91), (2002) American Mathematical Society, ISBN 0-8218-1391-9.

[1]

[2]

@@ Line 87: / Line 87: @@
 The ''q''<sup>''a''</sup> and ''p''<sub>''a''</sub> are [[canonically conjugate coordinates]].
-If {'''e'''<sub>''j''</sub>,'''f'''<sup>''k''</sup>}<sub>1 ≤ ''j'',''k'' ≤ ''n''</sub> is a Darboux basis for ''V'', then let {''E''} be a basis for '''R''', and {'''e'''<sub>''j''</sub>,'''f'''<sup>''k''</sup>, ''E''}<sub>1 ≤ ''j'',''k'' ≤ ''n''</sub> is the corresponding basis for ''V''×'''R'''.  A vector
+If {'''e'''<sub>''j''</sub>,'''f'''<sup>''k''</sup>}<sub>1 ≤ ''j'',''k'' ≤ ''n''</sub> is a Darboux basis for ''V'', then let {''E''} be a basis for '''R''', and {'''e'''<sub>''j''</sub>,'''f'''<sup>''k''</sup>, ''E''}<sub>1 ≤ ''j'',''k'' ≤ ''n''</sub> is the corresponding basis for ''V''×'''R'''.  A vector in <math>\operatorname{H}(V)</math> is then given by
 :<math>v=q^a\mathbf{e}_a+p_a\mathbf{f}^a+tE</math>
+and the group law becomes
-in ''H''(''V'') may be identified with the matrix
+:<math>(p_1,q_1,t_1)\cdot(p_2,q_2,t_2) =\left (p_1+p_2,q_1+q_2,t_1+t_2+\frac{1}{2}(p_1 q_2-p_2 q_1)\right).</math>
-:<math>
-\begin{bmatrix}
-& p& t+\frac{1}{2}pq\\
-& 1 & q\\
-& 0& 1
-\end{bmatrix}</math>
-which gives a faithful [[matrix representation]] of ''H''(''V'').
 Because the underlying manifold of the Heisenberg group is a linear space, vectors in the Lie algebra can be canonically identified with vectors in the group.  The Lie algebra of the Heisenberg group is given by the commutation relation
@@ Line 104: / Line 98: @@
 and all other commutators vanish.
+It is also possible to define the group law in a different way but which yields a group isomorphic to the group we have just defined. To avoid confusion, we will use ''u'' instead of ''t'', so a vector is given by
-The isomorphism to the group of upper triangular matrices relies on a decomposition of ''V'' into a Darboux basis, which amounts to a choice of isomorphism ''V'' ≅ ''U'' ⊕ ''U''*.  By means of this isomorphism, another group law may be introduced:
-:<math>(p_1,q_1,t_1)\cdot(p_2,q_2,t_2)=(p_1+p_2,q_1+q_2,t_1+t_2+p_1(q_2)).</math>
+:<math>v=q^a\mathbf{e}_a+p_a\mathbf{f}^a+uE</math>
+and the group law is
-Although this group law yields an isomorphic group to the one given above, the group with this law is sometimes referred to as the '''polarized Heisenberg group''' as a reminder that this group law relies on a choice of basis (a choice of a Lagrangian subspace of ''V'' is a [[polarization (abelian variety)|polarization]]).
+:<math>(p_1,q_1,u_1)\cdot(p_2,q_2,u_2)=(p_1+p_2,q_1+q_2,u_1+u_2+p_1 q_2).</math>
+An element of the group :<math>v=q^a\mathbf{e}_a+p_a\mathbf{f}^a+uE</math> can then be expressed as a matrix
+:<math>
+\begin{bmatrix}
+& p   & u\\
+& I_n & q\\
+& 0   & 1
+\end{bmatrix}</math>
+which gives a faithful [[matrix representation]] of ''H''(''V'').
+The ''u'' in this formulation is related to ''t'' in our previous formulation by <math>u=t+\frac{1}{2}pq</math>, so that the ''t'' value for the product comes to
+:<math>u_1+u_2+p_1 q_2-\frac{1}{2}(p_1+p_2)(q_1+q_2)</math>
+:<math>=t_1+\frac{1}{2}p_1 q_1+t_2+\frac{1}{2}p_2 q_2+p_1 q_2-\frac{1}{2}(p_1+p_2)(q_1+q_2)</math>
+:<math>=t_1+t_2+\frac{1}{2}(p_1 q_2-p_2 q_1)</math>
+as before.
+The isomorphism to the group using upper triangular matrices relies on the decomposition of ''V'' into a Darboux basis, which amounts to a choice of isomorphism ''V'' ≅ ''U'' ⊕ ''U''*.
+Although the new group law yields a group isomorphic to the one given higher up, the group with this law is sometimes referred to as the '''polarized Heisenberg group''' as a reminder that this group law relies on a choice of basis (a choice of a Lagrangian subspace of ''V'' is a [[polarization (abelian variety)|polarization]]).
 To any Lie algebra, there is a unique [[connected space|connected]], [[simply connected]] Lie group ''G''.  All other connected Lie groups with the same Lie algebra as ''G'' are of the form ''G''/''N'' where ''N'' is a central discrete group in ''G''.  In this case, the center of ''H''(''V'') is '''R''' and the only discrete subgroups are isomorphic to '''Z'''.  Thus ''H''(''V'')/'''Z''' is another Lie group which shares this Lie algebra.  Of note about this Lie group is that it admits no faithful finite dimensional representations; it is not isomorphic to any matrix group.  It does however have a well-known family of infinite-dimensional unitary representations.

THC Science

Bringing Science to the Cannabis Conversation!

Cannabis Sativa

Revision as of 20:27, 9 September 2008