The monodromy of compact Lagrangian fibrations

Edward Varvak

arxiv: 2504.21740 · v2 · submitted 2025-04-30 · 🧮 math.AG

The monodromy of compact Lagrangian fibrations

Edward Varvak This is my paper

Pith reviewed 2026-05-22 17:50 UTC · model grok-4.3

classification 🧮 math.AG

keywords monodromy representationsLagrangian fibrationsperiod mapsisotrivial fibrationslocal systemselliptic curvesalgebraic geometry

0 comments

The pith

Compact Lagrangian fibrations with generically immersive period maps have irreducible monodromy representations over the complex numbers.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper investigates the monodromy representations associated with compact Lagrangian fibrations. It establishes that these representations are irreducible over the complex numbers when the period map is generically immersive. For isotrivial fibrations, the monodromy decomposes as a direct sum of two irreducible local systems, and the fibers are isogenous to a power of an elliptic curve. These properties constrain how the fibers can vary while preserving the fibration structure.

Core claim

In the case where the associated period map is generically immersive, the monodromy representation is irreducible over C. In the alternative case where the fibration is isotrivial, the fibers are isogeneous to a power of an elliptic curve, and over C the monodromy representation is a direct sum of two irreducible C-local systems.

What carries the argument

The monodromy representation underlying the compact Lagrangian fibration, controlled by the period map or the isotrivial condition.

Load-bearing premise

The objects are compact Lagrangian fibrations equipped with a period map that is either generically immersive or makes the fibration isotrivial.

What would settle it

A compact Lagrangian fibration whose period map is generically immersive but whose monodromy representation over C admits a nontrivial proper invariant subspace.

read the original abstract

We study the monodromy representations underlying compact Lagrangian fibrations. In the case where the associated period map is generically immersive, we prove that the mondromy representation is irreducible over $\mathbb{C}$. In the alternative case where the fibration is isotrivial, we recover a result of Kim--Laza--Martin, proving that its fibers are isogeneous to a power of an elliptic curve. We show that over $\mathbb{C}$, the monodromy representation underlying an isotrivial Lagrangian fibration is a direct sum of two irreducible $\mathbb{C}$-local systems.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Varvak proves irreducibility of the monodromy representation when the period map is immersive and a direct-sum decomposition into two irreducibles for the isotrivial case, while recovering the known fiber result.

read the letter

The main things to know are that this paper proves the monodromy representation is irreducible over C for compact Lagrangian fibrations when the associated period map is generically immersive, and that in the isotrivial case the monodromy splits as a sum of two irreducible C-local systems. It also recovers the Kim-Laza-Martin result that the fibers are isogenous to a power of an elliptic curve. These are presented as separate cases with arguments that draw on the variation of Hodge structures and the density of the image in the period domain. The separation into immersive and isotrivial cases is handled cleanly and the logic appears to rest on standard definitions without circular steps or extra parameters. The work is narrow in scope but the proofs look grounded for what they set out to do. No load-bearing gaps show up in the outline or the stress-test notes. The contribution is incremental rather than foundational, but the new proofs and the decomposition add something concrete to the literature on these fibrations. This is the kind of paper that specialists in hyperkähler geometry or Lagrangian fibrations in algebraic geometry would want to see. A reader already working on monodromy or mirror symmetry questions could extract the structural statements without much extra effort. It is worth sending to peer review so the details of the derivations can be checked by experts in the area.

Referee Report

0 major / 2 minor

Summary. The paper studies monodromy representations underlying compact Lagrangian fibrations. When the associated period map is generically immersive, it proves that the monodromy representation is irreducible over ℂ. In the isotrivial case, it recovers the Kim–Laza–Martin result that the fibers are isogenous to a power of an elliptic curve and shows that the monodromy representation decomposes as a direct sum of two irreducible ℂ-local systems.

Significance. If the results hold, the work clarifies the structure of monodromy representations for compact Lagrangian fibrations on hyperkähler or symplectic varieties by distinguishing the generically immersive and isotrivial cases. It builds directly on standard tools from variations of Hodge structures and period domains, extending prior results such as those of Kim–Laza–Martin while providing explicit decompositions and irreducibility statements that may inform further study of Lagrangian fibrations and their associated local systems.

minor comments (2)

[Abstract] Abstract: 'mondromy' is a typographical error and should read 'monodromy'.
[Introduction] The abstract refers to 'the two cases considered' without an explicit roadmap; a brief sentence in the introduction outlining the logical separation between the generically immersive and isotrivial cases would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The provided summary accurately captures the main results on irreducibility of monodromy representations for generically immersive period maps and the direct-sum decomposition in the isotrivial case.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The central claims rest on the standard setup of compact Lagrangian fibrations, the associated period map, and properties of variations of Hodge structures in algebraic geometry. Irreducibility when the period map is generically immersive follows from density of the image in the period domain and standard VHS arguments. The isotrivial case recovers the external Kim-Laza-Martin result on fibers and decomposes the monodromy via constancy of the period map into a direct sum of two irreducible local systems. No load-bearing steps reduce by construction to the paper's own inputs, fitted parameters, or self-citation chains; all steps are independent of the target results and rely on externally established facts in the field.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so specific free parameters, axioms, or invented entities cannot be identified. The work appears to rely on standard background from algebraic geometry and prior results on Lagrangian fibrations without introducing new entities.

pith-pipeline@v0.9.0 · 5604 in / 1164 out tokens · 42154 ms · 2026-05-22T17:50:04.676991+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that the monodromy representation is irreducible over C... the monodromy representation underlying an isotrivial Lagrangian fibration is a direct sum of two irreducible C-local systems.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.