No Arabic abstract
In this paper we prove a convexity and fibre-connectedness theorem for proper maps constructed by Thimms trick on a connected Hamiltonian $G$-space $M$ that generate a Hamiltonian torus action on an open dense submanifold. Since these maps only generate a Hamiltonian torus action on an open dense submanifold of $M$, convexity and fibre-connectedness do not follow immediately from Atiyah-Guillemin-Sternbergs convexity theorem, even if $M$ is compact. The core contribution of this paper is to provide a simple argument circumventing this difficulty. In the case where the map is constructed from a chain of subalgebras we prove that the image is given by a list of inequalities that can be computed explicitly. This generalizes the famous example of Gelfand-Zeitlin systems on coadjoint orbits introduced by Guillemin and Sternberg. Moreover, we prove that if such a map generates a completely integrable torus action on an open dense submanifold of $M$, then all its fibres are smooth embedded submanifolds.
In this article, we prove a Legendrian Whitney trick which allows for the removal of intersections between codimension-two contact submanifolds and Legendrian submanifolds, assuming such a smooth cancellation is possible. This technique is applied to show the existence h-principle for codimension-two contact embeddings with a prescribed contact structure.
This work is devoted to a systematic study of symplectic convexity for integrable Hamiltonian systems with elliptic and focus-focus singularities. A distinctive feature of these systems is that their base spaces are still smooth manifolds (with boundary and corners), similarly to the toric case, but their associated integral affine structures are singular, with non-trivial monodromy, due to focus singularities. We obtain a series of convexity results, both positive and negative, for such singular integral affine base spaces. In particular, near a focus singular point, they are locally convex and the local-global convexity principle still applies. They are also globally convex under some natural additional conditions. However, when the monodromy is sufficiently big then the local-global convexity principle breaks down, and the base spaces can be globally non-convex even for compact manifolds. As one of surprising examples, we construct a 2-dimensional integral affine black hole, which is locally convex but for which a straight ray from the center can never escape.
M. Brion proved a convexity result for the moment map image of an irreducible subvariety of a compact integral Kaehler manifold preserved by the complexification of the Hamiltonian group action. V. Guillemin and R. Sjamaar generalized this result to irreducible subvarieties preserved only by a Borel subgroup. In another direction, L. OShea and R. Sjamaar proved a convexity result for the moment map image of the submanifold fixed by an antisymplectic involution. Analogous to Guillemin and Sjamaars generalization of Brions theorem, in this paper we generalize OShea and Sjamaars result, proving a convexity theorem for the moment map image of the involution fixed set of an irreducible subvariety preserved by a Borel subgroup.
In 1940, Luis Santalo proved a Helly-type theorem for line transversals to boxes in R^d. An analysis of his proof reveals a convexity structure for ascending lines in R^d that is isomorphic to the ordinary notion of convexity in a convex subset of R^{2d-2}. This isomorphism is through a Cremona transformation on the Grassmannian of lines in P^d, which enables a precise description of the convex hull and affine span of up to d ascending lines: the lines in such an affine span turn out to be the rulings of certain classical determinantal varieties. Finally, we relate Cremona convexity to a new convexity structure that we call frame convexity, which extends to arbitrary-dimensional flats.
Let $X$ be a polarized abelian variety over a field $K$. Let $O$ be a ring with an involution that acts on $X$ and this action is compatible with the polarization. We prove that the natural action of $O$ on $(X times X^t)^4$ is compatible with a certain principal polarization.