Polytopes with mass linear functions. I.

DOI10.1093/IMRN/RNP179MaRDI QIDQ3565004zbMATH OpenOpenAlexFDO

Authors Dusa McDuff, Susan Tolman

Publication date 27 May 2010

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0807.0900

zbMATH Keywords

symmetrygroup of symplectomorphismssymplectic toric manifold\(n\)-dimensional polytope

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) (n)-dimensional polytopes (52B11) Symplectic manifolds (general theory) (53D05) Differential topological aspects of diffeomorphisms (57R50)

Abstract: We analyze mass linear functions $H$ on simple polytopes $De$, where a mass linear function is an affine function on $De$ whose value on the center of mass depends linearly on the positions of the supporting hyperplanes. We show that certain types of symmetries of $De$ give rise to nonconstant mass linear functions on $De$. These are called inessential; the others are essential. We also show that most polytopes do not admit any nonconstant mass linear functions. Our main result shows that there is only one family of smooth polytopes of dimension $leq3$ which admit essential mass linear functions. These results have geometric implications. Fix a symplectic toric manifold $(M,om,T,Phi)$ with moment polytope $De=Phi(M)$; let $Symp(M,om)$ be its group of symplectomorphisms. Any linear function $H$ on $De$ generates a Hamiltonian $R$ action on $M$ whose closure is a subtorus $T_H$ of $T$. We show that if the map $p{i}_1(T_H)op{i}_1(Symp(M,om))$ has finite image, then $H$ is mass linear. Therefore, in most cases the induced map $p{i}_1(T)op{i}_1(Symp(M,om))$ is an injection. We also show that this map does not have finite image unless $M$ is a product of projective spaces. Moreover, the inessential $H$ correspond to elements in the kernel of the map $p{i}_1(T)oIsom(M)$, where the Kahler isometry group $Isom(M)subsetSymp(M,om)$ consists of elements that also preserve the natural compatible complex structure on $M$. Therefore if $De$ supports no nonconstant essential mass linear $H$, the map $p{i}_1(Isom(M))op{i}_1(Symp(M,om)$ is injective.

Recommendations

• Polytopes with Mass Linear Functions II: The Four-Dimensional Case
• Characteristic number associated to mass linear pairs
• Symmetry of a symplectic toric manifold
• Moment polytopes for symplectic manifolds with monodromy
• scientific article; zbMATH DE number 1944417

Cited in

(8)

• Quasimorphisms on contactomorphism groups and contact rigidity
• Hamiltonian diffeomorphisms of toric manifolds and flag manifolds
• The topology of toric symplectic manifolds
• Displacing Lagrangian toric fibers by extended probes
• The homotopy Lie algebra of symplectomorphism groups of 3-fold blowups of \((S^2\times S^2,\sigma_{\text{std}}\oplus\sigma_{\text{std}})\)
• Symplectic \((-2)\)-spheres and the symplectomorphism group of small rational 4-manifolds
• Characteristic number associated to mass linear pairs
• The homotopy Lie algebra of symplectomorphism groups of 3-fold blow-ups of the projective plane

This page was built for publication: Polytopes with mass linear functions. I.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3565004)