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).
In this paper we will prove that for a compact, symplectic manifold $(M, ω)$ and for $ω$-compatible almost-complex structure J any properly perturbed J-holomorphic curve has a non-negative symplectic area. This non-negative property provides us with a new obstruction to the bubbling off phenomenon and thus allows us to redefine the Floer symplectic homology. In particular, in subsequent papers, we will prove the Arnold conjecture in both degenerate and non-degenerate cases with integer coefficients for general, symplectic manifolds.
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.
Let (M,ω) be a symplectic manifold, and Sigma a compact Riemann surface. We define a 2-form on the space of immersed symplectic surfaces in M, and show that the form is closed and non-degenerate, up to reparametrizations. Then we give conditions on a compatible almost complex structure J on (M,ω) that ensure that the restriction of the form to the moduli space of simple immersed J-holomorphic Sigma-curves in a homology class A in H_2(M,\Z) is a symplectic form, and show applications and examples. In particular, we deduce sufficient conditions for the existence of J-holomorphic Sigma-curves in …
The notions of holomorphic symplectic structures and hypercomplex structures on Courant algebroids are introduced and then proved to be equivalent. These generalize hypercomplex triples and holomorphic symplectic 2-forms on manifolds respectively. Basic properties of such structures are established.
Generalizing the construction of the Maslov class for a Lagrangian embedding in a symplectic vector space, we prove that it is possible to give a consistent definition of this class for any Lagrangian submanifold of a Calabi-Yau manifold. Moreover, we prove that this class can be represented by the contraction of the Kaehler form associated to the Calabi-Yau metric, with the mean curvature vector field of the Lagrangian embedding. Finally, we suggest a possible generalization of the Maslov class for Lagrangian submanifolds of any symplectic manifold, via the mean curvature representation.
Every oriented 4-manifold admits a folded symplectic structure, which in turn determines a homotopy class of compatible almost complex structures that are discontinuous across the folding hypersurface ("fold") in a controlled fashion. We define folded holomorphic maps, i.e. pseudo-holomorphic maps that are discontinuous across the fold. The boundary values on the fold are mediated by tunneling maps which are punctured H-holomorphic maps into the folding hypersurface with prescribed asymptotics on closed characteristics. Our main result is that the linearized operator of this boundary value pro…
We extend Donaldson's asymptotically holomorphic techniques to symplectic orbifolds. More precisely, given a symplectic orbifold such that the symplectic form defines an integer cohomology class, we prove that there exist sections of large tensor powers of the prequantizable line bundle such that their zero sets are symplectic suborbifolds. We then derive a Lefschetz hyperplane theorem for these suborbifolds, that computes their real cohomology up to middle dimension. We also get the hard Lefschetz and formality properties for them, when the ambient manifold satisfies those properties.
In \cite{FOinteger}, Fukaya and Ono outlined a way of counting pseudo-holomorphic curves in a general compact symplectic manifold to obtain integer valued invariants. This paper contains the details of Fukaya and Ono's suggested construction for any compact symplectic manifold and a large class of exploded manifolds.
We study some asymptotic properties of the sequences of symplectic Lefschetz pencils constructed by Donaldson. In particular we prove that the vanishing spheres of these pencils are, for large degree, conjugated under the action of the symplectomorphism group of the fiber. This implies the non-existence of homologically trivial vanishing spheres in these pencils. Moreover we show some basic topological properties of the space of asymptotically holomorphic transverse sections. These properties allow us to define a new set of symplectic invariants of the original symplectic structure.
We prove unobstructed deformations for compact Kaehlerian even-dimensional Poisson manifolds whose Poisson tensor degenerates along a divisor with mild singularities. Examples include Hilbert schemes of del Pezzo surfaces.
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.
This thesis studies the symplectic structure of holomorphic coadjoint orbits, and their projections. A holomorphic coadjoint orbit O is an elliptic coadjoint orbit which is endowed with a natural invariant Kählerian structure. These coadjoint orbits are defined for a real semi-simple connected non-compact Lie group G with finite center, such that G/K is a Hermitian symmetric space, where K is a maximal compact subgroup of G. Holomorphic coadjoint orbits are a generalization of the Hermitian symmetric space G/K. In this thesis, we prove that the McDuff's symplectomorphism on Hermitian symmetric…
In this paper, we mainly study the mean curvature flow in Kähler surfaces with positive holomorphic sectional curvatures. We prove that if the ratio of the maximum and the minimum of the holomorphic sectional curvatures is less than 2, then there exists a positive constant $δ$ depending on the ratio such that $\cosα\geqδ$ is preserved along the flow.
Symplectic realization is a longstanding problem which can be traced back to Sophus Lie. In this paper, we present an explicit solution to this problem for an arbitrary holomorphic Poisson manifold. More precisely, for any holomorphic Poisson manifold $(X, π)$, we prove that there exists a holomorphic symplectic structure in a neighborhood $Y$ of the zero section of $T^*X$ such that the projection map is a symplectic realization of the given Poisson manifold, and moreover the zero section is a holomorphic Lagrangian submanifold. We describe an explicit construction for such a new holomorphic s…
For any subvariety of a compact holomorphic symplectic Kaehler manifold, we define the number W(X), which we call Wirtinger number. We show that $W(X)\leq 1$, and the equality is reached if and only if the subvariety $X\subset M$ is trianalytic, i. e. compactible with the hyperkaehler structure on M. For a sequence $X_1 \arrow X_2 \arrow ... X_n\arrow M$ of immersions of simple holomorphic symplectic manifolds, we show that $W(X_1) \leq W(X_2) \leq >... \leq W(X_n)$.
We introduce Morse-type inequalities for a holomorphic circle action on a holomorphic vector bundle over a compact Kaehler manifold. Our inequalities produce bounds on the multiplicities of weights occurring in the twisted Dolbeault cohomology in terms of the data of the fixed points and of the symplectic reduction. This result generalizes both Wu-Zhang extension of Witten's holomorphic Morse inequalities and Tian-Zhang Morse-type inequalities for symplectic reduction. As an application we get a new proof of the Tian-Zhang relative index theorem for symplectic quotients.
We give a comparative description of the Poisson structures on the moduli spaces of flat connections on real surfaces and holomorphic Poisson structures on the moduli spaces of holomorphic bundles on complex surfaces. The symplectic leaves of the latter are classified by restrictions of the bundles to certain divisors. This can be regarded as fixing a "complex analogue of the holonomy" of a connection along a "complex analogue of the boundary" in analogy with the real case.
It is well known that the twisters, section of twister space, classify the almost complex structure on even dimensional Riemannian manifold $X$. In this paper, it will be proved that a harmonic and anti-holomorphic twister is equivalent ti a symplectic structure on $X$.
We define pointwise partial differential relations for holomorphic discs. Given a relative homotopy class, a relation, and a generic almost complex structure we provide the moduli space of discs which have an injective point with the structure of a smooth manifold. Applications to the local behaviour are given and an adjunction inequality for singularities is derived. Moreover, we show that for a coordinate class of a monotone Lagrangian split torus generically the number of non-immersed holomorphic discs is even.
In this paper, we prove that if the area functional of a surface $Σ^2$ in a symplectic manifold $(M^{2n},\barω)$ has a critical point or has a compatible stable point in the same cohomology class, then it must be $J$-holomorphic. Inspired by a classical result of Lawson-Simons, we show how various restrictions of the stability assumption to variations of metrics in the space "projectively induced" metrics are enough to give the desired conclusion.
We show that a compact Kahler manifold admitting a nondegenerate holomorphic 2-form valued in a line bundle is a finite cyclic cover of a hyperkahler manifold. With respect to the connection induced by the locally hyperkahler metric, the form is parallel. We then describe the structure of the fundamenal group of such manifolds and derive some consequences.
A self-dual harmonic 2-form on a 4-dimensional Riemannian manifold is symplectic where it does not vanish. Furthermore, away from the form's zero set, the metric with the 2-form give a compatible almost complex structure and thus pseudo-holomorphic subvarieties. Such a subvariety is said to have finite energy when the integral over the variety of the given self-dual 2-form is finite. This article proves a regularity theorem for such finite energy subvarieties when the metric is particularly simple near the form's zero set. To be more precise, this article's main result asserts the following: A…
In the previous paper \cite{Goto_2017}, the notion of an Einstein-Hermitian metric of a generalized holomorphic vector bundle over a generalized Kahler manifold of symplectic type was introduced from the moment map framework. In this paper we establish a Kobayashi-Hitchin correspondence, that is, the equivalence of the existence of an Einstein-Hermitian metric and $ψ$-polystability of a generalized holomorphic vector bundle over a compact generalized Kahler manifold of symplectic type. Poisson modules provide intriguing generalized holomorphic vector bundles and we obtain $ψ$-stable Poisson mo…
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 this paper, we mainly study the mean curvature flow in Kähler surfaces with positive holomorphic sectional curvatures. First, we prove that if the ratio $λ$ of the maximum and the minimum of the holomorphic sectional curvatures $< 2$, then there exists a positive constant $δ>\frac{29(λ-1)}{\sqrt{(48-24λ)^{2}+(29λ-29)^{2}}}$ such that $\cosα\geqδ$ is preserved along the flow, improving the main theorem in [LY]; Secondly, as similar as the main theorem in [HL0], we prove that when $\cosα$ is close to $1$ enough, then the symplectic mean curvature flow exists for long time and converges to a h…
For simple and simply-connected complex algebraic group G, we conjecture the existence of a functor eta_G from the category of 2-bordisms to the category of holomorphic symplectic varieties with Hamiltonian action, such that gluing of boundaries corresponds to the holomorphic symplectic quotient with respect to the diagonal action of G. We describe various properties of eta_G obtained via string-theoretic analysis. Mathematicians are urged to construct eta_G rigorously.
This is a set of expository lecture notes created originally for a graduate course on holomorphic curves taught at ETH Zurich and the Humboldt University Berlin in 2009/2010. The notes are still incomplete, but due to recent requests from readers, I've decided to make a presentable half-finished version available here. Further chapters will be added in future updates.
In 1995, Dan Guan constructed examples of non-Kahler, simply-connected holomorphically symplectic manifolds. An alternative construction, using the Hilbert scheme of Kodaira-Thurston surface, was given by F. Bogomolov. We investigate topology and deformation theory of Bogomolov-Guan manifolds and show that it is similar to that of hyperkahler manifolds. We prove the local Torelli theorem, showing that holomorphically symplectic deformations of BG-manifolds are unobstructed, and the corresponding period map is locally a diffeomorphism. Using the local Torelli theorem, we prove the Fujiki formul…
Let $M$ be a Kähler-Einstein surface with positive scalar curvature. If the initial surface is sufficiently close to a holomorphic curve, we show that the mean curvature flow has a global solution and it converges to a holomorphic curve.
We use Donaldson's approximately holomorphic techniques to build embeddings of a closed symplectic manifold with symplectic form of integer class in the grassmannians Gr(r,N). We assure that these embeddings are asymptotically holomorphic in a precise sense. We study first the particular case of embeddings in the projective space $CP^N$ obtaining control on N. The main reason of our study is the construction of singular determinantal submanifolds as the intersection of the embedding with certain ``generalized Schur cycles'' defined on a product of grassmannians. It is shown that the symplectic…
This is one in a series of papers devoted to the foundations of Symplectic Field Theory sketched in [Y Eliashberg, A Givental and H Hofer, Introduction to Symplectic Field Theory, Geom. Funct. Anal. Special Volume, Part II (2000) 560--673]. We prove compactness results for moduli spaces of holomorphic curves arising in Symplectic Field Theory. The theorems generalize Gromov's compactness theorem in [M Gromov, Pseudo-holomorphic curves in symplectic manifolds, Invent. Math. 82 (1985) 307--347] as well as compactness theorems in Floer homology theory, [A Floer, The unregularized gradient flow of…
We give a general construction of extremal Kaehler metrics on the total space of certain holomorphic submersions, extending results of Dervan-Sektnan, Fine, and Hong. We consider submersions whose fibres admit a degeneration to Kaehler manifolds with constant scalar curvature, in a way that is compatible with the fibration structure. Thus we allow fibres that are K-semistable, rather than K-polystable; this is crucial to moduli theory. On these fibrations we phrase a partial differential equation whose solutions, called optimal symplectic connections, represent a canonical choice of a relative…
The main result of this paper gives a new construction of extremal Kähler metrics on the total space of certain holomorphic submersions, giving a vast generalisation and unification of results of Hong, Fine and others. The principal new ingredient is a novel geometric partial differential equation on such fibrations, which we call the optimal symplectic connection equation. We begin with a smooth fibration for which all fibres admit a constant scalar curvature Kähler metric. When the fibres admit automorphisms, such metrics are not unique in general, but rather are unique up to the action of t…
Let S be a compact connected oriented orbifold surface We show that using Bers simultaneous uniformization, the moduli space of projective structure on S can be mapped biholomorphically onto the total space of the holomorphic cotangent bundle of the Teichmüller space for S. The total space of the holomorphic cotangent bundle of the Teichmüller space is equipped with the Liouville symplectic form, and the moduli space of projective structures also has a natural holomorphic symplectic form. The above identification is proved to be compatible with these symplectic structures. Similar results are …
Let $(M,\bar{g})$ be a Kähler surface with a constant holomorphic sectional curvature $k>0$, and $Σ$ an immersed symplectic surface in $M$. Suppose $Σ$ evolves along the mean curvature flow in $M$. In this paper, we show that the symplectic mean curvature flow exists for long time and converges to a holomorphic curve if the initial surface satisfies $|A|^2\leq 2/3|H|^2+1/2 k$ and $\cosα\geq \frac{\sqrt{30}}{6}$ or $|A|^2\leq 2/3 |H|^2+4/5 k\cosα$ and $\cosα\ge251/265$.
Hamiltonian minimality (H-minimality) for Lagrangian submanifolds is a symplectic analogue of Riemannian minimality. A Lagrangian submanifold is called H-minimal if the variations of its volume along all Hamiltonian vector fields are zero. This notion was introduced in the work of Y.-G. Oh in connection with the celebrated Arnold conjecture on the number of fixed points of a Hamiltonian symplectomorphism. In the previous works the authors defined and studied a family of H-minimal Lagrangian submanifolds in complex space arising from intersections of Hermitian quadrics. Here we extend this cons…
We use virtual neighborhood technique to establish GW-invariants, Quantum cohomology, equivariant GW-invariants, equivariant quantum cohomology and Floer cohomology for general symplectic manifold. We also establish GW-invariants for a family of symplectic manifolds. As a consequence, we prove Arnold conjecture for nondegenerate Hamiltonian symplectomorphisms.
These are notes of lectures given at the NATO Summer School, Montreal 1995. Taubes's recent spectacular work setting up a correspondence between $J$-holomorphic curves in symplectic 4-manifolds and solutions of the Seiberg-Witten equations counts $J$-holomorphic curves in a somewhat new way. The "standard" theory concerns itself with moduli spaces of connected curves, and gives rise to Gromov-Witten invariants. However, Taubes's curves arise as zero sets of sections and so need not be connected. These notes are in the main expository. We first discuss the invariants as Taubes defined them, and…
A holomorphic Lagrangian fibration on a holomorphically symplectic manifold is a holomorphic map with Lagrangian fibers. It is known that a given compact manifold admits only finitely many holomorphic symplectic structures, up to deformation. We prove that a given compact manifold with $b_2 \geq 7$ admits only finitely many deformation types of holomorphic Lagrangian fibrations. We also prove that all known hyperkahler manifolds are never Kobayashi hyperbolic.