Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMar 1st 2012
   • (edited Mar 1st 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have been expanding and polishing the entry _[[Heisenberg group]]_. This had existed in bad shape for quite a while, but now it's maybe getting into better shape. I tried to spend some sentences on issues which I find are rarely highlighted appropriately in the literature. So there is discussion now of the fact that * there are different Lie groups for a given Heisenberg Lie algebra, * and the appearance of an "$i$" in $[q,p] = i$ may be all understood as not picking the simply conncted ones of these; I also added remarks on the relation to Poisson brackets, and symplectomorphisms. In this context: either I am dreaming, or there is a mistake in the Wikipedia entry _[Poisson bracket - Lie algebra](http://en.wikipedia.org/wiki/Poisson_bracket#Lie_algebra)_. There it says that the Poisson bracket is the Lie algebra of the group of symplectomorphisms. But instead, it is the Lie algebra of a central extension of the group of Hamiltonian symplectomorphisms.

   I have been expanding and polishing the entry Heisenberg group.

   This had existed in bad shape for quite a while, but now it’s maybe getting into better shape.

   I tried to spend some sentences on issues which I find are rarely highlighted appropriately in the literature. So there is discussion now of the fact that

   • there are different Lie groups for a given Heisenberg Lie algebra,

   • and the appearance of an “$i$” in $[q,p] = i$ may be all understood as not picking the simply conncted ones of these;

   I also added remarks on the relation to Poisson brackets, and symplectomorphisms.

   In this context: either I am dreaming, or there is a mistake in the Wikipedia entry Poisson bracket - Lie algebra.

   There it says that the Poisson bracket is the Lie algebra of the group of symplectomorphisms. But instead, it is the Lie algebra of a central extension of the group of Hamiltonian symplectomorphisms.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeDec 2nd 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Ernst Binz]], Sonja Pods, *The geometry of Heisenberg groups --- With Applications in Signal Theory, Optics, Quantization, and Field Quantization*, Mathematical Surveys and Monographs **151**, American Mathematical Society (2008) &lbrack;[ams:surv-151](https://bookstore.ams.org/surv-151)&rbrack; (here and elsewhere, such as at *[[Heisenberg Lie algebra]]*) <a href="https://ncatlab.org/nlab/revision/diff/Heisenberg+group/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/Heisenberg+group/17">v17</a>, <a href="https://ncatlab.org/nlab/show/Heisenberg+group">current</a>

   added pointer to:

   • Ernst Binz, Sonja Pods, The geometry of Heisenberg groups — With Applications in Signal Theory, Optics, Quantization, and Field Quantization, Mathematical Surveys and Monographs 151, American Mathematical Society (2008) [ams:surv-151]

   (here and elsewhere, such as at Heisenberg Lie algebra)

   diff, v17, current