Einstein Metrics, Complex Surfaces, and Symplectic 4-Manifolds
Claude LeBrun
备注:
12 pages, LaTeX2e. Final version, to appear in Math. Proc. Camb. Phil. Soc. (Preliminary version appeared in informal lecture-note volume in honor of Fujiki's 60th birthday.)
Which smooth compact 4-manifolds admit an Einstein metric with non-negative Einstein constant? A complete answer is provided in the special case of 4-manifolds that also happen to admit either a complex structure or a symplectic structure.
Let X be a smooth complex projective curve and S a finite subset of X. We show that an orthogonal or symplectic parabolic Higgs bundle on X with parabolic structure over S admits a Hermitian-Einstein connection if and only if it is polystable.
Let Y be a hypersurface in a 2n-dimensional holomorphic symplectic manifold X. The restriction $σ|_Y$ of the holomorphic symplectic form induces a rank one foliation on Y. We investigate situations where this foliation has compact leaves; in such cases we obtain a space of leaves Y/F which has dimension 2n-2 and admits a holomorphic symplectic form.
It is shown that the existence of an $ω$-compatible Einstein metric on a compact symplectic manifold $(M,ω)$ imposes certain restrictions on the symplectic Chern numbers. Examples of symplectic manifolds which do not satisfy these restrictions are given. The results offer partial support to a conjecture of Goldberg.
A log symplectic manifold is a Poisson manifold which is generically nondegenerate. We develop two methods for constructing the symplectic groupoids of log symplectic manifolds. The first is a blow-up construction, corresponding to the notion of an elementary modification of a Lie algebroid along a subalgebroid. The second is a gluing construction, whereby groupoids defined on the open sets of an appropriate cover may be combined to obtain global integrations. This allows us to classify all Hausdorff symplectic groupoids of log symplectic manifolds in a combinatorial fashion, in terms of a cer…
A symplectic manifold $(M,ω)$ is called {\em (symplectically) uniruled} if there is a nonzero genus zero GW invariant involving a point constraint. We prove that symplectic uniruledness is invariant under symplectic blow-up and blow-down. This theorem follows from a general Relative/Absolute correspondence for a symplectic manifold together with a symplectic submanifold. A direct consequence is that symplectic uniruledness is a symplectic birational invariant. Here we use Guillemin and Sternberg's notion of cobordism as the symplectic analogue of the birational equivalence.
We give the parallelism between locally conformal symplectic manifolds and contact manifolds. We also give the generalization of exact contact manifolds.
We prove that the information geometry's Frobenius manifold is a symplectic manifold having Poisson structures. By proving this statement, a bridge is created between the theories developed by Vinberg, Souriau and Koszul and the Frobenius manifold approach. Until now these approaches seemed disconnected.
Let M be a closed symplectic manifold of volume V. We say that the symplectic packings of M by ellipsoids are unobstructed if any collection of disjoint symplectic ellipsoids (possibly of different sizes) of total volume less than V admits a symplectic embedding to M. We show that the symplectic packings by ellipsoids are unobstructed for all even-dimensional tori equipped with Kahler symplectic forms and all closed hyperkahler manifolds of maximal holonomy, or, more generally, for closed Campana simple manifolds (that is, Kahler manifolds that are not unions of their complex subvarieties), as…
We consider closed symplectically aspherical manifolds, i.e. closed symplectic manifolds $(M,ω)$ satisfying the condition $[ω]|_{π_2M}=0$. Rudyak and Oprea [RO] remarked that such manifolds have nice and controllable homotopy properties. Now it is clear that these properties are mostly determined by the fact that the strict category weight of $[ω]$ equals 2. We apply the theory of strict category weight to the problem of estimating the number of closed orbits of charged particles in symplectic magnetic fields. In case of symplectically aspherical manifolds our theory enables us to improve some…
Let (M, g, omega) be a compact, almost-Kaehler Einstein 4-manifold of negative star-scalar curvature. Then (M, omega) is a MINIMAL symplectic 4-manifold of general type. In particular, M cannot be differentiably decomposed as a connected sum N # (-CP_2).
We introduce certain homology and cohomology subgroups for any almost complex structure and study their pureness, fullness and duality properties. Motivated by a question of Donaldson, we use these groups to relate J-tamed symplectic cones and J-compatible symplectic cones over a large class of almost complex manifolds, including all Kahler manifolds, almost Kahler 4-manifolds and complex surfaces.
In this paper, we construct simply connected symplectic Calabi-Yau 6-manifolds by applying Gompf's symplectic fiber sum operation along $T^4$. Using our construction, we also produce symplectic non-Kähler Calabi-Yau 6-manifolds with fundamental group $\Z$. In this paper, we also produce the first examples of simply connected symplectic Calabi-Yau and non-Calabi-Yau 6-manifolds via coisotropic Luttinger surgery.
We discuss the construction of toric Kaehler metrics on symplectic 2n-manifolds with a hamiltonian n-torus action and present a simple derivation of the Guillemin formula for a distinguished Kaehler metric on any such manifold. The results also apply to orbifolds.
Let M be a closed symplectic manifold of volume V. We say that M admits an unobstructed symplectic packing by balls if any collection of symplectic balls (of possibly different radii) of total volume less than V admits a symplectic embedding to M. In 1994 McDuff and Polterovich proved that symplectic packings of Kahler manifolds can be characterized in terms of the Kahler cones of their blow-ups. When M is a Kahler manifold which is not a union of its proper subvarieties (such a manifold is called Campana simple) these Kahler cones can be described explicitly using the Demailly and Paun struct…
For each simple symplectic triple system over the real numbers, the standard enveloping Lie algebra and the algebra of inner derivations of the triple provide a reductive pair related to a semi-Riemannian homogeneous manifold. It is proved that this is an Einstein manifold.
We present some methods to construct smooth circle actions on symplectic manifolds with non-symplectic fixed point sets or non-symplectic cyclic isotropy point sets. All such actions are not compatible with any symplectic form.
For a complete symplectic manifold $M^{2n}$, we define the $L^{2}$-hard Lefschetz property on $M^{2n}$. We also prove that the complete symplectic manifold $M^{2n}$ satisfies $L^{2}$-hard Lefschetz property if and only if every class of $L^{2}$-harmonic forms contains a $L^{2}$ symplectic harmonic form. As an application, we get if $M^{2n}$ is a closed symplectic parabolic manifold which satisfies the hard Lefschetz property, then its Euler characteristic satisfies the inequality $(-1)^{n}χ(M^{2n})\geq0$.
From a view point of the moment map, we shall introduce the notion of Einstein-Hermitian generalized connections over a generalized Kähler manifold of symplectic type. We show that moduli spaces of Einstein-Hermitian generalized connections arise as the Kähler quotients. The deformation complex of Einstein-Hermitian generalized connections is an elliptic complex and it turns out that the smooth part of the moduli space is a finite dimensional Kähler manifold. The canonical line bundle over a generalized Kähler manifold of symplectic type has the canonical generalized connection and its curvatu…
We compute the second coefficient of the composition of two Berezin-Toeplitz operators associated with the $\text{spin}^c$ Dirac operator on a symplectic manifold, making use of the full-off diagonal expansion of the Bergman kernel.
We classify nilmanifolds with an invariant symplectic half-flat structure. We solve the half-flat evolution equations in one example, writing down the resulting Ricci-flat metric. We study the geometry of the orbit space of 6-manifolds with an SU(3)-structure preserved by a U(1) action, giving characterizations in the symplectic half-flat and integrable case.
We show that the almost complex structure underlying a non-Kahler, nearly Kahler 6-manifold (in particular, the standard almost complex structure of S^6) cannot be compatible with any symplectic form, even locally.
We obtain new families of (1,2)-symplectic invariant metrics on the full complex flag manifolds F(n). For n > 4, we characterize n-3 different n-dimensional families of (1,2)-symplectic invariant metrics on F(n). Any of these families corresponds to a different class of non-integrable invariant almost complex structure on F(n).
A Hermitian symplectic manifold is a complex manifold endowed with a symplectic form $ω$, for which the bilinear form $ω(I\cdot,\cdot)$ is positive definite. In this work we prove $dd^c$-lemma for 1- and (1,1)-forms for compact Hermitian symplectic manifolds of dimension 3. This shows that Albanese map for such manifolds is well-defined and allows one to prove Kählerness if the dimension of the Albanese image of a manifold is maximal.
In \cite{btoric}, Guillemin et al. proved a Delzant-type theorem which classifies $b$-symplectic toric manifolds. More generally, in \cite{torus} they proved a similar convexity result for general Hamiltonian torus action on $b$-symplectic manifolds. In this paper, we provide a new way to construct $b$-symplectic toric manifolds from usual toric manifolds. Conversely, through this way, we can also decompose a $b$-symplectic toric manifolds to usual toric manifolds. Finally, we will try to prove that this kind of decomposition is useful, although the symplectic structure for our decomposition o…
We establish various stability results for symplectic surfaces in symplectic $4-$manifolds with $b^+=1$. These results are then applied to prove the existence of representatives of Lagrangian ADE-configurations as well as to classify negative symplectic spheres in symplectic $4-$manifolds with $κ=-\infty$. This involves the explicit construction of spheres in rational manifolds via a new construction technique called the tilted transport.
The harmonic cohomology of a Donaldson symplectic submanifold and of an Auroux symplectic submanifold are compared with that of its ambient space. We also study symplectic manifolds satisfying a weakly Lefschetz property, that is, the $s$-Lefschetz propery. In particular, we consider the symplectic blow-ups of the complex projective space along weakly Lefschetz symplectic submanifolds. As an application we construct, for each even integer $s\geq 2$, compact symplectic manifolds which are $s$-Lefschetz but not $(s+1)$-Lefschetz.
We introduce scattering-symplectic manifolds, manifolds with a type of minimally degenerate Poisson structure that is not too restrictive so as to have a large class of examples, yet restrictive enough for standard Poisson invariants to be computable. This paper will demonstrate the potential of the scattering symplectic setting. In particular, we construct scattering-symplectic spheres and scattering symplectic gluings between strong convex symplectic fillings of a contact manifold. By giving an explicit computation of the Poisson cohomology of a scattering symplectic manifold, we also introd…
For a symplectic manifold $(M,ω)$, not necessarily hard Lefschetz, we prove a version of the Merkulov $dδ$--lemma. We also study the $dδ$--lemma and related cohomologies for compact symplectic solvmanifolds.
We compute the Yamabe invariant for a class of symplectic 4-manifolds of general type obtained by taking the rational blowdown of Kahler surfaces. In particular, for any point on the half-Noether line we exhibit a simply connected minimal symplectic manifold for which we compute the Yamabe invariant.
The geography of minimal symplectic 4-manifolds with arbitrary fundamental group and symplectic 6-manifolds with abelian fundamental group of small rank, and with arbitrary fundamental group are addressed.
Log-symplectic structures are Poisson structures that are determined by a symplectic form with logarithmic singularities. We construct moduli spaces of curves with values in a log-symplectic manifold. Among the applications, we classify symplectically ruled log-symplectic $4$ manifolds (both orientable and non-orientable), and obstruct the existence of contact boundary components, in analogy with well-known theorems by McDuff. Moreover, we study certain log-symplectically ruled surfaces, using tools from symplectic field theory.
We classify symplectic actions of 2-tori on compact, connected symplectic 4-manifolds, up to equivariant symplectomorphisms. This extends results of Atiyah, Guillemin-Sternberg, Delzant and Benoist. The classification is in terms of a collection of invariants, which are invariants of the topology of the manifold, of the torus action and of the symplectic form. We construct explicit models of such symplectic manifolds with torus actions, defined in terms of these invariants. We also classify, up to equivariant symplectomorphisms, symplectic actions of (2n-2)-dimensional tori on 2n-dimensional s…
This paper uses a generalization of symplectic geometry, known as $n$-symplectic geometry and developed by Norris, to find observables on three-dimensional manifolds. It will be seen that for the cases considered, the $n$-symplectic observables are derivable from the symplectic observables of $C^2$. The quantization of these observables, as well as those on the frame bundle of $R^n$, is also examined.
In this paper, using similar idea as in Fukaya-Oh's work ([9]), we devise a method to compute the Fukaya category of certain exact symplectic manifolds by reducing it to the corresponding Morse category of non-Hausdorff manifold as perturbation of the Lagrangian skeleton of the exact symplectic manifold.
In this paper we determine conditions of existence of an induced Riemannian structure on the symplectic quotient of a symplectic and Riemannian manifold following the action of a Lie group acting upon it in a hamiltonian way with equivariant momentum mapping.
We compute the Poisson cohomology of a class of Poisson manifolds that are symplectic away from a collection $D$ of hypersurfaces. These Poisson structures induce a generalization of symplectic and cosymplectic structures, which we call a k-cosymplectic structure, on the intersection of hypersurfaces in $D$.
This is an exposition of the Donaldson geometric flow on the space of symplectic forms on a closed smooth four-manifold, representing a fixed cohomology class. The original work appeared in [1].
We compute the Picard group of a stable b-symplectic manifold $M$ by introducing a collection of discrete invariants $\mathfrak{Gr}$ which classify $M$ up to Morita equivalence.
In this work, we prove a compactness theorem on the space of all Hamiltonian stationay Lagrangian submanifolds in a compact symplectic manifold with uniform bounds on area and total extrinsic curvature.
We give a generalization of toric symplectic geometry to Poisson manifolds which are symplectic away from a collection of hypersurfaces forming a normal crossing configuration. We introduce the tropical momentum map, which takes values in a generalization of affine space called a log affine manifold. Using this momentum map, we obtain a complete classification of such manifolds in terms of decorated log affine polytopes, hence extending the classification of symplectic toric manifolds achieved by Atiyah, Guillemin-Sternberg, Kostant, and Delzant.
In this paper I construct, using off the shelf components, a compact symplectic manifold with a non-trivial Hamiltonian circle action that admits no Kaehler structure. The non-triviality of the action is guaranteed by the existence of an isolated fixed point. The motivation for this work comes from the program of classification of Hamiltonian group actions. The Audin-Ahara-Hattori-Karshon classification of Hamiltonian circle actions on compact symplectic 4-manifolds showed that all of such manifolds are Kaehler. Delzant's classification of $2n$-dimensional symplectic manifolds with Hamiltonian…
We construct symplectic submanifolds of symplectic manifolds with contact border. The boundary of such submanifolds is shown to be a contact submanifold of the contact border. We also give a topological characterization of the constructed submanifolds by means of a ``relative Lefschetz hyperplane Theorem''. We sketch some of the applications of the results.
In this article we construct a minimal symplectic 4-manifold R that has small Euler characteristic (e(R)=8) and two essential Lagrangian tori with nice properties. These properties make R particularly suitable for constructing interesting examples of symplectic manifolds with small Euler characteristic. In particular, we construct an exotic symplectic CP^2# 5(-CP^2), the smallest known minimal symplectic 4-manifold with pi_1=Z, the smallest known minimal symplectic 4-manifolds with pi_1=Z/a + Z/b for all a,b in Z, and the smallest known minimal symplectic 4-manifold with pi_1=Z^3. We use the p…
We give a method to lift $(2,0)$-tensors fields on a manifold $M$ to build symplectic forms on $TM$. Conversely, we show that any symplectic form $\Om$ on $TM$ is symplectomorphic, in a neighborhood of the zero section, to a symplectic form built naturally from three $(2,0)$-tensor fields associated to $\Om$.
We present a general framework for reduction of symplectic Q-manifolds via graded group actions. In this framework, the homological structure on the acting group is a multiplicative multivector field.
A symplectic semitoric manifold is a symplectic $4$-manifold endowed with a Hamiltonian $(S^1 \times \mathbb{R})$-action satisfying certain conditions. The goal of this paper is to construct a new symplectic invariant of symplectic semitoric manifolds, the helix, and give applications. The helix is a symplectic analogue of the fan of a nonsingular complete toric variety in algebraic geometry, that takes into account the effects of the monodromy near focus-focus singularities. We give two applications of the helix: first, we use it to give a classification of the minimal models of symplectic se…
We construct an $L_\infty$-algebra on the truncated canonical homology complex of a symplectic manifold, which naturally projects to the universal central extension of the Lie algebra of Hamiltonian vector fields.
We introduce the cutting construction of possibly non-compact symplectic toric manifolds, in particular, toric symplectic cones that correspond to a weakly convex good cone. Since the symplectization of a toric contact manifold is a toric symplectic cone, we can also construct toric contact manifolds that correspond to a weakly convex good cone by the cutting construction. (Note that these toric contact manifolds can not be constructed by Delzant construction.) We further prove there are no toric Sasakian structures on these contact manifolds. From this, contact toric manifolds of toric K-cont…
A famous result of Jurgen Moser states that a symplectic form on a compact manifold cannot be deformed within its cohomology class to an inequivalent symplectic form. It is well known that this does not hold in general for noncompact symplectic manifolds. The notion of Eliashberg-Gromov convex ends provides a natural restricted setting for the study of analogs of Moser's symplectic stability result in the noncompact case, and this has been significantly developed in work of Cieliebak-Eliashberg. Retaining the end structure on the underlying smooth manifold, but dropping the convexity and compl…