ScalingStacks

Remark 5.74 . [02VN]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Remark 5.74.

For the case K=ℂK=\mathbb{C}, statement (2) in the above result is related to the Guillemin-Abreu classification of Kähler structures on symplectic toric varieties as explained in [Abr03]. By definition, a symplectic toric variety is a compact symplectic manifold of dimension 2​n2n together with a Hamiltonian action of the compact torus 𝕊an≃(S1)n\mathbb{S}^{{\text{\rm an}}}\simeq(S^{1})^{n}. These spaces are classified by Delzant polytopes of MℝM_{\mathbb{R}}, see for instance [Gui95]. For a given Delzant polytope Δ⊂Mℝ\Delta\subset M_{\mathbb{R}}, the possible (S1)n(S^{1})^{n}-invariant Kähler forms on the symplectic toric variety corresponding to Δ\Delta are classified by smooth convex functions on Δ∘\Delta^{\circ} satisfying some conditions near the border of Δ\Delta. Several differential geometric invariants of a Kähler toric variety can be translated and studied in terms of this convex function, also called the ‘‘symplectic potential’’.

For a smooth positive toric metric ∥⋅∥\|\cdot\| on LΨΔ​(ℂ)L_{\Psi_{\Delta}}(\mathbb{C}), the Chern form defines a Kähler structure on the complex toric variety XΣΔ​(ℂ)X_{\Sigma_{\Delta}}(\mathbb{C}). It turns out that the corresponding symplectic potential coincides with minus the function ψ∨∥⋅∥\psi^{\vee}_{\|\cdot\|}. It would be most interesting to explore further this connection.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.