English

Kahler-type embeddings of balls into symplectic manifolds

Symplectic Geometry 2024-05-24 v2 Algebraic Geometry Differential Geometry

Abstract

Consider a symplectic embedding of a disjoint union of domains into a symplectic manifold MM. Such an embedding is called Kahler-type, or respectively tame, if it is holomorphic with respect to some (not a priori fixed, Kahler-type) complex structure on MM compatible with the symplectic form, or respectively tamed by it. Assume that MM either of the following: a complex projective space (with the standard symplectic form), an even-dimensional torus or a K3 surface equipped with an irrational Kahler-type symplectic form. Then any two Kahler-type embeddings of a disjoint union of balls into MM can be mapped into each other by a symplectomorphism acting trivially on the homology. If the embeddings are holomorphic with respect to complex structures compatible with the symplectic form and lying in the same connected component of the space of Kahler-type complex structures on MM, then the symplectomorphism can be chosen to be smoothly isotopic to the identity. For certain MM and certain disjoint unions of balls we describe precisely the obstructions to the existence of Kahler-type embeddings of the balls into MM. In particular, symplectic volume is the only obstruction for the existence of Kahler-type embeddings of lnl^n equal balls (for any ll) into the nn-dimensional complex projective space with the standard symplectic form and of any number of possibly different balls into a torus or a K3 surface, equipped with an irrational symplectic form. We also show that symplectic volume is the only obstruction for the existence of tame embeddings of disjoint unions of equal balls, polydisks, or parallelepipeds, into a torus equipped with a generic Kahler-type symplectic form. For balls and parallelepipeds the same is true for K3 surfaces.

Keywords

Cite

@article{arxiv.2211.15970,
  title  = {Kahler-type embeddings of balls into symplectic manifolds},
  author = {Michael Entov and Misha Verbitsky},
  journal= {arXiv preprint arXiv:2211.15970},
  year   = {2024}
}

Comments

The results for CP^2 and Hirzebruch surfaces slightly improved; other minor corrections. To appear in the J. of the Association for Mathematical Research