We prove that a resolution of singularities of any finite covering of the projective plane branched along a Hurwitz curve $\bar H$ and, maybe, along a line "at infinity" can be embedded as a symplectic submanifold into some projective algebraic manifold equipped with an integer Kähler symplectic form (assuming that if $\bar H$ has negative nodes, then the covering is non-singular over them). For cyclic coverings we can realize this embeddings into a rational algebraic 3--fold. Properties of the Alexander polynomial of $\bar{H}$ are investigated and applied to the calculation of the first Betti number $b_1(\bar X_n)$ of a resolution $\bar X_n$ of singularities of $n$-sheeted cyclic coverings of $\mathbb C\mathbb P^2$ branched along $\bar H$ and, maybe, along a line "at infinity". We prove that $b_1(\bar X_n)$ is even if $\bar H$ is an irreducible Hurwitz curve but, in contrast to the algebraic case, that it can take any non-negative value in the case when $\bar H$ consists of several irreducible components.
We construct smooth actions of arbitrary compact Lie groups on complex projective spaces, such that the corresponding transformations arising from the group action do not preserve any symplectic structure on the complex projective space.
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.
After reviewing recent results on symplectic Lefschetz pencils and symplectic branched covers of CP^2, we describe a new construction of maps from symplectic manifolds of any dimension to CP^2 and the associated monodromy invariants. We also show that a dimensional induction process makes it possible to describe any compact symplectic manifold by a series of words in braid groups and a word in a symmetric group.
Given a projective sequence of Banach bundles, each one provided with a of weak symplectic form, we look for conditions under which, the corresponding sequence of weak symplectic forms gives rise to weak symplectic form on the projective limit bundle. Then we apply this results to the tangent bundle of a projective limit of Banach manifolds. This naturally leads to ask about conditions under which the Darboux Theorem is also true on the projective limit of Banach manifolds. We will give some necessary and some sufficient conditions so that such a result is true. Then we discuss why, in general…
We prove, in a geometric way, that the standard contact structure on the real projective space of dimension $2n-1$ is not Liouville fillable for $n \ge 3$ and odd. We also prove that, for all $n$, semipositive fillings of those contact structures are simply connected. Finally we give yet another proof of the Eliashberg-Floer-McDuff theorem on the diffeomorphism type of the symplectically aspherical fillings of the standard contact structure on the $(2n-1)$-dimensional sphere.
We study smooth projective varieties with small dual variety using methods from symplectic topology. We prove the affine parts of such varieties are subcritical, and that the hyperplane class is invertible in their quantum cohomology. We derive several topological and algebraic geometric consequences from that. The main tool in our work is the Seidel representation associated to Hamiltonian fibrations.
These notes accompany a lecture about the topology of symplectic (and other) quotients. The aim is two-fold: first to advertise the ease of computation in the symplectic category; and second to give an account of some new computations for weighted projective spaces. We start with a brief exposition of how orbifolds arise in the symplectic category, and discuss the techniques used to understand their topology. We then show how these results can be used to compute the Chen-Ruan orbifold cohomology ring of abelian symplectic reductions. We conclude by comparing the several rings associated to a w…
Inspired by the results on symmetries of the symplectic Dirac operator, we realize symplectic spinor fields and the symplectic Dirac operator in the framework of (the double cover of) homogeneous projective structure in two real dimensions. The symmetry group of the homogeneous model of the double cover of projective geometry in two real dimensions is $\widetilde{\mathrm{SL}}(3,{\mathbb R})$.
The main theorem of this paper is a result of estimated transversality with respect to stratifications of jet spaces in the approximately holomorphic category over an almost-complex manifold. The notion of asymptotic ampleness of complex vector bundles over an almost-complex manifold is also discussed, as well as applications to the construction of maps with generic singularities from compact symplectic manifolds to projective spaces.
We associate curves of isotropic, Lagrangian and coisotropic subspaces to higher order, one parameter variational problems. Minimality and conjugacy properties of extremals are described in terms of these curves.
In this note we observe that Arnold conjecture for the Hamiltonian maps still holds on weighted projective spaces $\CP^n({\bf q})$, and that Arnold conjecture for the Lagrange intersections for $(\CP^n({\bf q}), \RP^n({\bf q}))$ is also true if each weight $q_i\in {\bf q}=\{q_1,..., q_{n+1}\}$ is odd.
We prove that every symplectic toric orbifold is a centered reduction of a Cartesian product of weighted projective spaces. A theorem of Abreu and Macarini shows that if the level set of the reduction passes through a non-displaceable set then the image of this set in the reduced space is also non-displaceable. Using this result we show that every symplectic toric orbifold contains a non-displaceable fiber and we identify this fiber.
For a Lagrangian torus A in a simply-connected projective symplectic manifold M, we prove that M has a hypersurface disjoint from a deformation of A. This implies that a Lagrangian torus in a compact hyperkähler manifold is a fiber of an almost holomorphic Lagrangian fibration, giving an affirmative answer to a question of Beauville's. Our proof employs two different tools: the theory of action-angle variables for algebraically completely integrable Hamiltonian systems and Wielandt's theory of subnormal subgroups.
We introduce a natural symplectic structure on the moduli space of quadratic differentials with simple zeros and describe its Darboux coordinate systems in terms of so-called homological coordinates. We then show that this structure coincides with the canonical Poisson structure on the cotangent bundle of the moduli space of Riemann surfaces, and therefore the homological coordinates provide a new system of Darboux coordinates. We define a natural family of commuting "homological flows" on the moduli space of quadratic differentials and find the corresponding action-angle variables. The space …
Suppose M be the projective limit of weak symplectic Banach manifolds \{(M_i,ϕ_{ij})\}_{i,j\in\mathbb N}, where M_i are modeled over reflexive Banach space and σis compatible with the inverse system(defined in the article). We associate to each point x\in M, a Fréchet space H_x(defined in section 3). We prove that if H_x are locally constant, then with certain smoothness and boundedness condition, there exists Darboux chart for the weak symplectic structure.
For symplectic group actions which are not Hamiltonian there are two ways to define reduction. Firstly using the cylinder-valued momentum map and secondly lifting the action to any Hamiltonian cover (such as the universal cover), and then performing symplectic reduction in the usual way. We show that provided the action is free and proper, and the Hamiltonian holonomy associated to the action is closed, the natural projection from the latter to the former is a symplectic cover. At the same time we give a classification of all Hamiltonian covers of a given symplectic group action. The main prop…
Recently, extending work by Karshon, Kessler and Pinsonnault, Borisov and McDuff showed that a given symplectic manifold $(M,ω)$ has a finite number of distinct toric structures. Moreover, McDuff also showed a product of two projective spaces $\bC P^r\times \bC P^s$ with any given symplectic form has a unique toric structure provided that $r,s\geq 2$. In contrast, the product $\bC P^r \times \bC P^1$ can be given infinitely many distinct toric structures, though only a finite number of these are compatible with each given symplectic form $ω$. In this paper we extend these results by considerin…
In this paper, we construct the moduli space of marked oper structures on a closed, oriented smooth surface of negative Euler characteristic as a holomorphic fiber bundle over Teichmüller space. We prove that the holonomy map from the space of marked oper structures to the moduli space of reductive flat bundles is a holomorphic immersion, generalizing the known results for the moduli space of marked complex projective structures. Finally, we prove that the symplectic structure on the moduli space of marked complex projective structures extends to a pre-symplectic structure on the moduli space …
In analogy to the relation between symplectic packings and symplectic blow ups we show that multiple point Seshadri constants on projective complex surfaces can be calculated as the supremum of radii of multiple Kähler ball embeddings.
We study the existence of symplectic resolutions of quotient singularities V/G where V is a symplectic vector space and G acts symplectically. Namely, we classify the symplectically irreducible and imprimitive groups, excluding those of the form $K \rtimes S_2$ where $K < \SL_2(\C)$, for which the corresponding quotient singularity admits a projective symplectic resolution. As a consequence, for $\dim V \neq 4$, we classify all quotient singularities $V/G$ admitting a projective symplectic resolution which do not decompose as a product of smaller-dimensional quotient singularities, except for …
By a result of Kedra and Pinsonnault, we know that the topology of groups of symplectomorphisms of symplectic 4-manifolds is complicated in general. However, in all known (very specific) examples, the rational cohomology rings of symplectomorphism groups are finitely generated. In this paper, we compute the rational homotopy Lie algebra of symplectomorphism groups of the 3-point blow-up of the projective plane (with an arbitrary symplectic form) and show that in some cases, depending on the sizes of the blow-ups, it is infinite dimensional. Moreover, we explain how the topology is generated by…
The symplectic implosion construction of Guillemin, Jeffrey and Sjamaar associates to a Hamiltonian action of a compact group K on a symplectic manifold X its 'imploded cross section'. When X is a complex projective variety and K acts linearly on X, this construction is closely related to geometric invariant theory (GIT) for the action on X of a maximal unipotent subgroup U of the complexification G of K. The aim of this paper is to generalise symplectic implosion to give a symplectic construction for GIT-like quotients by unipotent radicals U of arbitrary parabolic subgroups P of the complex …
We study symplectic structures on Kähler surfaces with p_g = 0. We give an example of a projective surface which admits a symplectic structure which is not compatible with any Kähler metric.
Let $X$ be an $n$-dimensional smooth complex projective variety embedded in $\mathbb{C}\mathbb{P}^{N}$. We construct a smooth family $\mathcal{X}$ over $\mathbb{C}$ with an embedding in $\mathbb{C}\mathbb{P}^{N} \times \mathbb{C}$ whose generic fiber is $X$ and the special fiber is the torus $(\mathbb{C}^*)^n$ sitting in $\mathbb{C}\mathbb{P}^{N}$ via a monomial embedding. We use this to show that if $ω$ is an integral Kähler form on $X$ then for any $ε> 0$ there is an open subset $U_ε\subset X$ such that $vol(X \setminus U_ε) < ε$ and $U_ε$ is symplectomorphic to $(\mathbb{C}^*)^n$ equipped w…
We consider the Tarski--Bang problem about covering of convex bodies by planks. The results of this kind give a lower bound on the sum of widths of planks (regions between a pair of parallel hyperplanes) covering a given convex body. Previously we have applied some notions of symplectic geometry to study convex bodies, and here we show that the symplectic techniques may be useful in this problem as well. We are able to handle some particular cases with the symplectic techniques, and show that the general cases would follow from a certain ``subadditivity conjecture'' in symplectic geometry, mot…
The purpose of this paper is to study the relation between the $C^0$-topology and the topology induced by the spectral norm on the group of Hamiltonian diffeomorphisms of a closed symplectic manifold. Following the approach of Buhovsky-Humilière-Seyfaddini, we prove the $C^0$-continuity of the spectral norm for complex projective spaces and negative monotone symplectic manifolds. The case of complex projective spaces provides an alternative approach to the $C^0$-continuity of the spectral norm proven by Shelukhin. We also prove a partial $C^0$-continuity of the spectral norm for rational sympl…
We construct a universal deformation formula for Connes-Moscovici's Hopf algebra without any projective structure using Fedosov's quantization of symplectic diffeomorphisms.
In this paper we prove that the Torelli part of the symplectomorphism groups of the $n$-point ($n\leq 4$) blow-ups of the projective plane is trivial. Consequently, we determine the symplectic mapping class group. It is generated by reflections on $K_ω- $spherical class with zero $ω$ area.
An isomorphism of symplectically tame smooth pseudocomplex structures on the complex projective plane which is a homeomorphism and differentiable of full rank at two points is smooth.
We classify rational cuspidal curves of degrees 6 and 7 in the complex projective plane, up to symplectic isotopy. The proof uses topological tools, pseudoholomorphic techniques, and birational transformations.
We study the relations between the projective and the almost conformally symplectic structures on a smooth even dimensional manifold. We describe these relations by a single almost conformally symplectic connection with totally trace--free torsion sharing the geodesics (up to parametrization) with the projective class. This connection generalizes a (conformally) Fedosov structure depending on the remaining torsion of this distinguished connection. In fact, we see these structures as the almost symplectic analogy of the conformal Riemannian structures, because there is an analogy of the class o…
Motivated by the study of hyperkahler structures in moduli problems and hyperkahler implosion, we initiate the study of non-reductive hyperkahler and algebraic symplectic quotients with an eye towards those naturally tied to projective geometry, like cotangent bundles of blow-ups of linear arrangements of projective space. In the absence of a Kempf-Ness theorem for non-reductive quotients, we focus on constructing algebraic symplectic analogues of additive quotients of affine spaces, and obtain hyperkahler structures on large open subsets of these analogues by comparison with reductive analogu…
A symplectic structure on the space of nondegenerate and nonparametrized curves in a locally affine manifold is defined. We also consider several interesting spaces of nondegenerate projective curves endowed with Poisson structures. This construction connects the Virasoro algebra and the Gel'fand-Dikii bracket with the projective differential geometry.
We prove that the kernels of the restrictions of symplectic Dirac or symplectic Dirac-Dolbeault operators on natural subspaces of polynomial valued spinor fields are finite dimensional on a compact symplectic manifold. We compute those kernels for the complex projective spaces. We construct injections of subgroups of the symplectic group (the pseudo-unitary group and the stabilizer of a Lagrangian subspace) in the group Mpc and classify G-invariant Mpc-structures on symplectic spaces with a G-action. We prove a variant of Parthasarathy's formula for the commutator of two symplectic Dirac-type …
In this paper, we study the algebraic symplectic geometry of the singular moduli spaces of Higgs bundles of degree $0$ and rank $n$ on a compact Riemann surface $X$ of genus $g$. In particular, we prove that such moduli spaces are symplectic singularities, in the sense of Beauville [Bea00], and admit a projective symplectic resolution if and only if $g=1$ or $(g, n)=(2,2)$. These results are an application of a recent paper by Bellamy and Schedler [BS16] via the so-called Isosingularity Theorem.
For a complex projective manifold Gromov-Witten invariants can be constructed either algebraically or symplectically. Using the versions of Gromov-Witten theory by Behrend and Fantechi on the algebraic side and by the author on the symplectic side, we prove that both points of view give the same results. A similar statement has been obtained independently by Li and Tian using their definitions of algebraic and symplectic Gromov-Witten invariants (alg-geom/9712035).
Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and Teicher for complex projective surfaces. Moreover, we study the structure of these invariants and formulate conjectures supported by calculations on new examples.
A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection of $2$-spheres embedded, in the symplectic, smooth, or topological (locally flat) categories, in the complex projective plane. We find obstructions to realizability in the topological category, which a…
