Delzant's theorem

From HandWiki
Short description: Classifies Hamiltonian actions of a torus on a symplectic manifold of twice the dimension


In mathematics, a Delzant polytope is a convex polytope in [math]\displaystyle{ \mathbb{R}^n }[/math] such for each vertex [math]\displaystyle{ v }[/math], exactly [math]\displaystyle{ n }[/math] edges meet at [math]\displaystyle{ v }[/math], and these edges form a collection of vectors that form a [math]\displaystyle{ \mathbb{Z} }[/math]-basis of [math]\displaystyle{ \mathbb{Z}^n }[/math]. Delzant's theorem, introduced by Thomas Delzant (1988), classifies effective Hamiltonian torus actions on compact connected symplectic manifolds by the image of the associated moment map, which is a Delzant polytope.

The theorem states that there is a bijective correspondence between symplectic toric manifolds (up to torus-equivariant symplectomorphism) and Delzant polytopes -- more precisely, the moment polytope of a symplectic toric manifold is a Delzant polytope, every Delzant polytope is the moment polytope of such a manifold, and any two such manifolds with the equivalent moment polytopes (up to translations) admit a torus-equivariant symplectomorphism between them.

References