User:Lethe/Heisenberg

From Wikipedia, the free encyclopedia
Jump to: navigation, search

The Heisenberg group and the associated Schwartz space[edit]

[1]

Realization by Fock[edit]

Define an inner product on the space of entire functions on C

where

and

Define operators

and

Then and satisfy the canonical commutation relations

and are at least formal adjoints. This description is due to Fock.[2] In the 1960s, Bargmann [3] realized this inner product as a Lebesgue space with a Gaussian measure:

for a system with n degrees of freedom. Segal simultaneously and independently defined the holomorphic realization for systems with infinitely many degrees of freedom [4] and Bargmann subsequently also treated the infinite degrees of freedom case[5]. One thus refers to the BFS construction for Bargmann, Fock, and Segal.

Heisenberg group[edit]

Let (V,ω) be a symplectic vector space. The Heisenberg group H(V) associated to V is a nilpotent real Lie group whose underlying manifold is V×R and a group law given by

The Lie algebra can be canonically identified with the manifold, so to distinguish between elements of the Lie algebra and the group, use exponential notation.

An admissible complex linear structure on V is a linear complex structure J such that

and

Denote by VJ the complex vector space induced by J. Then we have a Hermitian form.

According to the Stone-von Neumann theorem, for each λ > 0, there is a unique (up to equivalence) irreducible representation of H(V) satisfying

Bases[edit]

Let {en}n be an orthonormal basis for VJ. Then define {fn}n by fm = Jem. {e,f} is then a basis for V, called a standard basis and e and f are called canonically conjugate vectors. Note that ω(ei,fj) = δij.

Defining

we have that a± give a basis for the complexification V± and {a+,a} give a basis for VC, the standard basis (induced by {e,f }). Viewing a+ and a as elements of VC with the symplectic form extended by linearity, we have

whereas if they are viewed as elements of then we have the commutation relations

The Schwartz space[edit]

To each representation we can associate a canonical Schwartz space and its dual .

Define to be the Garding domain for π. That is, is spanned by vectors of the form

where , is the Haar measure on H(V), the space of smooth functions of compact support on H(V). It is known that

  1. is dense in
  2. Qj and Pj are essentially self-adjoint on
  3. Qj and Pj leave invariant.

Denote by (Pi)0 and (Qj)0 the restrictions of Pi and Qj to to the Garding domain (where the products of these operators make sense). Then denote by QmPn the adjoint in of (PnQm)0 (here multiindex notation is to be understood). Let U be the space of linear combinations of operators of the form QmPn.

Define the Schwartz space by

Define the topology on by a family of seminorms

where ||•|| is the Hilbert space norm. Note that is dense in since it contains .

Theorem
  1. The family of seminorms is equivalent.
  2. is invariant under U.

From 1, it follows that does not depend on the choice of basis {e,f}. From 1 and 3, it follows that the commutation relations [Qj,Pk] = iδjk, [Pj,Pk] = 0, [Qj,Qk] = 0, and [Aj,Ak*]= δjk, [Aj,Ak]= 0, [Aj*,Ak*] = 0 hold on .

For multi-index , define an operator by

where the constants can are defined by

Define the inner product on by

Note that ||x|| ≤ ||x||B,m.

Theorem
The family of seminorms {||∙||a,b : a,bNN} and {||∙||B,m : mN} are equivalent.
Proof found in [1]

The first norm becomes transparent in the Schrödinger realization and the second norm in the BFS realization.

is the space of conjugate linear continuous functionals on and is called the space of abstract tempered distributions. It is the usual space of tempered distributions in the Schrödinger realization, and will admit a transparent description in the BFS realization as well.

The BFS realization[edit]

Polarizations[edit]

In the sequel, let the symplectic vector space and an admissible complex structure be fixed (so we will no longer carry notation for it). Let f be a nonzero element of . Let Bf(u,v) = f([u,v]), an alternating bilinear form. One checks that (This seems to only be true if one assumed f(E) ≠ 0?)

Definition
A positive polarization at f is a subalgebra of which satisfies
  1. is a maximal totally isotropic subspace for Bf.
  2. is a subalgebra of
  3. for all h in

is said to be a real polarization if and totally complex if

We take f to be the dual vector to E.

Example 1
The Schrödinger polarization
Let Q be a real n-dimensional subspace of VJ so that gJ is real on Q, and set P=JQ so that V = QP. Then is a real positive polarization at E* known as the Schrödinger polarization. It will lead to the usual Schrödinger realization of H.
Example 2
The BFS polarization
is a totally complex positive polarization at E* called the BFS polarization. It will lead to the usual Fock realization of H.

The method of holomorphically induced representations allows one to obtain an irreducible unitary representation of H using a positive polarization at E*. Recall that the action of a tangent vector vp of a Lie group is given by

Denote by the space of smooth complex functions on H which satisfy

for

Then

References[edit]

  1. ^ a b Babbit, D.: Certain Hilbert Spaces of Analytic Functions Associated With the Heisenberg Group, Studies in Mathematical Physics, Essays in Honor of Valentine Bargmann, 19-82 Princeton University Press (1976).
  2. ^ Fock, V.: Verallgemeinerung und Lösung der Diracschen Statistischen Gleichung, Z. Physick, 49, 339-357 (1928).
  3. ^ Bargmann, V.: On a Hilbert space of analytic functions and an associated integral transform - Part I, Comm. on Pure and Applied Math., 14, 187-214 (1961).
  4. ^ Segal, I. E.: Mathematical characterization of the physical vacuum for a linear Bose-Einstein field, I11. J. Math., 6, 500-523 (1962)
  5. ^ Bargmann, V.: Remarks on a Hilbert space of analytic functions, Proc. N.A.S., 48, 199-204 (1962)