In this paper we introduce a combinatorial formula for the Ekeland-Hofer-Zehnder capacity of a convex polytope in $\mathbb{R}^{2n}$. One application of this formula is a certain subadditivity property of this capacity.
We discuss a symplectic counterpart of the theory of stacky fans. First, we define a stacky polytope and construct the symplectic Deligne-Mumford stack associated to the stacky polytope. Then we establish a relation between stacky polytopes and stacky fans: the stack associated to a stacky polytope is equivalent to the stack associated to a stacky fan if the stacky fan corresponds to the stacky polytope.
Let Z be the real part of a K{ä}hler Hamiltonian manifold M. The O'Shea-Sjamaar's Theorem tells us that the moment polytope Delta(Z) corresponds to the anti-invariant part of the Kirwan polytope Delta(M). The purpose of the present paper is to explain how to parameterize the equations of the facets of Delta(Z) in terms of real Ressayre's pairs of Z.
In this research announcement we associate to each convex polytope, possibly nonrational and nonsimple, a family of compact spaces that are stratified by quasifolds, i.e. the strata are locally modelled by $\R^k$ modulo the action of a discrete, possibly infinite, group. Each stratified space is endowed with a symplectic structure and a moment mapping having the property that its image gives the original polytope back. These spaces may be viewed as a natural generalization of symplectic toric varieties to the nonrational setting. We provide here the explicit construction of these spaces, and a…
We construct, for each convex polytope, possibly nonrational and nonsimple, a family of compact spaces that are stratified by quasifolds, i.e. each of these spaces is a collection of quasifolds glued together in an suitable way. A quasifold is a space locally modelled on $\R^k$ modulo the action of a discrete, possibly infinite, group. The way strata are glued to each other also involves the action of an (infinite) discrete group. Each stratified space is endowed with a symplectic structure and a moment mapping having the property that its image gives the original polytope back. These spaces m…
Toric varieties play an important role both in symplectic and complex geometry. In symplectic geometry, the construction of a symplectic toric manifold from a smooth polytope is due to Delzant. In algebraic geometry, there is a more general construction using fans rather than polytopes. However, in case the fan is induced by a smooth polytope Audin showed both constructions to give isomorphic projective varieties. For rational but not necessarily smooth polytopes the Delzant construction was refined by Lerman and Tolman, leading to symplectic toric orbifolds or more generally, symplectic toric…
Motivated by Pazit Haim-Kislev's combinatorial formula for the Ekeland-Hofer-Zehnder capacities of convex polytopes, we give corresponding formulas for $Ψ$-Ekeland-Hofer-Zehnder and coisotropic Ekeland-Hofer-Zehnder capacities of convex polytopes introduced by the second named author and others recently. Contrary to Pazit Haim-Kislev's subadditivity result for the Ekeland-Hofer-Zehnder capacities of convex domains, we show that the coisotropic Hofer-Zehnder capacities satisfy the subadditivity for suitable hyperplane cuts of two-dimensional convex domains in the reverse direction.
In this article we consider a generalization of manifolds and orbifolds which we call quasifolds; quasifolds of dimension k are locally isomorphic to the quotient of R^k by the action of a discrete group - tipically they are not Hausdorff topological spaces. The analogue of a torus in this geometry is a quasitorus. We define Hamiltonian actions of quasitori on symplectic quasifolds and we show that any simple convex polytope, rational or not, is the image of the moment mapping for a family of effective Hamiltonian actions on symplectic quasifolds having twice the dimension of the corresponding…
In this work, we study some convex cones associated to isotropic representations of symmetric spaces. We explain the inequalities that describe them by means of cohomological conditions. In particular, we study the singular Horn cone which is the counterpart of the classical Horn cone, where the eigenvalues of Hermitian square matrices are replaced by the singular values of rectangular matrices.
A natural way of generalising Hamiltonian toric manifolds is to permit the presence of generic isolated singularities for the moment map. For a class of such ``almost-toric 4-manifolds'' which admits a Hamiltonian $S^1$-action we show that one can associate a group of convex polygons that generalise the celebrated moment polytopes of Atiyah, Guillemin-Sternberg. As an application, we derive a Duistermaat-Heckman formula demonstrating a strong effect of the possible monodromy of the underlying integrable system.
We study the combinatorial Reeb flow on the boundary of a four-dimensional convex polytope. We establish a correspondence between "combinatorial Reeb orbits" for a polytope, and ordinary Reeb orbits for a smoothing of the polytope, respecting action and Conley-Zehnder index. One can then use a computer to find all combinatorial Reeb orbits up to a given action and Conley-Zehnder index. We present some results of experiments testing Viterbo's conjecture and related conjectures. In particular, we have found some new examples of polytopes with systolic ratio $1$.
In this paper we motivate some new directions of research regarding the lattice width of convex bodies. We show that convex bodies of sufficiently large width contain a unimodular copy of a standard simplex. This implies that every lattice polytope contains a minimal generating set of the affine lattice spanned by its lattice points such that the number of generators is bounded by a constant which only depends on the dimension. We also discuss relations to recent results on spanning lattice polytopes and how our results could be viewed as the beginning of the study of generalized flatness cons…
A theorem of Delzant states that any symplectic manifold $(M,\om)$ of dimension $2n$, equipped with an effective Hamiltonian action of the standard $n$-torus $\T^n = \R^{n}/2π\Z^n$, is a smooth projective toric variety completely determined (as a Hamiltonian $\T^n$-space) by the image of the moment map $ϕ:M\to\R^n$, a convex polytope $P=ϕ(M)\subset\R^n$. In this paper we show, using symplectic (action-angle) coordinates on $P\times \T^n$, how all $\om$-compatible toric complex structures on $M$ can be effectively parametrized by smooth functions on $P$. We also discuss some topics suited for a…
Let $G$ be a complex simple Lie group, and let $U \subseteq G$ be a maximal compact subgroup. Assume that $G$ admits a homogenous space $X=G/Q=U/K$ which is a compact Hermitian symmetric space. Let $\mathscr{L} \rightarrow X$ be the ample line bundle which generates the Picard group of $X$. In this paper we study the restrictions to $K$ of the family $(H^0(X, \mathscr{L}^k))_{k \in \N}$ of irreducible $G$-representations. We describe explicitly the moment polytopes for the moment maps $X \rightarrow \fk^*$ associated to positive integer multiples of the Kostant-Kirillov symplectic form on $X$,…
We call complex quasifold of dimension k a space that is locally isomorphic to the quotient of an open subset of the space C^k by the holomorphic action of a discrete group; the analogue of a complex torus in this setting is called a complex quasitorus. We associate to each simple polytope, rational or not, a family of complex quasifolds having same dimension as the polytope, each containing a dense open orbit for the action of a suitable complex quasitorus. We show that each of these spaces M is diffeomorphic to one of the symplectic quasifolds defined in http://arXiv.org/abs/math:SG/9904179,…