Kahler-type embeddings of balls into symplectic manifolds

TL;DR

This paper investigates Kahler-type embeddings of balls into certain symplectic manifolds, establishing conditions under which such embeddings are unique up to symplectomorphism and identifying symplectic volume as the main obstruction.

Contribution

It characterizes when Kahler-type embeddings exist and are unique in complex projective spaces, tori, and K3 surfaces, highlighting symplectic volume as the key obstruction.

Findings

Kahler-type embeddings are unique up to symplectomorphism in specified manifolds.

Symplectic volume is the only obstruction for embedding equal balls into certain manifolds.

Tame embeddings of various shapes are obstructed only by symplectic volume in generic cases.

Abstract

Consider a symplectic embedding of a disjoint union of domains into a symplectic manifold $M$. 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 $M$ compatible with the symplectic form, or respectively tamed by it. Assume that $M$ 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 $M$ 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 $M$, then the symplectomorphism can be chosen to be smoothly isotopic to the identity. For certain $M$ and certain disjoint unions of balls we describe precisely the obstructions to the existence of Kahler-type embeddings of the balls into $M$. In particular, symplectic volume is the only obstruction for the existence of Kahler-type embeddings of $l^n$ equal balls (for any $l$) into the $n$-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.