In

_{3}(R).
It is a

_{3}(Z). It is a nonabelian group, non-abelian nilpotent group. It has two generators,
:$x=\backslash begin\; 1\; \&\; 1\; \&\; 0\backslash \backslash \; 0\; \&\; 1\; \&\; 0\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end,\backslash \; \backslash \; y=\backslash begin\; 1\; \&\; 0\; \&\; 0\backslash \backslash \; 0\; \&\; 1\; \&\; 1\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end$
and relations
:$z^\_=xyx^y^,\backslash \; xz=zx,\backslash \; yz=zy$,
where
:$z=\backslash begin\; 1\; \&\; 0\; \&\; 1\backslash \backslash \; 0\; \&\; 1\; \&\; 0\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end$
is the generator of the center of a group, center of H_{3}. (Note that the inverses of ''x'', ''y'', and ''z'' replace the 1 above the diagonal with −1.)
By Bass's theorem, it has a polynomial Growth rate (group theory), growth rate of order 4.
One can generate any element through
::$\backslash begin\; 1\; \&\; a\; \&\; c\backslash \backslash \; 0\; \&\; 1\; \&\; b\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end=y^bz^cx^a\backslash ,\; .$

^{3} with generators ''x,y'' and relations:
:$z^\_=xyx^y^,\backslash \; x^p=y^p=z^p=1,\backslash \; xz=zx,\backslash \; 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 (group theory), exponent ''p''. More generally, if the derived subgroup of a group ''G'' is contained in the center ''Z'' of ''G'', then the map from ''G/Z'' × ''G/Z'' → ''Z'' is a skew-symmetric bilinear operator on abelian groups.
However, requiring that ''G/Z'' to 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/''p'' Z 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 the general construction below applied to the symplectic vector space ''G/Z'' does not yield a group isomorphic to ''G''.

_{4} (the symmetries of a square). Observe that if
:$x=\backslash begin\; 1\; \&\; 1\; \&\; 0\backslash \backslash \; 0\; \&\; 1\; \&\; 0\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end,\backslash \; \backslash \; y=\backslash begin\; 1\; \&\; 0\; \&\; 0\backslash \backslash \; 0\; \&\; 1\; \&\; 1\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end$.
Then
:$xy=\backslash begin\; 1\; \&\; 1\; \&\; 1\backslash \backslash \; 0\; \&\; 1\; \&\; 1\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end,$
and
:$yx=\backslash begin\; 1\; \&\; 1\; \&\; 0\backslash \backslash \; 0\; \&\; 1\; \&\; 1\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end.$
The elements ''x'' and ''y'' correspond to reflections (with 45° between them), whereas ''xy'' and ''yx'' correspond to rotations by 90°. The other reflections are ''xyx'' and ''yxy'', and rotation by 180° is ''xyxy'' (=''yxyx'').

_{''n''} is the

_{''n''} is the zero matrix of size ''n''.
By letting e_{1}, ..., e_{''n''} be the canonical basis of R^{''n''}, and setting
:$\backslash begin\; p\_i\; \&=\; \backslash begin\; 0\; \&\; \backslash operatorname\_i^\backslash mathrm\; \&\; 0\; \backslash \backslash \; 0\; \&\; 0\_n\; \&\; 0\; \backslash \backslash \; 0\; \&\; 0\; \&\; 0\; \backslash end,\; \backslash \backslash \; q\_j\; \&=\; \backslash begin\; 0\; \&\; 0\; \&\; 0\; \backslash \backslash \; 0\; \&\; 0\_n\; \&\; \backslash operatorname\_j\; \backslash \backslash \; 0\; \&\; 0\; \&\; 0\; \backslash end,\; \backslash \backslash \; z\; \&=\; \backslash begin\; 0\; \&\; 0\; \&\; 1\backslash \backslash \; 0\; \&\; 0\_n\; \&\; 0\; \backslash \backslash \; 0\; \&\; 0\; \&\; 0\; \backslash end,\; \backslash end$
the associated Lie algebra can be characterized by the canonical commutation relations,
where ''p''_{1}, ..., ''p''_{''n''}, ''q''_{1}, ..., ''q''_{''n''}, ''z'' are the algebra generators.
In particular, ''z'' is a ''central'' element of the Heisenberg Lie algebra. Note that the Lie algebra of the Heisenberg group is nilpotent.

_{''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 (e.g. ''A'' could be a ring Z/''p'' Z with an odd prime ''p'' or any field (mathematics), field of characteristic (algebra), characteristic 0).

_{1 ≤ ''j'',''k'' ≤ ''n''} satisfying ω(e_{''j''}, f^{''k''}) = δ_{''j''}^{''k''} and where 2''n'' is the dimension of ''V'' (the dimension of ''V'' is necessarily even). In terms of this basis, every vector decomposes as
:$v\; =\; q^a\backslash mathbf\_a\; +\; p\_a\backslash mathbf^a.$
The ''q''^{''a''} and ''p''_{''a''} are canonically conjugate coordinates.
If _{1 ≤ ''j'',''k'' ≤ ''n''} is a Darboux basis for ''V'', then let be a basis for R, and _{1 ≤ ''j'',''k'' ≤ ''n''} is the corresponding basis for ''V''×R. A vector in H(''V'') is then given by
:$v\; =\; q^a\backslash mathbf\_a\; +\; p\_a\backslash mathbf^a\; +\; tE$
and the group law becomes
:$(p,\; q,\; t)\backslash cdot\backslash left(p\text{'},\; q\text{'},\; t\text{'}\backslash right)\; =\; \backslash left(p\; +\; p\text{'},\; q\; +\; q\text{'},\; t\; +\; t\text{'}\; +\; \backslash frac(pq\text{'}\; -\; p\text{'}q)\backslash 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
:$\backslash begin\; (v\_1,\; t\_1),\; (v\_2,\; t\_2)\; \backslash end\; =\; \backslash omega(v\_1,\; v\_2)$
or written in terms of the Darboux basis
:$\backslash left[\backslash mathbf\_a,\; \backslash mathbf^b\backslash right]\; =\; \backslash 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\backslash mathbf\_a\; +\; p\_a\backslash mathbf^a\; +\; uE$
and the group law is
:$(p,\; q,\; u)\; \backslash cdot\; \backslash left(p\text{'},\; q\text{'},\; u\text{'}\backslash right)\; =\; \backslash left(p\; +\; p\text{'},\; q\; +\; q\text{'},\; u\; +\; u\text{'}\; +\; pq\text{'}\backslash right).$
An element of the group
:$v\; =\; q^a\backslash mathbf\_a\; +\; p\_a\backslash mathbf^a\; +\; uE$
can then be expressed as a matrix
:$\backslash begin\; 1\; \&\; p\; \&\; u\; \backslash \backslash \; 0\; \&\; I\_n\; \&\; q\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end$ ,
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\; +\; \backslash tfracpq$, so that the ''t'' value for the product comes to
:$\backslash begin\; \&u\; +\; u\text{'}\; +\; pq\text{'}\; -\; \backslash frac\backslash left(p\; +\; p\text{'}\backslash right)\backslash left(q\; +\; q\text{'}\backslash right)\; \backslash \backslash \; =\; \&t\; +\; \backslash fracpq\; +\; t\text{'}\; +\; \backslash fracp\text{'}q\text{'}\; +\; pq\text{'}\; -\; \backslash frac\backslash left(p\; +\; p\text{'}\backslash right)\backslash left(q\; +\; q\text{'}\backslash right)\; \backslash \backslash \; =\; \&t\; +\; t\text{'}\; +\; \backslash frac\backslash left(pq\text{'}\; -\; p\text{'}q\backslash right)\; \backslash end$ ,
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 Abelian variety#Polarisations, 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.

^{''n''} with polynomial coefficients, since any such operator has a unique representation in the form
:$P=\backslash sum\_\; c\_\; \backslash ,\backslash ,\; \backslash partial\_^\; \backslash partial\_^\; \backslash cdots\; \backslash partial\_^\; x\_1^\; x\_2^\; \backslash cdots\; x\_n^\; ~.$
This algebra is called the Weyl algebra. It follows from abstract nonsense that the Weyl algebra ''W_{n}'' is a quotient of $U(\backslash mathfrak\_n)$. However, this is also easy to see directly from the above representations; viz. by the mapping
:$z^j\; p\_1^\; p\_2^\; \backslash cdots\; p\_n^\; q\_1^\; q\_2^\; \backslash cdots\; q\_n^\; \backslash ,\; \backslash mapsto\; \backslash ,\; \backslash partial\_^\; \backslash partial\_^\; \backslash cdots\; \backslash partial\_^\; x\_1^\; x\_2^\; \backslash cdots\; x\_n^~.$

Stone–von Neumann theorem In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness quantification, uniqueness of the canonical commutation relations between position (vector), positio ...

: there is a unique unitary representation with given action of the central Lie algebra element ''z'', up to a unitary equivalence: the nontrivial elements of the algebra are all equivalent to the usual position and momentum operators.
Thus, the Schrödinger picture and Heisenberg picture are equivalent – they are just different ways of realizing this essentially unique representation.

Stone–von Neumann theorem In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness quantification, uniqueness of the canonical commutation relations between position (vector), positio ...

. 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.

_{3}(R) on the reals can also be understood to be a smooth manifold, and specifically, a simple example of a sub-Riemannian manifold. Given a point ''p''=(''x'',''y'',''z'') in R^{3}, define a differential 1-form Θ at this point as
:$\backslash Theta\_p\; =\; dz\; -\; \backslash frac\backslash left(xdy\; -\; ydx\backslash right).$
This one-form belongs to the cotangent bundle of R^{3}; that is,
:$\backslash Theta\_p:\; T\_p\backslash mathbf^3\; \backslash to\; \backslash mathbf$
is a map on the tangent bundle. Let
:$H\_p\; =\; \backslash left\backslash .$
It can be seen that ''H'' is a subbundle of the tangent bundle TR^{3}. 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^{3}, the inner product is given by
:$\backslash langle\; v,\; w\; \backslash 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
:$\backslash begin\; X\; \&=\; \backslash frac\; -\; \backslash frac\; y\backslash frac,\; \backslash \backslash \; Y\; \&=\; \backslash frac\; +\; \backslash frac\; x\backslash frac,\; \backslash \backslash \; Z\; \&=\; \backslash frac,\; \backslash end$
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
:$\backslash 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)\; =\; \backslash frac\backslash 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.

Stone–von Neumann theorem In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness quantification, uniqueness of the canonical commutation relations between position (vector), positio ...

, proved by George Mackey, holds for the Heisenberg group $H(K)$. The Fourier transform is the unique intertwiner between the representations of $L^2(K)$ and $L^2\backslash left(\backslash hat\backslash right)$. See the discussion at Stone–von Neumann theorem#Relation to the Fourier transform for details.

Stone–von Neumann theorem In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness quantification, uniqueness of the canonical commutation relations between position (vector), positio ...

* Projective representation

Unitriangular matrix group UT(3,p)

{{DEFAULTSORT:Heisenberg Group Group theory Lie groups Mathematical quantization Mathematical physics Werner Heisenberg

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

, the Heisenberg group $H$, named after Werner Heisenberg
Werner Karl Heisenberg (; ; 5 December 1901 – 1 February 1976) was a German theoretical physicist and one of the key pioneers of quantum mechanics
Quantum mechanics is a fundamental theory
A theory is a reason, rational type of abstr ...

, is the group
A group is a number of people or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ident ...

of 3×3 of the form
::$\backslash begin\; 1\; \&\; a\; \&\; c\backslash \backslash \; 0\; \&\; 1\; \&\; b\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end$
under the operation of matrix multiplication
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

. Elements ''a, b'' and ''c'' can be taken from any commutative ring
In ring theory
In algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical ana ...

with identity, often taken to be the ring of real number
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...

s (resulting in the "continuous Heisenberg group") or the ring of integer
An integer (from the Latin
Latin (, or , ) is a classical language
A classical language is a language
A language is a structured system of communication
Communication (from Latin ''communicare'', meaning "to share" or "to ...

s (resulting in the "discrete Heisenberg group").
The continuous Heisenberg group arises in the description of one-dimensional quantum mechanical
Quantum mechanics is a fundamental theory
A theory is a rational
Rationality is the quality or state of being rational – that is, being based on or agreeable to reason
Reason is the capacity of consciously making sense of things, ...

systems, especially in the context of the Stone–von Neumann theorem In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness quantification, uniqueness of the canonical commutation relations between position (vector), positio ...

. More generally, one can consider Heisenberg groups associated to ''n''-dimensional systems, and most generally, to any symplectic vector space In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

.
The three-dimensional case

In the three-dimensional case, the product of two Heisenberg matrices is given by: :$\backslash begin\; 1\; \&\; a\; \&\; c\backslash \backslash \; 0\; \&\; 1\; \&\; b\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end\; \backslash begin\; 1\; \&\; a\text{'}\; \&\; c\text{'}\backslash \backslash \; 0\; \&\; 1\; \&\; b\text{'}\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end=\; \backslash begin\; 1\; \&\; a+a\text{'}\; \&\; c+ab\text{'}+c\text{'}\backslash \backslash \; 0\; \&\; 1\; \&\; b+b\text{'}\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end\backslash ,\; .$ As one can see from the term , the group is non-abelian. The neutral element of the Heisenberg group is theidentity matrix
In linear algebra, the identity matrix of size ''n'' is the ''n'' × ''n'' square matrix
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structu ...

, and inverses are given by
:$\backslash begin\; 1\; \&\; a\; \&\; c\backslash \backslash \; 0\; \&\; 1\; \&\; b\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end^=\; \backslash begin\; 1\; \&\; -a\; \&\; ab-c\backslash \backslash \; 0\; \&\; 1\; \&\; -b\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end\backslash ,\; .$
The group is a subgroup of the 2-dimensional affine group Aff(2): $\backslash begin\; 1\; \&\; a\; \&\; c\backslash \backslash \; 0\; \&\; 1\; \&\; b\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; \backslash end$ acting on $(\backslash vec,1)$ corresponds to the affine transform $\backslash begin\; 1\; \&\; a\backslash \backslash \; 0\; \&\; 1\; \backslash end+\backslash begin\; c\backslash \backslash \; b\; \backslash end$.
There are several prominent examples of the three-dimensional case.
Continuous Heisenberg group

If , arereal number
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...

s (in the ring R) then one has the continuous Heisenberg group Hnilpotent
In mathematics, an element ''x'' of a ring (mathematics), ring ''R'' is called nilpotent if there exists some positive integer ''n'', called the index (or sometimes the degree), such that ''x'n'' = 0.
The term was introduced by Benj ...

real Lie group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

of dimension 3.
In addition to the representation as real 3×3 matrices, the continuous Heisenberg group also has several different representations
''Representations'' is an interdisciplinary journal in the humanities
Humanities are academic disciplines
An academic discipline or academic field is a subdivision of knowledge
Knowledge is a familiarity or awareness, of someone o ...

in terms of function space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

s. By Stone–von Neumann theorem In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness quantification, uniqueness of the canonical commutation relations between position (vector), positio ...

, there is, up to isomorphism, a unique irreducible unitary representation of H in which its centre
Center or centre may refer to:
Mathematics
*Center (geometry)
In geometry, a centre (or center) (from Ancient Greek language, Greek ''κέντρον'') of an object is a point in some sense in the middle of the object. According to the spe ...

acts by a given nontrivial Character theory, 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 , are integers (in the ring Z) then one has the discrete Heisenberg group HHeisenberg group modulo an odd prime ''p''

If one takes ''a, b, c'' in modular arithmetic, Z/''p'' Z for an odd prime number, prime ''p'', then one has the Heisenberg group modulo ''p''. It is a group of order (group theory), order ''p''Heisenberg group modulo 2

The Heisenberg group modulo 2 is of order 8 and is isomorphic to the dihedral group DHeisenberg algebra

The Lie algebra $\backslash mathfrak\; h$ of the Heisenberg group $H$ (over the real numbers) is known as the Heisenberg algebra. It is represented using the space of 3×3 matrices of the form :$\backslash begin\; 0\; \&\; a\; \&\; c\backslash \backslash \; 0\; \&\; 0\; \&\; b\backslash \backslash \; 0\; \&\; 0\; \&\; 0\backslash \backslash \; \backslash end$, with $a,\; b,\; c\backslash in\backslash mathbb\; R$. The following three elements form a basis for $\backslash mathfrak\; h$: :$X\; =\; \backslash begin\; 0\; \&\; 1\; \&\; 0\backslash \backslash \; 0\; \&\; 0\; \&\; 0\backslash \backslash \; 0\; \&\; 0\; \&\; 0\backslash \backslash \; \backslash end;\backslash quad\; Y\; =\; \backslash begin\; 0\; \&\; 0\; \&\; 0\backslash \backslash \; 0\; \&\; 0\; \&\; 1\backslash \backslash \; 0\; \&\; 0\; \&\; 0\backslash \backslash \; \backslash end;\backslash quad\; Z\; =\; \backslash begin\; 0\; \&\; 0\; \&\; 1\backslash \backslash \; 0\; \&\; 0\; \&\; 0\backslash \backslash \; 0\; \&\; 0\; \&\; 0\backslash \backslash \; \backslash end$. The basis elements satisfy the commutation relations: :$[X,\; Y]\; =\; Z;\backslash quad\; [X,\; Z]\; =\; 0;\backslash quad\; [Y,\; Z]\; =\; 0$. The name "Heisenberg group" is motivated by the preceding relations, which have the same form as the canonical commutation relations in quantum mechanics: :$\backslash left[\backslash hat\; x,\; \backslash hat\; p\backslash right]\; =\; i\backslash hbar\; I;\backslash quad\; \backslash left[\backslash hat\; x,\; i\backslash hbar\; I\backslash right]\; =\; 0;\backslash quad\; \backslash left[\backslash hat\; p,\; i\backslash hbar\; I\backslash right]\; =\; 0$, where $\backslash hat\; x$ is the position operator, $\backslash hat\; p$ is the momentum operator, and $\backslash hbar$ is Planck's constant. The Heisenberg group $H$ has the special property that the exponential map is a one-to-one and onto map from the Lie algebra $\backslash mathfrak\; h$ to the group $H$.Higher dimensions

More general Heisenberg groups $H\_$ may be defined for higher dimensions in Euclidean space, and more generally onsymplectic vector space In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

s. The simplest general case is the real Heisenberg group of dimension $2n+1$, for any integer $n\backslash geq\; 1$. As a group of matrices, $H\_$ (or $H\_(\backslash mathbb\; R)$ to indicate this is the Heisenberg group over the field $\backslash mathbb\; R$ of real numbers) is defined as the group $(n+2)\backslash times\; (n+2)$ matrices with entries in $\backslash mathbb\; R$ and having the form:
:$\backslash begin\; 1\; \&\; \backslash mathbf\; a\; \&\; c\; \backslash \backslash \; \backslash mathbf\; 0\; \&\; I\_n\; \&\; \backslash mathbf\; b\; \backslash \backslash \; 0\; \&\; \backslash mathbf\; 0\; \&\; 1\; \backslash end$
where
: a is a row vector of length ''n'',
: b is a column vector of length ''n'',
: ''I''identity matrix
In linear algebra, the identity matrix of size ''n'' is the ''n'' × ''n'' square matrix
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structu ...

of size ''n''.
Group structure

This is indeed a group, as is shown by the multiplication: :$\backslash begin\; 1\; \&\; \backslash mathbf\; a\; \&\; c\; \backslash \backslash \; 0\; \&\; I\_n\; \&\; \backslash mathbf\; b\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end\; \backslash cdot\; \backslash begin1\; \&\; \backslash mathbf\; a\text{'}\; \&\; c\text{'}\; \backslash \backslash \; 0\; \&\; I\_n\; \&\; \backslash mathbf\; b\text{'}\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end\; =\; \backslash begin\; 1\; \&\; \backslash mathbf\; a+\; \backslash mathbf\; a\text{'}\; \&\; c+c\text{'}\; +\backslash mathbf\; a\; \backslash cdot\; \backslash mathbf\; b\text{'}\; \backslash \backslash \; 0\; \&\; I\_n\; \&\; \backslash mathbf\; b+\backslash mathbf\; b\text{'}\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end$ and :$\backslash begin\; 1\; \&\; \backslash mathbf\; a\; \&\; c\; \backslash \backslash \; 0\; \&\; I\_n\; \&\; \backslash mathbf\; b\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end\; \backslash cdot\; \backslash begin1\; \&\; -\backslash mathbf\; a\; \&\; -c\; +\backslash mathbf\; a\; \backslash cdot\; \backslash mathbf\; b\backslash \backslash \; 0\; \&\; I\_n\; \&\; -\backslash mathbf\; b\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end\; =\; \backslash begin\; 1\; \&\; 0\; \&\; 0\; \backslash \backslash \; 0\; \&\; I\_n\; \&\; 0\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end.$Lie algebra

The Heisenberg group is a simply-connected Lie group whose Lie algebra consists of matrices :$\backslash begin\; 0\; \&\; \backslash mathbf\; a\; \&\; c\; \backslash \backslash \; 0\; \&\; 0\_n\; \&\; \backslash mathbf\; b\; \backslash \backslash \; 0\; \&\; 0\; \&\; 0\; \backslash end,$ where : a is a row vector of length ''n'', : b is a column vector of length ''n'', : 0Exponential map

Let :$u\; =\; \backslash begin\; 0\; \&\; \backslash mathbf\; a\; \&\; c\; \backslash \backslash \; 0\; \&\; 0\_n\; \&\; \backslash mathbf\; b\; \backslash \backslash \; 0\; \&\; 0\; \&\; 0\; \backslash end,$ which fulfills $u^3\; =\; 0\_$. The exponential map (Lie theory), exponential map evaluates to :$\backslash exp\; (u)\; =\; \backslash sum\_^\backslash infty\; \backslash fracu^k\; =\; I\_\; +\; u\; +\; \backslash tfracu^2\; =\; \backslash begin\; 1\; \&\; \backslash mathbf\; a\; \&\; c\; +\; \backslash mathbf\; a\; \backslash cdot\; \backslash mathbf\; b\backslash \backslash \; 0\; \&\; I\_n\; \&\; \backslash mathbf\; b\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end.$ The exponential map of any nilpotent Lie algebra is a diffeomorphism between the Lie algebra and the unique associated connected space, connected, simply-connected Lie group. This discussion (aside from statements referring to dimension and Lie group) further applies if we replace R by any commutative ring ''A''. The corresponding group is denoted ''H''Representation theory

The unitary Lie group representation, representation theory of the Heisenberg group is fairly simple – later generalized by Mackey theory – and was the motivation for its introduction in quantum physics, as discussed below. For each nonzero real number $\backslash hbar$, we can define an irreducible unitary representation $\backslash Pi\_\backslash hbar$ of $H\_$ acting on the Hilbert space $L^2(\backslash mathbb\; R^n)$ by the formula: :$\backslash left[\backslash Pi\_\backslash hbar\backslash begin\; 1\; \&\; \backslash mathbf\; a\; \&\; c\; \backslash \backslash \; 0\; \&\; I\_n\; \&\; \backslash mathbf\; b\; \backslash \backslash \; 0\; \&\; 0\; \&\; 1\; \backslash end\backslash psi\backslash right](x)=e^e^\backslash psi(x+\backslash hbar\; a)$ This representation is known as the Oscillator representation#Commutation relations of Heisenberg and Weyl, Schrödinger representation. The motivation for this representation is the action of the exponentiated position operator, position and momentum operators in quantum mechanics. The parameter $a$ describes translations in position space, the parameter $b$ describes translations in momentum space, and the parameter $c$ gives an overall phase factor. The phase factor is needed to obtain a group of operators, since translations in position space and translations in momentum space do not commute. The key result is theStone–von Neumann theorem In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness quantification, uniqueness of the canonical commutation relations between position (vector), positio ...

, which states that every (strongly continuous) irreducible unitary representation of the Heisenberg group in which the center acts nontrivially is equivalent to $\backslash Pi\_\backslash hbar$ for some $\backslash hbar$. Alternatively, that they are all equivalent to the Weyl algebra (or CCR algebra) on a symplectic space of dimension 2''n''.
Since the Heisenberg group is a one-dimensional central extension of $\backslash mathbb\; R^$, its irreducible unitary representations can be viewed as irreducible unitary projective representations of $\backslash mathbb\; R^$. Conceptually, the representation given above constitutes the quantum mechanical counterpart to the group of translational symmetries on the classical phase space, $\backslash mathbb\; R^$. The fact that the quantum version is only a ''projective'' representation of $\backslash mathbb\; R^$ is suggested already at the classical level. The Hamiltonian generators of translations in phase space are the position and momentum functions. The span of these functions do not form a Lie algebra under the Poisson bracket however, because $\backslash =\backslash delta\_.$ Rather, the span of the position and momentum functions ''and the constants'' forms a Lie algebra under the Poisson bracket. This Lie algebra is a one-dimensional central extension of the commutative Lie algebra $\backslash mathbb\; R^$, isomorphic to the Lie algebra of the Heisenberg group.
On symplectic vector spaces

The general abstraction of a Heisenberg group is constructed from anysymplectic vector space In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

. For example, let (''V'', ω) be a finite-dimensional real symplectic vector space (so ω is a nondegenerate form, 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,\; t)\; \backslash cdot\; \backslash left(v\text{'},\; t\text{'}\backslash right)\; =\; \backslash left(v\; +\; v\text{'},\; t\; +\; t\text{'}\; +\; \backslash frac\backslash omega\backslash left(v,\; v\text{'}\backslash right)\backslash right).$
The Heisenberg group is a group extension#Central extension, central extension of the additive group ''V''. Thus there is an exact sequence
:$0\; \backslash to\; \backslash mathbf\; \backslash to\; H(V)\; \backslash to\; V\; \backslash to\; 0.$
Any symplectic vector space admits a symplectic vector space#Standard symplectic space, Darboux basis The connection with the Weyl algebra

The Lie algebra $\backslash mathfrak\_n$ of the Heisenberg group was described above, (1), as a Lie algebra of matrices. The Poincaré–Birkhoff–Witt theorem applies to determine the universal enveloping algebra $U(\backslash mathfrak\_n)$. Among other properties, the universal enveloping algebra is an associative algebra into which $\backslash mathfrak\_n$ injectively imbeds. By the Poincaré–Birkhoff–Witt theorem, it is thus the free module, free vector space generated by the monomials :$z^j\; p\_1^\; p\_2^\; \backslash cdots\; p\_n^\; q\_1^\; q\_2^\; \backslash cdots\; q\_n^\; ~,$ where the exponents are all non-negative. Consequently, $U(\backslash mathfrak\_n)$ consists of real polynomials :$\backslash sum\_\; c\_\; \backslash ,\backslash ,\; z^j\; p\_1^\; p\_2^\; \backslash cdots\; p\_n^\; q\_1^\; q\_2^\; \backslash cdots\; q\_n^\; ~,$ with the commutation relations :$p\_k\; p\_\backslash ell\; =\; p\_\backslash ell\; p\_k,\; \backslash quad\; q\_k\; q\_\backslash ell\; =\; q\_\backslash ell\; q\_k,\; \backslash quad\; p\_k\; q\_\backslash ell\; -\; q\_\backslash ell\; p\_k\; =\; \backslash delta\_\; z,\; \backslash quad\; z\; p\_k\; -\; p\_k\; z\; =0,\; \backslash quad\; z\; q\_k\; -\; q\_k\; z\; =0~.$ The algebra $U(\backslash mathfrak\_n)$ is closely related to the algebra of differential operators on ℝApplications

Weyl's parameterization of quantum mechanics

The application that led Hermann Weyl to an explicit realization of the Heisenberg group was the question of why the Schrödinger picture and Heisenberg picture are physically equivalent. Abstractly, the reason is theTheta representation

The same uniqueness result was used by David Mumford for discrete Heisenberg groups, in his theory of equations defining 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.Fourier analysis

The Heisenberg group also occurs in Fourier analysis, where it is used in some formulations of theAs a sub-Riemannian manifold

The three-dimensional Heisenberg group ''H''Heisenberg group of a locally compact abelian group

It is more generally possible to define the Heisenberg group of a locally compact abelian group ''K'', equipped with a Haar measure. Such a group has a Pontrjagin dual $\backslash hat$, consisting of all continuous $U(1)$-valued characters on ''K'', which is also a locally compact abelian group if endowed with the compact-open topology. The Heisenberg group associated with the locally compact abelian group ''K'' is the subgroup of the unitary group of $L^2(K)$ generated by translations from ''K'' and multiplications by elements of $\backslash hat$. In more detail, the Hilbert space $L^2(K)$ consists of square-integrable complex-valued functions $f$ on ''K''. The translations in ''K'' form a unitary representation of ''K'' as operators on $L^2(K)$: :$(T\_x\; f)(y)\; =\; f(x\; +\; y)$ for $x,\; y\; \backslash in\; K$. So too do the multiplications by characters: :$(M\_\backslash chi\; f)(y)\; =\; \backslash chi(y)f(y)$ for $\backslash chi\backslash in\backslash hat$. These operators do not commute, and instead satisfy :$\backslash left(T\_x\; M\_\backslash chi\; T^\_x\; M\_\backslash chi^f\backslash right)(y)\; =\; \backslash overlinef(y)$ multiplication by a fixed unit modulus complex number. So the Heisenberg group $H(K)$ associated with ''K'' is a type of central extension (mathematics), central extension of $K\backslash times\backslash hat$, via an exact sequence of groups: :$1\; \backslash to\; U(1)\; \backslash to\; H(K)\; \backslash to\; K\backslash times\backslash hat\; \backslash to\; 0.$ More general Heisenberg groups are described by 2-cocyles in the group cohomology, cohomology group $H^2(K,\; U(1))$. The existence of a duality between $K$ and $\backslash hat$ gives rise to a canonical cocycle, but there are generally others. The Heisenberg group acts irreducibly on $L^2(K)$. Indeed, the continuous characters separate points so any unitary operator of $L^2(K)$ that commutes with them is an $L^\backslash infty$ Fourier multiplier, multiplier. But commuting with translations implies that the multiplier is constant. A version of theSee also

* Canonical commutation relations * Wigner–Weyl transform *Notes

References

* * * * * *External links

* Groupprops, The Group Properties WikUnitriangular matrix group UT(3,p)

{{DEFAULTSORT:Heisenberg Group Group theory Lie groups Mathematical quantization Mathematical physics Werner Heisenberg