Kylerec – On J-holomorphic curves, part 1

This to-be-2-part-because-this-got-long post is a continuation of the series on Kylerec 2017 starting with the previous post, and covers most of the talks from Days 2-3 of Kylerec, focusing on the use of J-holomorphic curves in the study of fillings. I should mention that two more sets of notes, by Orsola Capovilla-Searle and Cédric de Groote, have been uploaded to the website on this page. So if you wish to follow along, feel free to follow the notes there, and in particular, the relevant talks I’ll be discussing in this post are:

Part 1

  • Day 1 Talk 1 – The introductory talk by (mostly) Roger Casals (with some words by Laura Starkston)
  • Day 2 Talk 2 – Roberta Gaudagni’s talk introducing J-holomorphic curves
  • Day 2 Talk 3 – Emily Maw’s talk on McDuff’s rational ruled classification

Part 2

It should be obvious in what follows which parts of the exposition correspond to which talks, although what follows is perhaps a pretty biased account, with some parts amplified or added, and others skimmed or skipped.

 

J-holomorphic curves – basics

Gromov introduced the study of J-holomorphic curves into symplectic geometry in his famous 1985 paper, immediately revolutionizing the field. One might wonder why we care about these objects, and the rest of this post (along with part 2) should be a testament to some (but certainly not all) aspects of the power of the theory.

The “J” in “J-holomorphic” refers to some choice J of almost complex structure on a manifold M^{2n}. Given an almost complex manifold, a J-holomorphic curve is a map u : (\Sigma,j) \rightarrow (M^{2n},J) such that (\Sigma,j) is a Riemann surface and J \circ du = du \circ j. In the case where (M,J) is a complex manifold, we see this is precisely what it means to be holomorphic.

We are mostly concerned a choice of J which is compatible with a symplectic manifold (M,\omega). By this, we mean that the (0,2)-tensor g(\cdot, \cdot) = \omega(\cdot,J\cdot) is a Riemannian metric. We say J is tame if \omega(v,Jv) > 0 for each nonzero vector v (note that g as defined above is not necessarily symmetric in this case).

Proposition: The space of compatible almost complex structures on a symplectic manifold (M,\omega) is non-empty and contractible. So is the space of tame almost complex structures.

This suggests either:

  • Studying the space of J-holomorphic curves into M for some particular choice of J.
  • Study some invariant of spaces of J-holomorphic curves which does not depend on the choice of J compatible (or tame) with respect to a given symplectic form (M,\omega).

In walking down either of these paths, there are a large number of properties at our disposal. What is presented in this section is far from a conclusive list, and I have completely abandoned including proofs and motivation, so beware that there is a lot of subtlety involved in the analytic details. For many many many more details, consult this book of McDuff and Salamon.

Firstly, there is a dichotomy between somewhere injective curves and multiple covers. Some J-holomorphic curves will factor through branched covers, meaning that u : \Sigma \rightarrow (M,J) factors as (\Sigma,j) \rightarrow (\Sigma',j') \rightarrow (M,J) such that the first map is a branched cover of Riemann surfaces. J-holomorphic curves which are not multiply covered are called simple, and it turns out that simple curves are characterized by being somewhere injective, meaning there is some z for which u^{-1}u(z) = \{z\} and du_z \neq 0. Even better, somewhere injective means that u is almost everywhere injective.

The main tool in the theory is the study of certain moduli spaces of J-holomorphic curves. There are many flavors of this, but we discuss a specific example to highlight the relevant aspects of the theory. The analytical details are typically easier for simple curves, so we denote by \mathcal{M}^*(M,J) the moduli space of all simple J-holomorphic curves. It turns out to be fruitful to focus in on a specific piece of this space, so we often restrict to a given domain of definition, say some \Sigma_g, and also restrict the homology class u_*[\Sigma] of the map u : \Sigma_g \rightarrow (M,J) to some A \in H_2(M). The main question is:

When is such a moduli space \mathcal{M}_g^*(M,A,J) actually a smooth manifold?

This is certainly a subtle question, and it turns out that not every J works. However, it is a theorem that for generic J, this moduli space is a smooth manifold of dimension d = n(2-2g) + 2c_1(A), where \dim M = 2n.

Given our nice moduli space, we also might be interested in what happens as we change our choice of J, so that we go from one regular choice to another. A generic path of such almost complex structures will give a smooth cobordism between the moduli spaces, a property which allows us to cook up invariants which do not depend, for example, on choices of J compatible with a given symplectic structure.

To note a few variants of the discussion so far, sometimes we will study J-holomorphic disks with certain boundary conditions, or J-holomorphic curves with punctures sent to a certain asymptotic limit. In all cases, the same analytic machinery already swept under the rug (Fredholm theory) will give that the moduli spaces in question are smooth for generic choices of almost complex structure, and the dimension of this moduli space is given by some purely topological quantity (by, for example, the Atiyah-Singer index theorem).

One common thing to do is to quotient out by the group action given by reparametrizing the domain of a given J-holomorphic curve. That is, we consider the equivalence relation u \sim u \circ \phi where \phi : (\Sigma,j) \rightarrow (\Sigma,j) is a biholomorphism. A more careful author would probably distinguish between the map u as opposed to the corresponding equivalence class, which is really what one should mean when they say curve. Hence, one can quotient our moduli spaces \mathcal{M}^* by reparametrization to obtain moduli spaces of curves. Usually, these are the main objects of interest.

So now we have our nice moduli space, in whatever situation we desire, and we can ask about studying limits of J-holomorphic curves in that moduli space. In general, no such curve might exist. The first reason for this is that any such curve u : (\Sigma,j) \rightarrow (M,\omega,J) has an energy E = \int_{\Sigma}u^*\omega attached to it (when J is compatible with \omega). If this quantity diverges to \infty, then there can be no limiting curve. One can ask instead about what happens when the energy is bounded.

Consider the following sequence of holomorphic curves u_n \colon \mathbb{C}P^1 \rightarrow \mathbb{C}P^1 \times \mathbb{C}P^1 given by z \mapsto (z, 1/(nz)). We see that away from z=0, this is just converging to the curve \mathbb{C}P^1 \times \{0\}. But near z = 0, if we reparametrize the domain by 1/(nz), we see this converges to the sphere \{0\} \times \mathbb{C}P^1. In this case, our curve formed what is often called a bubble. More generally, a curve can split off many bubbles at a time. For an example of this, consider instead u_n \colon \mathbb{C}P^1 \rightarrow \mathbb{C}P^1 \times \mathbb{C}P^1 \times \mathbb{C}P^1 given by z \mapsto (z,1/(nz),1/(n^2z)), in which a new bubble forms at \{0\} \times \{\infty\} \times \mathbb{C}P^1 in addition to the one discussed above. More generally, a sequence of curves can limit to a curve with trees of bubbles sticking out.

Stable_Curve

Such bubble trees are called stable or nodal or cusp curves (or probably a lot of other things), depending upon how old your reference is and to whom you talk. The incredible theorem, which goes under the name of Gromov compactness, is that this is the only phenomenon which precludes a limit from existing. We state this vaguely as follows:

Theorem [Gromov ’85]: The moduli space of curves of energy bounded by some constant E (modulo reparametrization of domain) can be compactified by adding in stable curves of total energy bounded by E.

Another generally important tool is that of the evaluation map. Suppose that we wish to study the moduli space \mathcal{M}_g^*(M,A,J) of simple J-holomorphic maps u : (\Sigma_g,j) \rightarrow (M,J) in the homology class A \in H_2(M). Suppose G = \text{Aut}(\Sigma_g,j) is the group of biholomorphisms of (\Sigma_g,j). Then the group G acts on \mathcal{M}_g^*(M,A,J) \times \Sigma_g by \phi \cdot (u,z) = (u \circ \phi^{-1},\phi(z)). Notice then that the evaluation map (u,z) \mapsto u(z) only depends on the orbit, and hence descends to a map \text{ev} : \mathcal{M}_g^*(M,A,J) \times_G \Sigma_g \rightarrow M. Proving enough properties of such an evaluation map sometimes allows us to compare the smooth topology of \mathcal{M}_g^*(M,A,J) to that of M. There are other variants of this – sometimes we wish to evaluate at multiple points, or sometimes we consider J-holomorphic discs and want to evaluate along boundary points. And often the evaluation map extends to the compactified moduli spaces considered above.

Finally, we come to dimension 4, where curves might actually generically intersect each other. With respect to these intersections, there are two key results to highlight. The first is positivity of intersection (due to Gromov and McDuff), which states that if any two J-holomorphic curves intersect, then the algebraic intersection number at each intersection point is positive (and precisely equal to 1 at transverse intersections). This can be thought of as some sort of rudimentary version of a so-called adjunction inequality (due to McDuff), which states that if u \colon (\Sigma,j) \rightarrow (M,J) is a simple J-holomorphic curve representing the class A with geometric self-intersection number \delta(u), then

c_1(TV,J) \cdot A + 2\delta(u) \leq \chi(\Sigma) + A \cdot A.

Further, when u is immersed and with transverse self-intersections, this is an equality, yielding an adjunction formula.

 

A first example – Fillable implies tight (in 3 dimensions)

On a first pass, I want to expand upon the example of fillability implying tightness in three dimensions which Roger Casals discussed in his introductory talk. Really, we prove the contrapositive – that an overtwisted contact manifold cannot be filled. For simplicity, we will consider exact fillings. This result is typically attributed to Gromov and Eliashberg, referencing Gromov’s ’85 paper as well as Eliashberg’s paper on filling by holomorphic discs from ’89. This is essentially the same proof in spirit, although we take a little bit of a cheat by considering exact fillings.

Firstly, recall that an overtwisted contact manifold (M^3,\xi) is one such that there exists an embedding of a disk \phi : D^2 \hookrightarrow M, such that the so-called characteristic foliation (d\phi)^{-1}\xi on D^2, which is actually a singular foliation, looks like the following image, with one singular point in the center and a closed leaf as boundary.

OT_Disk

So now suppose (M^3,\xi) has an exact filling (W^4,\omega = d\lambda). We study the space of certain J-holomorphic disks with boundary on the overtwisted disk. The key is that a neighborhood of the overtwisted disk D actually has a canonical neighborhood in W up to symplectomorphism, and one can pick an almost complex structure J to be in a standard form in this neighborhood. It turns out that with this standard choice, in a close enough neighborhood of the singular point p in the interior of D, all somewhere injective J-holomorphic curves are precisely those living in a 1-parameter family, called the Bishop family, which radiate outwards from the singular point p.

Let us be a bit more precise, so that we can see this Bishop family explictly. Consider the standard 3-sphere S^3 \subset \mathbb{C}^2, with its standard contact structure given by the complex tangencies, i.e. \xi = TS^3 \cap iTS^3, with i the standard complex structure on \mathbb{C}^2. Then consider the disk given by z \mapsto (z, \sqrt{1-|z|^2}). The characteristic foliation on this disk looks like the characteristic foliation near the center of the overtwisted disk, so a neighborhood of this disk in D^4 \subset \mathbb{C}^2 yields a model for a neighborhood of the center of the overtwisted disk. We may assume the almost complex structure in this neighborhood is just given by the standard one, i. Then the Bishop family is just the sequence of holomorphic disks given by z \mapsto (sz,\sqrt{1-s^2}) for s a real constant near 0. That these are all of the somewhere injective disks is a relatively easy exercise in analysis. Namely, suppose we had such a disk of the form z \mapsto (v_1(z),v_2(z)). Then since boundary points are mapped to the overtwisted disk, v_2(\partial D^2) \subset \mathbb{R}. But each component of v_2 is harmonic, hence satisfies a maximum principle. Therefore, v_2(D^2) \subset \mathbb{R}. But by holomorphicity, v_2 cannot have real rank 1 and so must be constant. Hence, any disk in consideration must have v_2 is a real constant.

All of these disks live in D^4 \subset \mathbb{C}^2, but in particular in the slice where the second component z_2 is real, so we can draw this situation in \mathbb{R}^3 by forgetting the imaginary part of z_2. This is depicted in the following figure.

Bishop_Family

This Bishop family lives in some component of the moduli space of somewhere injective J-holomorphic disks with boundary on D. Perturbing J, one can assume this component is actually a smooth 1-dimensional manifold. We can compactify this moduli space by including stable maps, i.e. disks with bubbles, via Gromov compactness. On the Bishop family end, we see explicitly that the limit is just the constant disk at the point p. So there must be another stable curve at the other boundary of this moduli space. We prove no such other stable curve can exist.

Similar to how we proved that the only disks completely contained in a neighborhood of the singular point on the overtwisted disk must have been part of the Bishop family, one can use a maximum principle argument to conclude that every holomorphic disk entering this neighborhood must have been in the Bishop family. Alternatively, one can use a modified version of positivity of intersections to conclude that continuing the moduli space away from the Bishop family, these boundaries have to continue radiating outward. Either way, the moduli space has to stay away from the central singularity of the overtwisted disk D. But also, the boundary of a J-holomorphic disk cannot be tangent to \xi, and in particular cannot be tangent to \partial D. This is by a maximum principle which comes from analytic convexity properties of a filled contact manifold.

The only possible explanation is that this is a stable curve with some sphere bubble having formed in the interior of (W,\lambda). But one checks that the relation g(\cdot,\cdot) = \omega(\cdot,J\cdot) implies that for a J-holomorphic sphere u : (S^2,j) \rightarrow (W,J), we have \text{Area}_g(u) = \int_{S^2}u^*\omega. This vanishes by Stokes’ Theorem since \omega = d\lambda is exact, and so u must be constant, and so there is no bubble. In other words, this cannot explain the other boundary point of the component of the moduli space containing the Bishop family, so this yields a contradiction.

 

On McDuff’s The structure of ruled and rational symplectic 4-manifolds

Emily Maw’s talk from the workshop followed this paper by Dusa McDuff. In what follows, we shall consider triples (V,C,\omega) such that (V,\omega) is a smooth closed symplectic 4-manifold and C is a rational curve, by which we mean a symplectically embedded S^2. We call a rational curve C exceptional if C \cdot C = -1 with respect to the intersection product on H_2(V) (with respect to its orientation coming from \omega). We say (V,C,\omega) is minimal if V \setminus C contains no exceptional curves. The main theorem is as follows:

Theorem [McDuff ’90]: If (V,C,\omega) is minimal and C \cdot C \geq 0, then (V,\omega) is symplectomorphic to either:

  • (\mathbb{C} P^2, \omega_{FS}), in which case C is either a complex line or a quadric (up to symplectomorphism).
  • A symplectic S^2-bundle over a compact manifold M, in which case C is either a fiber or a section (up to symplectomorphism).

Before describing the proof, which is the part involving J-holomorphic curve techniques, we apply this to strong fillings. We shall concern ourselves with fillings of the lens spaces L(p,1) with their standard contact structures, where p > 0 is an integer. Let us first define this contact structure. Recall that the standard contact structure on S^3 is the one coming from complex tangencies by viewing S^3 \subset \mathbb{C}^2. Then the standard contact structure on L(p,1) is the one given by the quotient L(p,1) = S^3/(\mathbb{Z}/p\mathbb{Z}) where the action of 1 \in \mathbb{Z}/p\mathbb{Z} given by (z_1,z_2) \mapsto e^{2\pi i/p}(z_1,z_2) preserves the contact structure, so that it descends.

Theorem [McDuff ’90]: The lens spaces L(p,1) all have minimal symplectic fillings (Z,\omega), and when p \neq 4, these fillings are unique up to diffeomorphism, and further up to symplectomorphism upon fixing the cohomology class [\omega]. The space L(4,1) has two nondiffeomorphic minimal fillings.

Proof (sketch): The complex line bundle \mathcal{O}(p) over S^2 comes with a natural symplectic structure, and this forms a cap for L(p,1). The zero section of \mathcal{O}(p) is a rational curve of self intersection p > 0. McDuff’s explicit classification includes examples (V,C) for any such given p, and V \setminus C thus gives a minimal filling for L(p,1). The remaining statements come from a more detailed analysis of the classification result.

Now, I will not go through all of the details of McDuff’s proof of the main theorem, but I will highlight where various J-holomorphic tools appear in the proof. Let me break up the proof into two big pieces.

Step 1: “Mega-Lemma” Consider (V,C,\omega) minimal as above. There is a tame almost complex structure J such that [C] can be represented by a J-holomorphic stable curve of the form S = S_1 \cup \cdots \cup S_m, where:

  • Each A_i := [S_i] is J-indecomposable (meaning any stable curve representing A_i must actually be a legitimate curve of one component)
  • The almost complex structure J is regular for all curves in the class A_i.
  • The S_i are distinct and embedded curves of self-intersection -1, 0, or 1, with at least one index for which A_i \cdot A_i \geq 0.

We didn’t prove this at the workshop, so I won’t discuss it in detail here. But this is a major reduction into cases. For example, if m = 1 and S \cdot S = 1, then it had already been shown that this implies that V = \mathbb{C}P^2. This bleeds into…

Step 2: Using the evaluation maps constructively

Let us discuss the proof of this last fact briefly. The idea is as follows. We consider the moduli space \mathcal{M}^*(A,J) consisting of simple holomorphic spheres representing the class A = [S]. This comes with an evaluation map of the form

\mathcal{M}^*(A,J) \times_{G} (S^2 \times S^2) \rightarrow V \times V

where G is the group of automorphisms of S^2. Both sides have dimension 8 and this evaluation map is injective away from the diagonal since A \cdot A = 1 and we have positivity of intersection. Therefore, this map has degree 1, and so any pair of distinct points on V has a unique curve passing through it. This is enough to show V = \mathbb{C}P^2.

Let us do another case, but show that the adjunction formula also comes into play.

Proposition: Suppose B is a simple homology class in (V,\omega) (i.e. is not a multiple of another homology class) with B \cdot B = 0, and suppose F is a rational embedded sphere representing B. Then there is a fibration \pi \colon V \rightarrow M with symplectic fibers and such that F is one of the fibers.

Proof (sketch): The idea is to consider the moduli space \mathcal{M}^*_{0,1}(V,J,B) of rational embedded J-holomorphic curves with 1 marked point p \in S^2, and where J is chosen to tame \omega and such that F is itself a J-holomorphic curve, and where we have quotiented by reparametrization of the domain. Then one can compute the dimension of this moduli space at a given curve C in the appropriate way as

d = \dim V + 2c_1(TV) \cdot [C] - 4,

where the last -4 comes from quotienting by the subgroup of PSL_2(\mathbb{C}) fixing the marked point. Applying adjunction for the curve represented by F, so that [C] \cdot [C] = 0, yields d = 4. We also have an evaluation map

\text{ev} : \mathcal{M}^*_{0,1}(V,J,B) \rightarrow V

Since B \cdot B = 0, there is at most one B-curve through each point in V, so it follows that this evaluation map has degree at most 1, and hence equal to 1 by regularity. This yields the structure of a fibration \pi : V \rightarrow M where the fibers are precisely the curves in our moduli space. Since the fibers are holomorphic, they are symplectic by the taming condition.

Advertisements

2 Comments

Filed under Uncategorized

2 responses to “Kylerec – On J-holomorphic curves, part 1

  1. Pingback: Kylerec – On J-holomorphic curves, part 2 | The Electric Handle Slide

  2. Pingback: Kylerec – Seiberg-Witten and Fillings | The Electric Handle Slide

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s