In an earlier paper (math.SG/0101206), we introduced Floer homology theories associated to closed, oriented three-manifolds Y and SpinC structures. In the present paper, we give calculations and study the properties of these invariants. The calculations suggest a conjectured relationship with Seiberg-Witten theory. The properties include a relationship between the Euler characteristics of these theories and Turaev's torsion, a relationship with the minimal genus problem (Thurston norm), and surgery exact sequences. We also include some applications of these techniques to three-manifold topology.
We define rational numbers counting holomorphic disks bounding a complex lagrangian submanifold on a hyperkhaler manifold of real dimension four. We provide a simple a direct proof of Kontsevich-Soibelman Wall Crossing Formula for these rational invariants.
A three-manifold equipped with a Heegaard diagram can be used to set up a Floer homology theory whose differential counts pseudo-holomorphic disks in the $g$-fold symmetric product of the Heegaard surface. This leads to a topological invariant for three-manifolds, Heegaard Floer homology, which is functorial under cobordisms. In this survey article, we sketch this construction and describe some of its topological applications.
We prove (a weak version of) Arnold's Chord Conjecture using Gromov's ``classical'' idea in to produce holomorphic disks with boundary on a Lagrangian submanifold.
We define a Floer-homology invariant for knots in an oriented three-manifold, closely related to the holomorphic disk Floer homologies for three-manifolds defined in an earlier paper. We set up basic properties of these invariants, including an Euler characteristic calculation, behaviour under connected sums. Then, we establish a relationship with $HF^+$ for surgeries along the knot. Applications include calculation of $HF^+$ of three-manifolds obtained by surgeries on some special knots in $S^3$, and also calculation of $HF^+$ for certain simple three-manifolds which fiber over the circle.
This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing result for the invariants of symplectic four-manifolds, which leads to new proofs of the indecomposability theorem for symplectic four-manifolds and the symplectic Thom conjecture. As a new application, we generalize the indecomposability theorem to splittings of four-manifolds along a certain class of three-manifolds obtained by plumbings of spheres. This …
We show that one can achieve transversality for lifts of holomorphic disks to a projectivized vector bundle by locally enlarging the structure group and considering the action of gauge transformations on the almost complex structure, which eases computation considerably. As an application we prove a special case of the Arnold-Givental conjecture.
In this paper, we develop holomorphic Jacobi structures. Holomorphic Jacobi manifolds are in one-to-one correspondence with certain homogeneous holomorphic Poisson manifolds. Furthermore, holomorphic Poisson manifolds can be looked at as special cases of holomorphic Jacobi manifolds. We show that holomorphic Jacobi structures yield a much richer framework than that of holomorphic Poisson structures. We also discuss the relationship between holomorphic Jacobi structures, generalized contact bundles and Jacobi-Nijenhuis structures.
In this paper, we give a description of holomorphic multi-vector fields on smooth compact toric varieties, which generalizes Demazure's result of holomorphic vector fields on toric varieties. Based on the result, we compute the Poisson cohomology groups of holomorphic toric Poisson manifolds, i.e., toric varieties endowed with $T$-invariant holomorphic Poisson structures.
We consider a fibered Lagrangian $L$ in a compact symplectic fibration with small monotone fibers, and develop a strategy for lifting $J$-holomorphic disks with Lagrangian boundary from the base to the total space. In case $L$ is a product, we use this machinery to give a formula for the leading order potential and formulate an unobstructedness criteria for the $A_\infty$ algebra. We provide some explicit computations, one of which involves finding an embedded 2n+k dimensional submanifold of Floer-non-trivial tori in a 2n+2k dimensional fiber bundle.
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.
A holomorphic toric Poisson manifold is a nonsingular toric variety equipped with a holomorphic Poisson structure, which is invariant under the torus action. In this paper, we computed the Poisson cohomology groups for all holomorphic toric Poisson structures on $CP^n$, with the stand Poisson structure on $CP^n$ as a special case. We also computed the algebraic and the formal Poisson cohomology groups of holomorphic toric Poisson structures on $C^n$.
This is the second part of a series of two papers dedicated to a systematic study of holomorphic Jacobi structures. In the first part, we introduced and study the concept of a holomorphic Jacobi manifold in a very natural way as well as various tools. In the present paper, we solve the integration problem for holomorphic Jacobi manifolds by proving that they integrate to complex contact groupoids. A crucial tool in our proof is what we call the "homogenization scheme", which allows us to identify holomorphic Jacobi manifolds with homogeneous holomorphic Poisson manifolds and holomorphic contac…
We show that conformally compact, globally hyperbolic, Lorentzian Einstein-Weyl 3-manifolds are in natural one-to-one correspondence with orientation-reversing diffeomorphisms of the 2-sphere. The proof hinges on a holomorphic-disk analog of Hitchin's mini-twistor correspondence.
In this paper we give a generalization of the normal holomorphic frames in the symplectic manifolds and find conditions for the integrability of complex structures.
We define an invariant $l(M,W,ω)$ for Lagrangian submanifold and prove that if the Lagrangian submanifold is embedded in the ball of radius $r_0$, then $l(M,W,Ω)$ must be smaller than $4πt_0^2$. This improves Gromov's Lagrangian embedding theorem.
We explain how to generalize Lazzarini's structural Theorem from [Laz11] to the case of curves with boundary on a given Lagrangian immersion. As a consequence of this result, we show that we can compute Floer homology with time-independent almost complex structures. We also give some applications as well as topics for future work.
These notes are based on a course that took place at the Université de Nantes in June 2011 during the "Trimester on Contact and Symplectic Topology". We will explain how holomorphic curves can be used to study symplectic fillings of a given contact manifold. Our main goal consists in showing that certain contact manifolds do not admit any symplectic filling at all.
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…
This paper establishes compactness results for the moduli stack of holomorphic curves in suitable exploded manifolds. This result together with the analysis in arXiv:0902.0087 allows the definition of Gromov Witten invariants of these exploded manifolds.
For the sake of hyperk{ä}hler SYZ conjecture, finding holomorphic Lagrangian fibrations becomes an important issue. Toric hyperk{ä}hler manifolds are real dimension $4n$ non-compact hyperk{ä}hler manifolds which are quaternion analog of toric varieties. The $n$ dimensional residue circle action on it admitting a hyperk{ä}hler moment map. We use the complex part of this moment map to construct a holomorphic Lagrangian fibration with generic fiber diffeomorphic to $(\mathbb{C}^*)^n$, and study the singular fibers.
We study analysis over infinite dimensional manifolds consisted by sequences of almost Kaehler manifolds. We develop moduli theory of pseudo holomorphic curves into such spaces with high symmetry. Many mechanisms of the standard moduli theory over finite dimensional spaces also work over these infinite dimensional spaces, which is based on a simple functional analytic framework.
In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons.
We study analysis over infinite dimensional manifolds consisted by sequences of almost Kähler manifolds. In particular we develop moduli theory of pseudo holomorphic curves into the spaces with high symmetry. As applications, we study Hamiltonian dynamics over the infinite dimensional manifolds, and induce some dynamical properties of Hamiltonian diffeomorphisms on such spaces.
