∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
Suppose we are given a commutative unital ring and a module over equipped with a skew-symmetric bilinear form
(Typically, one requires to be non-degenerate, see below, but this is not needed for the following definition).
The Heisenberg Lie algebra corresponding to is the Lie algebra given by the -module together with the unit , and Lie -algebra bracket
The notion of Heisenberg algebra arose in the study of quantization by tools of symplectic geometry:
A special case of the above definition is that where a symplectic vector space (hence a field and non-degenerate).
In this case the Heisenberg algebra is a sub-Lie algebra of the Lie algebra underlying the Poisson algebra of . For more on this see below.
We discuss a generalization of the notion of Heisenberg Lie algebra from ordinary symplectic geometry to a notion of Heisenberg Lie n-algebra in higher geometric quantization of n-plectic geometry. See at Heisenberg Lie n-algebra for more.
The following definition is naturally motivated from the fact that:
Poisson bracket Lie algebra, the one underlying the corresponding Poisson algebra (see below) on the constant and linear functions.
In view of this, the following definition takes the Heisenberg Lie -algebra to be the sub-Lie -algebra of the Poisson Lie n-algebra on the linear and constant differential forms.
First we need the following definition, which is elementary, but nevertheless worth making explicit once.
Let , let be an n-plectic vector space.
The corresponding -plectic manifold is the n-plectic manifold , with now the canonical smooth manifold structure on the given vector space, and with
the differential form obtained by left (right) translating along .
Explicitly, for all vector fields and all points we set
Here on the right – and in all of the following – we are using that every tangent space of is naturally identified with itself
Let , let be an n-plectic vector space and let be the corresponding n-plectic manifold.
The Heisenberg Lie -algebra is the sub-Lie n-algebra of the Poisson Lie n-algebra on those differential forms which are either linear or constant (with respect to left/right translation on ).
All one has to observe is:
This is indeed a sub-Lie -algebra.
We need to check that the linear and constant forms are closed under the L-infinity algebra brackets of .
The only non-trivial such brackets are the unary one, and the ones on elements all of degree 0.
The unary bracket is given by the de Rham differential. Since this sends a linear form to a constant form and a constant form to 0, our sub-complex is closed under this.
Similarly, the brackets on elements all in degree 0 is given by contraction of with the Hamiltonian vector fields of linear or constant forms. Since is a constant form, and since the de Rham differential of a linear or constant form is constant (or even 0), these Hamiltonian vector fields are necessarily constant. Hence their contraction with gives a constant form.
We discuss how the notion of Heisenberg Lie algebra relates to that of Poisson algebra.
For a symplectic vector space, there is a natural Lie algebra homomorphism
exhibiting the Heisenberg Lie algebra as a sub-Lie algebra of that underlying the Poisson algebra of .
Namely, it is the sub-Lie algebra on the linear functions and the constant functions.
Let be a symplectic vector space over the real numbers. Using the canonical isomorphism of the tangent bundle of with the projection , we obtain from the bilinear form a differential 2-form by the assignment
for all .
This way is a symplectic manifold and thus comes with a Poisson algebra. Write for the Lie algebra underlying the Poisson algebra of .
Its underlying vector space is the space of smooth functions . To every element is associated its Hamiltonian vector field , defined (uniquely, due to the non-degeneracy of ) by the equation
In terms of this, the Lie bracket of the Poisson algebra is defined to be
Inside all smooth functions sit the linear functions , which form the dual vector space to :
By the non-degeneracy of , for every there is an element such that
Moreover, the canonical extension of to a vector field on is a Hamiltonian vector field for
It follows that the Lie bracket of two linear functions in the Poisson algebra is
Notice that on the right we have a constant function on .
Write for the inclusion of the constant functions, and write
Then, by the above, the inclusion
induces a Lie algebra homomorphism
which exhibits the Heisenberg Lie algebra as a sub-Lie algebra of that underlying the Poisson algebra.
As for any Lie algebra one has Lie integration of the Heisenberg Lie algebra to a Lie group. This is called the Heisenberg group (of the given symplectic vector space).
In the case of standard symplectic form on the Cartesian space , the universal enveloping algebra of the Heisenberg Lie algebra is an associative algebra . Depending on conventions, this either already is the Weyl algebra on generators or else it becomes so after after forming the quotient algebra in which the central generator is identified with the unit element of the ground field – whereas in the former case (considered eg. in Kravchenko 2000, Def. 2.1; Bekaert 2005, p. 9) the central generator plays the role of the formal Planck constant with the Weyl algebra regarded as a formal deformation quantization of the symplectic manifold .
Accordingly, given a Heisenberg Lie -algebra it makes sense to call its universal enveloping -algebra a Weyl -algebra.
Given any Hopf algebra, one can define its Heisenberg double, which generalized the Heisenberg-Weyl algebra, which corresponds to the case when the Hopf algebra is the polynomial algebra.
Monograph:
Lecture notes:
(section 4 in) Gordon, Infinite-dimensional Lie algebras, Lecture notes, Edinburgh (2008) (pdf)
Teruji Thomas, Geometric quantization II: Prequantization and the Heisenberg group (pdf), section 4 (relating to geometric quantization)
Relation to the Weyl algebra:
Olga Kravchenko, Deformation Quantization of Symplectic Fibrations, Compositio Mathematica 123 (2000) 131–165 [arXiv:math/9802070, doi:10.1023/A:1002452002677]
Xavier Bekaert, Universal enveloping algebras and some applications in physics (2005) [cds:904799, pdf]
A categorification of the Heisenberg algebra:
Mikhail Khovanov, Heisenberg algebra and a graphical calculus (arXiv:1009.3295)
Owen Gwilliam, Rune Haugseng, Linear Batalin-Vilkovisky quantization as a functor of ∞-categories (arXiv:1608.01290)
An -fold categorification of the Lie algebra underlying the Poisson algebra (and hence including the Weil algebra) for all to a Lie n-algebra is considered in n-plectic geometry,
Last revised on December 2, 2023 at 11:55:36. See the history of this page for a list of all contributions to it.