Visible Lagrangians for Hitchin Systems and Pillowcase Covers

This paper establishes a general framework for visible Lagrangians in Hitchin systems that factor through proper subvarieties of the Hitchin base, computes their fiber-wise Fourier-Mukai transforms to construct mirror dual branes, and provides a detailed new example arising from pillowcase covers that connects to Hausel's toy model.

The Gist

Imagine the universe of mathematics as a vast, multi-dimensional landscape. In this landscape, there are special "mountain ranges" called Hitchin Systems. These aren't just random hills; they are highly structured, symmetrical worlds that physicists and mathematicians use to understand the deep connections between geometry, physics, and the nature of reality.

This paper by Johannes Horn and Johannes Schwab is like a new map and a set of tools for exploring a specific, hidden corner of these mountain ranges. Here is the story of what they found, explained without the heavy math jargon.

1. The Big Picture: Mirror Worlds

Think of a Hitchin System as a giant, complex machine. It has a "control panel" (called the base) and a bunch of moving parts (the fibers) that spin around.

• Mirror Symmetry: In physics and math, there's a magical idea called "Mirror Symmetry." It suggests that for every complex machine, there is a "mirror" machine that looks totally different but behaves in the exact same way. If you solve a puzzle on one side, the solution instantly appears on the other.
• Branes: In this mirror world, there are special objects called Branes. Think of them as "sticky notes" or "membranes" that can be stuck onto the machine. Some are complex and wiggly; others are flat and rigid.

2. The Discovery: "Visible" Lagrangians

The authors are interested in a specific type of sticky note called a Visible Lagrangian.

• The Analogy: Imagine you are looking at a giant, spinning globe (the Hitchin system). Usually, the patterns on the globe are everywhere. But sometimes, if you look from a very specific angle, you see a pattern that only exists on a tiny, specific slice of the globe, like a stripe running down the middle.
• The "Visible" Part: A "Visible Lagrangian" is a special geometric shape that only "lives" on a smaller, specific slice of the control panel. It's "visible" because it doesn't spread out everywhere; it's confined to a specific path.
• The Goal: The authors wanted to find these special stripes and figure out what their "mirror image" looks like.

3. The Magic Trick: The Fourier-Mukai Transform

How do you find the mirror image? The authors use a mathematical magic trick called the Fourier-Mukai Transform.

• The Metaphor: Imagine you have a musical chord (the sticky note on the original machine). The Fourier-Mukai transform is like a special piano that takes that chord and instantly plays the exact corresponding chord on the mirror piano.
• The Result: The authors calculated exactly what the mirror image of these "Visible" stripes looks like. They found that the mirror image is another special, highly symmetrical shape (a "hyperholomorphic subvariety"). This confirms a long-standing guess by physicists Kapustin and Witten: that these specific types of sticky notes have very specific, beautiful mirror partners.

4. The New Example: The "Pillowcase"

The most exciting part of the paper is the discovery of a new way to find these stripes.

• The Pillowcase Cover: The authors realized that these special stripes appear whenever the underlying shape (a Riemann surface) is a "Pillowcase Cover."
• The Analogy: Imagine a flat piece of fabric (a Riemann surface). If you fold it and sew the edges together in a specific way, it looks like a pillowcase. In math, this happens when the surface covers a sphere (like the Earth) in a pattern that has four special "corners" (poles), just like a pillow has four corners.
• The Connection: They proved that if your surface is shaped like this "mathematical pillowcase," you are guaranteed to find these special "Visible" stripes.

5. Why Does This Matter?

• Connecting the Dots: Before this, people knew about a few examples of these stripes, but they were scattered and hard to understand. This paper provides a general rule: "If you have a pillowcase shape, you have a Visible Lagrangian."
• The "Toy Model": The mirror image they found turns out to be closely related to something called Hausel's Toy Model. In math, a "toy model" is a simplified version of a complex problem that helps us understand the big picture. By showing that their new discovery is just a fancy version of this known toy model, they've connected a complex new idea to something familiar.
• Infinite Variety: They also showed that there are infinitely many different ways to make these "pillowcases," meaning there are infinitely many new worlds to explore using their new map.

Summary

In simple terms, Horn and Schwab found a new way to spot special, hidden patterns in complex mathematical machines. They discovered that these patterns appear whenever the machine is built on a shape that looks like a pillowcase. They then used a mathematical magic trick to show what the "mirror image" of these patterns looks like, proving that they are beautiful, symmetrical shapes that fit perfectly into the existing theories of physics and geometry.

It's like finding a new key that opens a door to a room full of mirrors, and realizing that the reflection in the mirror is actually a famous, beloved character you already know.

Technical Summary

Here is a detailed technical summary of the paper "Visible Lagrangians for Hitchin Systems and Pillowcase Covers" by Johannes Horn and Johannes Schwab.

1. Problem Statement and Context

The paper addresses questions in Mirror Symmetry concerning the moduli spaces of Higgs bundles. Specifically, it investigates the existence and properties of $(B, A, A)$-branes (complex Lagrangian subvarieties equipped with flat bundles) within Hitchin systems.

• The Gap: While the mirror symmetry between Hitchin systems associated with a Lie group $G$ and its Langlands dual $G^\vee$ is well-established (via the work of Donagi-Pantev and Kapustin-Witten), the correspondence of specific subvarieties (branes) is less understood.
• The Specific Object: The authors focus on "visible Lagrangians." In symplectic geometry, a Lagrangian $L \subset M$ is "visible" if the restriction of the Hitchin map $Hit: M \to B$ factors through a proper subvariety $B' \subsetneq B$ that non-trivially intersects the regular locus.
• The Goal: The paper aims to:
  1. Establish a general framework for visible Lagrangians in $GL(n, \mathbb{C})$ and $SL(n, \mathbb{C})$ Hitchin systems.
  2. Compute the fiber-wise Fourier-Mukai transform of flat line bundles on these Lagrangians to propose their mirror duals (expected to be $(B, B, B)$-branes).
  3. Construct a new, concrete class of visible Lagrangians arising from the geometry of the underlying Riemann surface, specifically relating to pillowcase covers.

2. Methodology

The authors employ a blend of algebraic geometry, symplectic geometry, and the theory of flat surfaces.

• Symplectic and Affine Geometry: They utilize the integral affine structure on the Hitchin base $B$. A key theoretical tool is the characterization of visible Lagrangians via the rationality of the subvariety $B'$ with respect to this affine structure and the generation of fibers by invariant vector fields.
• Fourier-Mukai Transform: The core computational method involves applying the fiber-wise Fourier-Mukai transform to the structure sheaf $\mathcal{O}_L$ of a visible Lagrangian $L$. This transforms the sheaf on the $G$-Hitchin system into a sheaf supported on a subvariety $I$ in the $G^\vee$-Hitchin system.
• Spectral Curves and Prym Varieties: The analysis relies heavily on the spectral correspondence. Regular fibers of the Hitchin map are torsors over Prym varieties (or Jacobians). The existence of a visible Lagrangian is linked to the existence of specific abelian subschemes within these Prym varieties.
• Flat Geometry and Pillowcase Covers: To construct new examples, the authors translate the problem into the language of flat surfaces. They relate quadratic differentials on Riemann surfaces to singular flat metrics. They introduce pillowcase covers (covers of the sphere branched over four points) and parallelogram-tiled surfaces (covers of elliptic curves).
• Hecke Modifications: In the final section, they construct explicit morphisms between moduli spaces using Hecke modifications of Higgs bundles to prove hyperholomorphicity.

3. Key Contributions and Results

A. General Framework for Visible Lagrangians

• Theorem 3.4: The authors prove that for a visible Lagrangian $L \subset M_G$ (where $G=GL(n)$ or $SL(n)$), the fiber-wise Fourier-Mukai transform of its structure sheaf is supported on a holomorphic symplectic subvariety $I \subset M_{G^\vee}$.
• Mirror Duality: This subvariety $I$ forms an algebraically completely integrable system over the same base $B'$. This supports the Kapustin-Witten conjecture that the mirror dual of a $(B, A, A)$-brane is a $(B, B, B)$-brane (a hyperholomorphic subvariety).
• Lie-Theoretic Examples: They discuss visible Lagrangians arising from embeddings of Lie groups (e.g., $SL(n) \subset GL(n)$), where the mirror dual is the moduli space of the smaller group.

B. Existence Criterion via Pillowcase Covers

• Theorem 6.1 & Corollary 6.2: The paper provides a necessary and sufficient condition for the existence of a visible Lagrangian over a line in the Hitchin base defined by a quadratic differential $q$.
  • Result: A visible Lagrangian exists over the line $\mathbb{C}q$ if and only if the spectral curve $(\Sigma, \lambda)$ associated with $q$ is a parallelogram-tiled surface.
  • Translation: Via Lemma 4.3, this is equivalent to the condition that the underlying Riemann surface $(X, q)$ is a pillowcase cover (a cover of $\mathbb{P}^1$ branched over four points where the quadratic differential is the pullback of a differential on $\mathbb{P}^1$ with four simple poles).

C. Multifold Pillowcase Covers

• Theorem 5.2 & Proposition 5.6: The authors demonstrate that there exist infinitely many genera $g$ admitting Riemann surfaces with multiple non-isomorphic quadratic differentials that are pillowcase covers.
  • This implies the existence of multiple distinct visible Lagrangians on the same moduli space, projecting to different lines in the Hitchin base.
  • They provide explicit examples in genus 2, 3, and 4 using group-theoretic constructions (e.g., $GL(2, \mathbb{F}_3)$ and $SL(3, \mathbb{F}_2)$ covers).

D. Connection to Hausel's Toy Model and Hyperholomorphicity

• Theorem 6.4 & Corollary 6.6: For uniform pillowcase covers (where ramification indices are constant over the branch points), the authors construct a holomorphic map $\Theta$ from a moduli space of parabolic Higgs bundles on $\mathbb{P}^1$ (with specific weights) to the $SL(2, \mathbb{C})$-Hitchin system.
• Result: The image of this map is the mirror dual subvariety $I_q$. They prove that $I_q$ is hyperholomorphic (invariant under the hyperkähler rotation).
• Significance: The subvariety $I_q$ is shown to be birational to Hausel's toy model (an elliptic surface constructed from a pillowcase). This confirms the physical picture of mirror symmetry for these specific branes.

4. Significance

1. Unification of Examples: The paper unifies various scattered examples of Lagrangians in the literature under the concept of "visible Lagrangians," providing a rigorous geometric characterization.
2. Bridge between Fields: It creates a strong link between the abstract theory of Higgs bundles/mirror symmetry and the concrete geometry of flat surfaces and translation surfaces. The condition for a visible Lagrangian is translated into the combinatorial/geometric property of being a pillowcase cover.
3. Verification of Mirror Symmetry: By explicitly constructing the mirror dual and proving it is a hyperholomorphic subvariety (a $(B, B, B)$-brane) related to Hausel's toy model, the paper provides strong evidence for the Kapustin-Witten correspondence in a non-trivial, geometrically rich setting.
4. New Examples: The discovery of "multifold pillowcase covers" expands the known landscape of Riemann surfaces with special properties in the context of the Hitchin system, offering new test cases for mirror symmetry.

In summary, Horn and Schwab provide a comprehensive theoretical framework for visible Lagrangians, prove their existence is tied to the geometry of pillowcase covers, and explicitly verify their mirror symmetry properties by identifying their duals as hyperholomorphic subvarieties birational to known toy models.