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: Assume that the zero set of the form is non-degenerate and that the metric near the zero set has a certain canonical form. Then, except possibly for a finite set of points on the zero set, each point on the zero set has a ball neighborhood which intersects the subvariety as a finite set of components, and the closure of each component is a real analytically embedded half disk whose boundary coincides with the zero set of the form.
We study the moduli space of $J$-holomorphic subvarieties in a $4$-dimensional symplectic manifold. For an arbitrary tamed almost complex structure, we show that the moduli space of a sphere class is formed by a family of linear system structures as in algebraic geometry. Among the applications, we show various uniqueness results of $J$-holomorphic subvarieties, e.g. for the fiber and exceptional classes in irrational ruled surfaces. On the other hand, non-uniqueness and other exotic phenomena of subvarieties in complex rational surfaces are explored. In particular, connected subvarieties in a…
We prove several results on symplectic varieties with a Hamiltonian action of a reductive group having invariant Lagrangian subvarieties. Our main result states that the images of the moment maps of a Hamiltonian variety and of the cotangent bundle over an invariant Lagrangian subvariety coincide. This implies that the complexity and rank of the Lagrangian subvariety are equal to the half of the corank and to the defect of the Hamiltonian variety, respectively. This result generalizes a theorem of Panyushev on the complexity and rank of a conormal bundle. A simple elementary proof of this theo…
A smooth, compact 4-manifold with a Riemannian metric and b^(2+) > 0 has a non-trivial, closed, self-dual 2-form. If the metric is generic, then the zero set of this form is a disjoint union of circles. On the complement of this zero set, the symplectic form and the metric define an almost complex structure; and the latter can be used to define pseudo-holomorphic submanifolds and subvarieties. The main theorem in this paper asserts that if the 4-manifold has a non zero Seiberg-Witten invariant, then the zero set of any given self-dual harmonic 2-form is the boundary of a pseudo-holomorphic sub…
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.
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).
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 …
Taubes established fundamental properties of $J-$holomorphic subvarieties in dimension 4 in \cite{T1}. In this paper, we further investigate properties of reducible $J-$holomorphic subvarieties. We offer an upper bound of the total genus of a subvariety when the class of the subvariety is $J-$nef. For a spherical class, it has particularly strong consequences. It is shown that, for any tamed $J$, each irreducible component is a smooth rational curve. We also completely classify configurations of maximal dimension. To prove these results we treat subvarieties as weighted graphs and introduce se…
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.
We develop criteria for affine varieties to admit uniruled subvarieties of certain dimensions. The measurements are from long exact sequences of versions of symplectic cohomology, which is a Hamiltonian Floer theory for some open symplectic manifolds including affine varieties. Symplectic cohomology is hard to compute, in general. However, certain vanishing and invariance properties of symplectic cohomology can be used to prove that our criteria for finding uniruled subvarieties hold in some cases. We provide applications of the criteria in birational geometry of log pairs in the direction of …
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 study fixed-point loci of Nakajima varieties under symplectomorphisms and their anti-symplectic cousins, which are compositions of a diagram automorphism, a reflection functor and a transpose defined by certain bilinear forms. These subvarieties provide a natural home for geometric representation theory of symmetric pairs. In particular, the cohomology of a Steinberg-type variety of the symplectic fixed-point subvarieties is conjecturally related to the universal enveloping algebra of the subalgebra in a symmetric pair. The latter symplectic subvarieties are further used to construct geomet…
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 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.
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.
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 classify four-dimensional manifolds endowed with symplectic pairs admitting embedded symplectic spheres with non-negative self-intersection, following the strategy of McDuff's classification of rational and ruled symplectic four manifolds.
For a smooth map $f:X^4\toΣ^2$ that is locally modeled by holomorphic maps, the domain is shown to admit a symplectic structure that is symplectic on some regular fiber, if and only if $f^*[Σ]\ne0$. If so, the space of symplectic forms on $X$ that are symplectic on all fibers is nonempty and contractible. The cohomology classes of these forms vary with the maximum possible freedom on the reducible fibers, subject to the obvious constraints. The above results are derived via an analogous theorem for locally holomorphic maps $f:X^{2n}\to Y^{2n-2}$ with $Y$ symplectic.
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 note, we reformulate Donaldson's construction as a compactness result. Approximately holomorphic sections accumulate to "limit holomorphic sections" and uniform transversality properties of the approximately holomorphic sections correspond to transversality properties of their limits.
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 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.
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…
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 a well known fact that every embedded symplectic surface $Σ$ in a symplectic 4-manifold $(X^4,ω)$ can be made $J$-holomorphic for some almost-complex structure $J$ compatible with $ω$. In this paper we investigate when such a $J$ can be chosen from a generic set of almost-complex structures. As an application we give examples of smooth and non-empty Seiberg-Witten and Gromov-Witten moduli spaces whose associated invariants are zero.
It is shown that any symplectic $2n\times 2n$-matrix, whose entries are complex holomorphic functions on a reduced Stein space, can be decomposed into a finite product of elementary symplectic matrices if and only if it is null-homotopic. Moreover, if this is the case, the number of factors can be bounded by a constant depending only on $n$ and the dimension of the space.
Let G be a finite group acting on a symplectic complex vector space V. Assume that the quotient V/G has a holomorphic symplectic resolution. We prove that G is generated by "symplectic reflectionsd"', i.e. symplectomorphisms with fixed space of codimension 2 in V. Symplectic resolutions are always semismall. A crepant resolution of V/G is always symplectic. We give a symplectic version of Nakamura conjectures.
We use a neck stretching argument for holomorphic curves to produce symplectic disks of small area and Maslov class with boundary on Lagrangian submanifolds of nonpositive curvature. Applications include the proof of Audin's conjecture on the Maslov class of Lagrangian tori in linear symplectic space, the construction of a new symplectic capacity, obstructions to Lagrangian embeddings into uniruled symplectic manifolds, a quantitative version of Arnold's chord conjecture, and estimates on the size of Weinstein neighbourhoods. The main technical ingredient is transversality for the relevant mod…
We set up a topological framework for degenerations of symplectic manifolds into singular spaces paying a special attention to the behavior of Lagrangian manifolds and their (holomorphic) membranes. We show that degenerations into singular toric varieties provide a source of exotic Lagrangian tori.
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 …
Bezrukavnikov and Kaledin introduced quantizations of symplectic varieties X in positive characteristic which endow the Poisson bracket on X with the structure of a restricted Lie algebra. We consider deformation quantization of line bundles on Lagrangian subvarieties Y of X to modules over such quantizations. If the ideal sheaf of Y is a restricted Lie subalgebra of the structure sheaf of X, we show that there is a certain cohomology class which vanishes if and only if a line bundle on Y admits a quantization.
Let M be a closed symplectic manifold with a compatible almost complex structure J. We prove that for a point p in M and E>0, if v is a non-constant J-holomorphic curve with symplectic area smaller than E, then the number of the pre-images of p is bounded, and the bound is independent of v. We also provide a uniform Hofer's energy bound for J-holomorphic curves in M\p based on the symplectic area. Using these two results we compactify the moduli space of J-holomorphic curves in M by adding holomorphic buildings at the point p.
This note discusses the structure of J-holomorphic curves in symplectic 4-manifolds (M,\om) when J\in \Jj(\Ss), the set of \om-tame J for which a fixed chain \Ss of transversally intersecting embedded spheres of self-intersection \le -2 is J-holomorphic. Extending work by Biran (in Invent. Math. (1999)), it shows that when (M,\om) is the blow up of a rational or ruled symplectic 4-manifold, any homology class A\in H_2(M;\Z), with nonzero Gromov invariant and nonnegative intersection both with the spheres in \Ss and with the exceptional classes other than A, has an embedded J-holomorphic repres…
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.
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.
We define a Gaussian measure on the space $H^0_J(M, L^N)$ of almost holomorphic sections of powers of an ample line bundle $L$ over a symplectic manifold $(M, ω)$, and calculate the joint probability densities of sections taking prescribed values and covariant derivatives at a finite number of points. We prove that they have a universal scaling limit as $N \to \infty$. This result completes our proof (with P. Bleher) that correlations between zeros of sections in the almost-holomorphic setting have the same universal scaling limit as in the complex case (see Universality and scaling of zeros o…
We prove several results on weak symplectic fillings of contact 3-manifolds, including: (1) Every weak filling of any planar contact manifold can be deformed to a blow up of a Stein filling. (2) Contact manifolds that have fully separating planar torsion are not weakly fillable - this gives many new examples of contact manifolds without Giroux torsion that have no weak fillings. (3) Weak fillability is preserved under splicing of contact manifolds along symplectic pre-Lagrangian tori - this gives many new examples of contact manifolds without Giroux torsion that are weakly but not strongly fil…
We study the asymptotics of almost holomorphic sections $s \in H^0_J(M, ω)$ of an ample line bundle $L \to M$ over an almost complex symplectic manifold in the sense of Boutet de Monvel-Guillemin. Such sections are defined as the kernel of a complex which is analogous to the $\bar{\partial}$ complex for a positive line bundle over a complex manifold. Our main result is the scaling limit asymptotics of the Szego projectors $Π_N$ of powers $L^N$. The Kodaira embedding theorem and Tian almost isometry theorem are almost immediate consequences of the scaling limit. We also relate such almost holom…
Given a symplectic three-fold $(M,ω)$ we show that for a generic almost complex structure $J$ which is compatible with $ω$, there are finitely many $J$-holomorphic curves in $M$ of any genus $g\geq 0$ representing a homology class $β$ in $\H_2(M,\Z)$ with $c_1(M).β=0$, provided that the divisibility of $β$ is at most 4 (i.e. if $β=nα$ with $α\in H_2(M,\Z)$ and $n\in \Z$ then $n\leq 4$). Moreover, each such curve is embedded and 4-rigid.
A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence simple unified proofs are obtained for formulas of Poincare polynomials of toric hyperkahler varieties, Poincare polynomials of Hilbert schemes of points and twisted ADHM spaces of instantons on C^2 and Poincare polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable represent…
Lefschetz fibration is the symplectic analogue of stable holomorphic fibration in complex geometry. A 4-dimensional stable holomorphic fibration satisfies the famous Parshin-Arakelov inequality. In this note we present an analogous inequality for a 4-dimensional Lefschetz fibration.
This short note considers varieties of the form $G\times S_{\text{reg}}$, where $G$ is a complex semisimple group and $S_{\text{reg}}$ is a regular Slodowy slice in the Lie algebra of $G$. Such varieties arise naturally in hyperkähler geometry, theoretical physics, and in the theory of abstract integrable systems developed by Fernandes, Laurent-Gengoux, and Vanhaecke. In particular, previous work of the author and Rayan uses a Hamiltonian $G$-action to endow $G\times S_{\text{reg}}$ with a canonical abstract integrable system. One might therefore wish to understand, in some sense, all examples…
We first present the construction of the moduli space of real pseudo-holomorphic curves in a given real symplectic manifold. Then, following the approach of Gromov and Witten, we construct invariants under deformation of real rational symplectic 4-manifolds. These invariants provide lower bounds for the number of real rational $J$-holomorphic curves in a given homology class passing through a given real configuration of points.
In the context of symplectic dynamics, pseudo-rotations are Hamiltonian diffeomorphisms with finite and minimal possible number of periodic orbits. These maps are of interest in both dynamics and symplectic topology. We show that a closed, monotone symplectic manifold, which admits a non-degenerate pseudo-rotation, must have a deformed quantum Steenrod square of the top degree element, and hence non-trivial holomorphic spheres. This result (partially) generalizes a recent work by Shelukhin and complements the results by the authors on non-vanishing Gromov-Witten invariants of manifolds admitti…
We study the moduli space of twisted quasimaps from a fixed smooth projective curve to a Nakajima's quiver variety and the moduli space of $δ$-stable framed twisted quiver bundles with moment map relations. We show that they carry symmetric obstruction theories and when $δ$ is large enough, they exactly coincide. These results generalize works of D.E. Diaconescu about the ADHM quiver, in the framework of the quasimap theory of I. Ciocan-Fontanine, D. Maulik and the author.
We prove that all minimal symplectic four-manifolds are essentially irreducible. We also clarify the relationship between holomorphic and symplectic minimality of Kähler surfaces. This leads to a new proof of the deformation-invariance of holomorphic minimality for complex surfaces with even first Betti number which are not Hirzebruch surfaces.
We develop Floer theory of Lagrangian torus fibers in compact symplectic toric orbifolds. We first classify holomorphic orbi-discs with boundary on Lagrangian torus fibers. We show that there exists a class of basic discs such that we have one-to-one correspondences between a) smooth basic discs and facets of the moment polytope, and b) between basic orbi-discs and twisted sectors of the toric orbifold. We show that there is a smooth Lagrangian Floer theory of these torus fibers, which has a bulk-deformation by fundamental classes of twisted sectors of the toric orbifold. We show by several ex…
The spaces $H^0(M, L^N)$ of holomorphic sections of the powers of an ample line bundle $L$ over a compact Kähler manifold $(M,ω)$ have been generalized by Boutet de Monvel and Guillemin to spaces $H^0_J(M, L^N)$ of `almost holomorphic sections' of ample line bundles over an almost complex symplectic manifold $(M, J, ω)$. We consider the unit spheres $SH^0_J(M, L^N)$ in the spaces $H^0_J(M, L^N)$, which we equip with natural inner products. Our purpose is to show that, in a probabilistic sense, almost holomorphic sections behave like holomorphic sections as $N \to \infty$. Our first main result…
