Embedded special Legendrian surfaces in $\mathbb S^5$

This paper constructs the first smooth embedded compact special Legendrian surfaces in $\mathbb S^5$ with genus greater than one by combining an implicit function theorem with loop algebra techniques to realize Fermat curves of sufficiently high degree as such surfaces.

The Gist

Imagine you are trying to build a perfect, smooth, and self-contained shape out of a very special, stretchy material. In the world of mathematics, this shape is called a surface, and the material it's made of has very strict rules about how it can bend and twist.

This paper is about the authors successfully building a brand-new type of these shapes that had never been seen before. Here is the story of how they did it, explained without the heavy math jargon.

1. The Goal: Building "Impossible" Shapes

The authors wanted to create special Legendrian surfaces. To understand what that is, let's use an analogy:

• The Balloon (The Sphere): Imagine a giant, perfect balloon (this is the 5-dimensional sphere, or $S^5$).
• The String (The Surface): Now, imagine trying to wrap a piece of fabric around this balloon.
• The Rules: The fabric has to follow two strict rules:
  1. Minimal: It must be as tight as possible, like a soap bubble. It can't have any wrinkles or extra slack.
  2. Special: It has to align perfectly with an invisible "wind" blowing through the balloon. If it drifts even a tiny bit, it breaks the rules.

For a long time, mathematicians knew how to make these shapes if they were simple (like a sphere or a donut). But they hit a wall when trying to make shapes with more holes (like a pretzel with three, four, or ten holes). They thought these complex shapes might be impossible to build without the fabric tearing or overlapping itself.

2. The Secret Ingredient: The "Fermat Curve"

The authors decided to try building these shapes using a specific blueprint called a Fermat curve.

Think of a Fermat curve as a highly symmetrical, intricate flower pattern drawn on a piece of paper. The more "petals" (or degree $k$) the flower has, the more complex the shape becomes.

• The Breakthrough: The authors proved that for any large enough number of petals, you can actually build this complex, multi-holed surface without it falling apart. They found the first examples of these "super-complex" shapes that are smooth and don't overlap themselves.

3. The Construction Method: The "Magic Blueprint"

How did they build it? They didn't use glue or tape. They used a mathematical technique called the DPW method (named after the people who invented it).

• The Analogy: Imagine you want to build a house, but you don't have the blueprints for the walls. Instead, you have a magic blueprint that tells you how to arrange the electricity and plumbing (the "connections") so that the walls automatically form themselves into the perfect shape.
• The Loop: In their case, the "magic blueprint" involves a variable called $\lambda$ (think of it as a dial you can turn). As you turn the dial, the blueprint changes. The authors had to find the exact setting on the dial where the "electricity" (the math) balances perfectly to create a stable, closed surface.

4. The Challenge: Avoiding the "Knot"

The hardest part of this project was making sure the surface didn't knot or intersect itself.

• The Problem: When you try to wrap a complex, multi-holed fabric around a sphere, it's very easy for the fabric to cross over itself. If it crosses, it's no longer a "smooth" surface; it's a mess.
• The Solution: The authors used a technique called asymptotic analysis. Imagine zooming in on the surface as it gets larger and larger.
  • Zooming Out: From far away, the surface looks like a collection of smooth, round bubbles (spherical caps) connected by thin necks.
  • Zooming In: When they zoomed in on the connections, they saw that the surface looked like a famous mathematical shape called a Scherk surface (which looks like a checkerboard of waves).
  • The Proof: By carefully calculating how these "bubbles" and "waves" fit together, they proved that for large enough shapes, the fabric never touches itself. It stays perfectly smooth and separate, like a perfectly woven net.

5. Why Does This Matter?

You might ask, "Who cares about multi-holed surfaces on a 5-dimensional balloon?"

• Physics Connection: These shapes are related to Calabi-Yau manifolds, which are the hidden shapes that string theory says the universe is made of. Understanding these surfaces helps physicists understand how the universe might be structured at the tiniest scales.
• Mathematical History: Before this paper, we only knew how to make these shapes with 0 or 1 hole. This paper opens the door to an infinite family of new shapes, showing that the universe of these geometric forms is much richer and more complex than we thought.

Summary

In simple terms, the authors invented a new way to bake geometric cakes.

1. They found a new recipe (the Fermat curve blueprint).
2. They figured out the exact oven temperature (the loop group math) to bake them.
3. They proved that for large cakes, the frosting (the surface) never sticks to itself, resulting in a perfect, smooth, multi-layered masterpiece that had never been seen before.

They didn't just find one new shape; they found an infinite family of them, expanding our understanding of the geometry of the universe.

Technical Summary

1. Problem Statement and Context

The paper addresses a long-standing gap in the theory of minimal Lagrangian surfaces and special Legendrian submanifolds.

• Geometric Context: Calabi–Yau manifolds are central to differential geometry and theoretical physics (e.g., the SYZ conjecture). Special Lagrangian submanifolds are the "calibrated" objects in these manifolds. In $\mathbb{C}^3$, the link of a special Lagrangian cone is a special Legendrian surface in the 5-sphere $S^5$. Projecting via the Hopf fibration yields a minimal Lagrangian surface in $\mathbb{CP}^2$.
• The Gap: While minimal Lagrangian tori (genus 1) in $\mathbb{CP}^2$ are well-understood via integrable systems (spectral curves), and minimal Lagrangian spheres (genus 0) are rigid, the existence of smooth, embedded, compact special Legendrian surfaces of genus $g > 1$ in $S^5$ was an open problem.
• Previous Work: The only known higher-genus examples were constructed by Haskins and Kapouleas via a gluing technique (attaching cylinders to a sphere). However, these constructions:
  1. Were not proven to be embedded in $S^5$.
  2. Required small neck sizes (conformal structures near the boundary of moduli space).
  3. Were restricted to odd genera (except for one genus 4 case).
  4. Had areas growing linearly with genus.

Goal: Construct the first smooth, embedded, compact special Legendrian surfaces in $S^5$ for arbitrarily large genus, specifically with the conformal structure of Fermat curves.

2. Methodology

The authors employ a sophisticated combination of integrable systems theory, loop group methods, and non-Abelian Hodge theory, avoiding the traditional gluing techniques.

A. The DPW Framework and Loop Groups

The construction relies on the Dorfmeister–Pedit–Wu (DPW) method. Instead of solving the nonlinear Gauss-Codazzi equations directly, the geometry is encoded in a holomorphic family of flat connections (a "loop connection") depending on a spectral parameter $\lambda \in \mathbb{C}^*$.

• Associated Family: For minimal Lagrangian surfaces in $\mathbb{CP}^2$, the connection takes the form:
  $$d_\lambda = D + \lambda^{-1}\Phi - \lambda\Phi^\dagger$$
  where $D$ is a Hermitian connection and $\Phi$ is a cyclic Higgs field.
• Symmetries: The specific geometry (minimal Lagrangian) imposes a $\mathbb{Z}_6$-symmetry on the loop group $SL_3(\mathbb{C})$, leading to a $\tau$-twisted loop group structure.
• Reconstruction: A surface is reconstructed by performing an Iwasawa factorization of the loop group element associated with the monodromy of the connection.

B. The Monodromy Problem

The core challenge is to find a meromorphic connection (a Fuchsian system) on the thrice-punctured sphere $S = \mathbb{CP}^1 \setminus \{0, 1, \infty\}$ such that:

1. Unitarizability: The monodromy is unitary for all $\lambda \in S^1$ (ensuring the surface is minimal Lagrangian).
2. Closing Conditions: At a specific "Sym point" $\lambda_0 \in S^1$, the monodromy must be trivial (or projectively trivial) to ensure the surface closes on the Riemann surface $\Sigma_k$ rather than just its universal cover.
3. Removable Singularities: The connection must have specific local behavior at the punctures so that, when pulled back to the Fermat curve $\Sigma_k$ (a branched cover of $S$), the singularities become removable, yielding a smooth immersion.

C. Implicit Function Theorem Strategy

The authors do not solve the global monodromy problem directly. Instead:

1. They define a family of Fuchsian potentials on $S$ depending on a parameter $t = 1/k$ (where $k$ is the degree of the Fermat curve).
2. They identify a specific "unitary locus" in the relative character variety of the thrice-punctured sphere.
3. They use an Implicit Function Theorem in Banach spaces of holomorphic functions to deform a known solution at $t=0$ (corresponding to a degenerate case) to a solution for small $t > 0$.
4. This deformation ensures the monodromy remains unitary and satisfies the closing conditions for sufficiently large $k$.

3. Key Contributions and Results

A. Main Theorem

The authors prove the existence of embedded special Legendrian surfaces for all sufficiently large integers $k$:

• Theorem: There exists $k_0 \in \mathbb{N}$ such that for every $k \geq k_0$, there exists an embedded special Legendrian surface in $S^5$ of genus $g = \frac{1}{2}(k-1)(k-2)$.
• Conformal Type: The surface is conformally equivalent to the Fermat curve $\Sigma_k = \{x^k + \zeta y^k + \zeta^2 z^k = 0\} \subset \mathbb{CP}^2$.
• Symmetry: The surfaces possess the full symmetry group of the Fermat curve ($\mathbb{Z}_k \times \mathbb{Z}_k \rtimes \mathbb{Z}_3$).

B. Two Distinct Families

The construction yields two distinct families of surfaces (denoted $f^+_k$ and $f^-_k$) corresponding to two choices of initial data in the implicit function theorem.

• Area Asymptotics: The areas of these surfaces grow as $\sqrt{g}$ (specifically $\text{Area} \sim 6\pi(1 \mp \frac{1}{\sqrt{3}})k$), contrasting with the linear growth ($O(g)$) of the Haskins–Kapouleas gluing construction.
• Non-Congruence: The two families are not congruent for large $k$ due to their different area expansions.

C. Embeddedness Proof

A major technical hurdle is proving that the lifted surfaces in $S^5$ are embedded (not just immersed).

• Topological Obstruction: Minimal Lagrangian surfaces in $\mathbb{CP}^2$ of genus $g > 0$ cannot be embedded due to self-intersection numbers. However, their Legendrian lifts in $S^5$ can be.
• Asymptotic Analysis: The authors analyze the limit $k \to \infty$ ($t \to 0$). The geometry splits into two regimes:
  1. Scherk-type Limit: Away from the branch points, the surface converges to a doubly periodic minimal Lagrangian surface in $\mathbb{C}^2$ (analogous to the Scherk surface), which is embedded.
  2. Spherical Cap Limit: Near the branch points, the surface converges to totally geodesic special Legendrian spherical caps.
• Transition Control: The proof of embeddedness relies on precise uniform estimates of the transition between these two regimes. The authors show that the "inward flow" deformation of the caps prevents self-intersections for sufficiently large $k$.

4. Significance

• First Higher-Genus Examples: This work provides the first known examples of smooth, embedded, compact special Legendrian surfaces of genus $g > 1$ in $S^5$.
• New Geometric Phenomena: The surfaces exhibit a different asymptotic behavior (area growth $\sim \sqrt{g}$) compared to previous gluing constructions, suggesting a new class of minimal Lagrangian surfaces.
• Methodological Advance: The paper demonstrates the power of the monodromy-based approach (non-Abelian Hodge correspondence) combined with the Implicit Function Theorem to solve global existence problems in surface theory, bypassing the need for delicate gluing techniques.
• Connection to Integrable Systems: It reinforces the deep link between minimal surfaces and integrable systems, showing that even for high-genus surfaces with complex symmetries, the DPW method can yield explicit existence results.
• Willmore Functional: The paper also analyzes the Willmore energy of these surfaces, showing that for large genus, they have lower energy than certain holomorphic curves of the same genus, hinting at their stability properties.

In summary, Heller, Ouyang, and Pedit have successfully constructed a new infinite family of embedded special Legendrian surfaces, resolving a major open problem in the field and establishing a robust framework for generating higher-genus minimal Lagrangian surfaces via spectral data and monodromy deformations.