arXiv++ Combinatorics

Let a torus T act effectively on a compact connected cooriented contact manifold, and let Psi be the natural momentum map on the symplectization. We prove that, if dim T > 2, the union of the origin with the image of Psi is a convex polyhedral cone, the non-zero level sets of Psi are connected (while the zero level set can be disconnected), and the momentum map is open as a map to its image. This answers a question posed by Eugene Lerman, who proved similar results when the zero level set is empty. We also analyze examples with dim T <= 2.

A theorem of Tietze and Nakamija, from 1928, asserts that if a subset X of R^n is closed, connected, and locally convex, then it is convex. We give an analogous "local to global convexity" theorem when the inclusion map of X to R^n is replaced by a map from a topological space X to R^n that satisfies certain local properties. We say that a map from a topological space to R^n is convex if every two points in the space can be connected by a path whose composition with the map is a weakly monotone parametrization of a straight line segment. Let X be a connected Hausdorff topological space, let T be a convex subset of R^n, and let Psi: X \to T be a continuous proper map. Suppose that every point in X is contained in an open set U such that the map Psi|_U: U \to Psi(U) is convex and open. Then the map Psi: X \to Ψ(X) is convex and open. Consequently, its image is convex and its level sets are connected. Our motivation comes from the Condevaux-Dazord-Molino proof of the Atiyah-Guillemin-Sternberg convexity theorem in symplectic geometry.

Euler Maclaurin formulas for a polytope express the sum of the values of a function over the lattice points in the polytope in terms of integrals of the function and its derivatives over faces of the polytope or its expansions. Exact Euler Maclaurin formulas [Khovanskii-Pukhlikov, Cappell-Shaneson, Guillemin, Brion-Vergne] apply to exponential or polynomial functions; Euler Maclaurin formulas with remainder [Karshon-Sternberg-Weitsman] apply to more general smooth functions. In this paper we review these results and present proofs of the exact formulas obtained by these authors, using elementary methods. We then use an algebraic formalism due to Cappell and Shaneson to relate the different formulas.

We give an Euler Maclaurin formula with remainder for the sum of the values of a smooth function on the integral points in a simple integral polytope. This formula is proved by elementary methods.