Source author record

Yael Karshon

Yael Karshon appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

Diffeological submanifolds and their friends

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.

preprint2022arXiv

Quasifold groupoids and diffeological quasifolds

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.

preprint2020arXiv

Givental's non-linear Maslov index on lens spaces

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.

preprint2016arXiv

Basic Forms and Orbit Spaces: a Diffeological Approach

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.

preprint2015arXiv

Non-Compact Symplectic Toric Manifolds

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.

preprint2014arXiv

Counting toric actions on symplectic four-manifolds

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.

preprint2012arXiv

Localization for equivariant cohomology with varying polarization

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.

preprint2010arXiv

Convexity package for momentum maps on contact manifolds

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.

preprint2010arXiv

Orbifolds as diffeologies

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.

preprint2006arXiv

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

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.

preprint2005arXiv

The Gromov width of complex Grassmannians

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.