Complementary legs and symplectic rational balls

This paper establishes that small Seifert fibered spaces with complementary legs generally fail to symplectically bound rational homology balls, thereby completing the classification of symplectically fillable contact structures on spherical 3-manifolds and revealing a sharp contrast with the smooth category.

The Gist

Imagine the universe of mathematics as a vast landscape of shapes. Some shapes are simple, like a sphere or a donut. Others are incredibly complex, twisted knots that exist in four dimensions. This paper is about a specific group of these complex shapes called Seifert fibered spaces. Think of them as "twisted bundles" or "knotted ropes" that form a 3-dimensional surface.

The authors, John Etnyre, Burak Ozbagci, and Bülent Tosun, are asking a very specific question: Can these twisted knots be "filled in" to form a solid, smooth ball?

To make this understandable, let's use a few analogies.

The Two Worlds: Smooth vs. Symplectic

Imagine you have a piece of crumpled paper (the 3D shape).

1. The Smooth World: If you just want to know if you can glue the edges of the paper together to make a solid ball without tearing it, that's the "smooth" category. Mathematicians have known for a while that many of these twisted knots can be turned into smooth balls. It's like saying, "Yes, you can fold this origami into a cube."
2. The Symplectic World: This is a stricter, more magical version of the rules. In this world, the shape isn't just a piece of paper; it's a "living" shape with a specific flow of energy (like a fluid or a magnetic field) running through it. To fill this shape with a ball, the ball must respect that flow perfectly. You can't just glue the edges; you have to weave the energy lines together without breaking the flow. This is the "symplectic" category.

The Big Discovery: The authors found that while many of these twisted knots can be made into smooth balls, almost none of them can be made into symplectic balls. The "magic flow" rules are much harder to satisfy.

The "Complementary Legs" Puzzle

The paper focuses on a specific type of these knots that have "complementary legs."

• The Analogy: Imagine a three-legged stool where the legs are ropes. Two of the ropes are tied together in a way that they perfectly balance each other out (they add up to a whole). The authors call these "complementary legs."
• The Problem: For a long time, mathematicians knew how to check if these stools could be turned into smooth balls. But they didn't know the rules for the "symplectic" (flow-respecting) version.

The Main Findings

The paper acts like a detective solving a mystery with three main clues:

1. The "Too Twisted" Case (Negative Numbers)
When the knot is twisted in a certain "negative" direction (mathematically, $e_0 \le -2$), the authors proved that it is impossible to fill it with a symplectic ball.

• Analogy: Imagine trying to pour water into a cup that has a hole in the bottom. No matter how hard you try, the water (the symplectic structure) will leak out. The shape is too "twisted" to hold the magic flow. Even though you could glue the paper together to make a smooth ball, the energy flow just won't fit.

2. The "Just Right" Case (The Special Exceptions)
When the knot is twisted in a "neutral" or "positive" way ($e_0 \ge -1$), there are some cases where a symplectic ball works. But it's very picky!

• The Rule: The knot must have a very specific, balanced structure. The authors found a precise recipe (a mathematical formula) for which knots work.
• The "Balanced" Contact: They discovered that for a symplectic ball to fit, the "legs" of the knot must be "balanced." Imagine a seesaw: if one side goes up, the other must go down in a perfectly coordinated way. If the legs aren't balanced, the ball won't fit.
• The Count: They also counted exactly how many different ways you can arrange the "flow" on these shapes. For most of these special knots, there are only four ways to do it.

3. The "Finite Group" Limit
The paper concludes with a surprising limit on the entire universe of 3D shapes that have a finite number of "loops" (finite fundamental group).

• The Result: No matter how complex the shape is, if it can be filled with a symplectic ball, it can have at most six different "flow" arrangements.
• Analogy: Think of a lock. Most locks have infinite combinations. But these special shapes are like a master key that only has six possible settings that will open the door to a symplectic ball.

Why Does This Matter?

You might ask, "Why do we care about filling knots with balls?"

In mathematics, understanding which shapes can be filled tells us about the fundamental laws of geometry and physics.

• Smooth vs. Symplectic: This paper highlights a sharp contrast. In the "smooth" world (just geometry), there are many solutions. In the "symplectic" world (geometry + physics/flow), the universe is much more restrictive.
• Classification: Before this paper, mathematicians had a partial list of which shapes worked. This paper completes the list. It's like finishing a puzzle where you finally found the last few pieces. Now we know the entire set of 3D shapes that can hold a symplectic ball.

Summary in a Nutshell

The authors took a specific family of complex 3D shapes (twisted knots with balanced legs) and asked: "Can we fill these with a special kind of ball?"

• Answer: Usually, no. The "flow" rules are too strict.
• Exception: Only if the knot is twisted in a very specific, balanced way.
• Result: They mapped out exactly which knots work, how many ways the flow can be arranged, and proved that for any such shape, there are never more than six ways to do it.

It's a story of finding order in chaos, proving that even in the wild world of twisted 4D shapes, there are strict, beautiful rules that limit what is possible.

Technical Summary

1. Problem Statement

The paper addresses the classification of which small Seifert fibered spaces (SFS) bound rational homology 4-balls in the symplectic category. Specifically, the authors focus on SFSs with complementary legs (where two Seifert invariants $r_i, r_j$ satisfy $r_i + r_j = 1$).

The central question is: Given a small Seifert fibered space $Y = Y(e_0; r_1, r_2, r_3)$ with complementary legs, does there exist a contact structure $\xi$ on $Y$ such that the pair $(Y, \xi)$ admits a symplectic rational homology ball filling?

The authors highlight a sharp contrast with the smooth category:

• Smooth Category: Many small Seifert fibered spaces with complementary legs are known to bound smooth rational homology balls (characterized by Lecuona).
• Symplectic Category: The existence of such fillings is much more restrictive. The paper aims to characterize exactly when these spaces admit symplectic fillings and how many distinct contact structures allow this.

2. Methodology

The authors employ a combination of contact topology, symplectic geometry, and 4-manifold topology. Key methodological components include:

• $\theta$-Invariant Calculations: A primary tool is the $\theta$-invariant (defined in [18]), which is an invariant of homotopy classes of plane fields. A necessary condition for a contact 3-manifold $(M, \xi)$ to bound a symplectic rational homology ball is $\theta(\xi) = -2$. The authors perform explicit calculations of $\theta(\xi)$ for various contact structures on SFSs.
• Stein Cobordisms and Surgery Diagrams: The authors utilize surgery diagrams (specifically Figure 3 and Figure 8) to represent SFSs. They construct Stein cobordisms from lens spaces to SFSs. By attaching round 1-handles and 2-handles to lens spaces (which are known to bound rational homology balls), they generate fillings for the SFSs.
• Continued Fractions and Number Theory: The classification relies heavily on the continued fraction expansions of the Seifert invariants. The authors use the set $\mathcal{R}$ (rational numbers $p/q$ satisfying specific conditions derived from Lisca's work on lens spaces) to determine smooth bounding properties and adapt these to the symplectic setting.
• Intersection Matrices: In Section 5, the authors compute the first Chern class squared ($c_1^2$) and signature of the filling 4-manifolds using intersection matrices derived from Kirby diagrams. This allows for the precise calculation of the $\theta$-invariant via the formula $\theta(\xi) = c_1^2 - 3\sigma - 2\chi$.
• Balanced vs. Non-Balanced Structures: The authors distinguish between balanced contact structures (where complementary legs have consistent signs but opposite orientations) and non-balanced ones. They prove that balanced structures are the primary candidates for symplectic fillings.

3. Key Contributions and Results

A. The Case $e_0 \leq -2$

• Theorem 1.2: A small Seifert fibered space with complementary legs and $e_0 \leq -2$ does not admit a symplectic rational homology ball filling for any contact structure.
• Significance: This confirms a conjecture from their previous work [13]. Despite many such spaces bounding smooth rational homology balls (per Lecuona's classification), none admit symplectic fillings. The proof relies on showing that for any tight contact structure $\xi$ on these manifolds, $\theta(\xi) > -2$.

B. The Case $e_0 = -1$ (Uniquely Complementary Legs)

• Theorem 1.7: The authors characterize exactly which SFSs with $e_0 = -1$ and uniquely complementary legs admit symplectic fillings.
  • Such a space must be of the form $Y(-1; \frac{a}{b}, \frac{m^2}{nm^2 - mh + 1}, 1 - \frac{a}{b})$.
  • The contact structure must be balanced.
  • Counting: The paper provides precise lower and upper bounds on the number of pairwise non-isotopic tight contact structures admitting such fillings (ranging from $\min\{\lfloor b/2 \rfloor, n\}$ to $2n$ depending on parameters).
  • Uniqueness of Filling: For certain parameters ($n > 2$), the symplectic filling is unique up to blow-ups for specific contact structures.

C. The Case $e_0 \geq 0$

• Theorem 1.11: For $e_0 \geq 0$, the authors characterize symplectic fillings for balanced contact structures.
  • The space must be of the form $Y(e_0; r, s, 1-r)$ where $s$ satisfies a specific inequality involving integers $m, h$.
  • There are exactly four balanced contact structures (up to isotopy) that bound a symplectic rational homology ball.
  • Non-Balanced Structures: The authors conjecture (and prove for specific cases like $Y(e_0; 1/2, s, 1/2)$ in Proposition 1.13) that non-balanced contact structures do not admit symplectic rational homology ball fillings.

D. Classification of Spherical 3-Manifolds

• Theorem 1.15: The paper completes the classification of all oriented spherical 3-manifolds (closed 3-manifolds with finite fundamental group) that admit symplectic rational homology ball fillings.
  • The list includes specific Lens spaces $L(m^2, mh-1)$ and specific Dihedral-type manifolds $-D(\dots)$.
  • Corollary 1.16: A closed, oriented 3-manifold with finite fundamental group admits at most six contact structures (up to isotopy) that are symplectically fillable by rational homology balls.

4. Significance and Impact

1. Resolution of the Smooth vs. Symplectic Gap: The paper definitively demonstrates that the condition for a 3-manifold to bound a rational homology ball is significantly stricter in the symplectic category than in the smooth category. Many spaces that are smooth-fillable are symplectically obstructed.
2. Complete Classification: It provides a complete characterization of symplectic fillings for the broad class of small Seifert fibered spaces with complementary legs, a class that includes many spherical 3-manifolds.
3. Methodological Advancement: The explicit computation of the $\theta$-invariant for canonical contact structures on SFSs using intersection matrices and continued fractions provides a robust toolkit for future studies in symplectic topology.
4. Conjecture Confirmation: The results confirm previous conjectures regarding the non-existence of symplectic fillings for $e_0 \leq -2$ and the specific nature of fillings for $e_0 \geq -1$.
5. Orientation Sensitivity: The work highlights the critical role of orientation. Many manifolds bound symplectic rational balls in one orientation but not the other, and the paper systematically addresses these distinctions.

In summary, this paper serves as a definitive guide to the symplectic fillability of a major class of 3-manifolds, bridging the gap between smooth topology results (Lecuona, Lisca) and symplectic constraints, and establishing tight bounds on the number of such fillable contact structures.