The symplectic isotopy problem for rational cuspidal curves
Marco Golla, Laura Starkston

TL;DR
This paper investigates the symplectic isotopy problem for rational cuspidal curves in 4-manifolds, establishing isotopy results up to degree 5 and for certain singularities, using pseudo-holomorphic curves and topology techniques.
Contribution
It introduces a class of tame singular symplectic curves and proves isotopy to complex curves for degrees up to 5, advancing understanding of symplectic isotopy classes.
Findings
Every rational cuspidal symplectic curve of degree up to 5 is isotopic to a complex curve.
Curves with one singularity linked to a torus knot are also isotopic to complex curves.
Classification relies on pseudo-holomorphic curves and symplectic birational geometry techniques.
Abstract
We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex projective plane. We prove that every such curve is isotopic to a complex curve in degrees up to 5, and for curves with one singularity whose link is a torus knot. Classification results of symplectic isotopy classes rely on pseudo-holomorphic curves together with a symplectic version of birational geometry of log pairs and techniques from 4-dimensional topology.
| Singularities (MS) | Singularities (L) | In | Elsewhere | Reference |
|---|---|---|---|---|
| Yes | No | Theorem 6.5 | ||
| No | No | Proposition 7.3 | ||
| No | No | Proposition 7.3 | ||
| Yes | No | Proposition 7.4 | ||
| No | No | Proposition 7.5 | ||
| Yes | No | Proposition 7.4 | ||
| Yes | No | Proposition 7.4 | ||
| No | No | Proposition 7.5 | ||
| Yes | Yes | Theorem 6.5 | ||
| No | Yes | Proposition 7.9 | ||
| Yes | Yes | Proposition 7.9 | ||
| No | No | Proposition 7.8 | ||
| No | Yes | Proposition 7.9 | ||
| No | No | Proposition 7.8 | ||
| Yes | No | Proposition 7.12 | ||
| Yes | No | Proposition 7.11 | ||
| No | No | Proposition 7.8 | ||
| No | No | Proposition 7.7 | ||
| No | No | Proposition 7.7 |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
The symplectic isotopy problem for rational cuspidal curves
Marco Golla
CNRS, Laboratoire de Mathématiques Jean Leray, Nantes, France
and
Laura Starkston
Department of Mathematics, UC Davis, One Shields Ave, Davis, CA 95616, U.S.A.
Abstract.
We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex projective plane. We prove that every such curve is isotopic to a complex curve in degrees up to 5, and for curves with one singularity whose link is a torus knot. Classification results of symplectic isotopy classes rely on pseudo-holomorphic curves together with a symplectic version of birational geometry of log pairs and techniques from -dimensional topology.
1. Introduction
In this article, we take up an extensive study of singular curves in the symplectic category. We focus on rational (genus zero) curves, taking advantage of the singularities to obtain low-genus curves with high degree. We primarily study irreducible rational cuspidal curves, but also consider reducible configurations with rational cuspidal components. Rational cuspidal curves are a source of rich complexity in algebraic geometry [Pal19, KP17, PP17, PP20]. We use the term cusp to refer to any locally irreducible singularity, but we focus on cusps locally modeled on where and are relatively prime (the link is a -torus knot). To our knowledge, prior work on singular symplectic curves has been restricted to nodes, simple cusps (-cusps), and tacnodes (simple tangencies between two branches). Rational cuspidal curves provide an effective class to work with in the symplectic category because pseudoholomorphic curves are most powerful in the rational (genus-[math]) case. We give obstruction results determining which rational cuspidal curves are realizable symplectically in the complex projective plane, as well as isotopy classification results proving uniqueness of realization up to symplectic isotopy. Both of these problems (existence and uniqueness) are difficult even in the complex algebraic category, and in the symplectic category, uniqueness has not even been proven for smooth curves of degree greater than (our results apply to singular curves of arbitrary degree).
Complex plane curves have a distinguished history in algebraic geometry: from Zariski’s examples of singular sextics with distinct fundamental groups in their complements [Zar29], to many more recent results continuing to the present from line arrangements to cuspidal curves (see for example [Hir83, Har86, ZL83, Ryb11, ACC03, ACCM05, KP17]). Algebraic geometers have built up powerful tools to tackle these problems: braid monodromy [Moi81, Lib89], Alexander invariants [Lib82], the log minimal model program [Miy01], Miyaoka’s inequalities [Miy84]. For example it was conjectured that every rational cuspidal curve has at most four cusps. This has recently been proven by Koras and Palka [KP19] using the almost minimal model program [Pal19] (see [Pio07, ZO96, Ton05] for previous progress on this problem and [PP17, PP20] for more recent developments). However, a complete classification of singular plane curves is still far out of reach in this rich subject. Beyond questions of which singular curves exist, serious study has been devoted to asking how many planar realizations there are of a given singular curve up to automorphisms of the plane, diffeomorphisms of their complements, or isomorphisms of the fundamental groups of their complements. Distinct realizations (under one of these equivalence relations) are often called “Zariski pairs” and it is unknown in general which curves have Zariski pairs.
Compared to algebraic geometry, the development of tools in symplectic geometry has occurred relatively recently. The classification of any type of symplectic planar curve, at first glance, is completely intractable because the space of symplectic curves is a relatively poorly understood infinite-dimensional moduli space. By contrast, the space of complex algebraic curves of a particular degree with particular singularities is cut out by finitely many discriminant polynomials in finitely many complex variables. However, Gromov’s theory of pseudoholomorphic curves brought some hope that some information about moduli spaces of symplectic curves could be understood. In particular, Gromov classified smooth symplectic surfaces in the complex projective plane in degrees and up to symplectic isotopy. While further work extended this to classify smooth symplectic surfaces up to degree [Sik03, She00, ST05], in degrees greater than or equal to the question remains open.
Question 1.1** (Symplectic Isotopy Problem).**
Is every smooth symplectic surface in symplectically isotopic to a complex curve?
This question is equivalent to asking, is there a unique symplectic isotopy class of symplectic surfaces in each degree? The equivalence results from the fact that the moduli space of smooth complex curves of fixed degree is connected. (The space of all degree- curves is parameterized by the coefficients of the defining polynomial, and singular curves have positive complex co-dimension.) Because of the difficulty of the classification for smooth symplectic curves, there has been somewhat limited work on singular symplectic curves [McD92a, IS99, She04, Bar99, Fra05]. Nevertheless, the study of singular symplectic curves in has significant ramifications for the study of all symplectic -manifolds via branched covering constructions [Aur00, Aur06].
Our first result addresses curves with a single cusp singularity. Such curves exist in every degree , so we are not bound by the uniform degree constraints encountered in attempts to answer Question 1.1. Note that the degrees and singularities for possible complex curves of this type were classified in [FLMN07].
Theorem 1.2**.**
In , every symplectic rational unicuspidal curve whose unique singularity is the cone on a torus knot is symplectically isotopic to a complex curve, and has a unique symplectic isotopy class.
As a corollary to our results, we see there are no Zariski pairs of rational unicuspidal curves with one Puiseux pair. To our knowledge, the literature does not contain the statement that there are no Zariski pairs for such complex algebraic curves. However, experts believe this might follow from the negativity conjecture of [PP17, PP20] (which would prove the statement for arbitrary rational cuspidal curves of log general type), together with some analysis of direct classifications in the cases of log Kodaira dimension at most .
A great deal of complexity arises when we consider rational curves with more than one cusp. Although there are basic restrictions relating the degree to the genus of the torus knots appearing as the links of the singularities, there are many combinations of cusp singularity types which cannot be realized by complex algebraic curves even though they satisfy these basic adjunctive requirements. We initiate exploration of multi-cuspidal curves in the symplectic setting with low-degree rational cuspidal curves. The corresponding problem in algebraic geometry has a long history. Complex algebraic rational cuspidal curves in degrees at most were completely classified [Nam84] (see [Moe08] for a more modern exposition). The classification of which rational cupsidal curves of degree can be realized complex algebraically was completed by Fenske [Fen99].
Here we look at symplectic curves up to degree . While we do show in Section 7.3 that our methods can say something for curves of degree , even those with significantly different properties than those appearing in degree , we do not venture into the combinatorics to give a complete classification. In fact, already in degree there is a great deal of complexity which could indicate how the symplectic category relates to the complex one. The techniques we develop to classify the variety of curves in degree provide a model for how one could approach many other cases in higher degrees. In degree , there are different possible combinations of different cusp types which satisfy the basic degree-genus restrictions. Of these , we show cannot embed symplectically into any symplectic manifold, embed into with a unique symplectic isotopy class, and the remaining more only embed symplectically and relatively minimally into . Comparing to known results on such algebraic curves we obtain the following theorem.
Theorem 1.3**.**
In , every symplectic rational cuspidal curve of degree at most five is symplectically isotopic to a complex curve and has a unique symplectic isotopy class. In particular, there are no Zariski pairs for rational cuspidal curves of degree up to 5.
Since the first version of this paper appeared, the result has been extended to degrees and by the first author and Kütle [GK20].
As mentioned above, our techniques in fact obtain much stronger results than classifications in . For each of the rational cuspidal curves we consider, we in fact classify the existence and uniqueness of minimal symplectic embeddings into any closed symplectic -manifold (up to symplectomorphism and symplectic isotopy of the pair). Classifications up to symplectomorphism of the pair reduce to ambient symplectic isotopy statements in the case that the ambient manifold is by Gromov’s result that the space of symplectomorphisms of is homotopy equivalent to [Gro85, MS12], so in particular is path-connected.
To each singular symplectic curve , we associate a contact -manifold which appears on the boundary of a concave neighborhood of the curve. Our classifications of symplectic embeddings of the curves provide classifications of all symplectic fillings of the contact manifolds associated to our curves. Thus we get new examples of contact manifolds which have no (strong) symplectic fillings, unique symplectic fillings, and non-unique but finitely many symplectic fillings that are classified. Previous complete classifications of symplectic fillings have primarily been restricted to lens spaces [Lis08, PV10], Seifert fibered spaces [OO05, Sta15], and torus bundles [GL16]. Our contact -manifolds are more general graph manifolds which do not fall in any of these previous classes.
One question we had early on in our investigations, was whether symplectic embeddability of a certain type of rational cuspidal curve could distinguish the complex projective plane from a potential exotic or fake copy of . We found that this cannot be the case.
Theorem 1.4**.**
If is a rational homology that contains a rational cuspidal curve, then is symplectomorphic to .
A similar question was raised by Chen [Che18], who asked which symplectic 4–manifolds with the same rational homology as could be split along a contact-type hypersurface into two pieces, one of which was a rational homology ball.
We also prove a number of existence and uniqueness results for reducible configurations whose components are rational. These results play a role in proving the results for irreducible rational cuspidal curves. We summarize here some examples of these results.
Theorem 1.5**.**
Any configuration of symplectic conics and lines of total degree at most five either has a unique symplectic isotopy class or is obstructed in Section 5.2. There is a unique symplectic isotopy class for each of the infinitely many configurations composed of one rational degree- curve with a singular point with multiplicity sequence together with a line which is tangent to of order .
Two more complicated configurations of two conics with additional lines appear in Figures 11 and 12 and with further techniques we prove they also have unique symplectic isotopy classes.
To prove these results and relate them to each other, we develop a symplectic theory of birational geometry for pairs where is a symplectic -manifold and is a (potentially singular) symplectic curve. We apply this, along with pseudoholomorphic curve techniques, to give symplectic classifications of many reducible configurations of curves in . We define symplectic proper transforms of curves, and see that the outcome is only well-defined up to symplectic isotopy (meaning a related through a smoothly varying equisingular family of symplectic curves, not necessarily related by an ambient isotopy). Because we use symplectic blow-ups and blow-downs throughout the paper, most of our statements are true only up to symplectic isotopy. The theory of symplectic birational geometry is based in fundamental work of McDuff on symplectic blow-up and blow-down. We develop this theory for “log” pairs to study singular symplectic curves and their isotopy classifications. While symplectic geometry does not have the full strength of algebraic geometry’s log minimal model program, by combining this symplectic birational geometry with pseudoholomorphic techniques and topological tools, we are able to prove many new results that have not been addressed with pseudoholomorphic curves alone.
Organization
The paper is organized as follows. Section 2 defines singular symplectic curves and their equivalences, provides background on complex curve singularities and their resolutions, defines the contact manifold associated to a singular curve, and reviews previous topological obstructions to rational cuspidal curves. Section 3 develops the tools utilizing pseudoholomorphic curves and birational geometry that we constantly use throughout the paper. In particular, Sections 3.1 and 3.4 contain the crucial definitions of symplectic proper transform, and of birational derivation and birational equivalence of configurations of curves, respectively. Section 4 proves Theorem 1.4. Section 5 studies symplectic isotopy problems for reducible configurations, which will be used to study the isotopy problem for rational cuspidal curves. Sections 6 and 7 give the proofs of Theorems 1.2 and 1.3, respectively. In Section 8 we will give an example, communicated to us by Stepan Orevkov, of a symplectic rational (non-cuspidal) curve that is not isotopic to any complex curve. The appendix contains a result about rational homology ball symplectic fillings of lens spaces that we use in the proof of Theorem 1.2.
Acknowlegments
This project originated from conversations the two authors had during the intensive semester on Symplectic geometry and topology at the Mittag-Leffler Institute; we acknowledge their hospitality and the great working environment. Further progress was made during the BIRS conference Thirty years of Floer theory for -manifolds in Oaxaca; we thank the organizers for this excellent conference and for the opportunity to collaborate. The authors would like to thank the participants of the AIM workshop Symplectic four-manifolds through branched coverings for their interest in the project. MG acknowledges hospitality from Stanford University and UC Davis. LS is grateful for hospitality from Université de Nantes. LS was supported by NSF Grant No. 1501728 and 1904074. We would like to thank Józsi Bodnár, Erwan Brugallé, Roger Casals, Anthony Conway, Paolo Ghiggini, András Némethi, Tomasz Pełka, Olga Plamenevskaya, Danny Ruberman, András Stipsicz, and Chris Wendl. Finally, the authors would like to thank Stepan Orevkov for his comments and for communicating us the example in Section 8.
2. Symplectic singular curves
In this section, we will start by reviewing some basic facts about singular complex curves. A good reference for the material we cover here is [Wal04]. Then we will give our definitions of the symplectic analogues.
Let in be the zero set of an analytic function , such that ; we say that is singular at the origin if . We suppose that is locally irreducible, i.e. irreducible in the ring of power series in two variables; in this case, we will say that the singularity is a cusp. (Note that certain authors call cusps only the singularities of type ; we will refer to the latter as simple cusps.)
Up to diffeomorphism, can be parametrized (in a neighborhood of the origin) as the image of defined by for some positive integers and some . Moreover, if we require that the sequence defined by , is strictly decreasing, the exponents are uniquely determined. In this case, is the Puiseux parametrization of , and are the Puiseux exponents of ; is called the multiplicity of the singularity.
Remark 2.1*.*
Note that with the above coordinates from the Puiseux parametrization, the cusp curve has a unique tangent line . This is the limit of the tangent lines of the nearby smooth points as , , so as since . For a general complex curve singularity, there are a finitely many locally irreducible branches, each with a unique complex tangent line. The multiplicity of intersection of the tangent line at a cusp point is (the solutions to setting ), whereas a line which is not tangent to the cusp will intersect the cusp with multiplicity (the solution to setting for ). See [Wal04, Section 2.3] for more details.
Recall that the link of the singularity is the diffeomorphism type of , where is the boundary of a ball of radius . The fact that the singularity of at the origin is irreducible translates into the condition that the link is a knot (i.e. has one component).
The Puiseux exponents determine the topology of the singularity: two singularities have the same Puiseux exponents if and only if their links are diffeomorphic [Wal04, Proposition 5.3.1].
In this paper we will be almost exclusively concerned with singularities whose Puiseux expansion has , i.e. it is of the form ; we will say that the singularity is of type . Note that ; however, the link of a singularity of type , which is the torus knot , is isotopic to the torus knot .
2.1. Resolution of singularities
Recall from [Wal04] that every curve singularity can be resolved by blowing up (sufficiently many times), and the diffeomorphism type of the link determines the topology of the resolution. If is a (multiple) blow-up at a point , and is a curve, we call the proper transform of under , and we denote it by ; we also call the total transform of under , and we denote it by .
For every singular curve , there exists a composition of blow-ups such that is smooth; we call any such a resolution of .
Given a resolution of , consider the restriction of to the proper transform of . We call (and, by abuse of notation, ) the normalization of . Note that this is essentially independent of the choice of the resolution: if is another resolution of and we construct accordingly, then there is an isomorphisms between the sources of and such that . We also observe that is cuspidal if and only if the normalization is one-to-one; in particular, in this case it is a homeomorphism onto its image.
There are two natural stopping points when resolving a singularity: the minimal resolution is the smallest resolution such that the proper transform of is smooth; the normal crossing resolution is the smallest resolution such that the total transform of is a normal crossing divisor, i.e. all singularities are double points 111The terminology in the log algebraic geometry community (e.g. in [KP17, PP17, PP20, KP19]) seems to by slightly different: they call minimal weak resolution (or, in earlier papers, minimal embedded resolution) what we call minimal resolution, and minimal log resolution what we call normal crossing resolution..
Recall that the multiplicity of a singularity of is the minimal intersection of a germ of a divisor at with ; that is, ; the multiplicity of a singularity has the following interpretation: blow up at , obtaining , which contains the corresponding exceptional divisor ; then is the intersection number of and , i.e. . In terms of homology, there is an orthogonal decomposition , and we have . In particular .
We record the singularity types at each step in the minimal resolution into a sequence of integers, called the multiplicity sequence, as follows. Suppose that the minimal resolution of a singularity of is a sequence of blow-ups, and call the proper transform of after the first blow-ups, so that , and is the proper transform of in the minimal resolution. Then has a singularity of multiplicity , and we write for the multiplicity sequence of the singularity of . Note that for each , but that not every sequence of integers correspond to the multiplicity sequence of a singularity; for instance is not the multiplicity sequence of any singularity. The multiplicity sequence of an irreducible singularity determines the singularity [Wal04, Theorem 3.5.6]; however, the multiplicity sequence is defined both for irreducible and reducible singularities.
Remark 2.2*.*
Algebraic geometers often consider the multiplicity sequence associated to the normal crossing divisors resolution of the singularity, rather than the one associated to the minimal resolution. In fact, one determines the other: if the latter ends in , the former coincides with it until the entry, and then ends with a sequence of s of length . These last entries corresponds to the blow-ups needed to make the last exceptional divisor in the minimal smooth resolution disjoint from the proper transform of the curve.
Given a cuspidal curve , we say that the multiplicity multi-sequence of is the union of all multiplicity sequences of singularities of . This is only well-defined up to choosing an order of the cusps. Instead of making the choice, we just sort all the entries decreasingly. We use double-bracket notation to denote the multiplicity multi-sequence: .
Example 2.3*.*
The multiplicity of a singularity whose link is the torus knot is . For a singularity of type , one blow up already yields a smooth curve, and so the multiplicity sequence is . In general, after blowing up once at a singularity of type , the resulting curve has a singularity whose link is (and therefore is of type or , depending on whether is larger or smaller than ). Iterating this process, eventually reaches a smooth curve.
The following are the singularities that will appear in our examples.
- •
For a singularity of type , the multiplicity is , and singularity of the proper transform in the first blow-up is of type . It follows inductively that the multiplicity sequence is the string of length , . In particular, a curve with a singularity of type and a curve with two singularities of type have the same multiplicity multi-sequence, .
- •
A singularity of type has multiplicity sequence . In particular the singularity of type has multiplicity sequence .
- •
A singularity of type has multiplicity sequence ().
Here we describe the normal crossing resolution of singularities of type . This is best described in terms of continued fraction expansions; given a rational number , we write
[TABLE]
for its (negative or Hirzebruch–Jung) continued fraction expansion, where for each .
In what follows, we will adopt the notation to denote a string of entries, all equal to ; for instance will be the multiplicity sequence of the singularity of type .
It consists of a plumbing of spheres along a three-legged star-shaped graph decorated by Euler classes. The Euler class on the central vertex is ; that is, the central vertex is the exceptional divisor corresponding to the last blow-up in the resolution. Two of the legs are linear chains whose decorations give the continued fraction expansions of
[TABLE]
where and , and and .
More precisely, the resolution graph of the singularity of type looks like the following:
[TABLE]
where and , and the hollow dot represents the proper transform of . (It might be helpful to recall that and , where is the remainder of the division of by .)
The following lemma is well-known among algebraic geometers; we include a proof both for completeness and to give an example of the techniques for low-dimensional topologists.
Lemma 2.4**.**
Suppose is a singular curve in with a singularity of type at . Consider the normal crossing divisor resolution of the singularity of at in . Then the proper transform of in satisfies .
Proof.
We prove the result by induction on the length of the multiplicity sequence of the singularity.
If , the singularity is of type for some , and the first blow-up already gives the minimal smooth resolution. The total transform of in the minimal resolution consists of the proper transform of and the exceptional divisor, and the two have a tangency of order ; as observed above, the proper transform has self-intersection . To get to the normal crossing divisor resolution, we blow up times at the tangency; since the proper transform of was already smooth, each of these blow-ups decrease the self-intersection by , hence , thus proving the base case.
If , blow up once at ; the singularity of the proper transform of will be of type (or, possibly, ), and the length of its multiplicity sequence decreases by by definition; therefore , as desired. ∎
If is a curve of self-intersection with a unique singularity of type , then the total transform of is the full plumbing graph, where the hollow dot is replaced by a vertex with Euler class . In our applications, in the case of a unique singularity, if , we will blow-up further times along the edge between the central vertex and this short leg to change the coefficient on the central vertex to and add a chain of more -vertices, a single -vertex, and a single -vertex.
In general, we can resolve each singularity of independently of the others; furthermore, if all singularities are of type , the total transform of will look like a plumbing tree, obtained by fusing the resolution graphs of the individual singularities along the hollow vertex, whose weight is .
For instance, when is a rational curve with self-intersection , with a singularity of type and one of type , the total transform of in the normal crossing resolution of is described by the following plumbing diagram:
[TABLE]
Here the vertex labelled with is the proper transform of , and is obtained by fusing the corresponding hollow vertices in the resolution diagrams for the two singularities of .
2.2. Singular symplectic curves
We are now ready to define the main objects of interest in the paper.
Definition 2.5**.**
A singular symplectic curve in a symplectic -manifold is a subset such that:
- •
there exists a finite subset such that is a smooth symplectic submanifold of ;
- •
every has an open neighborhood , such that there exists a symplectomorphism , where , and is a complex algebraic curve.
We call the set of singularities of , the smooth part of . We say that is cuspidal if all its singularities are cusps (i.e. locally irreducible).
Since the singularities are locally modeled on complex curves, we have the resolutions of Section 2.1. In particular, can be parameterized as a locally injective smooth image of a parameterization which is an embedding away from the singular points ( is the normalization). When this normalization is connected, the curve is irreducible. When is disconnected, is reducible and we consider it as a curve with labeled components.
When we want to refer to the abstract topological type of the singular curve, namely the labeled components and their homology classes, and the topological types of the singularities (encoded by the links of the singularities up to isotopy), we will call it a configuration and denote it with script font. A specific symplectic realization of a configuration will be a singular symplectic curve with the homology and singularity data specified by .
We restrict to singularities modeled by complex curves because these are the singularity types that can occur in pseudoholomorphic curves by two results of McDuff, that we summarize in the following theorem.
Theorem 2.6** (McDuff [McD92b]; see also Micallef–White [MW95]).**
Let be a -holomorphic curve in an almost complex -manifold .
- (1)
If is not multiply covered, there is a neighborhood of each of its singular points such that the pair is homeomorphic to the cone over where is an algebraic link in that depends only on the germ of at . 2. (2)
There are an almost complex structure and a -holomorphic curve , such that is integrable near each of the singular points of and is homeomorphic to ; moreover, can be chosen to be arbitrarily close to in the -topology and can be chosen to be arbitrarily close to in the -topology.
Since the symplectic condition is -open, it is preserved by -small isotopies. It follows that any -holomorphic singular curve for any -compatible is -close to a curve whose singular points have complex models. Since -small isotopies do not affect questions of existence or uniqueness, we model singular symplectic curves with complex Darboux charts as given in Definition 2.5.
There are two different types of notions of the genus of of a singular curve. Recall that every singularity can be perturbed; that is it can be replaced with a Milnor fiber, locally defined by a perturbation of the equation for the singularity. The genus of the Milnor fiber is also the 3-genus of its link, and it is a topological invariant of the singularity. If is a singular point of , with branches, we define , the Milnor number of , as the first Betti number of the Milnor fiber of the singularity of at ; we define by . If is a cusp point of , then is just the genus of the Milnor fiber of the singularity.
For the following definition, we borrow the terminology from algebraic geometry.
Definition 2.7**.**
Let be a singular symplectic curve. We call where is the normalization of , the geometric genus of , and we will say that is rational if its geometric genus is 0.
We call
[TABLE]
the arithmetic genus of .
Since is the genus of a symplectic smoothing of , satisfies the adjunction formula
[TABLE]
It follows from the adjunction formula that for a singularity with multiplicity sequence
[TABLE]
Our focus will be on singular symplectic curves in . In this case, because , the homology class of a curve is determined by an integer. We will use the convention that with the complex orientation is the positive generator which we will often denote by . Note that . Since all symplectic surfaces have positive symplectic area, their integral homology classes will correspond to positive integers. Extending the terminology from the algebraic case, we have the following definition.
Definition 2.8**.**
The degree of a (singular) symplectic curve in is the positive integer such that .
We will focus on classifying pairs which are relatively minimal, meaning there are no exceptional spheres in that are disjoint from . The following definition will be convenient.
Definition 2.9**.**
A singular symplectic curve is said to be minimally embedded in a symplectic -manifold if contains no exceptional symplectic -spheres.
There is a natural equivalence relation between different singular curves.
Definition 2.10**.**
A symplectic equisingular isotopy of singular symplectic curves is a one-parameter family of singular symplectic curves such that for each the curves and have topologically equivalent singularities. If is reducible, we label the components of and require the discrete labeling to vary continuously in (i.e. the labeling is preserved by the family).
We may sometimes drop the term equisingular for brevity and simply say that and are symplectically isotopic, with the understanding that all of the isotopies we consider in this article are equisingular.
Note that each singularity is locally uniquely determined up to equisingular isotopy by the smooth isotopy class of its link. Our definition of a symplectic singular curve required the existence of a local symplectomorphism to a complex curve singularity. Here we verify that complex curve singularities with the same topological type have the same symplectomorphism type. Thus we can take one representative complex model for each topological type of curve singularity.
Lemma 2.11**.**
Suppose and are two complex curves in where is a singular point for such that the links of the singularities at in for are smoothly isotopic. Then there exist an equisingular family of curves such that has a singularity at the origin for each , and there are neighborhoods and of such that for .
Proof.
We can choose two complex charts around such that, for , has a Puiseux expansions
[TABLE]
Two singularities are topologically equivalent if and only if they have the same Puiseux exponents . In terms of the Puiseux expansion, this means that and that for every such that . (Recall from the beginning of the section that the sequence is defined recursively as and for .) Since the space of sequences satisfying these constraints and the space of local charts are both connected, we can always isotope one singularity into the other without changing the singularity type. ∎
Remark 2.12*.*
For smooth symplectic curves in any symplectic -manifold , any 1-parameter family of curves is induced by an ambient symplectic isotopy. Namely there exist symplectomorphisms with and .
On the other hand, singular curves carry local symplectomorphism invariants beyond their topological type. Therefore there can be a -parameter equisingular family of symplectic (or even complex) curves which may not be related by an ambient symplectic isotopy.
The differences stem from the preservation by symplectomorphisms of “angles” between collections of symplectic planes intersecting at the origin. For a cusp singularity, the angles are not as easily visible, but after blowing up to a normal crossing resolution, the position of the intersection points of the exceptional divisors can vary. After blowing down one exceptional divisor, different relative intersection positions of other curves with that exceptional divisor will change the symplectic angles between the resulting transversally intersecting curves. These angles will have an effect on the geometry of the cusp when you blow down completely to undo the resolution.
This is the analogue of the situation in the complex category, where, for instance, there are moduli of ordinary quadruple points in that are connected, but not isomorphic. These are distinguished by the cross-ratio of the four points the four branches determine in .
In order to see the symplectic analogue of the complex statement, we reduce to the linear case, and argue by dimension-counting. Consider two ordinary -tuple points in for some . If there is a global symplectomorphism between open sets containing them that sends one singularity to the other, then the differential is a linear symplectomorphism of that identifies the -tuple of tangent spaces to the branches of the two singularities. The space of linear symplectomorphisms of has finite dimension ; the Grassmannian of symplectic planes in has finite dimension , too. Since the diagonal action of on is smooth for each , the dimension of the orbits is at most . The space of -planes intersecting positively and transversely is open and non-empty in . This proves that, as soon as , the action cannot be transitive on any connected component, and in particular that there are isotopic ordinary -tuple points that are isotopic but not ambient-symplectomorphic. In fact, one can compute and , since the symplectic condition is open, and therefore is the same as the dimension of the Grassmannian of 2-planes in . This shows that already suffices.
2.3. The cuspidal contact structure and its caps
Theorem 2.13**.**
Given a singular symplectic curve , with specified singularity types and normal Euler number . Suppose . Then there exists a symplectic manifold with concave boundary such that is a regular neighborhood of , such that in . Moreover, every symplectic embedding of into a symplectic manifold has a concave neighborhood inducing the same contact boundary.
Proof.
Let denote the normal crossing resolution of which is a collection of transversally intersecting curves with specified genus, intersections, and normal Euler numbers. The intersections are generic double points.
A regular neighborhood of can be constructed as a plumbing of surfaces. Moreover, by undoing the normal crossing resolution, we see that is the blow-up of a regular neighborhood of . In particular the intersection form of is for some .
Because , the intersection form of the plumbing is not negative definite. We claim that the inclusion induces the trivial map on the second cohomology group: . This follows from the long exact sequence of the pair : in fact, the map is presented by the intersection form of ; since the latter is non-degenerate, the map is an isomorphism. It follows that is exact on . (The exactness assumption is automatically satisfied if is rational and cuspidal, since in that case is a rational homology sphere, and therefore .)
Construct a concave symplectic structure on , such that is a symplectic submanifold using the construction of [GS09] adapted to the concave case [LM19, Theorem 1.3]. Blow down to obtain the symplectic structure on .
The existence of an equivalent concave neighborhood in any symplectic embedding follows similarly from blowing up to the normal crossing resolution and using the analogous result of [GS09, LM19]. ∎
Definition 2.14**.**
Given a singular symplectic curve , defined by the collection of its singularities and its self-intersection, we define by , and as the contact structure induced by the concave symplectic structure.
Note that the contact structure depends only on the topological types of the singularities of , its geometric genus, and its self-intersection. Also, observe that, in order to define , we are using that there exists a normal crossing resolution.
This is a generalization of the contact structures introduced by Chen (see [Che18, Section 4]) for rational curves. The focus in [Che18] was on curves in (or in symplectic manifolds with the same algebraic topology). Chen described the contact structure using transverse symplectic handle attachment, instead of using the normal crossing resolution. The two contact structures are actually the same because they are both the canonical contact structure on the boundary of a small concave neighbourhood of the curve, though we will not use this fact here.
Remark 2.15*.*
We recall that, if is an algebraic curve in of degree , then the contact structure is defined algebraically. It is a hyperplane section of the Veronese embedding of the degree , and hence its complement inherits a Stein structure from .
Remark 2.16*.*
Note that in our setup, need not be realised as a symplectic curve embedded in a closed Kähler surface. Instead its regular neighborhood can be defined using its self-intersection number, genus, and singularities. We will exhibit examples of such curves which do not embed in a closed symplectic manifold (see Section 7).
2.4. Topological obstructions
We mention here two techniques used previously to obstruct rational cuspidal curves in which have topological interpretations and can thus obstruct symplectic curves (not just complex algebraic curves).
The semigroup condition was first discovered by Borodzik and Livingston [BL14]. Recall that to each curve singularity there is an associated semigroup , that records the local multiplicities of intersections of germs of curves with the singularity; for instance, for a singularity of type , the semigroup is generated by and . We define the counting function of as , and the minimum convolution of two functions as ; given a rational cuspidal curve of degree , with cusps , and associated -functions , let . Then, [BL14, Theorem 6.5] asserts that, for each ,
[TABLE]
Note that this is a smooth obstruction: it obstructs the existence of a rational homology 4-ball which glues by a diffeomorphism of the boundaries to a regular neighbourhood of .
Remark 2.17*.*
In fact, the function only depends on the multiplicity multi-sequence, not the way it is split into multiplicity sequences for individual cusps [BN16, Theorem 1.3.12]. Moreover, one can see that the semigroup condition is a generalization of Bézout’s theorem: see, for instance, [FLMN06, Proposition 3.2.1].
Example 2.18*.*
In the case of quintics, the only multiplicity multi-sequence that is excluded by the semigroup criterion is , which corresponds to two rational cuspidal curves, one with a singularity of type and one with two singularities of type .
Remark 2.19*.*
There is a strengthening of [BL14] to curves of odd degree, using involutive Heegaard Floer homology, due to Borodzik, Hom, and Schinzel [BHS18]; in particular, by [BHS18, Section 5.1], the curves with cusps of types and are also obstructed.
We call spectrum semicontinuity an inequality on the Levine–Tristram signature and nullity functions of the links, . It is related to the algebro-geometric spectrum semicontinuity, formulated in terms of Hodge-theoretic data, and then recast in more topological terms by Borodzik and Némethi [BN12, Corollary 2.5.4]. From a curve , by choosing a generic line , we obtain a genus- cobordism in from the connected sum of links of all singularities of , to the torus link ; this cobordism is obtained from removing a neighborhood of a path connecting all singularities of , and a neighborhood of the line . Suppose that is rational and its singularities are cusps. Then is a knot, and for every we have:
[TABLE]
Here is the unit circle with all Knotennullstellen (roots of integer polynomials such that ) removed; that is,
[TABLE]
The inequality above was essentially proved by Nagel and Powell [NP17], who also introduced the notation and terminology for (see also [Con21, Theorem 2.12]).
To be concrete: all transcendental complex numbers of norm belong to , so the set of Knotennullstellen has measure [math]. A root of unity belongs to belongs to if and only if its order is a prime power; for this it suffices to evaluate cyclotomic polynomials at : for every prime and positive integer , while whenever has at least two distinct prime factors.
The obstruction (2.5) is topological, once we assume that there exists a locally flatly embedded sphere in the homology class that intersects transversely and positively in points. This assumption is satisfied when is a symplectic curve, because we can choose an almost complex structure such that is -holomorphic (by Lemma 3.4) and then choose a generic -holomorphic line. Then each -holomorphic line intersects positively, and the space of -holomorphic lines has (real) dimension . The -holomorphic lines which intersect at a singular point or tangentially has positive codimension (real codimension ) in the space of all -holomorphic lines. Therefore there is a -holomorphic line which intersects positively and transversally in points.
Example 2.20*.*
The spectrum semicontinuity obstructs the existence of a quintic with two cusps of type . As mentioned in Remark 2.19 above, this was also obstructed by using Floer-theoretic techniques. The spectrum semicontinuity is a stronger obstruction, because it holds in the topologically locally flat category, rather just the smooth category.
3. Pseudoholomorphic techniques
3.1. Proper transforms in symplectic blow-ups
In the symplectic category, blowing up and blowing down take on a slightly different character than they do in algebraic geometry [McD91]. To perform a symplectic blow-up at a point in a symplectic manifold , we first choose a Darboux chart centered at . Remove a ball inside this chart of radius , and collapse the boundary by the Hopf fibration to obtain the exceptional divisor. Alternatively, remove a ball of radius centered at and replace it with a neighborhood of a copy of of symplectic area in . The symplectic form on the ring of the ball between radius and agrees with the symplectic form on when the zero section is a symplectic submanifold of area . A symplectic blow-down reverses the operation, replacing a neighborhood of an exceptional divisor of symplectic area with a ball of radius (or equivalently deleting the exceptional divisor of symplectic area and replacing it by a closed ball of radius ).
Remark 3.1*.*
In the algebraic geometric (or smooth) category, the blow-up has a well-defined effect on both the variety and its subvarieties. The effect on the subvarieties gives rise to the notions of the total and proper transforms discussed in Section 2.1. The proper transform turns first order data of the subvariety at the point into zeroth order information (and second order information into first order information, etc). Because the symplectic blow-up deletes an entire ball instead of just a point, we need to define the total and proper transforms of (singular) symplectic curves in symplectic -manifolds with a bit more care.
When we perform a symplectic blow-up at a point, we will always choose the radius of the symplectic ball to be sufficiently small such that every sphere of radius intersects the symplectic curves transversally. Note that using the radial vector field in the Darboux chart as a Liouville vector field, the spheres are contact-type hypersurfaces.
Suppose now that we have a symplectic curve in , and that we blow up at a (possibly singular) point on . The transverse intersections of with the contact spheres are transverse links in the spheres . Note that if we identify spheres of different radii by a rescaling contactomorphism, the transverse links in the spheres of different radii are all transversally isotopic to each other. If is a smooth point, the transverse link will be the standard unknot of maximal self-linking number. If is a singularity, will be transversally isotopic to an algebraic link.
For the algebraic proper transform in the blow-up, the exceptional divisor replaces the point , and the proper transform intersects according to its tangent derivative information at that point. Thus the proper transform is a finite-point compactification in the algebraic blow-up of the family of transverse links . We would like to have a similar proper transform in the symplectic blow-up, but in this case we delete a ball of radius instead of only a point. Therefore, the links for would be cut out. We cannot guarantee that the transverse links for will finite-point compactify as with the same diffeomorphism type as the family for as .
To overcome this issue, we will squeeze the entire transverse isotopy for into the collar where by reparametrizing the radial coordinate by a smooth, strictly increasing function such that near and near . In other words, in the symplectic blow-up, for , the proper transform intersects the sphere in a link defined by
[TABLE]
As , . Therefore this family extends via a finite-point compactification in the exceptional divisor in the same manner as the algebraic proper transform. Note that We do not change the symplectic structure on the ambient symplectic -manifold, we only modify the symplectic curve.
Lemma 3.2**.**
The surface is a symplectic curve.
Proof.
We want to prove that the tangent spaces to the surface are still symplectic subspaces; the idea is that this is true because the bases for the tangent spaces only differ by a positive scaling factor . Namely, if denotes a polar parametrization of the original surface such that , then is a parametrization for the new surface and
[TABLE]
so the value of must be positive on an oriented basis for the curve parametrized by since it is positive on an oriented basis for the curve parametrized by . ∎
A symplectic blow-down reverses this procedure. Deleting a -neighborhood of an exceptional sphere of weight (i.e. the symplectic area is ), we replace it with a symplectic ball of radius . To define the image of a symplectic curve which intersects the exceptional divisor over we reverse the squeezing procedure above to stretch the transverse link family back out. Namely we take the surface defined by the union of the center of the ball together with the transverse links where
[TABLE]
Note that the definition of the proper transform depends on the choice of the Darboux chart, of and of . However, the symplectic isotopy class is independent of all these choices.
Proposition 3.3**.**
The symplectic isotopy class of the proper transform of a singular symplectic curve is independent of the choice of the Darboux ball, of and , and is related to the algebraic proper transform by a diffeomorphism supported in a neighborhood of the exceptional divisor.
Proof.
We start by showing independence of . Without loss of generality assume that . If one blow-up/down is performed using with function and the other using with function , we may extend to the interval by extending by the identity on the interval . Therefore, without loss of generality we may assume and simply show independence of .
To find the symplectic isotopy connecting the proper transforms for different choices of , define a -parameter family of proper transforms using . The required characteristics of are convex conditions so defines a symplectic proper transform for interpolating between the two choices of proper transform.
We now note that the space of embeddings of Darboux balls (with varying radius) in any connected symplectic manifold is itself connected. Thus, in order to prove independence (up to isotopy) of the Darboux ball, we can suppose that we have a 1-parameter family of Darboux balls centered at , parametrized by symplectomorphisms connecting two Darboux balls and . (We can assume that the balls have the same volume by passing to a subfamily.) Then, by choosing , and applying the recipe above, we obtain a 1-parameter family of symplectic proper transforms that varies smoothly with , i.e. a symplectic isotopy between and .
To see that the symplectic proper transform is related to the algebraic proper transform by a diffeomorphism, simply re-stretch out the ring between radius and in the blow-up by reparametrizing the radial coordinate by (and shrink by reparametrizing by in the blow-down). Note, this diffeomorphism will not be a symplectomorphism. ∎
3.2. Pseudoholomorphic curves
Here we prove two technical lemmas that we will use throughout.
Lemma 3.4**.**
Let be a symplectic -manifold and be a singular symplectic surface. The space of almost complex structures which are compatible with the symplectic structure such that is -holomorphic is non-empty and contractible.
Proof.
The proof is a mild upgrade of a standard proof that the space of almost complex structures compatible with a given symplectic structure is contractible. There are multiple ways to prove this classical fact, and here we follow one given in [MS17, Proposition 2.63].
The first observation to make is that the condition that is a point-wise condition. Namely, at each point , must be an -compatible almost complex structure (at the vector space level), and whenever , we also require that preserves all tangent spaces to at . Note that at a singular point in , there may be more than one branch defining finitely many distinct tangent spaces, however each branch does have a well-defined tangent space (Remark 2.1). Note that at a critical point of a -holomorphic map , so the -holomorphic condition is actually vacuous at that point. However, at nearby smooth points, the -holomorphic condition does require that preserves the tangent space to , so if varies continuously over points in , since the tangent space at a singular point is the limit of nearby tangent spaces, the requirement that preserve the tangent spaces at singular points will be automatically satisfied.
We want to choose as a continuous section of the bundle whose fiber over is the space of compatible almost complex structures on , such that the section is constrained over points to the subset of compatible almost complex structures on which preserve the tangent space(s) to . We will show that the contraction of to a point from [MS17, Proposition 2.50] preserves the subset . Therefore, the space is contractible.
One way to show that is contractible is by showing that is homeomorphic to the space of symmetric positive definite symplectic matrices [MS17, Proposition 2.50 (i), (iii)]. Fixing a standard symplectic basis on , let be the matrix for the standard complex structure. Then we can identify any almost complex structure on with a symmetric, positive definite, symplectic matrix by (and ). Here, we will choose the basis on with some care along points of . Near singular points of , there is by definition, a symplectic identification with a subset of such that is identified with a complex curve (with respect to the standard complex structure). We will choose the basis of compatibly with the standard coordinates on under this identification so that at singular points, preserves all tangent spaces to in . Along smooth points of , the basis for should extend a symplectic basis for . Therefore preserves the tangent space(s) of at every point. Away from Darboux coordinates can be extended arbitrarily.
A deformation contraction from the space of symmetric positive definite symplectic matrices to a point is given by sending to for . It is proven in [MS17, Lemma 2.21] that is a (symmetric, positive definite) symplectic matrix whenever is. The contraction deforming to gives the contraction of . Therefore, it suffices to check that this contraction preserves the subset of almost complex structures on which preserve the tangent spaces of .
Since preserves the tangent spaces of by assumption on the choice of frame for along , preserves the tangent spaces of if and only if the corresponding matrix does. Since is symmetric, it is diagonalizable. A subspace of is an invariant subspace of if and only if it is spanned by eigenvectors of . Similarly a subspace is invariant under if and only if it is spanned by eigenvectors of . Since the eigenvectors of are the same as the eigenvectors of , their invariant subspaces are the same. Therefore if preserves the tangent spaces of , does as well. Thus the contraction preserves the subset . ∎
The strength of using -holomorphic curves is that we have much greater control over their geometric intersections. Two general symplectic surfaces may intersect with a canceling pair of positive and negative intersections, but in this case they could not be realized as -holomorphic simultaneously for the same almost complex structure . When is a 4-manifold with a compatible almost complex structure , the orientation induced by and agree. Two transversally intersecting -holomorphic curves can be easily seen to have positive intersections because the almost complex structure induces complex orientations on each of the curves at an intersection point, which adds up to the positive orientation on the -manifold induced by . More generally, any (not necessarily transverse) intersection between simple -holomorphic curves (possibly with singularities) contributes positively (see [MS12, Section 2.6, Appendix E.2]).
Lemma 3.5** ([McD90]).**
Let be the standard basis for with and . Suppose is a configuration of positively intersecting symplectic surfaces in . Let be exceptional classes which have non-negative algebraic intersections with each of the symplectic surfaces in the configuration . Then there exist disjoint exceptional spheres representing the classes respectively such that any geometric intersections of with are positive.
Blowing down exceptional spheres using this lemma, together with exceptional spheres appearing in a configuration, eventually we will blow down spheres in all classes and reach a configuration in .
Proof.
Fix an almost complex structure which is . Let . As in [McD90, Theorem 3.4], one can find a maximal collection of disjoint exceptional -holomorphic curves generating . (These necessarily represent classes, since these are the only classes of square which are positively oriented by .) They will intersect positively because both are -holomorphic. ∎
The order of the which we choose to -holomorphically blow down does depend to some extent on the configuration because if one of the surfaces in represents the class , then we cannot blow down a -holomorphic exceptional sphere in the class until we have blown down exceptional spheres in the classes first. This is because has negative algebraic intersection number with . If then the surface in represents the class so it can itself act as the -holomorphic exceptional sphere. However, this is the only restriction on the ordering because the positively intersecting exceptional classes can be geometrically realized disjointly.
3.3. Embeddings of plumbings into
Suppose is a plumbing of symplectic spheres, such that one of the spheres has self-intersection . In our context, this will typically be a neighborhood of the normal crossing resolution of a rational cuspidal curve (or possibly a further blow-up). A theorem of McDuff strongly restricts the closed symplectic manifolds in which can symplectically embed.
Theorem 3.6** ([McD90]).**
If is a closed symplectic -manifold and is a smooth symplectic sphere of self-intersection number , then there is a symplectomorphism of to a symplectic blow up of for some , such that is identified with .
More generally, McDuff’s result shows that if the plumbing contains a sphere of square , then the symplectic manifold is the Hirzebruch surface and the sphere is identified with the associated [math]-section. A sphere of square might be the conic in or the sphere representing in . A sphere of square [math] is a fiber in a ruled surface. We will typically work in cases where we can guarantee that our symplectic 4-manifold is a blow-up of (or occasionally in ). (Note that .)
We will now discuss how to classify all symplectic embeddings of into . A symplectic embedding of a rational cuspidal curve is equivalent (by a sequence of blow-ups supported in a neighborhood of the rational cuspidal curve) to a symplectic embedding of its normal crossing resolution plumbing .
We classify embeddings of into in two steps (similar arguments appear in many classification of fillings results, starting with Lisca [Lis08]). First, we determine the possibilities for the map on second homology induced by the embedding. Since the core spheres of the plumbing form a basis for , we just need to classify the possible classes in that these symplectic spheres can represent. The restrictions here are given by the adjunction formula and the intersection form on , as well as the constraint that the -sphere in is identified with . Next, for each possible adjunctive embedding , we will classify the geometric realizations of embeddings up to symplectic isotopy. Typically, we will show that such a geometric embedding is unique or that it cannot exist. This will be done by supposing that we have such a geometric embedding into , keeping track of the configuration formed by the core symplectic spheres of the plumbing, and then blowing down using Lemma 3.5. We then look at the possible images of this configuration after blowing down to . This will generally be a reducible configuration, which we will then try to classify up to symplectic isotopy. This classification of reducible symplectic configurations in is the subject of Section 5.
Now we analyze the possible homology classes represented by the spheres in . A symplectic surface in a symplectic 4-manifold satisfies the adjunction formula (2.2). When , . Here our convention is that is the class of , with dual and is represented by the exceptional sphere with dual . The following lemma is a generalization of [Lis08, Propositions 4.4]
Lemma 3.7**.**
Suppose is a smooth symplectic sphere in intersecting non-negatively. Then writing (so ), we have:
- (1)
. 2. (2)
If , there is one such that and all other . 3. (3)
If , then for all , .
Some particular cases which we will use often are:
- (4)
If or , for all . 2. (5)
If , then there exists a unique such that , and for all other .
The self-intersection number of can be used to compute how many have coefficient [math] versus .
Proof.
Since is a sphere (), the adjunction formula gives
[TABLE]
which can be rearranged to item 1. Note that since , so the coefficient determines a bound on the possible coefficients .
To prove items 2 and 3, we use positivity of intersections. Fix an index and suppose first that . Since and are symplectic with non-negative intersections, there is an almost complex structure on such that and are -holomorphic by Lemma 3.4. By Lemma 3.5, we can blow-down a -holomorphic exceptional sphere in the class for some . If we blow down a -holomorphic sphere corresponding to for , there is an induced on the blow-down such that is a singular -holomorphic curve. Therefore eventually, we have a situation where both and are represented by -holomorphic spheres, so if then . Since -holomorphic spheres must intersect non-negatively, this can only occur if is exactly equal to the -holomorphic exceptional sphere representing . In particular, if , then , thus proving item 3. If , it implies and is a blow-up of the exceptional class representing . In this case, for the same argument shows that cannot be positive so we get item 2.
The particular cases follow from combining items 1 and 3 and observing which integers give low values of . ∎
In the following lemmas, and are smooth symplectic spheres in a positive plumbing in such that .
Lemma 3.8**.**
If (and ), there is exactly one exceptional class which appears with non-zero coefficient in both and . The coefficient of is in one of and in the other.
Proof.
It follows from Lemma 3.7 item 2, that and have the form , . Since the algebraic intersection is , either or for some . To rule out the possibility that both of these occur, we consider the symplectic areas. Since and are both symplectic spheres, . Each of the exceptional classes also has positive symplectic area. Let and . Then
[TABLE]
which is a contradiction. ∎
Lemma 3.9**.**
If appears with coefficient in then it does not appear with coefficient in the homology class of any other sphere in the plumbing.
Proof.
This follows from positivity of intersection and Lemma 3.7. ∎
Lemma 3.10**.**
If , then either there is no exceptional class which appears with non-zero coefficients in both, or there are exactly two exceptional classes and appearing with non-zero coefficients in both. One of these classes has coefficient in both and and the other appears with coefficient in one of or and coefficient in the other.
Proof.
This follows from a similar argument as in Lemma 3.8, but with an additional exceptional class appearing with coefficient in both and to cancel out the positive intersection. ∎
When there is a linear chain of such symplectic spheres with self-intersection (consecutive spheres intersect once), there are few options for the homology classes of the spheres in that chain.
Lemma 3.11**.**
Suppose are a chain of symplectic spheres of self-intersection disjoint from in . Then the homology classes are given by one of the following two options up to re-indexing the exceptional classes:
- (A)
* for .* 2. (B)
* for .*
The homology class of any surface disjoint from the chain has the same coefficient for .
Proof.
By Lemma 3.7 item 2, each . Since consecutive spheres intersect once positively, by Lemma 3.10 either
- (1)
or 2. (2)
.
Each exceptional class can appear with positive coefficient at most once by lemma 3.9 so all are distinct. Therefore if for any , , we must have that for all . We can never switch from choosing option 2 to choosing option 1 as we go down the chain.
If and (i.e. if we switch from option 1 to option 2), then we have , , and . Since we must have but , so we cannot switch from option 1 to option 2 either.
Therefore if we start with option 1, we get choice (A), and if we start with option 2 we get choice (B). For last statement, let denote the coefficient of in . Then the statement follows from . ∎
Often, only one of these options can occur. The following particular case will appear frequently in our homological classifications.
Lemma 3.12**.**
If form a chain of -spheres as in Lemma 3.11, such that the chain is attached to another symplectic sphere which does intersect , option (B) can only occur if all appear with coefficient in . In particular if , option (B) can only occur if .
Proof.
By Lemma 3.7, all coefficients of exceptional classes in are negative. Let . Since because they are joined in the chain, the exceptional class which appears with coefficient in must appear with coefficient in . If the chain has homology classes as in option (B), this means . Since for , we find that for so .
When , for all by Lemma 3.7 so . If we have the chain of spheres with homology classes as in option (B), we must have at least non-zero coefficients so . ∎
These lemmas, together with some arithmetic considerations, will generally suffice to allow us to classify all possibilities for the homology classes of the spheres in a normal crossing resolution. Given these homology classes we can apply Lemma 3.5 to blow down to a configuration in . The way that the exceptional classes appeared in the homology classes of the plumbing spheres affects the intersections between the proper transforms. We record the data of these intersections, including the degree of tangency between surfaces at each intersection and when intersections between different components coincide. There may also be singularities in a single component which we record as well. Fixing this data of the singularities and intersections, we then try to classify symplectic configurations of surfaces in up to equisingular symplectic isotopy. In the next section we solve this classification for families of singular reducible configurations of symplectic surfaces in that we will need.
3.4. Birational transformations
In complex dimension , a birational transformation is a sequence of blow-ups and blow-downs. Since blow-ups and blow-downs can be done symplectically [McD90], these transformations from algebraic geometry can be imported into the symplectic context. When we have a singular surface in , the birational transformation may change the singularities and self-intersection number of the surface. The blow-ups can begin to resolve singularities, and blow-downs may create new singularities.
There are two ways that we will relate singular symplectic surfaces in using birational transformations. The first notion is weaker, but for two surfaces related in this way, the existence of one type of singular surface will imply the existence of another type of singular surface.
Definition 3.13**.**
A configuration in is birationally derived from another configuration if for every symplectic realization of in , there is a sequence of blow-ups of the pair to the total transform , followed by a sequence of blow-downs of exceptional spheres , such that is a realization of .
From this definition, if we birationally invert the blow-down by blowing-up, we see that the total transform of in , contains the total transform of , i.e. . This follows from the fact that a set is contained in the preimage of its image, so . For this reason, we can also refer to the birational derivation relation as saying that is birationally contained in .
Note that this relation is directional. If is birationally derived from , it is not typically true that is birationally derived from . To strengthen this notion, we impose a more restrictive condition that the exceptional spheres that are blown down by are actually contained in .
Definition 3.14**.**
in is birationally equivalent to in if for every symplectic realization of there is a sequence of blow-ups of the pair to the total transform , followed by a sequence of blow-downs of exceptional spheres such that the exceptional locus of is contained in and is a symplectic realization of .
Equivalently, a birational equivalence is a birational derivation where in the blow-up . Reversing the sequence of blow-ups and blow-downs, we see that any realization of in will have exceptional spheres contained in its total transform which can be blown down to obtain a realization of in . Therefore birational equivalence is a symmetric relation. If and are birationally equivalent, they are each birationally derived from the other.
Without the extra condition for birational equivalence, a birational derivation is not an equivalence relation. More precisely, suppose that a configuration that is birationally derived from a configuration . Then for any realization of it has a resolution such that for some realization of . However, may contain some additional exceptional spheres that were not contained in . Therefore when we blow down the exceptional spheres in , the image of will only contain instead of being equal to . A weaker equivalence relation could be obtained from the definition of birational derivation by replacing the condition by however this relation will not be particularly useful to us.
Note that the number of components of the configuration is preserved by a birational equivalence but not by a birational derivation.
Example 3.15*.*
Let be a configuration in whose realizations consist of a single symplectic conic with three symplectic lines that intersect the conic tangentially at three distinct points respectively, and intersect each other transversally at three distinct points. Blow up at each of the three tangential intersection points, and denote the resulting proper transforms by and . The resulting self-intersection numbers satisfy and . The intersections between and are transverse and there are three new exceptional spheres which pass through those intersection points. See Figure 2. Because and is a smooth sphere, we can find a symplectomorphism of which identifies with . We calculate the possible homology classes of the other surfaces in the picture in terms of a standard basis which identifies using Lemma 3.7 and intersection numbers. We find the only option is
[TABLE]
[TABLE]
Lemma 3.5 implies that there exist exceptional spheres in classes which intersect the labeled surfaces non-negatively. Blowing down such exceptional spheres results in a configuration of seven symplectic lines intersecting in six triple points (the three triple points that already existed between for , and the three triple points that are created when blowing down ). Therefore the configuration of seven lines with six triple points can be birationally derived from the configuration of a conic with three tangent lines. Note, the exceptional spheres which are blown down in the last step of the transformation are not included in the configuration (because none of the surfaces or represented a class ). Therefore this is not a birational equivalence.
In order to get a birational equivalence, we would need to augment the original configuration by adding in components which will become the exceptional spheres that eventually will be blown down. We can reverse engineer to predict what must be added to our configuration to obtain a birational equivalence to the same final configuration. The exceptional sphere in representing intersects and . Reversing the birational transformation by blowing down and , we find that the image in will be a sphere of self-intersection which must pass transversally through the tangential intersections between with and with . The other exceptional spheres descend similarly to spheres passing through two of the tangential intersections. Replace our starting configuration by a configuration consisting of the original conic and lines with tangent to at together with three additional symplectic lines such that intersects transversally at the points and (where indices are taken mod ). Now the same birational transformation becomes a birational equivalence between a configuration consisting of a conic with three tangent lines and three lines through the three pairs of tangent points with a configuration of seven lines with six triple points and three double points. See Figure 3.
Remark 3.16*.*
In this article, we will prove the existence of birational derivations and birational equivalences using pseudoholomorphic curves. As demonstrated in Example 3.15, we will primarily infer the existence of a particular birational derivation from a singular curve using Theorem 3.6 and Lemma 3.5. Alternatively, we can look for birational equivalences. As seen in Example 3.15, to upgrade a birational derivation to a birational equivalence, we generally need to augment the original configuration by adding extra components. If these components are symplectic lines (degree one) in with sufficiently simple intersections with the other components of , we will see that we can use pseudoholomorphic curves to infer the existence of such augmenting curves through Proposition 5.1. In practice, we will typically use Theorem 3.6 and Lemma 3.5 along with the homological analysis from Section 3.3 to discover a birational derivation. If desired, we can then reverse engineer to find an augmented configuration yielding a birational equivalence. Then in proving our results, we may justify the existence of the birational derivation or justify the existence of the augmentation using the pseudoholomorphic curve results mentioned above. Note that once a configuration is augmented to produce a birational equivalence, no pseudoholomorphic curve result is necessary to justify the existence of the birational equivalence since all of the exceptional curves which one needs to blow-down are visibly included in the total transform of the configuration. Instead, pseudoholomorphic curves are used for augmenting the configuration to get the birational equivalence. By contrast, to state the existence of a birational derivation from one configuration to another can require pseudoholomorphic curve machinery to imply the existence of appropriate exceptional divisors which may not be visible.
Our use of birational derivations and equivalences arises from their implications to symplectic isotopy problems, which we state next. These implications are somewhat immediate from the definitions, so the mathematical power goes into proving such birational derivations exist as described in the previous remark.
Now we give the relations between symplectic isotopy problems and birational derivations and equivalences.
Proposition 3.17**.**
If is a configuration in , and in is birationally derived from , then any subconfiguration of symplectically embeds into .
This statement is immediate from the definition, but the utility of the statement comes from its contrapositive. Namely, we will show that certain configurations cannot be symplectically realized in a closed symplectic manifold , using the non-existence of a subconfiguration of symplectic curves that can be birationally derived from .
Proposition 3.18**.**
Suppose a configuration in is birationally derived from in , and suppose has a unique (non-empty) equisingular symplectic isotopy class in . Then also has a unique (non-empty) symplectic isotopy class in . If and can be realized by a complex curve, then can also be realized by a complex curve.
Proof.
Suppose any two symplectic embeddings of into are symplectically isotopic. Let and be two symplectic embeddings of into . By definition of birational derivation, for each there is a sequence of blow-ups of to and a sequence of blow-downs that contract to , where is a symplectic embedding of into . Then there exists a family of equisingular symplectic embeddings of into for which connects and . For each , perform the sequence of blow-ups along the appropriate smooth or singular points in to obtain . By definition of birational derivation, there is a distinguished subset of the components for , agreeing and for . There are exceptional spheres in for each which can be blown down to give equisingular symplectic embeddings of into . This gives a symplectic family connecting and .
Since complex curves are preserved under birational transformations, the last statement follows from the same proof. ∎
If and are birationally equivalent, they are each birationally derived from the other yielding the following corollary.
Corollary 3.19**.**
Suppose in and in are birationally equivalent. There is a unique equisingular symplectic isotopy class for in , if and only if there is a unique equisingular symplectic isotopy class for in . If and if the equisingular symplectic isotopy class contains complex representatives for one configuration, it contains complex representatives for the other.
3.5. Riemann–Hurwitz
The Riemann–Hurwitz obstruction uses symplectic information in a more global way. Fix an almost complex structure on such that is -holomorphic. Fix a point , and consider the pencil of -holomorphic lines through , and the associated projection . Restricting this projection to , and pre-composing with the normalization map , gives a ramified covering map . The fact that the only singularities are ramification points follows from positivity of intersections between -holomorphic curves. Ramification points arise from tangencies between lines in the pencil with and from singular points of . A singular point whose multiplicity sequence has the first two terms and will give rise to a ramification point of index if the -line from to is transverse to at . If the -line from to is tangent to at then will have ramification index . A priori, if , the map is not well-defined at , but in fact, has a unique continuous extension defined by sending to the image of the -holomorphic line through which is tangent to at . If is a singular point whose multiplicity sequence starts with (where we set if the multiplicity sequence has length ) then the ramification index of at is .
The Riemann–Hurwitz formula is the calculation of the Euler characteristic of the branched covering in terms of the ramification indices and degree of the cover. If is a -fold ramified cover with ramification points with corresponding ramification indices then
[TABLE]
In our case, is a -sphere so . Suppose is the degree of . If we choose , then a generic line through intersects times, so the degree of the cover is . Therefore the above equation specializes to
[TABLE]
If instead, we choose , where has multiplicity (where is the first entry of the multiplicity sequence if is a singular point and is if is a smooth point of ), then a generic line through intersects at other points. Therefore is a -fold cover. This gives the following equation and inequality. The inequality is particularly useful as an obstruction to symplectically realizing certain cuspidal curves in .
[TABLE]
which we re-write as follows:
[TABLE]
Example 3.20*.*
We can apply Riemann–Hurwitz to exclude the following configurations of cusps for a quintic: , , , and . In the first case, we project from the -cusp, and we obtain the following contradiction.
[TABLE]
In the second, we project from the -cusp:
[TABLE]
In the third case we project from the -cusp:
[TABLE]
and in the last from any of the cusps, to obtain:
[TABLE]
Thus, in each of the four cases, we get a contradiction.
4. The necessity of rationality
An interesting question to ask is the following: can we distinguish exotic symplectic 4-manifolds (for example a potentially exotic ) in terms of the singular symplectic submanifolds they contain? For example, we will show that there are certain rational cuspidal curves which admit no symplectic embedding in , but a priori such curves could admit symplectic embeddings in an exotic symplectic . Though this is an alluring hope, we explain here that rational cuspidal curves we consider here cannot exist in any exotic or even homology . As mentioned in the introduction, a similar question was raised, and partially addressed, by Chen [Che18].
We recall that Taubes proved that any symplectic structure on the standard, smooth is in fact symplectomorphic, up to rescaling, to the Fubini–Study form [Tau96, Theorem 0.3].
We consider triples , where is a homotopy , is a symplectic form on , and is a symplectic rational cuspidal curve, and show that is necessarily .
This question is answered in the algebraic setting by dividing into two cases, depending on the sign of the canonical divisor. If is an algebraic surface that is a rational homology , either is not nef, which proves that is rational (and hence , by our homological assumption) or is nef, in which case Yau proved that is a ball quotient [Yau77, Aub76]. These are known as Mumford surfaces, or fake projective planes; the first example was given by Mumford [Mum79], and were classified by Cartwright and Steger [CS10], building on work of Prasad and Yeung [PY07]. Since they are all ball quotients, they have no symplectic rational curves, for maps from lift to the universal cover, and there are no compact complex (or symplectic) curves in .
In the proof of Theorem 1.4 we, too, will distinguish between the two cases, according to the sign of the canonical divisor (or, equivalently, of the first Chern class); we will use techniques inspired by gauge theory in both cases, albeit in two different ways. The proof in the case where is essentially known to experts, and was already proved by Chen [Che18, Corollary 2.3]; we give a slightly different proof here. The proof in the case uses tools from Heegaard Floer homology, and is the part of the proof that is genuinely novel.
Proof of Theorem 1.4.
Recall that, for links of curve singularities and their connected sums one has that the invariant coming from Heegaard Floer homology [HW16], the slice genus, and the 3-genus all agree [HW16, Proposition 3]. Since , the arithmetic genus of is equal to the sum of the -invariants of the singular points of . In particular, if we let denote the connected sum of all links of singularities of , then .
Since admits a compatible almost-complex structure , . As is assumed to be a homotopy , this implies that , and thus (where ).
If has degree and , as it is for , the adjunction formula (2.2) yields , and Proposition 4.1 below guarantees that is the standard .
We turn now to the case when ; as in the algebraic case, we argue that there are no symplectic -manifolds with admitting rational cuspidal curves. In fact, now the adjunction formula yields:
[TABLE]
Consider the boundary of a regular neighborhood of , which is homeomorphic to . Then the complement of the interior of , taken with the opposite orientation, is a rational homology ball whose boundary is . Since we have that
[TABLE]
contradicting the bound obtained in [AG17, Theorem 5.1]. ∎
We conclude the proof with the following proposition, which is mostly a corollary of [MS96, Corollary 1.5]. This, in turn, follows from work of Liu [Liu96], building on Taubes’ work on Seiberg–Witten theory. (See also [Wen18, Theorem 7.36] for a more modern and self-contained treatment.) The theorem asserts that, if is a smooth symplectic curve in a closed symplectic 4-manifold such that , and is not a -sphere, then is rational or ruled. Using the adjunction formula, we can rephrase the hypothesis on the first Chern class into an assumption on the self-intersection. Namely , so the hypothesis is equivalent to and is not an exceptional sphere. (Note that the case is Theorem 3.6.)
Proposition 4.1**.**
Suppose is a rational cuspidal curve with . If symplectically embeds into a closed symplectic manifold , then is a rational surface.
Proof.
By deforming the curve in a regular neighborhood using the Milnor fibration model, we can find a smooth, symplectic surface in the same homology class as , with genus . By [MS96, Corollary 1.5], must be either a rational surface or an irrational ruled surface . However, Lemma 4.2 below shows that cannot be irrational ruled. ∎
Lemma 4.2**.**
Let be a (possibly singular) curve of positive self-intersection in a (possibly non-minimal) symplectic -manifold , ruled over a Riemann surface . Then .
Proof.
Let . By [McD90, Theorem 3.4] we can find a maximal collection of disjoint -holomorphic exceptional spheres, to blow down to a minimal surface that is still ruled over . Note that is still a singular symplectic surface and it is -holomorphic where is the almost complex structure on induced from .
Now, is symplectomorphic to a ruled surface. Let be the homology class of a smooth fiber. Consider the moduli space . As argued in [McD90, Proposition 4.1], if is regular for the associated Fredholm operator, there is a unique -holomorphic curve from through each point . Moreover, because , is automatically a regular value of the associated Fredholm operator ([Gro85], [McD90, Lemma 2.8], [HLS97]). Therefore we have a projection map whose fibers intersect positively.
By compactness and positivity of intersection, is onto . Let be the normalization map, and note that, by definition, . Pre-composing with yields a surjective map , hence , as desired. ∎
5. Symplectic isotopy problems for reducible configurations
In order to obstruct and classify symplectic isotopy classes of rational cuspidal curves and symplectic fillings of their associated contact manifolds, we will perform birational transformations to relate the original problem to a classification of a reducible configuration consisting of multiple lower degree smooth components intersecting in a particular way. Depending on the intersection pattern, such a configuration may be verified to have a unique symplectic isotopy class, or shown not to exist in . Examples of such configurations shown not to exist symplectically in appeared in [RS19]. The example from that article that we will use most is the Fano plane—a configuration of seven lines intersecting in seven transverse triple points.
Typically, we will use script letters to denote abstract configuration types, and non-script letters to denote actual realizations.
5.1. Existence and uniqueness
Our first method of extending symplectic isotopy results to a larger collection of reducible configurations is through the following lemma that allows us to add a line with limited constraints to an existing configuration. A single smooth component is known to have a unique symplectic isotopy class in if its degree is at most [ST05].
The following proposition gives a way of obtaining many configurations in with unique isotopy classes by adding degree components sufficiently generically.
All configurations in the statements have labelled components and labelled singular points, and isotopies preserve the labellings. That is to say, if is a configuration of curves, then its components are labelled , and its singular points are labelled . When we say that two realizations of are isotopic, we mean that the isotopy preserves the labelling. Viewed differently, an isotopy from a labelled realization of to an unlabelled one induces a labelling of .
Proposition 5.1**.**
Suppose is a configuration of singular symplectic curves in obtained from by adding a single symplectic line . Suppose that in the configuration either:
- (1)
* intersects the curves of transversally and the intersection points of with contain at most two singular points, and , of , or* 2. (2)
* has a simple tangency to components at a single point in ( may be either a smooth or singular point of and it can be a singular point of in which case it uses the existing label, or a smooth point of in which case it takes a new label index) and all other intersections of with are transverse double points. Further assume in this case that in , there are no other intersections of with the components outside of the tangent point. *
Then there is a bijection between the isotopy classes of realizations of and those of . In particular, has a unique equisingular symplectic isotopy class if and only if does.
The hypothesis in item (2) fixes the multiplicity of the intersection of with the components of at the point . The requirement that the tangency is simple means that the multiplicity of the intersection is as small as possible for a symplectic curve with tangential components. More specifically when is smooth at , a line has a simple tangency with if and only if the multiplicity of intersection is . If has a singularity at , a line has a simple tangency to if and only if the multiplicity of intersection is equal to the third element of the semigroup of . The second requirement in the hypothesis in item (2) says that the multiplicity of intersection of with at is as large as it possibly can be for global degree reasons. Thus, these two conditions ensure that the multiplicity of intersection between and is automatically as it should be whenever is tangent to and their union is a singular symplectic configuration.
Note that the second constraint in item (2) is automatically satisfied when is a smooth conic (degree- curve). It also holds when the tangency occurs at a singular point of with multiplicity sequence when has degree . This will be sufficient to cover our applications in this article. We hope to generalize this isotopy statement for reducible configurations and in particular, remove the second constraint from the hypothesis in item (2) through future work.
In most cases, in this article we will not need to worry about the labels: in most cases, the type of the points and (or, in case (2), of ) determine the labelling. (For instance, there could be exactly two triple points in the configuration , so that “the line passing through the two triple points” is well defined, or a unique conic in , so that “the line tangent to the conic at a generic point” is well defined.) However, in general the labels are important when applying this proposition. Specifically there may be more than one point in the configuration of the same type (even lying on the same collection of curves), which one may choose as candidates for (or ). In this case, the configuration obtained from one choice of candidate for is different than the configuration obtained from a different choice of candidate for , and there need not be an equisingular isotopy which takes a realization of to a realization of , even if has a unique equisingular isotopy class.
Example 5.2*.*
This phenomenon is made explicit in [ASST21]. The configuration concerned, comprises two conics and which are tangent at two points, two generic tangents and to , and a third line passing through a point in and through a point in . We present two realizations of in Figure 4 (the line can be either the blue line or the red line). As an unlabelled abstract configuration, is uniquely determined by these data; as a labelled configuration, there are (a priori) four choices for the fourth line. It is shown in [ASST21] that two of the four choices give realizations and whose complements have non-isomorphic fundamental groups. (In fact it is clear from the figure that choices come in symmetric pairs.)
We now show that an un-labelled version of Proposition 5.1 would lead to a contradiction.
If we forget the line , the configuration has a unique isotopy class: this can be seen, for instance, using the techniques we will develop in this section to show that the two conics have a unique isotopy class and then applying Proposition 5.1 twice. However, the two configurations and of Figure 4 (which is taken from [ASST21, Figure 1]) are both realizations of the same abstract unlabelled configuration . In particular, the (abstract, unlabelled) configuration has two non-isotopic realizations, while an un-labelled version of Proposition 5.1 would imply that it only has one.
Proof.
Let and denote the sets of symplectic isotopy classes in of the configurations and respectively. There is a natural map
[TABLE]
defined by where is the realization of obtained from the realization of by deleting the realization in of the line . It is clear that this map is well-defined, because if and are symplectically isotopic realizations of , there exists a symplectic isotopy between them and dropping the realization of the line from each yields a symplectic isotopy between the realizations and of . We will show that the map is surjective and injective to obtain the stated result.
Recall that Gromov proved that for any almost complex structure compatible with the symplectic form, and any two distinct points , there is a unique -holomorphic line through and [Gro85]. Similarly, for any almost complex structure compatible with the symplectic form, and any point and tangent vector , there is a unique -holomorphic line through with tangent vector . This is shown in the proof of [Wen10, Theorem 6.1] (see also [McD91]).
Outline: Before diving further into the proof, we provide an outline of the arguments that follow. For the proofs of surjectivity and injectivity, we will augment a realization of with an additional line to a realization of . For injectivity, (the harder direction), we will augment a -parameter family of realizations of with lines to form a family of realizations of . We will obtain these augmented configurations in three steps (performing these three steps first in the case of discrete realizations, and then in the -parametric version). We summarize the three steps here (stated for a single realization of ). In the first step, choose an almost complex structure which makes -holomorphic, and use the above results from [Gro85, McD91, Wen10] to find the unique -holomorphic line passing through two points , or through a single point with tangency , so that intersects in the two singular points or one tangency on required by the hypotheses. It may seem like at this point we are done, but in fact may not yet realize because may intersect more degenerately than required. We address this issue in the second and third steps. In step two, case 1, we adjust the line in a small manner locally near the points and so that it intersects transversally at those points (in case it was originally accidentally tangent at those points). This step is unnecessary in case 2 because the multiplicity of the tangency is fixed by the hypotheses. For either case, we perform step three, where we look at all other intersections of with outside of (and ), and adjust keeping it fixed in small neighborhoods of (and ) so that at the end, away from and , and only intersect in generic transverse double points. This provides the augmentation to a realization of . Now we provide the details of this argument and apply it to prove each direction of the statement.
Surjectivity: We begin with the easier direction: that for each symplectic isotopy class , there exists a symplectic isotopy class such that .
Step 1: Suppose is a symplectic realization of . Let be an almost complex structures making -holomorphic. In case (1), let and be the special points in which is require to pass through to form the configuration (if there are less than two singular points, one or both of these points can be chosen generically). Similarly, in case (2), let be the point and tangent direction at which must be placed to form the configuration (again, the point can be chosen generically if it is not a singular point of ). Now using the results above from [Gro85, McD91, Wen10], let be the unique -holomorphic line through and or through tangent to . It is possible that at this stage, passes through additional singular or tangency points of which is not desirable for the configuration . It also is possible that the intersections at or fail to be transverse in case (1). In case (2), the multiplicity of the tangency at with the components of are fixed by the hypotheses so this latter problem is not relevant. We deal with the latter problem in case (1) first, and then deal with degenerate intersections away from and in both cases.
Step 2: For case (1), we now explain how to make any required adjustments to ensure that the intersections of with at and are transverse. Let and be open neighborhoods of and with disjoint closures, such that and are the only singular points of in the closures of and . Let and be open neighborhoods of and such that the closures satisfy and . Let be the moduli space of -holomorphic lines which pass through , and the corresponding moduli space of lines through . Each of these moduli spaces is diffeomorphic to . The subset of of lines which are tangent to at is a compact [math]-dimensional subset (similarly for ). Because this subset has codimension , there exists a -holomorphic line (respectively ) which is -close to and intersects transversally at (respectively ). Because and are -close to , and the closures of the neighborhoods and are disjoint, these lines can be spliced together symplectically. Our splicing will be a symplectic line which agrees with inside , agrees with inside , and agrees with the original outside of . Because has no intersections with in or , by choosing the appropriate -closeness for and in terms of the fixed neighborhoods, we can ensure that the spliced line has no intersections with in or . Therefore any intersections of the spliced line with occur in regions where it is -holomorphic, thus creating singularities of with allowable models for singular symplectic curves (in particular the intersections are positive). Abusing notation, we rename this spliced line as . Note that has not been changed.
Now the new satisfies the singularity requirements of near and (in case (1) via the modification and in case (2) by the assumption constraining its intersections). However, it is still possible that passes through additional singular or tangency points of which cause it to differ from the configuration , because it should be intersecting generically away from and .
Step 3: To make the final adjustment to so that will represent the configuration , let , be open sets with such that and are not in the closure of and any singular point of which is not one of the designated points or is contained in . For a given , the space of -holomorphic lines in has real dimension four. The subspace of lines which intersect at a particular singular point is stratified with real co-dimension at least two, and similarly the subspace of lines which intersects tangentially is stratified with real co-dimension at least two. In particular, there exists a -holomorphic line which is -close to that intersect generically inside of , and has no intersections with in . (Again, we use the assumption that there are no intersections of with in the closure of .) Although likely does not satisfy the required intersection properties at or , we can splice together with inside of . Because each is chosen -close to , we can construct a symplectic line which agrees with inside of , agrees with outside of , and has no intersections with in . Again, we rename this spliced line as . Note that because and lie outside of the , the new still intersects in the special points there as required.
Conclusion: Since has not been modified, and has been constructed so that is a a symplectic realization of , we have found that , as desired so is surjective.
Injectivity: To show that is injective, suppose that for . This means that is realized by a configuration of and is realized by a configuration of such that and are symplectically isotopic realizations of . Using the symplectic isotopy from to as realizations of , we will extend this to a symplectic isotopy from to as realizations of . Let denote the equisingular symplectic isotopy from to .
Step 1 (-parametric): By Lemma 3.4, there exists a family of compatible almost complex structures such that is -holomorphic for . Since is a singular symplectic curve, the space of compatible almost complex structures is a non-empty, contractible subspace of , which is also contractible. Since , there are almost complex structures , agreeing with the previously defined for such that , , for and for .
Let for , and for . Now for is an equisingular symplectic isotopy which is -holomorphic. Define and . We will construct an equisingular symplectic isotopy connecting to .
Let (respectively ) be the two points in (respectively point and tangent direction in ) which the line must pass through in order to satisfy the constraints of the configuration . Even if some of these points are chosen generically, we make sure to choose them to vary smoothly with , and such that and lie on for . As in the first direction, we will use Gromov’s and McDuff’s theorems to initially define for as the unique -holomorphic line passing through and (respectively passing through with tangent direction ). Because and are the unique lines satisfying the point (respectively point and tangency) conditions, this provides a 1-parameter family of -holomorphic symplectic lines connecting to .
Again we need to deal with the possibility that may develop non-generic intersections away from and , or that the intersections at or may become tangencies between and components of in case (1). We will perform a similar -small adjustment of the line near such problematic points, but now fitting this into the -parameter family relative to the endpoints of the family. Let denote the parameter interval.
Step 2 (-parametric): We again start by ensuring the intersection behavior of is correct near and . (Note this stage is unnecessary in case (2) because of the stronger hypothesis.) For this, fix open sets and with disjoint closures with and for all , such that has no singular points in or and where
[TABLE]
and
[TABLE]
are open neighborhoods of the paths and in (and similarly for the smaller neighborhoods denoted without hats). Let be the moduli space of pairs where and is a -holomorphic line in which passes through . Similarly, let be the moduli space of pairs where and is a -holomorphic line in which passes through . Both and have natural maps and (sending to ), and these maps are fibrations with fiber diffeomorphic to . The subset of of pairs which are tangent to at is a finite set of points in each -slice, which form a section or multi-section of the projection . The same statement holds for the analogous subset . Since it is required to pass through and , gives a section of and a section of . Since realizes the configuration for near , avoids the bad subsets (respectively ) of (respetively ) near (respectively ). For , let be a section of which agrees with near , is -close to the section everywhere and which avoids the bad subset . Then and are -holomorphic lines which are -close to . We will splice them together to a smoothly varying -family of symplectic lines which agree with in , with in and with the original outside of . To make the splicing vary smoothly with , we choose the cut-off functions to vary continuously with by letting them be the restrictions to slices of a smooth cut-off function supported on , for . The splicing is trivial near . We rename the spliced family .
Step 3 (-parametric): Once the behavior near and is correct, we next fix any overly degenerate intersections of with away from and in either case (1) or (2). Let be open subsets whose closures do not contain or for any , such that every intersection point of with which is not or is contained in . Note that this is possible to achieve because no other intersection points can approach or after the above modification which ensures that the multiplicities of the intersection of with at and remain constant.
Let be the moduli space of all pairs where and is any -holomorphic line in . There is a natural fibration sending to , whose fibers are diffeomorphic to (in particular, the fibers are -dimensional manifolds). The subset of of -lines which are tangent to at some point other than in case (2) or pass through a singular point of other than or is a stratified subspace with strata of codimension at least in . Since these subspaces vary smoothly with , the union forms a stratified subspace of with strata of codimension at least . The family provides a section of , which avoids near its endpoints, but may intersect at interior values of . Let be a section which agrees with near its end points, is -close to everywhere and is disjoint from . We splice together and to form a smoothly varying family of symplectic lines which agree with inside of and with outside of . This ensures that the intersections of with near and remain as they should be outside of and the other intersections of with remain inside of (by -closeness) and are made generic as required for the configuration .
Conclusion: Replacing with this splicing provides the required equisingular symplectic isotopy from to . Since and , this shows that any two realizations of are equisingularly symplectically isotopic. ∎
Proof.
Recall that Gromov proved that for any almost complex structure compatible with the symplectic form, and any two distinct points , there is a unique -holomorphic line through and [Gro85]. Similarly, for any almost complex structure compatible with the symplectic form, and any point and tangent vector , there is a unique -holomorphic line through with tangent vector . This is shown in the proof of [Wen10, Theorem 6.1] (see also [McD91]).
Outline: Before diving further into the proof, we provide an outline of the arguments that follow. For each direction, we will use these results to augment a realization of with an additional line to a realization of . For the harder direction, we will augment a -parameter family of realizations of with lines to form a family of realizations of . We will obtain these augmented configurations in three steps (performing these three steps first in the case of discrete realizations, and then in the -parametric version). We summarize the three steps here (stated for a single realization of ). In the first step, choose an almost complex structure which makes -holomorphic, and use the above results from [Gro85, McD91, Wen10] to find the unique -holomorphic line passing through two points , or through a single point with tangency , so that intersects in the two singular points or one tangency on required by the hypotheses. It may seem like at this point we are done, but in fact may not yet realize because may intersect more degenerately than required. We address this issue in the second and third steps. In step two, case 1, we adjust the line in a small manner locally near the points and so that it intersects transversally at those points (in case it was originally accidentally tangent at those points). This step is unnecessary in case 2 because the multiplicity of the tangency is fixed by the hypotheses. For either case, we perform step three, where we look at all other intersections of with outside of (and ), and adjust keeping it fixed in small neighborhoods of (and ) so that at the end, away from and , and only intersect in generic transverse double points. This provides the augmentation to a realization of . Now we provide the details of this argument and apply it to prove each direction of the statement.
First direction: We begin with the easier direction: that if has a unique equisingular symplectic isotopy class, then does as well.
Step 1: Suppose and are symplectic realizations of . Let be almost complex structures making -holomorphic for . In case (1), let and be the special points in which is require to pass through to form the configuration (if there are less than two singular points, one or both of these points can be chosen generically) for . Similarly, in case (2), let be the point and tangent direction at which must be placed to form (again, the point can be chosen generically if it is not a singular point of ). Now using the results above from [Gro85, McD91, Wen10], let be the unique -holomorphic line through and or through tangent to for . It is possible that at this stage, passes through additional singular or tangency points of which is not desirable for the configuration . It also is possible that the intersections at or fail to be transverse in case (1). In case (2), the multiplicity of the tangency at with the components of are fixed by the hypotheses so this latter problem is not relevant. We deal with the latter problem in case (1) first, and then deal with degenerate intersections away from and in both cases.
Step 2: For case (1), we now explain how to make any required adjustments to ensure that the intersections of with at and are transverse. Let and be open neighborhoods of and with disjoint closures for , such that and are the only singular points of in the closures of and . Let and be open neighborhoods of and such that the closures satisfy and . Let be the moduli space of -holomorphic lines which pass through , and the corresponding moduli space of lines through . Each of these moduli spaces is diffeomorphic to . The subset of of lines which are tangent to at is a compact [math]-dimensional subset (similarly for ). Because this subset has codimension , there exists a -holomorphic line (respectively ) which is -close to and intersects transversally at (respectively ). Because and are -close to , and the closures of the neighborhoods and are disjoint, these lines can be spliced together symplectically. Our splicing will be a symplectic line which agrees with inside , agrees with inside , and agrees with the original outside of . Because has no intersections with in or , by choosing the appropriate -closeness for and in terms of the fixed neighborhoods, we can ensure that the spliced line has no intersections with in or . Therefore any intersections of the spliced line with occur in regions where it is -holomorphic, thus creating singularities of with allowable models for singular symplectic curves (in particular the intersections are positive). Abusing notation, we rename this spliced line as .
Now the new satisfies the singularity requirements of near and (in case (1) through the modification and in case (2) by the assumption constraining its intersections). However, it is still possible that passes through additional singular or tangency points of which cause it to differ from the configuration , because it should be intersecting generically away from and .
Step 3: To make the final adjustment to to a representative of the configuration , let , be open sets with such that and are not in the closure of and any singular point of which is not one of the designated points or is contained in . For a given , the space of -holomorphic lines in has real dimension four. The subspace of lines which intersect at a particular singular point is stratified with real co-dimension at least two, and similarly the subspace of lines which intersects tangentially is stratified with real co-dimension at least two. In particular, there exist holomorphic lines which are -close to that intersect generically inside of , and have no intersections with in . Although likely does not satisfy the required intersection properties at or , we can splice together with inside of . Because each is chosen -close to , we can construct a symplectic line which agrees with inside of , agrees with outside of , and has no intersections with in . Again, we rename this spliced line as . Note that because and lie outside of the , the new still intersects in the special points there as required. This gives nearby symplectic realizations of with subconfiguration for .
Conclusion: By assumption on , there is an equisingular symplectic isotopy from to (where the components of the curves are labeled and the isotopy preserves the labeling). Deleting from this isotopy gives an equisingular symplectic isotopy from to .
Second direction: For the reverse direction, we assume that the configuration has a unique symplectic isotopy class, and try to extend an isotopy to . Let and be symplectic realizations of . By assumption, there exists an equisingular symplectic isotopy of to .
Step 1 (-parametric): By Lemma 3.4, there exists a family of compatible almost complex structures such that is -holomorphic for . Since is a singular symplectic curve, the space of compatible almost complex structures is a non-empty, contractible subspace of , which is also contractible. Since , there are almost complex structures , agreeing with the previously defined for such that , , for and for .
Let for , and for . Now for is an equisingular symplectic isotopy which is -holomorphic. Define and . We will construct an equisingular symplectic isotopy connecting to .
Let (respectively ) be the two points in (respectively point and tangent direction in ) which the line must pass through in order to satisfy the constraints of the configuration . Even if some of these points are chosen generically, we make sure to choose them to vary smoothly with , and such that and lie on for . As in the first direction, we will use Gromov’s and McDuff’s theorems to initially define for as the unique -holomorphic line passing through and (respectively passing through with tangent direction ). Because and are the unique lines satisfying the point (respectively point and tangency) conditions, this provides a 1-parameter family of -holomorphic symplectic lines connecting to .
Again we need to deal with the possibility that may develop non-generic intersections away from and , or that the intersections at or may become tangencies between and components of in case (1). We will perform a similar -small adjustment of the line near such problematic points, but now fitting this into the -parameter family relative to the endpoints of the family. Let denote the parameter interval.
Step 2 (-parametric): We again start by ensuring the intersection behavior of is correct near and . (Note this stage is unnecessary in case (2) because of the stronger hypothesis.) For this, fix open sets and with disjoint closures with and for all , such that has no singular points in or and where
[TABLE]
and
[TABLE]
are open neighborhoods of the paths and in (and similarly for the smaller neighborhoods denoted without hats). Let be the moduli space of pairs where and is a -holomorphic line in which passes through . Similarly, let be the moduli space of pairs where and is a -holomorphic line in which passes through . Both and have natural maps and (sending to ), and these maps are fibrations with fiber diffeomorphic to . The subset of of pairs which are tangent to at is a finite set of points in each -slice, which form a section or multi-section of the projection . The same statement holds for the analogous subset . Since it is required to pass through and , gives a section of and a section of . Since realizes the configuration for near , avoids the bad subsets (respectively ) of (respetively ) near (respectively ). For , let be a section of which agrees with near , is -close to the section everywhere and which avoids the bad subset . Then and are -holomorphic lines which are -close to . We will splice them together to a smoothly varying -family of symplectic lines which agree with in , with in and with the original outside of . To make the splicing vary smoothly with , we choose the cut-off functions to vary continuously with by letting them be the restrictions to slices of a smooth cut-off function supported on , for . The splicing is trivial near . We rename the spliced family .
Step 3 (-parametric): Once the behavior near and is correct, we next fix any overly degenerate intersections of with away from and in either case (1) or (2). Let be open subsets whose closures do not contain or for any , such that every intersection point of with which is not or is contained in . Note that this is possible to achieve because no other intersection points can approach or after the above modification which ensures that the multiplicities of the intersection of with at and remain constant.
Let be the moduli space of all pairs where and is any -holomorphic line in . There is a natural fibration sending to , whose fibers are diffeomorphic to (in particular, the fibers are -dimensional manifolds). The subset of of -lines which are tangent to at some point other than in case (2) or pass through a singular point of other than or is a stratified subspace with strata of codimension at least in . Since these subspaces vary smoothly with , the union forms a stratified subspace of with strata of codimension at least . The family provides a section of , which avoids near its endpoints, but may intersect at interior values of . Let be a section which agrees with near its end points, is -close to everywhere and is disjoint from . We splice together and to form a smoothly varying family of symplectic lines which agree with inside of and with outside of . This ensures that the intersections of with near and remain as they should be outside of and the other intersections of with remain inside of (by -closeness) and are made generic as required for the configuration .
Conclusion: Replacing with this splicing provides the required equisingular symplectic isotopy from to . Since and , this shows that any two realizations of are equisingularly symplectically isotopic. ∎
We can immediately recover unique isotopy classifications for small line arrangements.
Corollary 5.3**.**
A symplectic line arrangement with at most six lines has a unique symplectic isotopy class.
Corollary 5.4**.**
Any configuration of one symplectic conic with three symplectic lines has a unique symplectic isotopy class unless it is the configuration of Figure 14 (which we obstruct in Proposition 5.22).
Proof.
Gromov proved there is a unique symplectic isotopy class of a conic in [Gro85]. We are adding at most three lines, and we will add lines tangent to the conic first. Therefore we will add the first line, which intersects this conic either tangentially at a point or transversally at two points and this does not change the uniqueness of the isotopy classification by Proposition 5.1. If the second line is tangent to the conic, it must intersect generically off of . Similarly, if all three lines are tangent to , they must intersect generically unless they form the configuration where they intersect at a triple point away from . Therefore tangent lines can be added with no further constraint than their tangency to the conic at a point, and thus Proposition 5.1 suffices in these cases. For lines being added with no tangency condition to , the only combinatorial constraints can be that should pass through an intersection point of or for . Since can intersect at most once, the combinatorics requires to pass through at most points, so Proposition 5.1 suffices to prove there is a unique symplectic isotopy class of such a configuration. ∎
Our second strategy to extend the known list of unique symplectic isotopy classes of reducible curves is to use birational transformations to modify configurations to collections of curves where at most one of the components is degree greater than one. We use a birational equivalence to relate the reducible configuration of interest to a reducible configuration we can understand through Proposition 5.1. We give below a collection of examples using this technique, which we will use later on in the paper.
5.1.1. Two conics with a common tangent line
Let denote the configuration consisting of two conics and and a line tangent to both and (at different points) such that and intersect at one point with multiplicity and at another point transversally. See Figure 5.
Proposition 5.5**.**
* has a unique equisingular symplectic isotopy class.*
Let denote the augmented configuration obtained from by adding two additional lines and where is tangent to and at their multiplicity tangency point and intersects transversally at its tangent point with and its tangent point with . See upper left of Figure 6.
Let denote the configuration consisting of a conic and four lines such that and are tangent to , the intersection of with lies on , the intersection of with lies on and , and intersect at a triple point. See lower right of Figure 6.
Lemma 5.6**.**
There is a birational equivalence between and .
Proof.
Starting with a realization of blow up twice at the multiplicity three tangential intersection of with and once at the tangential intersection of with . The resulting configuration in is shown on the upper right of Figure 6. There are three exceptional divisors where and have self-intersection and has self-intersection . The proper transforms of and have self-intersection so they can be symplectically blown down. After this the proper transform of becomes a -exceptional sphere which can be blown down as well. The resulting curve has configuration type as in the bottom row of Figure 6. ∎
Proof of Proposition 5.5.
Since is obtained from by adding one line with a point tangency condition, and one line with two transverse intersection conditions, has a unique equisingular symplectic isotopy class if and only if does by Proposition 5.1. By Lemma 5.6, and Corollary 3.19, has a unique equisingular symplectic isotopy class if and only if does. We prove has a unique symplectic isotopy class by iteratively applying Proposition 5.1 to add lines to the configuration of a single conic which has a unique symplectic isotopy class by Gromov [Gro85]. We apply Proposition 5.1 four times to add the four lines, starting with the two tangent lines and , then adding transversally through the tangent intersection of with , and finally adding through and the other intersection of with . Therefore has a unique equisingular symplectic isotopy class so does as well. ∎
Remark 5.7*.*
The configurations and were not pulled out of thin air, but rather come from augmenting a birational derivation obtained using Theorem 3.6 and Lemma 3.5. To find these configurations, start with and blow up twice at the tangency of and and once at the tangency of and to make these intersections transverse and to bring the self-intersection number of to . Keep track of the exceptional divisors in the total transform. Now apply theorem 3.6 to identify the proper transform of with and determine the possible homology classes of the other curves in the configuration in terms of the standard basis (they are uniquely determined up to re-indexing). Next use Lemma 3.5 to blow down exceptional curves in classes and observe the effect on the configuration (it will descend to ). To change this from a birational derivation to a birational equivalence, we need to add in curves representing the which are not represented by curves in the configuration. Back-tracking these curves to we find the two lines we need to augment by to get .
We can prove similar uniqueness statements for configurations of two conics with a common tangent line when the conics intersect more generically. Let denote the configuration of two conics simply tangent to each other at one point with a line tangent to both conics away from their intersections. Let denote two transversally intersecting conics with a line tangent to both.
Proposition 5.8**.**
* has a unique equisingular symplectic isotopy class.*
Proof.
Let the conic components of be denoted by and the line by . By Proposition 5.1, the symplectic isotopy classification of is equivalent to the classification for the augmented configuration obtained from by adding two more lines through the tangential intersection of with and the tangency point . There is a birational equivalence of to a configuration consisting of a single conic, two tangent lines, a line passing through one of the tangency points (and otherwise generic), and a line passing through the intersection of the two tangent lines (and otherwise generic). (See Figure 7.) can be built from the single conic configuration by repeated applications of Proposition 5.1 so it has a unique equisingular symplectic isotopy class. ∎
Proposition 5.9**.**
* has a unique equisingular symplectic isotopy class.*
Proof.
Let the conic components of be denoted by and the line by . Fix two of the four intersection points of with and let . By Proposition 5.1, the symplectic isotopy classification of is equivalent to the classification for the augmented configuration obtained from by adding three lines passing transversally through the three pairs of the points . is birationally equivalent to , the configuration built from one conic with one tangent line, and four other lines intersecting as in Figure 8. can be built from the single conic configuration by repeated applications of Proposition 5.1 so it has a unique equisingular symplectic isotopy class. ∎
By a similar set of birational transformations, we can prove uniqueness of the symplectic isotopy class of two conics without the additional tangent line. There are five ways that two conics can intersect each other: transversally at four points, with one simple tangency and two transverse points, with one triple tangency and one transverse point, with two simple tangencies, or with one quadruple tangency. Note that the last two configurations cannot be realized with an additional common tangent line (see Proposition 5.25).
Proposition 5.10**.**
Any of the five configurations of two positively intersecting symplectic conics has a unique equisingular symplectic isotopy class.
Proof.
Blow up the configuration three times at intersection points between the two conics. This transforms each of the conics to a -sphere, and includes three exceptional divisors (whose intersection configuration depends on the configuration of conics we started with). Regardless of the starting configuration, the pairwise intersections between curves in the configuration (including the exceptional divisors and proper transforms of the conics) are transverse and each pair of curves intersects at most once. By McDuff’s Theorem 3.6, there is a symplectomorphism of the resulting which identifies the proper transform of one of the conics with . By Lemma 3.7, the proper transform of the other conic represents the class , and the exceptional divisors represent classes of the form or . By Lemma 3.5, we can realize new exceptional spheres in the classes which intersect the configuration positively, and blow these down. Afterwards, we can blow down any exceptional spheres which then appears in the configuration representing a class . Repeating this if needed, we reach a configuration of at most five curves in , each representing the class . Therefore a configuration of at most five symplectic lines can be birationally derived from the original configuration of two conics. Since any configuration of at most five lines has a unique nonempty symplectic isotopy class by Proposition 5.1, we conclude that the configuration of two conics has a unique nonempty symplectic isotopy class by Proposition 3.18. ∎
Corollary 5.11**.**
Any configuration of two conics with one line has a unique equisingular symplectic isotopy class (which is empty only if it is obstructed in Proposition 5.25).
Proof.
This follows from Proposition 5.10 and Proposition 5.1 when the line is not required to be tangent to both conics. This is because the line must intersect each conic exactly twice (with multiplicity), and the only special points occur at the intersection of both conics (so a tangent line could not go through any special points, and a transverse line could go through at most two special points). When the line is tangent to both conics, this follows from Propositions 5.5, 5.8, 5.9, and 5.25. ∎
5.1.2. Unisingular curves with a maximally tangent line
Suppose is the germ of a (not necessarily locally irreducible) singularity with multiplicity sequence . Up to topological equivalence, is determined by a partition of , i.e. an un-ordered -tuple of positive integers such that ; here is the number of branches of . Therefore, if has multiplicity sequence , we say that it is of type if the corresponding partition is . Note that link of a singularity of type is obtained by cabling the link given by fibers of the Hopf fibration with cabling parameters .
Proposition 5.12**.**
Let be a positive integer and a partition of . Let denote the configuration with the following two irreducible components:
- •
* is a rational curve of degree in with a singular point with multiplicity sequence and of type ;*
- •
* is a line with a tangency of order with at a point , where that .*
Then has a unique equisingular symplectic isotopy class, and this unique isotopy class contains a complex curve.
Proof.
Suppose that has branches at ; number them so that each of them has a singularity of multiplicity , where is the given partition of . In particular, .
By iteratively applying Proposition 5.1, the uniqueness of the symplectic isotopy class of the configuration is equivalent to the uniqueness of the symplectic isotopy class of a configuration obtained from by adding distinct lines tangent to at along the distinct branches, together with one line that passes transversally through and . Note that for degree reasons the only other intersections are transverse double points between and each of the tangent lines. Note that for the tangent lines, to satisfy the hypotheses of Proposition 5.1, it is important that they have no other intersections with . This is because the intersection at has multiplicity : a generic line through has intersection multiplicities with its branches; if is tangent to the branch of at , then its intersection with at satisfies:
[TABLE]
which simultaneously implies that and that the intersection multiplicity of with the branch is exactly .
By Lemma 5.13, there is a birational equivalence from to a configuration of lines with a single -fold point and a single triple point. This latter configuration has a unique symplectic isotopy class by Proposition 5.1. Therefore by Corollary 3.19, the configurations has a unique symplectic isotopy class containing complex curve representatives, and thus does as well. ∎
Lemma 5.13**.**
Let denote the configuration above, obtained from by adding lines tangent to at as well as one line through and . Then the configuration is birationally equivalent to a configuration of lines where intersect at a single point and the other two intersect the at a triple point. (See Figure 9.)
Proof.
Blowing up at the singular point of yields a smooth rational curve, the proper transform of , with points of tangency with the exceptional divisor , of order respectively. Blow up times at the -th tangency, so that the proper transform of is disjoint from that of . Next, blow up times at the tangency of with , so that their proper transforms intersect transversely.
We obtain the configuration of rational curves represented in Figure 10.
The proper transform of has self-intersection , and is a smooth sphere. We identify it with using Theorem 3.6 and use this to determine the homology classes of the other curves in the configuration.
By Lemma 3.7, and their pairwise disjointness, the vertical -curves intersecting must represent classes for with the final vertical -curve which also intersects in the class . The chains of -curves emanating from these -curves are fully determined by Lemma 3.12 to be . The last chain of -curves is similarly . Intersection relations imply and . The proper transforms of the tangent lines represent the classes for , and the proper transform of the line through the two singular points represents the class . Therefore we can blow down these exceptional curves, and consequently blow down the entire chain of -curves as the end curve becomes an exceptional divisor.
The resulting configuration consists of symplectic lines coming from the proper transforms of , , and the vertical -curves. The first vertical -curves will have a common intersection point which is the image of the blow-down of . , and the last vertical -curve have a common triple intersection point before blowing down, so this is preserved in the proper transform. ∎
This completes the proof of Theorem 1.5.
Proof of Theorem 1.5.
Line arrangements of degrees up to six are proven to have a unique and non-empty isotopy class in Corollary 5.3 Configurations of one conic and up to three lines are dealt with in Corollary 5.4, while configurations of two conics, or two conics and a line are taken care by Corollary 5.11, while Proposition 5.12 settles the case of a rational degree- curve with a unique singularity of multiplicity and a line with an order- tangency. ∎
5.1.3. Two more configurations
Here we show two additional configurations have a unique symplectic isotopy class. The proofs require some new ideas along with the pseudoholomorphic techniques and birational transformations we have been relying on. For the first, we utilize a fixed point argument. For the second, we define certain branched covering maps from a singular curve to utilizing pseudoholomorphic tangent lines and pencils. We will need the uniqueness of these configurations to prove there are unique symplectic isotopy classes of certain cuspidal quintics in Propositions 7.11 and 7.12.
The first configuration, that we call , is comprised of a conic inscribed in a triangle of tangent lines meeting in vertices , , and , and three lines , , through , , and respectively, such that their pairwise intersections are on the conic. See Figure 11.
Proposition 5.14**.**
There is a unique equisingular symplectic isotopy class of the configuration .
Proof.
Consider the configuration of a single symplectic conic with three distinct tangent lines. This configuration has a unique equisingular symplectic isotopy class by Corollary 5.4. Moreover, for each symplectic realization of in , the space of almost complex structures on for which the realization is -holomorphic is non-empty and contractible by Lemma 3.4. Therefore the space of pairs where is a -holomorphic realization of is a path-connected space.
For a fixed pair , we will prove that we can add -holomorphic lines to to get a realization of in exactly two ways, and the map is a double covering map. Then, to show that it is the connected cover rather than the trivial covering, we will show that for a particular pair , the two extensions to complex realizations of are symplectically isotopic. Therefore any two symplectic realizations of can be equisingularly symplectically isotoped each to one of the two extensions of and these two extensions are equisingularly symplectically isotopic, so and are as well.
For a given , let denote the conic in , and let denote the three points of intersection of the three tangent lines. Consider the three pencils of lines through the points , , where are -holomorphic lines not containing . Restricting these pencils to the conic , gives a branched double covering map with exactly two branch points. The map is degree two because a generic line intersects the conic in two points. There are two branch points, each corresponding to a point where the -holomorphic line through and is tangent to , by the Riemann–Hurwitz formula: .
Let denote the unique involution such that . Note that is independent of the choice of the auxiliary line . Informally, is the other intersection of the line through and with ; if is tangent to , then .
Consider now the composition : this is a complex automorphism of , which therefore has two fixed points and . Note that if is one of the tangent points between and a line in , then is not a fixed point of because each tangency point is fixed by exactly two of the and is sent to a different point by the third .
Add to -holomorphic lines through and , through and , and through and . Note that intersects at a point on if and only if . Therefore each realization of which is -holomorphic and whose conic and tangent lines agree with , is given by where the are defined using . This tells us that the preimage of a point in the map is two realizations of . Moreover, the constructions of and depend continuously on , the conic , and the points , which depend continuously on , so is a covering map.
Finally, we consider the relation between two explicit complex realizations of with the same underlying . Let be the following realization of . Start with three lines in intersecting to form an equilateral triangle with side length in the real Euclidian plane, and its inscribed circle , and then we complexify the configuration. For , consider the half-line starting from , interior to the angle , and such that the angle between and is . Analogously, define and . Let , , and (here we drop the dependence on for convenience). We claim that there is a unique such that , , and all lie on and that for the corresponding points all lie on , too. The area of the triangle is given by:
[TABLE]
and the latter is a continuous, decreasing function from to , taking values at and [math] at . This means that there is a unique values of such that the area of is the area of the inscribed triangle in . By rotational symmetry, at the triangle is in fact inscribed in , i.e. the configuration of is a realization of . We observe that a reflection across one of the axes of the triangle preserves the triangle and the inscribed circle. Since it preserves incidences, it sends the configuration to a configuration that realizes (indeed, corresponds to the solution ; note that ). We can extend the reflection to a complex linear isometry in . Since is a path-connected subset of , there is a family of symplectomorphisms carrying to and tracing out a symplectic isotopy between them. ∎
The second configuration, that we call , is made up of two conics , tangent at two points, together with three lines such that each line is tangent to and the pairwise intersections of the lines are three distinct points on . See Figure 12.
Proposition 5.15**.**
There is a unique non-empty equisingular symplectic isotopy class of the configuration .
Proof.
We define two auxiliary configurations, and . The latter, , consists of a tricuspidal quartic and the triangle of lines passing transversally through its singularities. The former, , is obtained from by adding a bitangent to , i.e. a line that is tangent to at two distinct points, each of which is a smooth point of .
First, observe that is birationally equivalent to the configuration . This is seen by blowing up once at each vertex of the triangle formed by the three lines, and then blowing down the proper transforms of the three lines (which are -spheres).
Next, we see that has a unique symplectic realization, up to isotopy. Using the inverse birational equivalence just described, we see that is birationally equivalent to the configuration of a conic inscribed in a triangle of lines, which has a unique realization, up to isotopy, by Corollary 5.4.
What we really want to show is that has a unique symplectic isotopy realization, which will follow from showing that there is a unique way, up to symplectic isotopy, to add the bitangent line to to get . This is shown in the following proposition. Then because of the birational equivalence above, itself will have a unique non-empty equisingular isotopy class. ∎
Proposition 5.16**.**
In any symplectic realization of , the tricuspidal quartic has a unique bitangent up to isotopy, and this bitangent necessarily intersects the lines in generic transverse double points. Therefore, has a unique symplectic realization.
Proof.
Fix a tricuspical quartic , and call the set of smooth points of . Let be the normalization map. Fix an almost complex structure compatible with such that is -holomorphic. Note that the set of such choices is contractible by Lemma 3.4. We will prove that there is a unique -holomorphic bitangent line to . Since this will hold for every compatible with , we will have a unique -holomorphic realization of whose tricuspidal quartic agrees with for each . Varying through this contractible (and thus path-connected) space yields equisingular isotopies fixing and isotoping the lines (the triangle of lines through the cusps and the bitangent line) in the configuration of by definining the lines and as the unique -holomorphic lines with the specified intersection properties. Therefore any two symplectic extensions of to a realization of will be related by an equisingular symplectic isotopy.
From now on, we fix a which makes -holomorphic, and all of our choices of curves will be -holomorphic. Fix a generic -holomorphic line to be the target of a pencil-like map.
First, we associate to each point , a -holomorphic line through with the property that is tangent to at another point , . We prove that such exists and is unique in Lemma 5.17. By tangency at , we mean that either and is tangent to at , or that is a cusp of , and is the tangent to the cusp. We also note that, in fact, the line might also be tangent to at , in which case it is a bitangent to .
Next, define a map by . Extend this map to by letting, for each cusp of , be the tangent to at the cusp. We can show that this extension gives a continuous map as follows. For any point in a neighborhood of a cusp , let be the unique -holomorphic tangent line to at . Then the family of submanifolds varies continuously with . Therefore the intersection points with multiplicities also vary continuously with . When , where has multiplicity two and and have multiplicity one. When , where has multiplicity three and has multiplicity one. Therefore we must have as and as . Now, let be a small closed neighborhood of in , and consider the map defined by (we choose sufficiently small to be able to distinguish (the points which converge to as ) from (the points which converge to as ). Then is a continuous map and . Additionally, is injective because if then the -holomorphic pencil based at would include a tangent line to at and a tangent line to at , but such a pencil can only include a single tangent line to by Lemma 5.17. Since is compact, and is continuous and injective, is a homeomorphism onto its image. Therefore is homeomorphic to a disk centered at . In particular, there is a neighborhood of such that for all , is tangent to inside so for some . Therefore if , .
Let . We will show that is a branched covering of degree and analyze all the ways in which ramification points can arise.
Given a point , consists of points such that the unique -holomorphic line through and is tangent to at a point different from (i.e. passes through ). Therefore, we need to understand the -holomorphic lines in the pencil based at which have tangencies to . Lemma 5.18 proves that if the lines in such a pencil have tangencies of multiplicities then . Therefore we could have in the pencil through either
- (a)
three distinct tangent lines to , each intersecting transversally at two other points (or if the tangency is at a cusp, intersecting only at one other point transversally, but counting the cusp as the other point), 2. (b)
one bitangent line to and one tangent line with two transverse intersections to , or 3. (c)
at least one line in the pencil has tangencies to of multiplicity higher than .
(Note that there cannot be a line with three distinct tangencies to since only has degree and three tangencies would contribute to the intersection.)
In the first case (the generic case), we have points in coming from the six transverse intersections of the tangent lines with . (In the case that one of the tangent lines is tangent at the cusp, the two points are the cusp point and the transverse intersection.) Since transversality is an open condition, any such has an open neighborhood such that the pencil through falls into the first case. After possibly shrinking , we can show is homeomorphic to . To show this, let be a point such that the line from to is tangent to at . For converging to , the tangent line to at intersects at points convering to , and intersects at points and converging to . Because the number of tangent lines to in any given pencil is finite, we can ensure that if is sufficiently close to , then for , and for . Therefore the maps and are continuous and injective maps, so they locally have continuous inverses. Since , we see that is a covering map of degree at generic points.
In the second case, the bitangent line intersects at the two tangent points, . By Lemma 5.18, if is a bitangent -line to through , then there can be only one other -line which is simply tangent to and passes through . Therefore by definition of , consists of the two transverse intersections of with and the two tangential intersections . Thus there are only four preimage points instead of so the contribution to the Euler characteristic reduction is .
The third case is ruled out as a possibility in Lemmas 5.19 and 5.20.
Next, consider a point (there are four of them). It follows from Lemma 5.17 that there is a unique line which passes through and is tangent to at a different point . Its two transverse intersections with ( and one other point ) will be regular points in as in the generic case. The only other way that a line tangent to could pass through is if the tangency occurs at . Let be the tangent -line to at . Then the only other points in are the two points where intersects transversally. (By genericity of , we ensure that intersects at two points transversally.) Therefore consists of four points instead of six, so at each intersection , .
Finally, we apply the Riemann–Hurwitz formula to :
[TABLE]
Therefore . Since the only contribution to ramification indices for points in is a bitangent, and each bitangent contributes to this sum, we conclude that there is a unique -holomorphic bitangent line to as claimed. ∎
Lemma 5.17**.**
For every point there is a unique line through that has a tangency to at another point .
Proof.
Consider the -linear pencil based at : . Restrict to , and extend it to by defining , where is the tangent to at . The map is continuous: the tangent is the only curve that has local multiplicity of intersection with at , and the lines through and converge to such a curve as limits to . Finally, define by , where is the normalization. By positivity of intersections, is a branched cover of degree . Moreover, if is a cusp of , then is a ramification point of . The index of as a ramification point is if is not the intersection of the tangent to with , and otherwise.
In the former case, the Riemann–Hurwitz formula yields:
[TABLE]
which implies that there is exactly one point in such that has ramification of index at . This means exactly that is tangent to at .
In the latter case, Riemann–Hurwitz gives:
[TABLE]
which means that the only ramification points of are at the preimages of cusps of . This means that the only tangent to through is the tangent to the cusp.
We exclude the possibility that itself is a ramification point of in Lemma 5.19. If this occurred, would be a simple inflection line of , which is exactly what the lemma obstructs. ∎
Lemma 5.18**.**
Given a point , consider the linear -holomorphic pencil through . The multiplicities of tangencies of -lines in this pencil with satisfy .
Proof.
Let be the composition of the normalization map with the restriction of the linear pencil to . Since is degree , a generic line in the pencil intersects at points, so is a degree-4 map. It has ramification points of index at least at each of the preimages of the cusps (which will be higher exactly if there is a tangent line in the pencil). The Riemann–Hurwitz formula now gives:
[TABLE]
Since there is a contribution of to coming from the three cusps, there must be exactly a contribution of to coming from tangencies. ∎
Lemma 5.19**.**
The tricuspidal quartic has no simple inflection -lines at smooth points.
Proof.
Suppose is a simple inflection point, and let be the unique other intersection of and . Observe that, by positivity of intersections, . Now define the branched covering map as in Lemma 5.17, but using the point as the base of the pencil instead of . This is a degree cover. The three cusps contribute to . Riemann–Hurwitz implies that there can be at most one additional simple ramification point of , but is a ramification point of index , a contradiction. ∎
Lemma 5.20**.**
The tricuspidal quartic has no multiplicity- tangent -lines.
Proof.
If there were such a -line, tangent with multiplicity at a point , then we can look at the pencil of -lines through and restrict to and precompose with the normalization. This gives a branched covering with ramification points of index at each of the three cusps. This violates the Riemann–Hurwitz formula because we would have
[TABLE]
5.2. Obstructions
Next we will show that certain singular configurations do not symplectically embed into using birational derivations, and the following result.
Theorem 5.21** ([RS19]).**
There is no symplectic embedding in of the Fano plane: seven lines intersecting positively at seven triple intersection points (see Figure 13).
The next configuration we will consider is made up of three lines each tangent to a conic such that the three lines intersect each other at a triple point. We will call this configuration (Figure 14).
Proposition 5.22**.**
There is no symplectic embedding of into .
Proof.
Let be any smooth symplectic sphere in with . Let , , and be three symplectic tangent lines at points , , and on . Suppose , , and all intersect at a common triple point.
Follow Figure 15 with the rest of the proof. Blow up once at each of , , and . Then the proper transform of is a symplectic sphere of self-intersection so by Theorem 3.6 it can be identified with with homology class via a symplectomorphism of . Under this identification, Lemma 3.7 and the intersections of the components determines the homology classes of the remaining curves as follows:
[TABLE]
Next, by Lemma 3.5, we can blow down exceptional spheres in the homology classes such that any intersection with , , or is positive. After blowing down three times, the proper transform in of each of the seven surfaces is in the homology class and there are the following triple intersections: for , , , . If there were a seventh triple intersection between , , and this would give an embedding of the Fano configuration into .
Thus we have shown that the Fano plane is birationally derived from , so by the contrapositive of Proposition 3.17, there is no symplectic realization of in . (In fact, the same argument using the full strength of Theorem 3.6 shows that there is no symplectic realization of a configuration with the same self-intersection numbers into any closed symplectic -manifold.) ∎
Note that the exceptional spheres representing are not contained in the total transform of the embedding of , so the Fano plane is birationally derived from , but they are not birationally equivalent.
Remark 5.23*.*
The existence of a symplectic embedding of into can also be obstructed using a -holomorphic linear pencil based at the triple point , and finding a contradiction using Riemann–Hurwitz. Indeed, consider the projection induced by the pencil; by positivity of intersections, this is a branched covering map; each tangent to through gives a branching point of of index , and Riemann–Hurwitz yields:
[TABLE]
a contradiction.
is dual to the configuration , comprised of three conics in a pencil (intersecting at four triple points) and a line tangent to all three of them. We can also obstruct .
Proposition 5.24**.**
There is no symplectic embedding of the configuration in .
Proof.
We will show that there is a birational derivation from to a configuration containing . Given a symplectic realization of , blow up at three of the four basepoints of the pencil. The proper transforms of the conics are symplectic +1-spheres, intersecting at a single point (namely, the fourth basepoint). We can apply Theorem 3.6 to identify one of the three conics with . Then Lemma 3.7 implies the other two conics are also symplectic lines, the image of the tangent line has class , and the three exceptional spheres represent , , and . Blowing down positively intersecting exceptional spheres in classes using Lemma 3.5, the total transform of the realization of blows down to a conic simultaneously tangent to each of the three concurrent lines, together with a triangle of lines inscribed in the conic. Since this configuration contains , the configuration is obstructed by Proposition 3.17. ∎
We also obstruct the following related configurations:
- :
comprising two conics with a single point of tangency of order 4, and a line tangent to both;
- :
comprising two conics with two simple tangencies, and a line tangent to both.
Proposition 5.25**.**
There is no symplectic embedding of any of the configurations or in .
Proof.
Suppose that there existed an embedding of in . After blowing up three times at the tangency point of the two conics, the proper transforms of the two conics are two -spheres. See Figure 16. Applying Theorem 3.6, we obtain a symplectomorphism of blown up three times that sends the proper transform of one of the conics to . Using Lemma 3.7 and intersection numbers, the proper transforms of all the conics are in the homology class , the proper transforms of the three exceptional divisors (in the order in which we made the blow-ups) are mapped to spheres in homology classes , , and , and the proper transform of the line is sent to the homology class . Using Lemma 3.5 to blow down a positively intersecting sphere in the class followed by the -spheres in the configuration representing and , we get a birational derivation from to .
For we blow up twice at one of the tangencies, and once at the other. See Figure 17. Identifying the proper transforms of the conics with , the homology classes of the other curves in the total transform are uniquely determined by Lemma 3.7 and intersection numbers. The proper transform of the line is again identified with a sphere in the class , and exceptional sphere at the intersection where we blew up once represents . The two exceptional curves from the other blow-ups are identified with spheres representing the classes and . Using Lemma 3.5 to blow-down exceptional spheres in classes , the configuration blows down to a configuration containing (with an additional line). Therefore by Proposition 3.17, a symplectic embedding of into is obstructed. ∎
6. Unicuspidal curves with one Newton pair
The goal of this section is to prove Theorem 1.2, that every symplectic unicuspidal curve in is isotopic to a complex curve. In fact, for each of such curve we will classify all of its symplectic embeddings into any closed symplectic manifold. Correspondingly, we classify all the strong symplectic fillings of the corresponding contact manifolds.
According to [Liu14, Theorem 2.3] (see also [BCG16, Remark 6.18]), if a rational cuspidal curve with a unique singularity of type satisfies the adjunction formula, that is , then belongs to the list of [FLMN07, Theorem 1.1]; namely, is one of:
- •
, with , and the curve has degree ;
- •
, with , and the curve has degree
- •
, with and odd, and the curve has degree ;
- •
with and odd, and the curve has degree ;
- •
, and the curve has degree ;
- •
and the curve has degree .
Here, denotes the Fibonacci number; recall that the sequence is defined by the recursion , starting from , .
The infinite families all have log Kodaira dimension and the two sporadic cases are of log general type (see [FLMN07, Section 1.2]).
Since symplectic curves satisfy the adjunction formula (2.2), we can restrict to the six cases above. For each of them, we will use a resolution to classify symplectic fillings of the associated contact 3-manifold, and correspondingly classify the symplectic embeddings of these cuspidal curves in closed symplectic manifolds up to symplectic isotopy.
In Section 6.1, we will describe the choice of resolutions that we use to classify the embeddings. Each such resolution will contain a smooth symplectic -sphere as the proper transform of the cuspidal curve. In Section 6.2, we use McDuff’s theorem and the lemmas of Section 3.3 to classify all homological embeddings of each of the resolutions. In this story, the two Fibonacci families will play a different role; we will treat them in Section 6.3. In Section 6.4, we will look at geometric realization of these homological embeddings, and will prove a strengthening of Theorem 1.2. Finally, in Section 6.5, we will talk about rational blow-down relations.
6.1. The resolutions
Here we describe our preferred resolutions for the singular curves in each of the six cases listed above, except the Fibonacci families (for which we will have a different argument in Section 6.3 below). In general, our preferred resolution will not be either the minimal or the normal crossing divisor resolution of the singularity; the goal will be to find a smooth symplectic -sphere.
We start with the first family: a degree- curve with a unique singularity of type . We first find the normal crossing resolution. In the notation of Section 2.1, we have , (since ) and . We are interested in the continued fraction expansions of and , which are and , respectively. Since the curve has degree , its self-intersection is , and therefore the self-intersection of the proper transform in the normal crossing divisor resolution has self-intersection . From this normal crossing resolution, we blow up additional times along this third leg (i.e. at the intersection between the latest exceptional divisor and the proper transform of the curve). The net effect of this operation is that the central vertex is decorated by Euler class and the third leg consists of a chain of -vertices, a -vertex, and a -vertex. We will refer to this symplectic plumbing as ; see Figure 18.
We now turn to the second case: a degree- curve with a singularity of type . The normal crossing resolution of this unicuspidal curve has two legs with expansions of and , and the third leg has one vertex, which is initially decorated by . We blow up along this leg additional times, so that the central vertex is decorated by , and the third leg becomes a chain of vertices decorated by , one by , and one by . We will refer to this symplectic plumbing as .
The normal crossing resolution for the singularity of type has two legs expanding and , with the third leg decorated by . Since we want a sphere of square , we blow back down to the minimal resolution, whose neighborhood will be called . The triple edge indicates a multiplicity three tangency between the -sphere and the -sphere.
The normal crossing resolution for has two legs corresponding to the continued fraction expansions and , and the third leg is labeled by . Again we must blow down three times to get a -sphere. We end up between the minimal smooth resolution and the minimal normal crossing resolution, with a configuration indicated by the graph of Figure 21. We call the neighborhood . Here the - and -spheres intersect tangentially with multiplicity , and the -sphere intersects these two at the same point transversally.
6.2. The homological embeddings
In this subsection, we will apply McDuff’s theorem to each of the resolutions of the previous subsection. In order to shorten up the statements in this section, using Theorem 3.6 we will implicitly identify the -sphere in each of the configurations with a line in a blow-up of , and correspondingly its homology class will be identified with . We work with a standard basis for .
We start with the configuration , corresponding to curves with a singularity of type .
Lemma 6.1**.**
In the configuration of Figure 18, the homology classes of the curves in the chain which excludes the -sphere are:
[TABLE]
and the symplectic -sphere represents
[TABLE]
Proof.
The classes of the components of the chain, excluding the -sphere, are uniquely determined by Lemma 3.12. The remaining -sphere intersects once positively with the class and zero with the other classes. Since the class appears with positive coefficient already, by Lemmas 3.8, 3.9, and 3.10 the class of this last sphere is uniquely determined as stated. ∎
The cap corresponding to the rational cuspidal curve with singularity of type has similar restrictions on its possible homology classes.
Lemma 6.2**.**
In the configuration of Figure 19, the long chain starting with the -sphere and including the entire configuration except the -sphere has two possible homology configurations differing only in the last sphere of the chain when . The first possibility is:
[TABLE]
[TABLE]
For the other possibility, the last sphere can represent the class {\color[rgb]{1,0,0}e_{2p-1}-e_{2p}}.
In both cases, there is a unique possibility for the class represented by the -sphere:
[TABLE]
When , there is an additional case where the long chain starting at the -sphere represents
[TABLE]
and the length-one arm is a -sphere in the class .
Note that the second option is a homological embedding into whereas the first option is a homological embedding into . Since the cap has and , the symplectic filling complementary to the first embedding will have and the one complementary to the second embedding will be a rational homology ball filling. In particular, the filling complementary to the second homology embedding is the only one that could give the complement of the rational cuspidal curve in .
Proof.
The configuration is identical to the configuration with three additional vertices of weights on the lower left leg. Therefore all of the homology classes excluding these last three, are determined by Lemma 6.1. By Lemmas 3.8 and 3.10, the -sphere must represent unless (we will come back to this case). When , the subsequent -sphere must represent , and the last -sphere can either represent or by Lemma 3.11.
When , the -sphere is not fully determined by the previous chain and the roles of the -sphere and the -sphere can switch yielding the additional option. ∎
Lemma 6.3**.**
There are three homological embeddings of the symplectic configuration into blow-ups of given as follows, listed linearly starting from the -sphere.
[TABLE]
[TABLE]
[TABLE]
Proof.
The class of the -sphere which intersects with multiplicity three is determined by Lemma 3.7. The remaining chain of -spheres has one of two forms determined by Lemma 3.11. If it has form (B), except for the first sphere in the chain, all of the exceptional classes appearing in the chain must have coefficient in the previous sphere (Lemma 3.12), which uniquely yields option 6.2. If the chain has the form in Lemma 3.11 for option (A), the exceptional class with positive coefficient for the first -sphere is either or (without loss of generality). To ensure the correct intersection numbers, this uniquely determines options 6.3 and 6.1 respectively. ∎
The possibilities for embeddings of are determined in the same way for the lower chain. The intersection numbers then limit the possibilities for the indices of the exceptional classes on the upper chain as follows.
Lemma 6.4**.**
There are six homological embeddings of the symplectic configuration into blowups of . As in Lemma 6.3, there are three possibilities for the lower chain:
- (1)
** 2. (2)
** 3. (3)
**
When the lower chain is option 1, the upper chain can be
[TABLE]
When the lower chain is option 1 or, respectively, 2, the upper chain can be
[TABLE]
When the lower chain is any of the three options, the upper chain can be
[TABLE]
6.3. The Fibonacci families
We start with the third family, with odd. We recall that Fibonacci numbers satisfy the identity , so that by Moser [Mos71] the boundary of a regular neighbourhood of a curve in this family, with the orientation induced by the cuspidal contact structure , is
[TABLE]
Note that the identity implies that , and that , since is odd. In particular, for some with .
Since there is a symplectic realization of a rational cuspidal curve in in this family, coming from algebraic geometry [FLMN07], has a rational homology ball symplectic filling. By Proposition A.1, is the canonical contact structure on (perhaps up to conjugation), and by Proposition A.2, this filling is unique up to symplectic deformation.
We now turn to the third family, , with odd. Call the cuspidal contact manifold; by Moser [Mos71],
[TABLE]
As above, by [FLMN07], has a rational homology ball (strong) symplectic filling ; moreover, is the contact connected sum . Note that is planar, since all contact structures on lens spaces are; we recall that, by [Wen10], all strong symplectic fillings of planar contact structures can be deformed to Stein fillings, so that is in fact the boundary connected sum of two rational homology ball fillings of and , by Eliashberg [Eli90]. This implies that, up to conjugation, and , and that they both have a unique rational homology ball symplectic filling; again, by [Eli90], so does .
6.4. Isotopy classification
Theorem 6.5**.**
In , every symplectic rational unicuspidal curve whose unique singularity is the cone on a torus knot is symplectically isotopic to a complex curve.
- •
The only minimal symplectic embedding of a rational unicuspidal curve with a -singularity with normal Euler number into a closed symplectic manifold is the unique embedding into .
- •
There are exactly two minimal symplectic embeddings of a rational unicuspidal curve with a -singularity with normal Euler number into closed symplectic manifolds. One into and another into , each unique up to symplectomorphism and symplectic deformation.
- •
There are exactly three minimal symplectic embeddings of a rational unicuspidal curve with a -singularity with normal Euler number . They are embeddings into , , and with each unique up to symplectomorphism and symplectic deformation.
- •
There are exactly six minimal symplectic embeddings of a rational unicuspidal curve with a -singularity with normal Euler number . There is a single symplectic embedding into , , , and , up to symplectomorphism. There are two symplectic embeddings into , up to symplectomorphism and symplectic deformation.
- •
For the rational unicuspidal curves in the Fibonacci families, there is a unique symplectic embedding in , and there is always at least one other minimal symplectic embedding into another rational surface with larger .
In each of these cases, each symplectic isotopy class of embeddings corresponds to a distinct minimal symplectic filling of the associated contact manifold, distinguished by their second homology and intersection forms.
Proof.
We start with the non-Fibonacci families.
Suppose we have a symplectic embedding of the cuspidal curve into . Then we have an embedding of the resolution , , or into . By Theorem 3.6 we can identify with and the -sphere with a line. In particular, is either for some or (the symplectic structures on these manifolds are unique up to symplectomorphism and symplectic deformation). The homological embeddings of the resolutions in are classified in Lemmas 6.1, 6.2, 6.3, and 6.4. Next use Lemma 3.5 to find exceptional spheres representing the classes to blow down to , keeping track of the intersections of these exceptional spheres with the resolution to determine how it descends. The core spheres of or descend to two symplectic spheres each in the homology class of the line. Therefore any embedding of a cuspidal curve of type or into a closed symplectic manifold has a birational derivation to where and are symplectic lines. There is a unique symplectic isotopy class of two symplectic lines by Proposition 5.1. Therefore by Proposition 3.18, there is a unique symplectic isotopy class of such curves for each possible that they embed into.
Lemma 6.1 gives a unique homological embedding of (which is obtained from the cuspidal curve by blowing up times) into . Therefore the only relatively minimal embedding of these cuspidal curves is into .
Lemma 6.2 gives two homological embeddings of (which is obtained from the cuspidal curve by blowing up times), one into and the other into . Therefore the cuspidal curve has one symplectic embedding into and another into either or . We will see in Proposition 6.6 below that the latter embedding is obtained from the former by doing a rational blow-up of , thus showing that the ambient 4-manifold is indeed . It is however instructive to see this directly, so we flesh out the argument here: recall that we have a curve, and that the we look at the embedding of the total transform of in a blow-up of . The intersection form of is recovered from that of by “algebraically blowing down” all the exceptional divisors in in the total transform of ; this boils down to taking the orthogonal of the homology classes. That is, we have to look at the orthogonal of the classes
[TABLE]
in ; orthogonality to the classes forces classes in the orthogonal to be of the form
[TABLE]
The orthogonal is generated by , . We calculate and that , so that the intersection form of is even, hence necessarily .
For , after blowing down the exceptional spheres in the classes using Lemma 3.5, the configuration descends to a symplectic nodal or cuspidal cubic (depending on whether the exceptional sphere of class intersects the configuration transverally or tangentially), together with a symplectic line which is tangent to the cubic with multiplicity . Each such configuration has a unique symplectic isotopy class by Proposition 5.12 with . To connect these two possibilities, observe that each of these possibilities is realizable in the complex setting. There is a deformation from a complex algebraic cuspidal cubic with inflection line , to a nodal cubic with the same inflection line . Blowing up at the cusp or node in the family provides an equisingular isotopy of the proper transforms in . Therefore there is a unique symplectic isotopy class of the configuration in consisting of one smooth rational curve in the class and a line in class , such that the two components intersect tangentially at a single point of multiplicity . The birational transformation described above, shows that the configuration has a birational transformation to in . Therefore by Proposition 3.18, for each possible determined by a homological embedding, there is a unique symplectic isotopy classes of embeddings of the cuspidal curve of type . The three homological embeddings of (which is obtained from the cuspidal curve by blow-ups) are into , and . Therefore the cuspidal curve has one minimal symplectic embedding in , one in either or and one into . To determine that the second embedding is into instead of we find a homology basis complementary to the classes of the exceptional divisors in the embedding of (, , , , , , and ). Such a basis is given by and . The intersection form generated by this basis is the odd form for :
[TABLE]
The configuration descends similarly under blowing down, to a rational cubic with an inflection line, plus an additional line passing through the inflection point and otherwise intersecting the cubic either generically, tangentially, or transversally through the singular point, depending on the choice of homological embedding. There is a unique symplectic isotopy class of these configurations by Proposition 5.1 when the line added intersects the cubic transversally at the inflection point and two other generic points, or at the inflection point and the node/cusp point. Using the complex deformation between the cuspidal and nodal curves as in the previous case, we find a corresponding configuration in with a unique symplectic isotopy class to which the homological embeddings of descending to these types of configurations birationally derives.
In the case that the line intersects the cubic once at the inflection point and tangentially at another smooth point, we will show that there is a unique symplectic isotopy class of such lines when the cubic is nodal and no such line if the cubic has a cusp. Thus such realizations of will always have birational derivations to a nodal cubic with the two additional lines.
To prove this, choose an almost complex structure which makes the cubic together with its inflection line -holomorphic (note the space of such is contractible by Lemma 3.4). Let denote the inflection point on . Consider the pencil of -lines through , and restrict this to . This restriction extends over by sending to the image of the line tangent to at . We pre-compose with the normalization of .
In the cusp case, projecting the cubic from the inflection point gives a degree-2 map with at least two ramification points (corresponding to the inflection line and the cusp respectively). Therefore Riemann–Hurwitz reads: , which implies that these are the only two ramification points, from which we deduce that there is no other tangent drawn to the cubic from the inflection point. In the nodal case, the projection of the cubic from has no ramification at the node, and ramification at the inflection line, so there is exactly another point of ramification , which corresponds to a tangency to the cubic. Therefore, there is a unique realization for the configuration obtained from by blowing down, which in turns gives a unique isotopy class for the unicuspidal cubic.
Therefore, for each fixed homological embedding of the resolution, there is a unique symplectic embedding of the cuspidal curve. The resolution is obtained from the cuspidal curve by performing blow-ups. Therefore the embeddings of the resolution into , , two into , one into , and correspond to embeddings of the cuspidal curve into , or , two embeddings into , and one into and .
It remains to distinguish the two embeddings into and prove that this cuspidal curve embeds into instead of . For the latter question, the answer is similar to the case, but is replaced by . Therefore a basis for the homology complementary to the exceptional divisors is given by and which have the odd intersection form of .
To distinguish the two embeddings into , we show that their complementary symplectic fillings have different intersection forms. The two homological embeddings we are considering from Lemma 6.4 both use option 1 for the lower chain, and differ in the upper chain, being either option 6.4 or 6.6.
A homology basis for the complement of the embedding of the cap (not just the exceptional spheres but also the proper transform representing ) in the first case (option 6.4) is given by the following.
[TABLE]
giving an intersection form represented by
[TABLE]
In the second case (option 6.6) a basis is given by the following.
[TABLE]
giving an intersection form represented by
[TABLE]
Since and , the two embeddings are not even homeomorphic.
We now conclude with the two Fibonacci families; in the previous subsection, we have shown that in each case the cuspidal contact structure has a unique rational homology ball filling up to symplectic deformation. In particular, there is a unique symplectomorphism class of curves in for each of the members of either family, and by Gromov there is a unique symplectic isotopy class, so the complex representatives are necessarily in that isotopy class. Additionally, we observe that each member in the the first Fibonacci family as at least another fillings, while each member in the second Fibonacci family has at least two. Indeed, in the first Fibonacci family, each of the cuspidal contact 3-manifolds is a universally tight lens space. Each universally tight contact lens space admits at least another filling (namely, a plumbing of symplectic spheres); gluing this filling to the cuspidal cap yields a closed symplectic 4-manifold into which embeds (with minimal complement). In the second Fibonacci family, each of the cuspidal contact 3-manifolds is a connected sum of two distinct universally tight lens spaces (each admitting a rational homology ball symplectic filling), so it has at least three non-rational homology ball minimal symplectic fillings, obtained by boundary connected summing either a plumbing filling and a rational homology ball filling for each of the summand, or the two plumbings. ∎
6.5. Rational blow-down relations
In this section we study the relationships between the two fillings of the cuspidal contact structure associated to the rational unicuspidal curves in the second family, i.e. those with a singularity of type . The two fillings are complements of concave neighborhoods of the two different embeddings.
We study the two sporadic cases and in a companion paper [GS21], by showing that the corresponding cuspidal contact structure is in fact the canonical contact structure on the link of a singularity (compare with Stipsicz–Szabó–Wahl [SSzW08]) and studying the relationship between the different fillings.
As argued in Section 6.3, the two Fibonacci families correspond to lens spaces with their canonical contact structure, for which fillings and rational blow-down relationships have been extensively studied [BO18].
Recall that each rational curve with self-intersection and a singularity of type comes with two fillings, , with .
Proposition 6.6**.**
Let be a rational unicuspidal curve with a singularity of type and self-intersection , and the corresponding cuspidal contact structure. Then the two symplectic fillings of are related by a rational blow-down of a symplectic -sphere.
Proof.
We need to look for a symplectic -sphere in the filling with , which we will call . Recall from Lemma 6.2 that the embedding of the spheres of the plumbing whose complement is are:
[TABLE]
The homology class generates the orthogonal of these classes in . We can choose to realize the configuration above by performing the last three blow-ups on the exceptional sphere in class . Then, the proper transform of is an embedded symplectic sphere in the class with self-intersection , in the complement of the embedding of . Since only has two strong symplectic fillings, the rational blow-down of this -sphere must give the unique rational homology ball filling. ∎
7. Low-degree cuspidal curves
The goal of this section is to prove Theorem 1.3; namely, we want to prove that every rational cuspidal curve of degree up to has a unique isotopy class, and that this class contains a complex representative.
We split the proof degree by degree; there are no singular lines or conics, so we only need to start at degree 3. By the degree-genus formula (2.1), a cuspidal cubic can only have one singularity, which is necessarily a simple cusp. This case was already considered in Section 6 and in [OO05].
In the next two subsections, we will look at quartics and quintics. As in the previous section, we will actually provide classifications of symplectic embeddings of these cuspidal curves (with prescribed normal Euler number) into any closed symplectic manifold, equivalently classifying the symplectic fillings of the associated contact structures.
7.1. Quartics
By the degree-genus formula (2.1), a cuspidal quartic can only have multiplicity multi-sequence or ; correspondingly, the allowed types of configurations of singularities are the following:
- •
: a single cusp of type which we showed has a unique symplectic isotopy class of embeddings into in Section 6;
- •
: a single cusp of type which was also shown to have a unique embedding into in Section 6;
- •
: one cusp of type and one of type will be shown to have a unique relatively minimal symplectic embedding into each of , , and in Proposition 7.1;
- •
: three simple cusps will be shown to have a unique symplectic embedding into in Proposition 7.2.
As it turns out, all these configurations are realized by a rational cuspidal quartic in , and each realization has a unique equisingular isotopy class in . The bicuspidal quartic also has realizations in and .
Proposition 7.1**.**
Let be a curve with normal Euler number with one cusp of type and one of type . Then the only relatively minimal symplectic embeddings of are into , , and . For each of these there is a unique non-empty symplectic isotopy class of embeddings up to symplectomorphism. Correspondingly, the associated contact structure has three fillings; one is a rational homology ball, and the other two have second Betti number and are distinguished by their intersection forms.
Proof.
Suppose embeds minimally symplectically in . Blow up at the -cusp of to the normal crossing resolution, and blow up at the -cusp once more than its minimal resolution (not quite normal crossing). See Figure 22. The proper transform of becomes a smooth symplectic -sphere, so we apply McDuff’s theorem to identify it with a line in some blow up of .
We determine the homology classes of the remaining divisors in the total transform of relative to this identification. Using Lemma 3.7, and the intersection relations, the homology classes of the divisors have three possibilities differing from each other only in the - and -spheres in the normal crossing resolution of the -cusp. The divisors in the resolution of the -cusp must be , and , and the -curve in the resolution of the -cusp must be in the class (up to relabeling the ). The remaining -sphere class must be either or . If it is there are two possibilities for the -sphere class: and . If the -class is , the -class must be . See Figure 22.
Observe that two of these three possibilities require exceptional classes and the third requires exceptional classes. Since the resolution was obtained from the cuspidal curve by blowing up times, the two embeddings of the resolution using exceptional classes correspond to potential embeddings of the cuspidal curve into either or .
In option B, where the -sphere represents and the -sphere represents , the homology of the complement of the exceptional divisors is generated by and . (The reader can check these have intersection [math] with all the exceptional divisors in the resolution.) The intersection form generated by these two classes is
[TABLE]
so this corresponds to an embedding of the bicuspidal quartic into .
In option C, where the -sphere represents and the -sphere represents , the homology of the complement of the exceptional divisors in the resolution is generated by and which gives an intersection form
[TABLE]
so this corresponds to an embedding of the bicuspidal quartic into .
The embedding of the resolution using six classes (option A) corresponds to a potential embedding of the cuspidal curve into .
To verify that there is a unique isotopy class for each homology embedding, we apply Lemma 3.5 to find exceptional spheres in the classes. In all three cases, the configuration blows down to four lines with one triple point and three double points. This has a unique symplectic isotopy class by Proposition 5.1, so this cuspidal quartic has a unique symplectic isotopy class in by Proposition 3.18.
The complement of the embedding of the cuspidal curve into is a rational homology ball filling. We can further check that the fillings complementary to the embeddings of the cuspidal curve into and are in fact differentiated by their intersection forms. Since each has , we simply need to find the self-intersection number of a primitive class orthogonal to all of the divisors in the cap (the exceptional divisors together with the proper transform which represents ). In option B, the embedding into , such a class is represented by which has self-intersection number (and actually is represented by a symplectic sphere which can be blown down to get the rational homology ball filling). In option C, the embedding into , such a class is given by which has self-intersection number . Therefore the two fillings are not homeomorphic.
∎
Finally, we turn to the case of three cusps of type . We call , , and the three exceptional divisors in the minimal resolution of the curve.
Proposition 7.2**.**
Let be a curve with normal Euler number with three cusps of type . Then the only relatively minimal symplectic embedding of is into and this is unique up to symplectic isotopy. Correspondingly, the associated contact structure has a unique minimal symplectic filling, and it is a rational homology ball.
Proof.
Suppose embeds minimally symplectically in . Blow up at each cusp twice giving a resolution in between the minimal resolution and the normal crossing resolution. See Figure 23. The proper transform of becomes a smooth symplectic -sphere, so we apply McDuff’s theorem to identify it with a line in some blow up of , and determine the homology classes of the exceptional divisors relative to this identification. The exceptional divisors from the first two cusps are uniquely determined up to relabeling the , and there are three options for the exceptional divisors for the third cusp as shown in Figure 23.
Next, we blow down exceptional spheres in the classes in each case using Lemma 3.5. The two homological embeddings utilizing seven classes (options A and B) both blow down to a Fano configuration of seven lines with seven triple points (three are already in the resolution and four more come from blowing down ). The Fano configuration is obstructed from realization by symplectic (or even smooth) lines by Theorem 5.21. Since both embeddings of the cuspidal curve into any symplectic manifold with have birational derivations to the Fano configuration, they cannot exist by Proposition 3.17.
The last homological embedding (option C) uses six classes so since the resolution was obtained from the cuspidal curve by performing blow-ups, this option corresponds to an embedding of the cuspidal curve into . We now verify this exists uniquely, by blowing down exceptional spheres in classes using Lemma 3.5. In this case, the configuration blows down to seven lines intersecting in triple points and two double points. This can be built up line by line using Proposition 5.1. Therefore it has a unique symplectic isotopy class so there is a unique symplectic isotopy class of in by Proposition 3.18. ∎
7.2. Quintics
A quintic in has arithmetic genus . This allows for a large number of potential ways to absorb that genus into cusps. Some of these types of collections of cusp are realized by rational cuspidal complex curves of degree five, and others cannot be realized. Here we prove that each equisingular type which is realized by complex curves, has a unique symplectic isotopy class of realizations, and that equisingular types which do not admit a complex realization do not admit a symplectic realization either.
To prove Theorem 1.3 for quintics, and the classifications of embeddings into other closed symplectic manifolds, we first consider what are the possible multiplicity multi-sequences which yield a rational cuspidal curve of arithmetic genus .
If is rational and cuspidal, then , where the sum is taken over all singular points of . By Equation (2.3), summing over all multiplicity sequences of singular points, we have to obtain 6; this leaves the following possibilities to arise as multiplicity multi-sequences of the singularities of : , , , and .
As observed in Section 2.1, not all sequences of integers correspond to multiplicity sequences of singularities. In particular, among the possible sequences coming from the list above, and are not allowed. This leaves the following possibilities for each individual singularity:
- •
, which corresponds to the singularity of type ;
- •
, which corresponds to the singularity of type ();
- •
, which corresponds to the singularity of type ;
- •
, which corresponds to the singularity of type , ).
In particular, all singularities we encounter here have one Puiseux pair. Starting from degree 6 on, there will appear curves with multiple Puiseux pairs. For instance, in degree 6, there is a unicuspidal curve whose singularity has multiplicity sequence ; the link of this singularity is the iterated torus knot (i.e the -cable of ).
Theorem 1.3 for degree 5 results from analyzing all the possibilities, which we do in the propositions making up the rest of this subsection. We provide a table summarizing the results and giving references (Table 1).
For the multi-sequence , as mentioned in Example 2.18, the semigroup condition obstructs such quintic curves from being realized even smoothly in . For the two possible cusp types with this multi-sequence, we prove with other techniques that there is no symplectic embedding of these curves in any closed symplectic manifold. Our proof actually shows that a resolution of such a curve admits no adjunctive embedding into a blow-up of when we identify a -sphere in the resolution with the line. This is the crudest type of obstruction from the perspective of this paper, occurring already at the level of homology.
Proposition 7.3**.**
There is no symplectic embedding into any closed symplectic manifold of a rational cuspidal curve with normal Euler number and with a single cusp of type or with two cusps of type . Thus, the corresponding contact manifolds have no symplectic fillings. In particular, there is no symplectic rational cuspidal quintic in with one singularity of type or two of type .
Proof.
For the case of a single cusp of type , we blow up the normal crossing resolution three additional times, and obtain the configuration shown in Figure 24.
We identify the -curve with a line in by Theorem 3.6. The homology classes of the upper chain are uniquely determined by Lemmas 3.7 and 3.12 to be
[TABLE]
The -sphere must have the form . By Lemma 3.9 the classes cannot appear with positive coefficient twice. Using this and the intersections with the other classes in the chain, the -sphere represents . The remaining -sphere, must have the form since and cannot appear with positive coefficient again. Because , we must have , but then when it should be [math]. Therefore there is no adjunctive embedding of this resolution configuration.
For the curve with two cusps of type , the normal crossing resolution graph is given by Figure 25
Again, identify the -sphere with a line in . By Lemmas 3.11 and 3.12, the chain emanating to the right from the -sphere initially has two possibilities
[TABLE]
The other -sphere must have the form or based on its intersection with the and other -spheres. This rules out the second possibility for the chain emanating to the right because intersects non-trivially with both options. The chain emanating to the left from the -sphere is uniquely determined similarly as shown in Figure 25.
But then the two -spheres must each have one exceptional class with coefficient , and that class must appear with coefficient in the -sphere they are adjacent to. Since and have already appeared with positive coefficient, and no exceptional class can appear with positive coefficient twice by Lemma 3.9, there is no possible homological embedding. ∎
Now we consider three related cases of rational cuspidal quintics which symplectically embed uniquely into . Each of these curves is known to have a complex algebraic realization in .
Proposition 7.4**.**
If a rational cuspidal curve has normal Euler number and one of the following three cusp collections
- (1)
one of type and one of type 2. (2)
one of type and one of type 3. (3)
one of type , one of type , and one of type .
then the only relatively minimal symplectic embedding of is into and this embedding is unique up to symplectic isotopy. Equivalently, the corresponding contact structure has a unique minimal filling which is a rational homology ball.
Proof.
For each of three cusp types, we blow up to a resolution where the proper transform of the cuspidal curve is smooth and has self-intersection . We apply McDuff’s theorem to identify the -sphere with a line in .
For the curve with a - and -cusp take the normal crossing resolution at the -cusp, and the minimal smooth resolution at the -singularity, blown up one additional time as in Figure 26. Note this resolution was obtained from the cuspidal curve by blowing up a total of times (there are exceptional divisors). Relative the identification of the -sphere with a line, the homology classes of the other curves are uniquely determined up to relabeling the by Lemma 3.7 and the intersection relations as shown in Figure 26. Note that this homological embedding uses seven classes, so if this resolution is minimally embedded, the ambient symplectic -manifold must be . Thus if we return to the cuspidal curve by blowing down seven times to reverse the resolution, the cuspidal curve can only minimally symplectically embed in . Blowing down spheres in the classes using Lemma 3.5 gives a birational derivation from the cuspidal curve to a line arrangement of four lines with a single triple point. This line arrangement has a unique symplectic isotopy class by Proposition 5.1. Therefore this cuspidal quintic has a unique symplectic isotopy class in by Proposition 3.18.
For the cuspidal curve with a - and -cusp, blow up two times more than the minimal resolution at the -cusp, and blow up one time more than the minimal resolution at the -cusp as in Figure 27. The homology classes relative the -line are uniquely determined as shown, and use seven classes (the same as the number of exceptional divisors in the resolution). Therefore, the cuspidal curve embeds symplectically minimally only in . Using Lemma 3.5 to blow down exceptional spheres in the classes to , the configuration descends to lines where intersect at a triple point and intersect at a triple point, and the other intersections are generic. This has a unique symplectic isotopy class by Proposition 5.1. Since this line arrangement is birationally derived from the embedding of the cuspidal curve, Proposition 3.18 implies that the cuspidal curve has a unique symplectic isotopy class in .
For the curve with cusps of type , , and , we blow up to the minimal resolution and then once more at each of the - and -cusps resulting in Figure 28. The homology classes relative the -line are uniquely determined as shown. (The uniqueness requires a little additional thought in this case, because some of the curves a priori have other options (the -curve and the -curves disjoint from the line). However, any combinations of these other than the one shown violate the intersection relations.) The unique homological embedding uses the same number of classes as exceptional divisors in the resolution. Therefore, the cuspidal curve embeds symplectically minimally only in .
Using Lemma 3.5 to blow down exceptional spheres in the classes gives a birational derivation from the cuspidal curve to a configuration with a conic and five lines with intersections as shown in Figure 29. This configuration has a unique equisingular symplectic isotopy class by iteratively applying Proposition 5.1 starting with and adding one at a time in order as shown in Figure 29. Therefore this cuspidal quintic has a unique symplectic isotopy class in by Proposition 3.18 because it has a birational derivation to a configuration with a unique symplectic isotopy class.
∎
The remaining two possible cuspidal quintics with multi-sequence are obstructed from being realized by complex curves in by the Riemann–Hurwitz formula (see Example 3.20). Because we can use -holomorphic curves to recover the Riemann–Hurwitz formula for symplectic curves, the same obstruction holds in the symplectic case. However, we can actually prove the stronger statement, that these rational cuspidal curves cannot symplectically embed in any closed symplectic manifold. Moreover, reversing our argument will recover an obstruction to a symplectic Fano plane, first proven in [RS19].
Proposition 7.5**.**
A rational cuspidal curves with normal Euler number and either
- (1)
one cusp of type and two of type , or 2. (2)
one cusp of type and three of type
has no symplectic embedding into any closed symplectic -manifold. Equivalently, the associated contact structure has no symplectic filling.
Proof.
We begin with the first case where has one cusp of type and two of type . Suppose embeds symplectically minimally into . Blow up four times to the minimal resolution and then once more at each of the three tangency points, until has self-intersection , and the configuration is given as in Figure 30. Apply McDuff’s theorem to identify with sending to a line. The homology classes of the other curves are uniquely determined by Lemma 3.7 and the algebraic intersection numbers as in Figure 30. There are exactly seven classes appearing so if was minimally symplectically embedded in , we must have so . This together with the Riemann–Hurwitz obstruction suffices to ensure does not embed into any closed symplectic manifold.
However, going a bit further, if we apply Lemma 3.5 to blow down exceptional spheres representing the , the configuration blows down to seven lines intersecting in seven triple points: the Fano plane (Figure 13). (The exceptional spheres representing blow down to triple point intersections between lines.) Therefore the Fano line arrangement in can be birationally derived from this cuspidal quintic.
Thus, we obtain a proof of the following corollary, independently of [RS19]. (They prove the stronger statement in the smooth, rather than symplectic, category.)
Corollary 7.6**.**
The Fano configuration cannot be realised as a configuration of symplectic lines in .∎
The cuspidal quintic with one -cusp and three -cusps is obstructed similarly. This time we blow up to the minimal resolution and then blow-up one additional time at each of the three -cusp points (a total of blow-ups). The resulting configuration is shown in Figure 31. Identifying the -sphere with a line, the homology classes of the other curves are uniquely determined by Lemma 3.7 and the intersection relations as shown. There are exactly seven classes used so the only possible -manifold where this cuspidal curve can minimally symplectically embed is . Blowing down using Lemma 3.5 yields a configuration consisting of the Fano configuration together with a singular cubic. Since the Fano configuration cannot exist (by Theorem 5.21 or Corollary 7.6), this cuspidal quintic cannot embed into by Proposition 3.17. ∎
There are two other quintics which are obstructed from realization by complex curves in using Riemann–Hurwitz (Example 3.20). We can obstruct these curves from embedding symplectically into any closed symplectic -manifold also.
Proposition 7.7**.**
Let a rational cuspidal curve with normal Euler number , with either
- (1)
one cusp of type and four of type , or 2. (2)
six cusps of type .
Then does not embed symplectically into any closed symplectic -manifold and contact structure associated to is not symplectically fillable.
Proof.
Assume embeds in . In both cases, we blow up times to the minimal resolution, where the proper transform of has self-intersection . We apply McDuff’s theorem and classify homological embeddings of the configurations.
Every exceptional curve which is simply tangent to the -curve will represent a conic with homology class by Lemma 3.7. Since any two of these conics are disjoint, each pair must share exactly four exceptional classes with coefficient . When there are more than three such conics, there are two ways this can happen: either all of the conics have the form (for all different values of ) or all of the conics have the form for (this is possible when there are at most conics).
Keeping these generalities in mind, we now focus on the case with five cusps. There are five conics tangent to the -line, which must have homology classes fitting one of the two possibilities discussed above. The remaining -sphere intersects one of these conics and in each case, its homology class is uniquely determined bsaed on its intersections with the conics as in Figure 32. In the first embedding where the conics all have the form , there are exceptional classes so , so this corresponds to an embedding of the cuspidal curve in .
Blowing down exceptional spheres in classes using Lemma 3.5, the configuration in descends to five conics all intersecting at four common fixed points (the images of ), with a line tangent to all five conics. This contains the configuration which is obstructed by Proposition 5.24. Since we birationally derived an obstructed configuration, by Proposition 3.17 this homological embedding of the minimal resolution configuration into cannot be realized by a symplectic embedding (equivalently the cuspidal curve does not have a corresponding relatively minimal embedding into ).
In the second embedding, only exceptional classes are used so this corresponds to a symplectic embedding of the cuspidal curve in . This is obstructed by the Riemann–Hurwitz obstruction (see Example 3.20).
In the six-cuspidal case, there are six conics tangent to the -curve . Again, there are two possible homological embeddings, fully determined by the two options for the classes of the conics described above. The first case uses exceptional classes and thus corresponds to an embedding of the cuspidal curve into . Blowing down with Lemma 3.5, the configuration descends to six conics in a pencil with a line tangent to all six. This contains the configuration so by Propositions 5.24 and 3.17, there is no relatively minimal symplectic embedding of this cuspidal curve into . The second homological embedding uses exceptional classes and thus corresponds to an embedding of the cuspidal curve into , which is obstructed by Riemann–Hurwitz (Example 3.20). ∎
In the previous two cases, we had potential symplectic embeddings of the minimal resolution into with homology classes determined relative the -curve being identified with a line. Blowing down exceptional spheres in the classes lead to a configuration of conics and a line that we could obstruct because it contained . Next, we give three more cases where we can obstruct all of the possible configurations of conics and lines resulting from blowing down classes.
Proposition 7.8**.**
Let a rational cuspidal curve with normal Euler number , with either
- (1)
one cusp of type and two of type , 2. (2)
one cusp of type , one of type , and one of type , or 3. (3)
two cusps of type , and two of type .
Then does not embed symplectically into any closed symplectic -manifold and contact structure associated to is not symplectically fillable.
Proof.
In all three cases, the minimal resolution results from blow-ups, and the proper transform of the cuspidal curve becomes a smooth -sphere which we use to apply McDuff’s theorem. The six exceptional divisors are either -curves tangent to or -curves disjoint from . The two choices (up to relabeling the ) of homological embedding for the tangent -curves each determine the homology classes of the -spheres. The minimal resolutions with their two possible homological embeddings are shown in Figures 33, 34, and 35.
For each of the three cuspidal curves, there is one homological embedding option where all of the tangent conics represent homology class of the form (the upper option in red in the figures). If we use Lemma 3.5 to blow down exceptional spheres in the classes, this gives a birational derivation to a configuration that contains (or equals) . Since is obstructed by Proposition 5.24, there cannot be any symplectic embedding of the resolution with such homology classes in .
For each of the cuspidal curves we consider the remaining homological embedding, and blow down exceptional spheres representing the using Lemma 3.5.
For the curve with one -cusp and two -cusps, the minimal resolution is shown in Figure 33. Focusing on the lower (black) homological embedding, we blow down spheres representing classes , and all to the same point. Because all four of these exceptional spheres intersect the two conics on the right (which resolved the two -cusps), the resulting configuration in the blow-down will contain two conics which intersect at a single point with multiplicity , one more conic, and a line tangent to all three conics. Focusing on the first two conics and the tangent line, we see this configuration contains , obstructed by Proposition 5.25. Therefore by Proposition 3.17, the cuspidal curve with a -cusp and two -cusps cannot symplectically embed into .
For the curve with one cusp each of types , , and , the minimal resolution with the possible homological embeddings appears in Figure 34. Again focusing on the lower (black) homological embedding, which is the only one left to rule out, we blow down exceptional spheres in classes using Lemma 3.5. We see that exceptional spheres in classes , and all blow down to the same point, and exceptional spheres in classes and blow down to the same point. The two leftmost conics (coming from the last resolving exceptional divisors of the - and -cusps) each intersect , and . Therefore after blowing down these two conics become tangent at two different points and the -sphere descends to a line tangent to each. Therefore appears as a subconfiguration of the result of blowing down. Since is obstructed by Proposition 5.25, the cuspidal curve cannot symplectically embed because it has a birational derivation to an obstructed configuration.
For the curve with two -cusps and two -cusps the minimal resolution with homological embeddings is in Figure 35. To rule out the second homological embedding shown in black, we blow down using Lemma 3.5. The exceptional spheres and blow down to the same point as do the spheres and . The two central conics coming from exceptional divisors where the -cusps were blown up both intersect all four of these exceptional spheres. Therefore these two curves descend to two conics tangent at two points with a line tangent to both, which again is the obstructed configuration . Thus by Propositions 5.25 and 3.17, this cuspidal curve cannot symplectically embed. ∎
In the next three cases, we look at the bicuspidal curves with multi-sequence . This is the first case where we find relatively minimal symplectic embeddings into a nontrivial blow-up of . All three cases have relatively minimal symplectic embeddings into and one of the cases also has a symplectic embedding into .
Proposition 7.9**.**
Let a rational cuspidal curve with normal Euler number .
If has one cusp of type and one of type , then has a unique minimal symplectic embedding in and a unique minimal symplectic embedding into up to symplectic isotopy and symplectomorphism. Equivalently the corresponding contact structure has two symplectic fillings with respectively.
If has one cusp of type and one of type , or two cusps of type then has a unique minimal symplectic embedding into up to symplectic isotopy and symplectomorphism. Equivalently the corresponding contact structure has a unique symplectic fillings with .
Proof.
In all three cases, we will blow up the cuspidal curve to its minimal resolution where the proper transform is a smooth -sphere that we identify with a line using McDuff’s theorem. Because there are exactly two cusps, the resolution will always contain two -exceptional divisors tangent to the -curve and four other -exceptional divisors.
We determine homology classes relative the -curve. The two tangent -divisors necessarily must be and (up to relabeling the ). We then determine the options for the four -curves according to the intersection relations. These are shown in Figures 36, 37, and 38.
In each case, there are two possible homological embeddings of the minimal resolution. One into and the other into . If these homological embeddings can be realized symplectically, they would give symplectic embeddings of the cuspidal curve into and respectively.
In any of the three cases, if we assume we have a relatively minimal symplectic embedding of the minimal resolution into , and we blow down exceptional spheres representing the using Lemma 3.5, the resulting configuration in consists of two conics with a line tangent to each. This is the configuration which has a unique symplectic isotopy class by Proposition 5.9. Therefore we have a birational derivation from the cuspidal curve in to a configuration with a unique nonempty symplectic isotopy class so by Proposition 3.18, each of the three types of cuspidal curves has a unique relatively minimal symplectic embedding in up to symplectomorphism.
For the homological embedding of the minimal resolution into , we consider each cuspidal curve separately.
For the case with one cusp of type and one of type , we start with a relatively minimal embedding of the resolution into and blow down exceptional spheres in the classes using Lemma 3.5. The exceptional spheres in classes , and all blow down to the same point. This produces a order- tangency between the two conics so the configuration descends to which is obstructed (Proposition 5.25). Therefore this cuspidal curve does not symplectically embed in .
Next, we start with a symplectic embedding into of the minimal resolution of the curve with one cusp of type and one of type with the second homological embedding given in Figure 37. Blowing down exceptional spheres in the classes, we see that the spheres in classes , and descend to the same point, and those in classes and descend to another point. The effect is that the conics become tangent at one point with multiplicity and intersect transversally at another point. This yields the configuration which has a unique symplectic isotopy class by Proposition 5.5. Therefore by Proposition 3.18, there is a unique relatively minimal symplectic embedding of this cuspidal curve into .
Finally, considering a potential symplectic embedding into of the minimal resolution of the cupsidal quintic with two cusps of type , the homological embedding is given in Figure 38. Blowing down exceptional spheres using Lemma 3.5 we find that exceptional spheres in classes , and descend to one point and those in classes , and descend to another point. This has the effect that the two conics intersect tangentially at two points. Therefore the configuration descends to which is obstructed by Proposition 5.25. Thus by Proposition 3.17 there is no symplectic embedding of this cuspidal quintic in . ∎
Remark 7.10*.*
The rational cuspidal quintic with two cusps of type can be alternatively be obstructed in using spectrum semicontinuity as in Example 2.20.
Finally, there are two more possible collections of cusps with multi-sequence . There can be three cusps of type or one of type and three of type . Each of these cases turns out to have a unique symplectic embedding into and no other relatively minimal symplectic embeddings. Some of the reducible configurations of conics and lines that appear in these proofs required more extensive arguments to establish their uniqueness in Section 5, so we separate these two cases as the trickiest of the bunch.
Proposition 7.11**.**
If a rational cuspidal curve has normal Euler number and three cusps of type , then only relatively minimal symplectic embedding of is into and this embedding is unique up to symplectic isotopy. Equivalently, the corresponding contact structure has a unique minimal filling which is a rational homology ball.
Proof.
We look at the minimal smooth resolution at each singularity of ; the proper transform of is a smooth -sphere, and the total transform is given in Figure 39 with the possible homological embeddings where the -sphere is identified with a line.
Blowing down exceptional spheres in classes with Lemma 3.5, the homological embedding of the resolution into blows down to the configuration . Due to this birational derivation, Proposition 3.17 and Proposition 5.24 imply this minimal embedding is not realizable .
The other homological embedding is of the minimal resolution into . After blowing down spheres we obtain three conics with three intersection points, such that each pair of them are tangent at a distinct intersection point, plus one line tangent to each of the three conics at a different point.
We are better equipped to work with configurations with a single conic and many lines than many conics and a single line. Therefore, we will find a birationally equivalent configuration. First add one line through each of the three pairs of intersection points of the conics (each intersecting the tangent line generically in double points). This does not change the symplectic isotopy classification of the configuration by Proposition 5.1. The resulting configuration is birationally equivalent to the configuration of one conic with six lines intersecting in triple points as shown in Figure 11. The birational equivalence comes from by blowing up once at each of the three intersection points of the conics and then blowing down the proper transforms of the three added lines. has a unique equisingular symplectic isotopy class by Proposition 5.14, so this cuspidal quintic also has a unique equisingular symplectic isotopy class in by Proposition 3.18. ∎
Proposition 7.12**.**
If a rational cuspidal curve has normal Euler number and one cusp of type and three of type , then only relatively minimal symplectic embedding of is into and this embedding is unique up to symplectic isotopy. Equivalently, the corresponding contact structure has a unique minimal filling which is a rational homology ball.
Proof.
In the minimal resolution, the proper transform of is smooth with self-intersection so we use Theorem 3.6 to identify it with a line and classify the homological embeddings of the exceptional divisors in Figure 40.
As above, using Lemma 3.5 to blow down exceptional spheres, the first homological embedding blows down to a configuration that contains , so it leads to no embedding by Proposition 5.24.
The second homological embedding uses exactly six exceptional classes therefore corresponds to an embedding of the cuspidal curve in . Blowing down exceptional spheres in classes in the second homological embedding yields a configuration of four conics and a line. At one point, , three of the conics intersect tangentially with multiplicity three and the fourth conic is tangent to these three with multiplicity two. There are three transverse triple intersections of for the three pairs . The line is tangent to all four conics, but does not go through any of the intersections of the .
We again look for a birational equivalence to a configuration with fewer conics and more lines. To ensure we get a birational equivalence, we first add a line tangent to the four conics at . This does not change the symplectic isotopy uniqueness by Proposition 5.1. Next we blow up three times at to separate the conics at that point. The proper transform of becomes a -exceptional sphere which we can blow down, and then we blow down two more -exceptional spheres as in Figure 41. The result is the configuration together with an additional line. is made up of two conics with two tangencies, together with three lines such that each line is tangent to and the pairwise intersections of the lines are three distinct points on . The line that is added to as the result of this birational equivalence is tangent to the two conics at one of their tangent intersection points. The symplectic isotopy classifications of and are equivalent by Proposition 5.1. Since has a unique symplectic isotopy class by Proposition 5.15, this cuspidal curve has a unique symplectic isotopy class in by Proposition 3.18. ∎
7.3. A note on sextics
In degree 6, there is only one multiplicity multi-sequence that passes the semigroup condition, but such that we cannot find a cap with a sphere of positive self-intersection; this multiplicity multi-sequence is .
Proposition 7.13**.**
There is no rational cuspidal curve in whose multiplicity multi-sequence is .
Note that, in fact, this shows that the corresponding contact structures have no rational homology ball fillings (see Section 4 above).
Proof.
The only allowed multiplicity sequences that are subsets of are , , and ; these are all simple singularities of types , , and , respectively; their links are , , and , respectively.
Suppose such a curve exists; perturb it to get a smooth curve of genus , and take the double cover of branched over ; this is a surface, and, by construction, it contains (as pairwise disjointly embedded) the double covers of branched over the Milnor fibre of all the singularities of .
All these Milnor fibres are negative definite, since the singularities are simple, and their second Betti numbers sum to 20, which contradicts the fact that . ∎
This is where our approach for sextics differs from the previous cases we examined: here we are not trying to classify fillings, but rather looking specifically at embeddings in , or, equivalently, at rational homology ball fillings. Moreover, the same argument can be used to narrow down the number of different splittings of the multiplicity multi-sequences that one needs to consider; namely, there can be no sextic whose singularities are all simple.
Remark 7.14*.*
A similar argument to that of the proposition above, using 5-fold covers instead of 2-fold covers, can be used to obstruct the existence of the two quintics in with five and six singularities (which we excluded in Example 3.20; the non-fillability of the corresponding cuspidal contact structures was established in Proposition 7.7). A general result, of a more topological flavor, has been proved in [GK20, Theorem 4.7].
8. Differences between the complex and symplectic categories
Every complex algebraic curve in is a symplectic surface (potentially singular), but most symplectic surfaces are not complex algebraic. However, in many situations, a symplectic surface is symplectically isotopic to a complex curve. This is known for smooth symplectic surfaces of degree at most and is conjectured for smooth symplectic surfaces in in general. However, for singular curves, there need not always be an equisingular symplectic isotopy from a symplectic configuration to a complex configuration. This is easiest to verify when there is a singular symplectic configuration whose singularity types cannot be realized by any complex curve configuration. Some examples of reducible configurations with this property come from surprising and ancient theorems in projective geometry. For example, the Pappus theorem shows that given a configuration of lines as in Figure 42, the points are necessarily collinear. Therefore there is no complex line arrangement consisting of the lines in Figure 42 together with an extra line passing through and but not .
Other examples of reducible symplectic configurations which are not realizable with complex algebraic curves come from pseudoline arrangements. A pseudoline arrangement is a collection of simple closed curves in each of which represents the homology class . It was proven in [RS19] that any pseudoline arrangement in can be extended (after isotopy) to a symplectic line arrangement in . Therefore any pseudoline arrangement which is not realizable by straight lines (over the complex numbers) gives another example of this phenomenon.
We have seen for rational cuspidal curves in the unicuspidal and low degree cases we looked at, every symplectic realization in is symplectically isotopic to a complex curve. This is in contrast to the differences appearing in the reducible configurations just mentioned. However, the differences between symplectic and complex singular curves are not restricted to reducible configurations.
Using birational transformations, we provide here an example of an irreducible singular curve which is realizable symplectically but not complex algebraically. This example was given to us by Orevkov, and we are very grateful to him for explaining it to us. Although this curve is irreducible, its singularities are not cuspidal, they are locally reducible. It remains open as to whether there are any symplectic rational cuspidal curves in which are not symplectically isotopic to a complex rational cuspidal curve.
Theorem 8.1**.**
There is an irreducible symplectic rational curve of degree in that is not equisingularly isotopic to a complex curve.
More precisely, we will demonstrate a specific example of a symplectic surface of degree 8, with three reducible singularities (not cuspidal), each isomorphic to a singularity of type plus a generic line. That is, the singularity is defined by an equation locally modeled on . We then prove that no complex curve with the same singularities can exist.
To understand the symplectic existence and complex obstruction to this rational singular curve, we relate it via a birational transformation to a reducible configuration that is easier to understand.
Define a configuration by adding to the degree- rational singular curve , three conics and three lines with the following intersection conditions. The three lines must pass through the three pairs of the singular points of . The three conics must each pass through the three singular points of , and each must be simply tangent to two of the cuspidal branches and transverse to the third (none should be tangent to the smooth branch of at the singularities or the lines ). The singular points of are the only singular points of because there are no further intersections between for degree reasons. (See Figure 43.)
Define another configuration , built from a triangle of three lines with an inscribed conic, and three non-concurrent lines drawn from a vertex of the triangle to the opposite tangency point. (See Figure 44.)
Lemma 8.2**.**
The two configurations and are birationally equivalent.
Proof.
Blow up at the singularities of , creating three exceptional divisors . The singularities of the proper transform are three simple cusps, and for each cusp, there is one exceptional divisor intersecting tangentially at that cusp and transversally at one other smooth point of . Each has been blown up twice so the self-intersection number of each is so we can then blow down the proper transforms , returning to with a new configuration of curves. blows down to a quartic with three simple cusp singularities. blow down to three lines, each passing through two of the simple cusps. The three exceptional divisors blow down to three tangent lines to the cusps of , and they intersect in three distinct points (i.e. the contractions of ). See Figure 45.
Now blow up at the simple cusps of , resolving the singularities and creating three tangent exceptional divisors . The proper transforms of the lines become exceptional divisors which can then be blown down. The result is the configuration where is sent to the smooth conic, become its tangent lines, and blow down to lines, each connecting a tangency of and with the intersection of and (here we consider the labels modulo 3). ∎
Lemma 8.3**.**
The configuration is symplectically realizable, but not complex realizable.
Proof.
We start by proving that is not complex realizable. In fact, this follows from Brianchon’s theorem; this states that if an hexagon is circumscribed to a conic, then , and are concurrent. Indeed, if we call the vertices of the triangle in , and the tangency points of the conics (so that lies on ), then is a degenerate hexagon circumscribed to a conic, and therefore , and are concurrent.
To prove the existence of a symplectic realization of , we just perturb the degenerate Brianchon configuration locally around the triple point of intersection of the secants. Since the symplectic condition is open, performing this operation in a small way preserves the fact that the curves are symplectic. ∎
Proof of Theorem 8.1.
We construct the curve starting from the configuration ; indeed, Lemma 8.3 shows that exists symplectically, and by Lemma 8.2, is birationally equivalent to it; since is a component of , we have proved its existence as a symplectic curve.
Conversely, suppose that existed as a complex curve. We can augment any such realization of to a configuration as follows. Let be the three singular points of . There is a unique complex line through any pair of distinct points, so let be the unique lines through the three pairs of . Each transverse intersection of with at contributes to their intersection number. Therefore cannot be collinear since then would intersect a line with intersection number instead of . Therefore the three lines are distinct. Furthermore, the intersections of with must be transverse, because a tangential intersection would add an additional positive intersection beyond the required . Similarly, the cannot intersect at any other point besides the .
If we fix two distinct points with complex lines in their tangent spaces , , and a third distinct point , there is a unique complex conic through , , and tangent to and . (These five conditions give five linear constraints on the six projective coefficients of the six degree two monomials. The solution is unique because any two such conics would have intersection number instead of .) In general, it is possible for this conic to be singular by degenerating into two lines. Let , and be the complex tangent line directions to the simple cusps of at , , and . Letting , , , , and with mod cyclic indices for , we construct three conics as required in the configuration . To check that none of these conics is a degenerate pair of lines, we observe that the unique pair of lines through and is a pair of the which are not tangent to and thus cannot be the chosen conic.
Therefore if we had a complex realization of , we could construct a complex realization of the configuration and then use the birational transformation to construct a complex realization of the configuration , but this is impossible. ∎
Appendix A Symplectic rational ball fillings of lens spaces
In this section, we prove two results on rational homology ball fillings of lens spaces. The first has recently appeared in independent work of Fossati [Fos20, Theorem 4].
Proposition A.1**.**
If a lens space has a weak symplectic rational homology ball filling, then there exist coprime integers such that , and is universally tight.
The family coincides with the family of cyclic quotient singularities with rational disc smoothing, which were classified by Wahl [Wah81, Example 5.9.1] (see also [Lis08, Corollary 1.2]). In the proof, we will use the Ozsváth–Szabó contact invariant [OSz05] in Heegaard Floer homology [OSz04b]; the relevant properties of the theory are the non-vanishing of the contact invariant for fillable contact structures [OSz05, Theorem 1.5], the fact that lens spaces are L-spaces (i.e. they have the smallest possible Heegaard Floer homology) [OSz04a, Proposition 3.1], and the absolute grading on Heegaard Floer homology [OSz03].
Proof.
Call and a weak symplectic rational homology ball filling of . Since is fillable, it is tight [EG91]. All tight contact structures on lens spaces are planar [Sch07], and it follows from Wendl’s theorem that all weak symplectic fillings can be deformed to Stein [Wen10]. Let denote a complex structure such that is a Stein filling of .
In particular, admits a handle decompositions with no 3-handle. This implies that is a quotient of , and hence it is cyclic. Since bounds a rational ball, for some positive integer , and from the long exact sequence of the pair and the universal coefficient theorem, it follows that (this is classical; see e.g. [AG17, Proposition 2.2]).
Let be the universal cover of . We know that . As is simply connected, . Since has a decomposition without 3-handles, lifted from that of , we deduce that and that is torsion-free. Adding all pieces together, it follows that . The boundary is the -fold cover of , and therefore . Let be the pull back of to , filled by the pull back of . The first Chern class of is the pull-back under the covering map of . Since the latter is torsion and is torsion-free, .
The Ozsváth–Szabó contact invariant lives in degree , computed as the degree of the map associated to the cobordism . The degree of the map carrying to is
[TABLE]
and hence .
It follows from [AG17, Lemma 4.5] that . By explicitly computing correction terms of , we see that if there is no spinc structure on with correction term .
Therefore we reduced to the case when . That is, for some . Since bounds a smooth rational homology ball, it follows from Lisca’s classification of lens spaces that bound rational homology balls that or [Lis07] (see [Lec12, Page 247] for an amendment to the statement of [Lis07, Theorem 1.2] that includes the case ). The former case corresponds to structures in Wahl’s family, and we set out to exclude the second.
In this case, is even, and we can look at the -fold cover of , with boundary ; observe that our assumption implies that . The same argument as above shows that . However, by classification of tight contact structures on lens spaces [Hon00], admits a unique tight contact structure , namely the boundary of the plumbing of copies of , whose corresponding contact structure has .
To conclude the proof, we need to show that is universally tight. As mentioned above, however, is tight (because it is filled by ), and admits a unique tight contact structure (by [Hon00]). Since on each lens space there is always a universally tight contact structure (obtained by taking a quotient of with its standard contact structure), is universally tight. ∎
Alternatively, in the last part of the proof, one can argue that the unique contact structure on is also universally tight, and then so is . Then Lisca’s classification of fillings [Lis08, Corollary 1.2] rules this possibility out.
The second result concerns the uniqueness of the rational homology ball filling. It is very likely that the result is known to experts (either in the context of Milnor fibers of cyclic quotient singularities, or in the context of symplectic fillings of contact structures), but we were unable to locate the precise statement.
Proposition A.2**.**
The standard contact structure on the lens space has a unique rational homology ball symplectic filling up to symplectic deformation.
The proof is, in fact, somewhat implicit in Lisca’s classification paper [Lis08]. We refer to the paper for notation and context. We start by recalling the following two facts about continued fractions. Both facts follow from Riemenschneier’s point rule [Rie74] (see [Lis08, Lemma 2.6]).
If we have two continued fraction expansions and such that
[TABLE]
(or, equivalently, the two associated fractions are of the form and for some coprime positive integers), we say that and are dual to each other.
If and are dual to each other, then . We also have that
[TABLE]
if and only if and are dual to each other.
Proof.
The (negative) continued fraction expansion of is of the form , such that (see the proof of [Lis08, Theorem 1.2(c)]).
Recall from the proof of [Lis08, Theorem 1.1] that symplectic deformation classes of symplectic fillings of with correspond to strings such that for each and .
Moreover, the Euler characteristics of the filling corresponding to is , so that the filling is a rational homology ball if and only if for all indices except for one, for which . We claim that for such any there is at most one index such that the corresponding sequence has , and in that case .
If , then is the continued fraction expansion of a rational number . Suppose now . If , then and are dual to each other; however, as varies between and , the difference
[TABLE]
is strictly decreasing, hence there is at most one value of such that it vanishes. As we recalled above, the difference must vanish if and are dual to each other.
The proposition now follows. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[ACC 03] Enrique Artal Bartolo, Jorge Carmona Ruber, and José Ignacio Cogolludo Agustín, Braid monodromy and topology of plane curves , Duke Math. J. 118 (2003), no. 2, 261–278. MR 1980995
- 2[ACCM 05] Enrique Artal Bartolo, Jorge Carmona Ruber, José Ignacio Cogolludo-Agustín, and Miguel Marco Buzunáriz, Topology and combinatorics of real line arrangements , Compos. Math. 141 (2005), no. 6, 1578–1588. MR 2188450
- 3[AG 17] Paolo Aceto and Marco Golla, Dehn surgeries and rational homology balls , Algebr. Geom. Topol. 17 (2017), no. 1, 487–527. MR 3604383
- 4[ASST 21] Meirav Amram, Robert Shwartz, Uriel Sinichkin, and Sheng-Li Tan, Zariski pairs of conic-line arrangements of degree 7 via fundamental groups , preprint ar Xiv:2106.03507, 2021.
- 5[Aub 76] Thierry Aubin, Équations du type Monge-Ampère sur les variétés kähleriennes compactes , C. R. Acad. Sci. Paris Sér. A-B 283 (1976), no. 3, Aiii, A 119–A 121. MR 0433520
- 6[Aur 00] Denis Auroux, Symplectic 4-manifolds as branched coverings of ℂ ℙ 2 ℂ superscript ℙ 2 \mathbb{C}\mathbb{P}^{2} , Invent. Math. 139 (2000), no. 3, 551–602. MR 1738061
- 7[Aur 06] by same author, Symplectic 4-manifolds, singular plane curves, and isotopy problems , Floer homology, gauge theory, and low-dimensional topology, Clay Math. Proc., vol. 5, Amer. Math. Soc., Providence, RI, 2006, pp. 263–276. MR 2249258
- 8[Bar 99] Jean-François Barraud, Nodal symplectic spheres in ℂ P 2 ℂ superscript P 2 \mathbb{C}{\rm P}^{2} with positive self-intersection , Int. Math. Res. Not. IMRN 9 (1999), 495–508. MR 1692591
