The monodromy of compact Lagrangian fibrations

This paper investigates the monodromy representations of compact Lagrangian fibrations, proving their irreducibility over $\mathbb{C}$ when the period map is generically immersive and characterizing the structure of these representations as a direct sum of two irreducible local systems in the isotrivial case.

The Gist

Imagine you are standing in a vast, mysterious landscape called Hyperkähler Land. This land is special: it's perfectly balanced, smooth, and has a hidden "symplectic" rhythm (like a perfect dance step) that governs how things move within it.

Mathematicians want to understand this land. One of the best ways to do that is to imagine it as a giant bundle of fibers. Think of a loaf of bread: the whole loaf is the land, and each slice of bread is a "fiber." In this specific mathematical world, these slices are Lagrangian fibrations. They are special slices that follow the hidden rhythm perfectly.

The paper by Edward Varvak is essentially a detective story about the monodromy of these slices.

What is "Monodromy"? (The Traveler's Tale)

Imagine you are a traveler walking around a lake (the base of the bundle). As you walk in a circle, you pick up a slice of bread (a fiber) and carry it with you. When you return to your starting point, you look at the slice.

• Did it change?
• Did it twist?
• Is it the same slice, or a slightly different version of it?

The "monodromy" is the record of how the slice twists and turns as you walk around the obstacles (singularities) in the landscape. It's like a secret code that tells you how the geometry of the land is connected.

The paper asks a big question: Is this code simple and unified, or is it a messy mix of different codes?

The Two Main Scenarios

The author discovers that there are only two ways this "bundle of bread" can behave, and the "twisting code" (monodromy) looks very different in each case.

Scenario 1: The "Maximal Variation" (The Wild, Changing Forest)

Imagine a forest where every tree is different. As you walk around, the trees change shape, size, and species constantly. Nothing stays the same.

• The Math: This is called "maximal variation." The fibers (the trees) are all unique and changing.
• The Discovery: The author proves that in this wild, changing scenario, the twisting code is irreducible.
• The Analogy: Think of a single, unbreakable diamond. You cannot split the code into smaller, independent pieces. The entire system acts as one giant, unified whole. If you try to break the code apart, it just falls apart completely. This means the geometry is tightly knit; you can't understand one part without understanding the whole.

Scenario 2: The "Isotrivial" (The Copy-Paste Factory)

Now, imagine a factory where every slice of bread is stamped out by the same machine. Every slice is identical to the last, just moved to a different spot. Nothing changes as you walk around; the fiber is always the same shape.

• The Math: This is called "isotrivial." The fibers are all isomorphic (essentially the same).
• The Discovery: Here, the code is not a single diamond. It's a split.
• The Analogy: Imagine a rope made of two distinct strands twisted together. You can see that the rope is actually two separate things working in tandem.
  • The author shows that this "rope" splits into exactly two irreducible pieces.
  • These pieces are related to Elliptic Curves (which are like donuts with a special mathematical structure).
  • If the "donut" has a special symmetry (called Complex Multiplication), the two strands are different. If it doesn't, they are the same strand twisted around itself.

The "Shape-Shifting" Metaphor

To make this even simpler, think of the fibers as shapeshifters.

1. In the "Maximal Variation" case: The shapeshifter is a chameleon. It changes its color and pattern so wildly as you walk around that you can't separate its "redness" from its "blueness." It is a single, inseparable entity. The paper proves this chameleon is "irreducible"—it's one solid block of color.

2. In the "Isotrivial" case: The shapeshifter is actually two identical twins holding hands. Even though they move together, you can see there are two of them. The paper proves that you can always separate them into two distinct individuals (two irreducible systems), but they are so linked that they only separate cleanly if you look at them through a specific "lens" (a specific number field, like the complex numbers or a special extension).

Why Does This Matter?

In the world of mathematics, knowing if something is "irreducible" (one piece) or "reducible" (multiple pieces) is like knowing if a machine is a single engine or a collection of gears.

• If it's one piece (Irreducible), the system is rigid and highly connected. You can't take it apart.
• If it's multiple pieces (Reducible), the system has hidden layers. You can peel back the layers to find simpler, more fundamental building blocks (like the elliptic curves mentioned).

The "Donut" Connection

The paper also connects this to Elliptic Curves (mathematical donuts).

• In the "Copy-Paste" (Isotrivial) world, the fibers are essentially made of $n$ copies of a single donut ($E^n$).
• The author shows that the "twisting code" of the whole bundle is just the code of that single donut, repeated and split in a very specific way.

Summary in a Nutshell

Edward Varvak's paper is a map of how these geometric bundles twist.

• If the bundle is wild and changing, the twist is a single, unbreakable knot.
• If the bundle is static and repetitive, the twist is actually two separate knots tied together, which can be untangled if you know the right mathematical language (specifically involving "donuts" with special symmetries).

This helps mathematicians classify these complex shapes, proving that no matter how complicated they look, they ultimately boil down to either a single unified force or a simple combination of two.

Technical Summary

Here is a detailed technical summary of the paper "The Monodromy of Compact Lagrangian Fibrations" by Edward Varvak.

1. Problem Statement and Context

The paper investigates the monodromy representations associated with compact Lagrangian fibrations $f: X \to B$, where $X$ is a hyperkähler manifold and $B$ is a normal analytic variety.

• Background: By the Beauville–Bogomolov decomposition, hyperkähler manifolds are central objects in complex geometry. Matsushita's work established that any such manifold admitting a fibration must be a Lagrangian fibration (fibers are Abelian varieties), and the base $B$ shares cohomological properties with $\mathbb{P}^n$.
• The Core Question: The geometry of the fibration is encoded in the variation of Hodge structures (VHS) on the smooth locus $B^\circ \subset B$. Specifically, the paper seeks to classify the irreducibility and type (real, complex, or quaternionic) of the monodromy representation of the local system $V_\mathbb{Q} = R^1 f_* \mathbb{Q}_{X^\circ}$ over $\mathbb{C}$.
• The Dichotomy: Recent work by GV and Bakker established that the period map for such fibrations is either generically immersive (maximal variation) or constant (isotrivial). The paper analyzes the monodromy structure in both cases.

2. Methodology

The author employs a blend of Hodge theory, representation theory, and algebraic geometry:

1. Representation Theory of Complex Variations:

   • Utilizes Deligne's structure theorem for polarized complex variations of Hodge structures (Proposition 2.1), which decomposes a system into irreducible components $U_i$ tensored with vector spaces $B_i$.
   • Applies a classification of irreducible real representations underlying complex Hodge structures (Proposition 2.2), distinguishing between Real, Complex, and Quaternionic types based on the behavior of the polarization form and complex conjugation.

2. Global Invariant Cycles and Cohomology:

   • Uses Voisin's result (Lemma 2.4) that the real variation $V_\mathbb{R}$ is irreducible.
   • Leverages Deligne's Global Invariant Cycles Theorem to constrain the space of global sections of exterior powers (e.g., $H^0(B^\circ, \wedge^2 V_\mathbb{R})$), which serves as a tool to rule out certain decomposition types.

3. Algebraic Foliations and Matsushita's Theorems:

   • For the maximal variation case, the paper utilizes Matsushita's isomorphism $R^1 f_* \mathcal{O}_X \cong \Omega^1_B$ (extended by Schnell to the singular locus).
   • This links the tangent bundle of the base $T_{B^\circ}$ to the Hodge filtration $F^1 V$.
   • The author employs the theory of algebraic foliations (specifically the work of Bogomolov-McQuillan and Araujo) to analyze the integrability of sub-bundles derived from the Hodge filtration. If a sub-bundle is algebraically integrable, it induces a sub-variation, contradicting irreducibility.

4. Isotrivial Analysis:

   • For the isotrivial case, the problem reduces to the representation theory of the fundamental group acting on a fixed Hodge structure.
   • The author connects the monodromy type to the CM (Complex Multiplication) field of the elliptic curve fibers.

3. Key Contributions and Results

A. The Maximal Variation Case

Theorem 1.3 / Corollary 4.5: If the Lagrangian fibration is of maximal variation, the complex monodromy representation $V_\mathbb{C}$ is irreducible.

• Refinement (Theorem 4.4): The paper proves a stronger result: $V_\mathbb{C}$ is not just irreducible, but specifically of Real Type.
  • Proof Sketch: The author assumes $V_\mathbb{C}$ is of Complex or Quaternionic type.
    • If Quaternionic ($V_\mathbb{C} \cong U \oplus U$), the base $B$ would require even-dimensional cohomology in degree 2, contradicting the fact that $B$ has the cohomology of $\mathbb{P}^n$.
    • If Complex ($V_\mathbb{C} \cong U \oplus \bar{U}$), the Hodge filtration induces a splitting of the tangent bundle $T_{B^\circ}$ into two foliations. Using Harder-Narasimhan filtrations and the fact that $B$ is $\mathbb{Q}$-Fano with Picard rank 1, the author shows one foliation must be algebraically integrable. This integrability yields a non-trivial sub-variation, contradicting the irreducibility of $V_\mathbb{R}$.
  • Conclusion: Maximal variation Lagrangian fibrations always possess irreducible, real-type monodromy.

B. The Isotrivial Case

Theorem 1.4: If the fibration is isotrivial, the smooth fibers are isogenous to a power $E^n$ of a single elliptic curve $E$. (This recovers a result by Kim, Laza, and Martin).

Theorem 1.5 / Proposition 5.4: The paper provides a complete classification of the splitting of $V_\mathbb{C}$ in the isotrivial case based on the endomorphism field of $E$:

1. Real Type: Occurs if $E$ does not have Complex Multiplication (CM) or if the monodromy does not utilize the CM structure. Here $V_\mathbb{C} \cong W_\mathbb{C}$ (irreducible).
2. Complex Type: Occurs if $E$ has CM (field $K$) and the monodromy group acts via CM automorphisms. In this case, $V_\mathbb{C}$ splits into a direct sum of two non-isomorphic irreducible $\mathbb{C}$-local systems: $V_\mathbb{C} \cong U_1 \oplus U_2$.
3. Quaternionic Type: The paper proves this never occurs for Lagrangian fibrations (Proposition 5.4(c)).

Proposition 5.11:

• $V_\mathbb{C}$ is of Complex Type if and only if it splits over $\mathbb{Q}(i)$ or $\mathbb{Q}(\sqrt{-3})$ (corresponding to specific Kodaira fiber types).
• If $V_\mathbb{C}$ is of Real Type, the minimal trivializing cover of the local system compactifies to an Abelian torsor.

4. Significance

1. Resolution of Irreducibility: The paper settles the question of irreducibility for the complex monodromy. It confirms that while real monodromy is always irreducible (Voisin), complex monodromy is irreducible only in the maximal variation case. In the isotrivial case, it is reducible (unless the CM structure is trivialized by the monodromy).
2. Geometric Classification: It establishes a precise link between the algebraic nature of the monodromy (Real vs. Complex type) and the geometry of the fibration (Maximal Variation vs. Isotrivial with specific singular fibers).
3. Exclusion of Quaternionic Type: A novel contribution is the proof that the Quaternionic type, while theoretically possible in general Hodge theory, is impossible for Lagrangian fibrations due to cohomological constraints on the base $B$.
4. Structure of Isotrivial Fibrations: By recovering and refining the results of [KLM25], the paper clarifies that the splitting of the local system in the isotrivial case is governed by the CM field of the fiber elliptic curve and the specific action of the monodromy group on it.

In summary, Varvak provides a rigorous classification of the monodromy representations for compact Lagrangian fibrations, demonstrating that the geometry of the base and the nature of the fibers (maximal variation vs. isotrivial) strictly dictate the representation-theoretic properties (irreducibility and type) of the associated Hodge structures.