Showing 1–41 of 41 results for author: Karshon, Y

Integral-integral affine geometry, geometric quantization, and Riemann-Roch

Authors: Mark Hamilton, Yael Karshon, Takahiko Yoshida

Abstract: We give a simple proof that, for a pre-quantized compact symplectic manifold with a Lagrangian torus fibration, its Riemann-Roch number coincides with its number of Bohr-Sommerfeld fibres. This can be viewed as an instance of the "independence of polarization" phenomenon of geometric quantization. The base space for such a fibration acquires a so-called integral-integral affine structure. The proo… ▽ More We give a simple proof that, for a pre-quantized compact symplectic manifold with a Lagrangian torus fibration, its Riemann-Roch number coincides with its number of Bohr-Sommerfeld fibres. This can be viewed as an instance of the "independence of polarization" phenomenon of geometric quantization. The base space for such a fibration acquires a so-called integral-integral affine structure. The proof uses the following simple fact, whose proof is trickier than we expected: on a compact integral-integral affine manifold, the total volume is equal to the number of integer points. △ Less

Submitted 15 November, 2024; originally announced November 2024.

Comments: 22 pages, 1 figure

MSC Class: 53D50; 53C15

Vector Fields and Flows on Subcartesian Spaces

Authors: Yael Karshon, Eugene Lerman

Abstract: This paper is part of a series of papers on differential geometry of $C^\infty$-ringed spaces. In this paper, we study vector fields and their flows on a class of singular spaces. Our class includes arbitrary subspaces of manifolds, as well as symplectic and contact quotients by actions of compact Lie groups. We show that derivations of the $C^\infty$-ring of global smooth functions integrate to s… ▽ More This paper is part of a series of papers on differential geometry of $C^\infty$-ringed spaces. In this paper, we study vector fields and their flows on a class of singular spaces. Our class includes arbitrary subspaces of manifolds, as well as symplectic and contact quotients by actions of compact Lie groups. We show that derivations of the $C^\infty$-ring of global smooth functions integrate to smooth flows. △ Less

Submitted 16 November, 2023; v1 submitted 20 July, 2023; originally announced July 2023.

Comments: This paper is one in a series of papers, two other arXiv:2212.11163 and arXiv:2307.05604

Journal ref: SIGMA 19 (2023), 093, 17 pages

Smooth maps on convex sets

Authors: Yael Karshon, Jordan Watts

Abstract: There are several notions of a smooth map from a convex set to a cartesian space. Some of these notions coincide, but not all of them do. We construct a real-valued function on a convex subset of the plane that does not extend to a smooth function on any open neighbourhood of the convex set, but that for each $k$ extends to a $C^k$ function on an open neighbourhood of the convex set. It follows th… ▽ More There are several notions of a smooth map from a convex set to a cartesian space. Some of these notions coincide, but not all of them do. We construct a real-valued function on a convex subset of the plane that does not extend to a smooth function on any open neighbourhood of the convex set, but that for each $k$ extends to a $C^k$ function on an open neighbourhood of the convex set. It follows that the diffeological and Sikorski notions of smoothness on convex sets do not coincide. We show that, for a convex set that is locally closed, these notions do coincide. With the diffeological notion of smoothness for convex sets, we then show that the category of diffeological spaces is isomorphic to the category of so-called exhaustive Chen spaces. △ Less

Submitted 14 February, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 16 pages, 1 figure; version 2 has minor changes; to appear in AMS Contemporary Mathematics

Quasifold groupoids and diffeological quasifolds

Authors: Yael Karshon, David Miyamoto

Abstract: Quasifolds are spaces that are locally modelled by quotients of $\mathbb{R}^n$ by countable affine group actions. These spaces first appeared in Elisa Prato's generalization of the Delzant construction, and special cases include leaf spaces of irrational linear flows on the torus, and orbifolds. We consider the category of diffeological quasifolds, which embeds in the category of diffeological spa… ▽ More Quasifolds are spaces that are locally modelled by quotients of $\mathbb{R}^n$ by countable affine group actions. These spaces first appeared in Elisa Prato's generalization of the Delzant construction, and special cases include leaf spaces of irrational linear flows on the torus, and orbifolds. We consider the category of diffeological quasifolds, which embeds in the category of diffeological spaces, and the bicategory of quasifold groupoids, which embeds in the bicategory of Lie groupoids, bibundles, and bibundle morphisms. We prove that, restricting to those morphisms that are locally invertible, and to quasifold groupoids that are effective, the functor taking a quasifold groupoid to its diffeological orbit space is an equivalence of the underlying categories. These results complete and extend earlier work with Masrour Zoghi. △ Less

Submitted 29 June, 2022; originally announced June 2022.

Comments: 35 pages

MSC Class: Primary 22A22; Secondary 58H05

Diffeological submanifolds and their friends

Authors: Yael Karshon, David Miyamoto, Jordan Watts

Abstract: A smooth manifold hosts different types of submanifolds, including embedded, weakly-embedded, and immersed submanifolds. The notion of an immersed submanifold requires additional structure (namely, the choice of a topology); when this additional structure is unique, we call the subset a uniquely immersed submanifold. Diffeology provides yet another intrinsic notion of submanifold: a diffeological… ▽ More A smooth manifold hosts different types of submanifolds, including embedded, weakly-embedded, and immersed submanifolds. The notion of an immersed submanifold requires additional structure (namely, the choice of a topology); when this additional structure is unique, we call the subset a uniquely immersed submanifold. Diffeology provides yet another intrinsic notion of submanifold: a diffeological submanifold. We show that from a categorical perspective diffeology rises above the others: viewing manifolds as a concrete category over the category of sets, the initial morphisms are exactly the (diffeological) inductions, which are the diffeomorphisms with diffeological submanifolds. Moreover, if we view manifolds as a concrete category over the category of topological spaces, we recover Joris and Preissmann's notion of pseudo-immersions. We show that these notions are all different. In particular, a theorem of Joris from 1982 yields a diffeological submanifold whose inclusion is not an immersion, answering a question that was posed by Iglesias-Zemmour. We also characterize local inductions as those pseudo-immersions that are locally injective. In appendices, we review a proof of Joris' theorem, pointing at a flaw in one of the several other proofs that occur in the literature, and we illustrate how submanifolds inherit paracompactness from their ambient manifold. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 15 pages, 3 figures

MSC Class: 57R55

Bott canonical basis?

Authors: Yael Karshon, Jihyeon Jessie Yang

Abstract: Expanding an idea of Raoul Bott, we propose a construction of canonical bases for unitary representations that comes from big torus actions on families of Bott-Samelson manifolds. The construction depends only on the choices of a maximal torus, a Borel subgroup ,and a reduced expression for the longest element of the Weyl group. It relies on a conjectural vanishing of higher cohomology of sheaves… ▽ More Expanding an idea of Raoul Bott, we propose a construction of canonical bases for unitary representations that comes from big torus actions on families of Bott-Samelson manifolds. The construction depends only on the choices of a maximal torus, a Borel subgroup ,and a reduced expression for the longest element of the Weyl group. It relies on a conjectural vanishing of higher cohomology of sheaves of holomorphic sections of certain line bundles on the total spaces of the families, hence the question mark in the title. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Comments: 42 pages, 1 figure

MSC Class: 22E46

Symplectic excision

Authors: Yael Karshon, Xiudi Tang

Abstract: We use time-independent incomplete Hamiltonian flows to excise interesting closed subsets of positive codimension from symplectic manifolds. Examples of such subsets include what we call a "Cantor brush", a "box with a tail", and -- more generally -- epigraphs of lower semicontinuous functions. This answers a question of Alan Weinstein about excision of a ray, and it generalizes a result of Bernd… ▽ More We use time-independent incomplete Hamiltonian flows to excise interesting closed subsets of positive codimension from symplectic manifolds. Examples of such subsets include what we call a "Cantor brush", a "box with a tail", and -- more generally -- epigraphs of lower semicontinuous functions. This answers a question of Alan Weinstein about excision of a ray, and it generalizes a result of Bernd Stratmann about excision of the product of a ray with a manifold. △ Less

Submitted 6 August, 2024; v1 submitted 10 January, 2021; originally announced January 2021.

Comments: 39 pages, 4 figures

MSC Class: 53D05 (53D35; 37J39)

Functoriality for symplectic and contact cutting, and equivariant radial-squared blowups

Authors: Yael Karshon

Abstract: We exhibit Lerman's cutting procedure as a functor from the category of manifolds-with-boundary equipped with free circle actions near the boundary, with so-called equivariant transverse maps, to the category of manifolds and smooth maps. We then apply the cutting procedure to differential forms that are not necessarily symplectic, to distributions that are not necessarily contact, and to submanif… ▽ More We exhibit Lerman's cutting procedure as a functor from the category of manifolds-with-boundary equipped with free circle actions near the boundary, with so-called equivariant transverse maps, to the category of manifolds and smooth maps. We then apply the cutting procedure to differential forms that are not necessarily symplectic, to distributions that are not necessarily contact, and to submanifolds. We obtain an inverse functor from so-called equivariant radial-squared blowup. △ Less

Submitted 8 November, 2020; originally announced November 2020.

Comments: 65 pages, 6 figures

MSC Class: Primary 53D20; Secondary 57R55

Topology of complexity one quotients

Authors: Yael Karshon, Susan Tolman

Abstract: We describe of the topology of the geometric quotients of 2n dimensional compact connected symplectic manifolds with n-1 dimensional torus actions. When the isotropy weights at each fixed point are in general position, the quotient is homeomorphic to a sphere. We describe of the topology of the geometric quotients of 2n dimensional compact connected symplectic manifolds with n-1 dimensional torus actions. When the isotropy weights at each fixed point are in general position, the quotient is homeomorphic to a sphere. △ Less

Submitted 2 June, 2020; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 12 pages, 1 table. v2: minor changes in response to referee report. To appear in Pacific J. Math

MSC Class: 53D20

Journal ref: Pacific J. Math. 308 (2020) 333-346

Diffeological, Frölicher, and Differential Spaces

Authors: Augustin Batubenge, Yael Karshon, Jordan Watts

Abstract: Differential calculus on Euclidean spaces has many generalisations. In particular, on a set $X$, a diffeological structure is given by maps from open subsets of Euclidean spaces to $X$, a differential structure is given by maps from $X$ to $\mathbb{R}$, and a Frölicher structure is given by maps from $\mathbb{R}$ to $X$ as well as maps from $X$ to $\mathbb{R}$. We illustrate the relations between… ▽ More Differential calculus on Euclidean spaces has many generalisations. In particular, on a set $X$, a diffeological structure is given by maps from open subsets of Euclidean spaces to $X$, a differential structure is given by maps from $X$ to $\mathbb{R}$, and a Frölicher structure is given by maps from $\mathbb{R}$ to $X$ as well as maps from $X$ to $\mathbb{R}$. We illustrate the relations between these structures through examples. △ Less

Submitted 3 May, 2023; v1 submitted 12 December, 2017; originally announced December 2017.

Comments: 37 pages; v2 has more examples, results on underlying topologies, and an appendix summarizing relationships with other smooth structures

Givental's non-linear Maslov index on lens spaces

Authors: Gustavo Granja, Yael Karshon, Milena Pabiniak, Sheila Sandon

Abstract: Givental's non-linear Maslov index, constructed in 1990, is a quasimorphism on the universal cover of the identity component of the contactomorphism group of real projective space. This invariant was used by several authors to prove contact rigidity phenomena such as orderability, unboundedness of the discriminant and oscillation metrics, and a contact geometric version of the Arnold conjecture. I… ▽ More Givental's non-linear Maslov index, constructed in 1990, is a quasimorphism on the universal cover of the identity component of the contactomorphism group of real projective space. This invariant was used by several authors to prove contact rigidity phenomena such as orderability, unboundedness of the discriminant and oscillation metrics, and a contact geometric version of the Arnold conjecture. In this article we give an analogue for lens spaces of Givental's construction and its applications. △ Less

Submitted 9 April, 2020; v1 submitted 19 April, 2017; originally announced April 2017.

Comments: 44 pages; v3: minor changes; v2: besides minor changes, we corrected a mistake in Corollary 1.3(iv)

MSC Class: 53D35 53D10 57R17

Hamiltonian group actions on exact symplectic manifolds with proper momentum maps are standard

Authors: Yael Karshon, Fabian Ziltener

Abstract: We give a complete characterization of Hamiltonian actions of compact Lie groups on exact symplectic manifolds with proper momentum maps. We deduce that every Hamiltonian action of a compact Lie group on a contractible symplectic manifold with a proper momentum map is globally linearizable. We give a complete characterization of Hamiltonian actions of compact Lie groups on exact symplectic manifolds with proper momentum maps. We deduce that every Hamiltonian action of a compact Lie group on a contractible symplectic manifold with a proper momentum map is globally linearizable. △ Less

Submitted 13 July, 2016; originally announced July 2016.

Comments: 20 pages

MSC Class: 53D20

Counting toric actions on symplectic four-manifolds

Authors: Yael Karshon, Liat Kessler, Martin Pinsonnault

Abstract: Given a symplectic manifold, we ask in how many different ways can a torus act on it. Classification theorems in equivariant symplectic geometry can sometimes tell that two Hamiltonian torus actions are inequivalent, but often they do not tell whether the underlying symplectic manifolds are (non-equivariantly) symplectomorphic. For two dimensional torus actions on closed symplectic four-manifolds,… ▽ More Given a symplectic manifold, we ask in how many different ways can a torus act on it. Classification theorems in equivariant symplectic geometry can sometimes tell that two Hamiltonian torus actions are inequivalent, but often they do not tell whether the underlying symplectic manifolds are (non-equivariantly) symplectomorphic. For two dimensional torus actions on closed symplectic four-manifolds, we reduce the counting question to combinatorics, by expressing the manifold as a symplectic blowup in a way that is compatible with all the torus actions simultaneously. For this we use the theory of pseudoholomorphic curves. △ Less

Submitted 21 September, 2014; originally announced September 2014.

Comments: 7 pages, 1 figure

MSC Class: 53D20; 53D35; 14M25

Basic Forms and Orbit Spaces: a Diffeological Approach

Authors: Yael Karshon, Jordan Watts

Abstract: If a Lie group acts on a manifold freely and properly, pulling back by the quotient map gives an isomorphism between the differential forms on the quotient manifold and the basic differential forms upstairs. We show that this result remains true for actions that are not necessarily free nor proper, as long as the identity component acts properly, where on the quotient space we take differential fo… ▽ More If a Lie group acts on a manifold freely and properly, pulling back by the quotient map gives an isomorphism between the differential forms on the quotient manifold and the basic differential forms upstairs. We show that this result remains true for actions that are not necessarily free nor proper, as long as the identity component acts properly, where on the quotient space we take differential forms in the diffeological sense. △ Less

Submitted 8 March, 2016; v1 submitted 7 August, 2014; originally announced August 2014.

MSC Class: 58D19; 57R99

Journal ref: SIGMA 12 (2016), 026, 19 pages

Distinguishing symplectic blowups of the complex projective plane

Authors: Yael Karshon, Liat Kessler

Abstract: A symplectic manifold that is obtained from the complex projective plane by k blowups is encoded by k+1 parameters: the size of the initial complex projective plane, and the sizes of the blowups. We determine which values of these parameters yield symplectomorphic manifolds. A symplectic manifold that is obtained from the complex projective plane by k blowups is encoded by k+1 parameters: the size of the initial complex projective plane, and the sizes of the blowups. We determine which values of these parameters yield symplectomorphic manifolds. △ Less

Submitted 20 July, 2014; originally announced July 2014.

Comments: 32 pages

MSC Class: Primary 53D35; Secondary 53D45

The Morse-Bott-Kirwan condition is local

Authors: Tara Holm, Yael Karshon

Abstract: Kirwan identified a condition on a smooth function under which the usual techniques of Morse-Bott theory can be applied to this function. We prove that if a function satisfies this condition locally then it also satisfies the condition globally. As an application, we use the local normal form theorem to recover Kirwan's result that the norm-square of a momentum map satisfies Kirwan's condition. Kirwan identified a condition on a smooth function under which the usual techniques of Morse-Bott theory can be applied to this function. We prove that if a function satisfies this condition locally then it also satisfies the condition globally. As an application, we use the local normal form theorem to recover Kirwan's result that the norm-square of a momentum map satisfies Kirwan's condition. △ Less

Submitted 9 November, 2016; v1 submitted 13 July, 2014; originally announced July 2014.

Comments: 25 pages, one figure. v2: corrected some proofs

MSC Class: 53D20 (Primary); 58E05 (Secondary)

Journal ref: Research in the Mathematical Sciences 3 (2016) 3:25

Completely integrable torus actions on complex manifolds with fixed points

Authors: Hiroaki Ishida, Yael Karshon

Abstract: We show that if a holomorphic $n$ dimensional compact torus action on a compact connected complex manifold of complex dimension $n$ has a fixed point then the manifold is equivariantly biholomorphic to a smooth toric variety. We show that if a holomorphic $n$ dimensional compact torus action on a compact connected complex manifold of complex dimension $n$ has a fixed point then the manifold is equivariantly biholomorphic to a smooth toric variety. △ Less

Submitted 15 December, 2012; v1 submitted 4 March, 2012; originally announced March 2012.

Comments: 14 pages, to appear in Mathematical Research Letters

MSC Class: 14M25 (Primary) 32M05; 57S25 (Secondary)

Classification of Hamiltonian torus actions with two dimensional quotients

Authors: Yael Karshon, Susan Tolman

Abstract: We construct all possible Hamiltonian torus actions for which all the non-empty reduced spaces are two dimensional (and not single points) and the manifold is connected and compact, or, more generally, the moment map is proper as a map to a convex set. This construction completes the classification of tall complexity one spaces. We construct all possible Hamiltonian torus actions for which all the non-empty reduced spaces are two dimensional (and not single points) and the manifold is connected and compact, or, more generally, the moment map is proper as a map to a convex set. This construction completes the classification of tall complexity one spaces. △ Less

Submitted 9 May, 2012; v1 submitted 30 September, 2011; originally announced September 2011.

Comments: 46 pages, 2 figures. v2: added a reference

MSC Class: 53D20; 53D35; 37J15 (Primary) 57S15; 52B20; 14M25 (Secondary)

Journal ref: Geom. Topol. 18 (2014) 669-716

Localization for equivariant cohomology with varying polarization

Authors: Megumi Harada, Yael Karshon

Abstract: The main contribution of this paper is a generalization of several previous localization theories in equivariant symplectic geometry, including the classical Atiyah-Bott/Berline-Vergne localization theorem, as well as many cases of the localization via the norm-square of the momentum map as initiated and developed by Witten, Paradan, and Woodward. Our version unifies and generalizes these theories… ▽ More The main contribution of this paper is a generalization of several previous localization theories in equivariant symplectic geometry, including the classical Atiyah-Bott/Berline-Vergne localization theorem, as well as many cases of the localization via the norm-square of the momentum map as initiated and developed by Witten, Paradan, and Woodward. Our version unifies and generalizes these theories by using noncompact cobordisms as in previous work of Guillemin, Ginzburg, and Karshon, and by introducing a more flexible notion of `polarization' than in previous theories. Our localization formulas are also valid for closed 2-forms that may be degenerate. As a corollary, we are able to answer a question posed some time ago by Shlomo Sternberg concerning the classical Brianchon-Gram polytope decomposition,. We illustrate our theory using concrete examples motivated by our answer to Sternberg's question. △ Less

Submitted 21 June, 2012; v1 submitted 16 December, 2010; originally announced December 2010.

Comments: 50 pages, 6 figures. Exposition substantially improved based on suggestions of anonymous referees; in particular, the introduction is re-written and Appendix B deleted. To be published in Communications in Analysis and Geometry

MSC Class: 55N91 (Primary) 52B99 (Secondary)

Smooth Lie group actions are parametrized diffeological subgroups

Authors: Patrick Iglesias-Zemmour, Yael Karshon

Abstract: We show that every effective smooth action of a Lie group G on a manifold M is a diffeomorphism from G onto its image in Diff(M), where the image is equipped with the subset diffeology of the functional diffeology. We show that every effective smooth action of a Lie group G on a manifold M is a diffeomorphism from G onto its image in Diff(M), where the image is equipped with the subset diffeology of the functional diffeology. △ Less

Submitted 1 December, 2010; originally announced December 2010.

Comments: 12 pages

MSC Class: 54H15; 58B

Shortening the Hofer length of Hamiltonian circle actions

Authors: Yael Karshon, Jennifer Slimowitz

Abstract: A Hamiltonian circle action on a compact symplectic manifold is known to be a closed geodesic with respect to the Hofer metric on the group of Hamiltonian diffeomorphisms. If the momentum map attains its minimum or maximum at an isolated fixed point with isotropy weights not all equal to plus or minus one, then this closed geodesic can be deformed into a loop of shorter Hofer length. In this paper… ▽ More A Hamiltonian circle action on a compact symplectic manifold is known to be a closed geodesic with respect to the Hofer metric on the group of Hamiltonian diffeomorphisms. If the momentum map attains its minimum or maximum at an isolated fixed point with isotropy weights not all equal to plus or minus one, then this closed geodesic can be deformed into a loop of shorter Hofer length. In this paper we give a lower bound for the possible amount of shortening, and we give a lower bound for the index ("number of independent shortening directions"). If the minimum or maximum is attained along a submanifold B, then we deform the circle action into a loop of shorter Hofer length whenever the isotropy weights have sufficiently large absolute values and the normal bundle of B is sufficiently un-twisted. △ Less

Submitted 8 December, 2013; v1 submitted 4 December, 2009; originally announced December 2009.

Comments: 43 pages. To appear in the Journal of Symplectic Geometry

MSC Class: 53D35

Convexity package for momentum maps on contact manifolds

Authors: River Chiang, Yael Karshon

Abstract: 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. Thi… ▽ More 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. △ Less

Submitted 9 March, 2010; v1 submitted 29 October, 2009; originally announced October 2009.

Comments: 39 pages. Contains small corrections and a small simplification of the argument. To appear in Algebraic and Geometric Topology.

MSC Class: 53D (Primary); 52B; 57R (Secondary)

Journal ref: Algebr. Geom. Topol. 10 (2010) 925-977

Non-Compact Symplectic Toric Manifolds

Authors: Yael Karshon, Eugene Lerman

Abstract: A key result in equivariant symplectic geometry is Delzant's classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a unimodular ("Delzant") polytope; this gives a bijection between unimodular polytopes and isomorphism classes of compact conne… ▽ More A key result in equivariant symplectic geometry is Delzant's classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a unimodular ("Delzant") polytope; this gives a bijection between unimodular polytopes and isomorphism classes of compact connected symplectic toric manifolds. In this paper we extend Delzant's classification to non-compact symplectic toric manifolds. For a non-compact symplectic toric manifold the image of the moment map need not be convex and the induced map on the quotient need not be an embedding. Moreover, even when the map on the quotient is an embedding, its image no longer determines the symplectic toric manifold; a degree two characteristic class on the quotient makes an appearance. Nevertheless, the quotient is a manifold with corners, and the induced map from the quotient to the dual of the Lie algebra is what we call a unimodular local embedding. We classify non-compact symplectic toric manifolds in terms of manifolds with corners equipped with degree two cohomology classes and unimodular local embeddings into the dual of the Lie algebra of the corresponding torus. The main new ingredient is the construction of a symplectic toric manifold from such data. The proof passes through an equivalence of categories between symplectic toric manifolds and symplectic toric bundles over a fixed unimodular local embedding. This equivalence also gives a geometric interpretation of the degree two cohomology class. △ Less

Submitted 22 July, 2015; v1 submitted 16 July, 2009; originally announced July 2009.

MSC Class: Primary 53D20; Secondary 53035; 14M25

Journal ref: SIGMA 11 (2015), 055, 37 pages

Revisiting Tietze-Nakajima - Local and Global Convexity for Maps

Authors: Yael Karshon, Christina Bjorndahl

Abstract: 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… ▽ More 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. △ Less

Submitted 18 November, 2009; v1 submitted 25 January, 2007; originally announced January 2007.

MSC Class: 52A;53D

A compact symplectic four-manifold admits only finitely many inequivalent toric actions

Authors: Yael Karshon, Liat Kessler, Martin Pinsonnault

Abstract: Let (M,ω) be a four dimensional compact connected symplectic manifold. We prove that (M,ω) admits only finitely many inequivalent Hamiltonian effective 2-torus actions. Consequently, if M is simply connected, the number of conjugacy classes of 2-tori in the symplectomorphism group Sympl(M,ω) is finite. Our proof is "soft". The proof uses the fact that for symplectic blow-ups of \CP^2 the restric… ▽ More Let (M,ω) be a four dimensional compact connected symplectic manifold. We prove that (M,ω) admits only finitely many inequivalent Hamiltonian effective 2-torus actions. Consequently, if M is simply connected, the number of conjugacy classes of 2-tori in the symplectomorphism group Sympl(M,ω) is finite. Our proof is "soft". The proof uses the fact that for symplectic blow-ups of \CP^2 the restriction of the period map to the set of exceptional homology classes is proper. In an appendix, we describe results of McDuff that give a properness result for a general compact symplectic four-manifold, using the theory of J-holomorphic curves. △ Less

Submitted 13 November, 2006; v1 submitted 1 September, 2006; originally announced September 2006.

Comments: 25 pages, 8 figures. Version 2 contains a completely "soft" proof of the main result. The proof in Version 1 used a (soft) lemma about the existence of certain symplectically embedded spheres in toric manifolds. The proof of this lemma has been removed from the published version but it is included in this Eprint as a second appendix

MSC Class: 53D35

Journal ref: J. Symplectic Geom. Volume 5, Number 2 (2007), 139-166

Exact Euler Maclaurin formulas for simple lattice polytopes

Authors: Yael Karshon, Shlomo Sternberg, Jonathan Weitsman

Abstract: 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 wi… ▽ More 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. △ Less

Submitted 11 September, 2006; v1 submitted 27 July, 2005; originally announced July 2005.

Comments: 35 pages, 5 figures. To appear in Advances in Applied Mathematics

MSC Class: 65B15; 52B20

Orbifolds as diffeologies

Authors: Patrick Iglesias, Yael Karshon, Moshe Zadka

Abstract: We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent to Satake's notion of a V-manifold and to Haefliger's notion of an orbifold. This follows from a lemma: a diffeomorphism (in the diffeological sense) of finite… ▽ More We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent to Satake's notion of a V-manifold and to Haefliger's notion of an orbifold. This follows from a lemma: a diffeomorphism (in the diffeological sense) of finite linear quotients lifts to an equivariant diffeomorphism. △ Less

Submitted 15 April, 2010; v1 submitted 6 January, 2005; originally announced January 2005.

Comments: 26 pages, 6 figures. Minor changes.

MSC Class: 58A (Primary); 57R (Secondary)

Journal ref: Transactions of the American Mathematical Society 362 (2010), 2811-2831.

Circle and torus actions on equal symplectic blow-ups of CP^2

Authors: Yael Karshon, Liat Kessler

Abstract: A manifold obtained by k simultaneous symplectic blow-ups of CP^2 of equal sizes epsilon (where the size of CP^1 \subset CP^2 is one) admits an effective two dimensional torus action if k <= 3 and admits an effective circle action if (k-1)epsilon < 1. We show that these bounds are sharp if 1/epsilon is an integer. A manifold obtained by k simultaneous symplectic blow-ups of CP^2 of equal sizes epsilon (where the size of CP^1 \subset CP^2 is one) admits an effective two dimensional torus action if k <= 3 and admits an effective circle action if (k-1)epsilon < 1. We show that these bounds are sharp if 1/epsilon is an integer. △ Less

Submitted 2 January, 2005; originally announced January 2005.

Comments: 19 pages

Journal ref: Math. Res. Letters 14 (2007), no. 5, 807-823

The Gromov width of complex Grassmannians

Authors: Yael Karshon, Susan Tolman

Abstract: We show that the Gromov width of the Grassmannian of complex k-planes in C^n is equal to one when the symplectic form is normalized so that it generates the integral cohomology in degree 2. We deduce the lower bound from more general results. For example, if a compact manifold N with an integral symplectic form omega admits a Hamiltonian circle action with a fixed point p such that all the isotr… ▽ More We show that the Gromov width of the Grassmannian of complex k-planes in C^n is equal to one when the symplectic form is normalized so that it generates the integral cohomology in degree 2. We deduce the lower bound from more general results. For example, if a compact manifold N with an integral symplectic form omega admits a Hamiltonian circle action with a fixed point p such that all the isotropy weights at p are equal to one, then the Gromov width of (N,omega) is at least one. We use holomorphic techniques to prove the upper bound. △ Less

Submitted 24 August, 2005; v1 submitted 20 May, 2004; originally announced May 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-38.abs.html

MSC Class: 53D20; 53D45

Journal ref: Algebr. Geom. Topol. 5 (2005) 911-922

Euler Maclaurin with remainder for a simple integral polytope

Authors: Yael Karshon, Shlomo Sternberg, Jonathan Weitsman

Abstract: 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. 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. △ Less

Submitted 4 February, 2004; v1 submitted 9 July, 2003; originally announced July 2003.

Comments: 25 pages. Also see our previous paper in Proc. Nat. Acad. Sci. 100 no. 2 (2003), 426-433. Revision: added Euler Maclaurin formulas for symbols and for polynomials

MSC Class: 65B15; 52B20

Maximal tori in the symplectomorphism groups of Hirzebruch surfaces

Authors: Yael Karshon

Abstract: We count the conjugacy classes of maximal tori in the groups of symplectomorphisms of S^2 \times S^2 and of the blow-up of CP^2 at a point. We count the conjugacy classes of maximal tori in the groups of symplectomorphisms of S^2 \times S^2 and of the blow-up of CP^2 at a point. △ Less

Submitted 30 April, 2002; originally announced April 2002.

Comments: 7 pages

Complete invariants for Hamiltonian torus actions with two dimensional quotients

Authors: Yael Karshon, Susan Tolman

Abstract: We study torus actions on symplectic manifolds with proper moment maps in the case that each reduced space is two-dimensional. We provide a complete set of invariants for such spaces. Our proof uses sheaves of groupoids of Hamiltonian spaces. We study torus actions on symplectic manifolds with proper moment maps in the case that each reduced space is two-dimensional. We provide a complete set of invariants for such spaces. Our proof uses sheaves of groupoids of Hamiltonian spaces. △ Less

Submitted 13 December, 2003; v1 submitted 18 February, 2002; originally announced February 2002.

Comments: Final version, to appear in the Journal of Symplectic Geometry. Previous title: Tall complexity one Hamiltonian torus actions. Revisions: improved exposition

MSC Class: 53D20;53D35

Centered complexity one Hamiltonian torus actions

Authors: Yael Karshon, Susan Tolman

Abstract: We consider symplectic manifolds with Hamiltonian torus actions which are "almost but not quite completely integrable": the dimension of the torus is one less than half the dimension of the manifold. We provide a complete set of invariants for such spaces when they are "centered" and the moment map is proper. In particular, this classifies the moment map preimages of all sufficiently small open… ▽ More We consider symplectic manifolds with Hamiltonian torus actions which are "almost but not quite completely integrable": the dimension of the torus is one less than half the dimension of the manifold. We provide a complete set of invariants for such spaces when they are "centered" and the moment map is proper. In particular, this classifies the moment map preimages of all sufficiently small open sets, which is an important step towards global classification. As an application, we construct a full packing of each of the Grassmanians Gr^+(2,R^5) and Gr^+(2,R^6) by two equal symplectic balls. △ Less

Submitted 23 February, 2000; v1 submitted 23 November, 1999; originally announced November 1999.

Comments: 30 pages. In the revised version,as an application of our main result, we construct a full packing of each of the Grassmanians Gr^+(2,R^5) and Gr^+(2,R^6) by two equal symplectic balls

Assignments and Abstract Moment Maps

Authors: Viktor L. Ginzburg, Victor Guillemin, Yael Karshon

Abstract: moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this paper we a… ▽ More moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this paper we answer the question of existence of a (proper) abstract moment map for a torus action and give a necessary and sufficient condition for an abstract moment map to be associated with a pre-symplectic form. This is done by using the notion of an assignment, which is a combinatorial counterpart of an abstract moment map. Finally, we show that the space of assignments fits as the zeroth cohomology in a series of certain cohomology spaces associated with a torus action on a manifold. We study the resulting "assignment cohomology" theory. △ Less

Submitted 22 April, 1999; v1 submitted 21 April, 1999; originally announced April 1999.

Comments: 30 ages, ams-latex, minor corrections

MSC Class: 58F05

The relation between compact and non-compact equivariant cobordisms

Authors: Viktor L. Ginzburg, Victor L. Guillemin, Yael Karshon

Abstract: We show that the theory of stable complex $G$-cobordisms, for a torus $G$, is embedded into the theory of stable complex $G$-cobordisms of not necessarily compact manifolds equipped with proper abstract moment maps. Thus the introduction of such non-compact cobordisms in the stable complex $G$-cobordism theory does not lead to new relations. We show that the theory of stable complex $G$-cobordisms, for a torus $G$, is embedded into the theory of stable complex $G$-cobordisms of not necessarily compact manifolds equipped with proper abstract moment maps. Thus the introduction of such non-compact cobordisms in the stable complex $G$-cobordism theory does not lead to new relations. △ Less

Submitted 4 December, 1998; v1 submitted 15 October, 1998; originally announced October 1998.

Comments: Corrections to the proof of the main theorem and the statement of Theorem 4.3; AMS-LaTeX, 14 pages. Proceedings of the International Workshop on Topology, M. Farber, W. Lueck, and S. Weinberger (Editors); Publ. AMS, Contemporary Math. Series (to appear)

MSC Class: 53C15; 57R85; 57R90; 58F05

Quantization of Presymplectic Manifolds and Circle Actions

Authors: Ana Canas da Silva, Yael Karshon, Susan Tolman

Abstract: We prove several versions of "quantization commutes with reduction" for circle actions on manifolds that are not symplectic. Instead, these manifolds possess a weaker structure, such as a spin^c structure. Our theorems work whenever the quantization data and the reduction data are compatible; this condition always holds if we start from a presymplectic (in particular, symplectic) manifold. We prove several versions of "quantization commutes with reduction" for circle actions on manifolds that are not symplectic. Instead, these manifolds possess a weaker structure, such as a spin^c structure. Our theorems work whenever the quantization data and the reduction data are compatible; this condition always holds if we start from a presymplectic (in particular, symplectic) manifold. △ Less

Submitted 16 May, 1997; originally announced May 1997.

Comments: LaTeX 2e, 28 pages

Report number: MSRI 1997-058

Moment maps and non-compact cobordisms

Authors: Yael Karshon

Abstract: We define a moment map associated to a smooth torus action on a smooth manifold, without a two-form. We define cobordisms of such structures, allowing non compact manifolds as long as the moment maps are proper. We prove that a compact manifold with a torus action and a moment map is cobordant to the disjoint union of the normal bundles of the connected components of the fixed points set. We use… ▽ More We define a moment map associated to a smooth torus action on a smooth manifold, without a two-form. We define cobordisms of such structures, allowing non compact manifolds as long as the moment maps are proper. We prove that a compact manifold with a torus action and a moment map is cobordant to the disjoint union of the normal bundles of the connected components of the fixed points set. We use this to give simple new proofs of two formulas: Guillemin's topological version of the abelian Jeffrey-Kirwan localization, and the Guillemin-Lerman-Sternberg formula for the Duistermaat-Heckman measure. △ Less

Submitted 19 January, 1997; originally announced January 1997.

Comments: LaTeX2e, 13 pages

Example of a non-log-concave Duistermaat-Heckman measure

Authors: Yael Karshon

Abstract: We construct a compact symplectic manifold with a Hamiltonian circle action for which the Duistermaat-Heckman function is not log-concave. We construct a compact symplectic manifold with a Hamiltonian circle action for which the Duistermaat-Heckman function is not log-concave. △ Less

Submitted 20 June, 1996; originally announced June 1996.

Comments: LaTeX2e, 3 pages

Cobordism theory and localization formulas for Hamiltonian group actions

Authors: Viktor Ginzburg, Victor Guillemin, Yael Karshon

Abstract: We announce the following result and give several applications: A Hamiltonian $T$-space (for $T$ a torus) with isolated fixed points is cobordant to a disjoint union of weighted projective spaces which are constructed from its fixed point data. The applications concern the Duistermaat-Heckman formula, the topological Jeffrey-Kirwan localization theorem, and geometric quantization. We announce the following result and give several applications: A Hamiltonian $T$-space (for $T$ a torus) with isolated fixed points is cobordant to a disjoint union of weighted projective spaces which are constructed from its fixed point data. The applications concern the Duistermaat-Heckman formula, the topological Jeffrey-Kirwan localization theorem, and geometric quantization. △ Less

Submitted 12 January, 1996; originally announced January 1996.

Comments: 14 pages, AMS-LaTeX

Periodic Hamiltonian flows on four dimensional manifolds

Authors: Yael Karshon

Abstract: We classify the periodic Hamiltonian flows on compact four dimensional symplectic manifolds up to isomorphism of Hamiltonian S^1 spaces. Additionally, we show that all these spaces are Kaehler, that every such space is obtained from a simple model by a sequence of symplectic blowups, and that if the fixed points are isolated then the space is a toric variety. We classify the periodic Hamiltonian flows on compact four dimensional symplectic manifolds up to isomorphism of Hamiltonian S^1 spaces. Additionally, we show that all these spaces are Kaehler, that every such space is obtained from a simple model by a sequence of symplectic blowups, and that if the fixed points are isolated then the space is a toric variety. △ Less

Submitted 7 April, 1998; v1 submitted 13 October, 1995; originally announced October 1995.

Comments: 71 pages, LaTeX. The paper is essentially rewritten (following an excellent referee report): I clarified statements, simplified proofs, added missing details, and corrected a false proof of a true statement, which is currently in Appendix C

MSC Class: 58F05; 70H33 (Primary) 53C12; 53C55 (Secondary)

The Centralizer of Invariant Functions and Division Properties of the Moment Map

Authors: Eugene Lerman, Yael Karshon

Abstract: Let Phi : M --> g^* be a proper moment map associated to an action of a compact connected Lie group, G, on a connected symplectic manifold, (M,ω). A collective function is a pullback via Φof a smooth function on g^*. In this paper we present four new results about the relationship between the collective functions and the G-invariant functions in the Poisson algebra of smooth functions on M. Let Phi : M --> g^* be a proper moment map associated to an action of a compact connected Lie group, G, on a connected symplectic manifold, (M,ω). A collective function is a pullback via Φof a smooth function on g^*. In this paper we present four new results about the relationship between the collective functions and the G-invariant functions in the Poisson algebra of smooth functions on M. △ Less

Submitted 25 September, 1996; v1 submitted 15 June, 1995; originally announced June 1995.

Comments: We essentially rewrote the paper. 22 pages, LaTeX2e. Will appear in the Illinois Journal of Mathematics in late 1997