arxiv: 2604.14127 · v1 · submitted 2026-04-15 · 🧮 math.AG · hep-th· math-ph· math.DG· math.GT· math.MP

Recognition: unknown

Lagrangian correspondences for moduli spaces of Higgs bundles and holomorphic connections

Panagiotis Dimakis , Duong Dinh , Shengjing Xu

Authors on Pith no claims yet

Pith reviewed 2026-05-10 11:57 UTC · model grok-4.3

classification 🧮 math.AG hep-thmath-phmath.DGmath.GTmath.MP

keywords Higgs bundlesholomorphic connectionsLagrangian correspondencesHilbert schemesgeometric Langlandsmoduli spacesRiemann surfacesspectral curves

0 comments

The pith

Lagrangian correspondences connect moduli spaces of rank-n Higgs bundles to Hilbert schemes of points on the cotangent bundle of a curve.

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

The paper constructs explicit Lagrangian correspondences between the moduli space of rank-n Higgs bundles on a compact Riemann surface C of genus at least 2 and the Hilbert scheme of points on its cotangent bundle T*C. Parallel constructions apply to holomorphic connections and twisted cotangent bundles. The maps arise from Higgs bundles transversal to line subbundles of the underlying vector bundle; these induce divisors on C together with auxiliary data such as lifts to divisors on the spectral curve. The resulting correspondences supply evidence that the Dolbeault geometric Langlands correspondence is realized generically by these maps, while quantization is expected to realize the de Rham version.

Core claim

On a compact connected Riemann surface C of genus at least 2, Lagrangian correspondences are constructed between moduli spaces of rank-n Higgs bundles and the Hilbert schemes of points on T*C, and similarly for holomorphic connections and twisted cotangent bundles. These arise from Higgs bundles (respectively, holomorphic connections) transversal to line subbundles, which naturally induce divisors on C together with auxiliary parameters—lifts to divisors on spectral curves for Higgs bundles and residue parameters of apparent singularities for connections—that make the correspondences Lagrangian.

What carries the argument

Transversal Higgs bundles (or holomorphic connections) to line subbundles of the underlying bundle, which induce divisors on C along with lifts to spectral curves or residue parameters that ensure the Lagrangian property of the induced maps to the Hilbert scheme.

If this is right

The Dolbeault geometric Langlands correspondence is generically realized by these Lagrangian correspondences.
The de Rham geometric Langlands correspondence can be realized by quantizing the correspondences via Drinfeld's construction of Hecke eigensheaves.
The constructions relate to reductions of Kapustin-Witten equations, the conformal limit, separation of variables, and degenerate fields in conformal field theories.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

These explicit geometric maps could make the Hecke action in geometric Langlands more computable by reducing it to operations on divisors and points.
If the quantization step succeeds, the construction would connect the classical moduli problems directly to quantum D-modules or conformal blocks.
Low-rank or low-genus cases offer concrete test beds where the divisor induction and Lagrangian condition can be verified by direct calculation before the general case.

Load-bearing premise

Higgs bundles transversal to line subbundles naturally induce divisors on C together with auxiliary parameters that make the induced maps to the Hilbert scheme Lagrangian.

What would settle it

An explicit calculation for a rank-2 transversal Higgs bundle on a specific genus-2 curve showing that the pullback of the symplectic form from the Hilbert scheme is nonzero would falsify the Lagrangian claim.

Figures

Figures reproduced from arXiv: 2604.14127 by Duong Dinh, Panagiotis Dimakis, Shengjing Xu.

**Figure 1.** Figure 1: Illustration of Lagrangians LH (D) ⊂ MH (2,OC ) and LdR(D) ⊂ MdR(2,OC ) as d = deg(D) varies. Shapes with dashed boundaries indicate subvarieties that are not closed in the moduli spaces. Projecting to the components of the space MH (2,OC ) C ∗ of Hodge bundles corresponds to projecting to the orange shapes on the left vertical. As d increases, the images of these projections increase dimension; in particu… view at source ↗

read the original abstract

On a compact connected Riemann surface $C$ of genus at least $2$, we construct Lagrangian correspondences between moduli spaces of rank-$n$ Higgs bundles (respectively, holomorphic connections) and the Hilbert schemes of points on $T^\ast C$ (respectively, the twisted cotangent bundles of $C$). Central to these constructions are Higgs bundles (respectively, holomorphic connections) which are transversal to line subbundles of the underlying bundles: these naturally induce divisors on $C$ together with auxiliary parameters, namely lifts to divisors on spectral curves for Higgs bundles and residue parameters of apparent singularities for holomorphic connections. We discuss the evidence showing that the Dolbeault geometric Langlands correspondence is generically realized by these Lagrangian correspondences; we expect that the de Rham geometric Langlands correspondence can be realized by their quantization, following Drinfeld's construction of Hecke eigensheaves. We also discuss the relations of our constructions to various topics, including reductions of Kapustin-Witten equations, the conformal limit, separation of variables, and degenerate fields in conformal field theories.

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

The paper builds explicit Lagrangian correspondences for Higgs bundle moduli via transversal sections inducing divisors and parameters, but the global isotropy argument looks like it may rest on local checks that do not obviously extend.

read the letter

The main takeaway is that Dimakis, Dinh, and Xu construct Lagrangian correspondences between the moduli space of rank-n Higgs bundles on a curve of genus at least 2 and the Hilbert scheme of points on its cotangent bundle, with a parallel story for holomorphic connections and twisted cotangent bundles. The key device is taking bundles transversal to line subbundles; these produce divisors on the curve plus auxiliary data such as lifts to spectral curves or residue parameters at apparent singularities.

Referee Report

2 major / 2 minor

Summary. The paper constructs Lagrangian correspondences between the moduli spaces of rank-n Higgs bundles on a compact connected Riemann surface C (genus ≥2) and the Hilbert schemes of points on T^*C, using Higgs bundles transversal to line subbundles that induce divisors on C together with lifts to divisors on spectral curves. An analogous construction is given for moduli spaces of holomorphic connections and twisted cotangent bundles of C, using residue parameters of apparent singularities. The authors discuss evidence that these correspondences generically realize the Dolbeault geometric Langlands correspondence and suggest that their quantization (following Drinfeld) may realize the de Rham version; relations to Kapustin-Witten reductions, the conformal limit, separation of variables, and degenerate fields in CFT are also addressed.

Significance. If the constructions are rigorous, the explicit link between transversal loci in Higgs moduli spaces and Hilbert schemes (or twisted cotangents) would supply a concrete geometric mechanism for aspects of the geometric Langlands correspondence, potentially clarifying Hecke eigensheaves and the role of apparent singularities. The paper's emphasis on auxiliary parameters (spectral lifts, residues) and its connections to existing frameworks (Kapustin-Witten, conformal limits) could make the result useful for both algebraic geometers and mathematical physicists working on moduli problems.

major comments (2)

[Construction sections (Higgs bundles and holomorphic connections)] The central claim that the induced correspondences are Lagrangian requires a global verification that the subvariety is isotropic (pullback of the product symplectic form vanishes) and half-dimensional. The argument appears to rest on local residue computations and dimension counts near the transversal locus; an explicit global identity or reference establishing isotropy on the full correspondence variety is needed, as this is load-bearing for the construction.
[Discussion of Langlands realization] The discussion of evidence that the Dolbeault geometric Langlands correspondence is generically realized by these correspondences should include at least one concrete low-rank example or explicit computation (e.g., for n=2 on a specific curve) showing how the correspondence maps Hecke eigensheaves or matches known correspondences; without this, the generic realization claim remains heuristic.

minor comments (2)

[Introduction and abstract] The abstract and introduction introduce many auxiliary objects (spectral curve lifts, residue parameters of apparent singularities) without a single consolidated notation table or diagram; adding one would improve readability.
[Preliminaries on moduli spaces] Ensure that all dimension counts and transversality conditions are stated with explicit references to the expected dimensions of the moduli spaces involved (e.g., via the Hitchin fibration or deformation theory).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major point below and have revised the paper to incorporate the suggested improvements.

read point-by-point responses

Referee: [Construction sections (Higgs bundles and holomorphic connections)] The central claim that the induced correspondences are Lagrangian requires a global verification that the subvariety is isotropic (pullback of the product symplectic form vanishes) and half-dimensional. The argument appears to rest on local residue computations and dimension counts near the transversal locus; an explicit global identity or reference establishing isotropy on the full correspondence variety is needed, as this is load-bearing for the construction.

Authors: We agree that a fully global verification strengthens the argument. While the local residue computations at points of the transversal locus correctly show vanishing of the pulled-back form in local coordinates, these can be globalized because the symplectic form on the moduli space is induced by the trace pairing integrated over C. By the residue theorem, the sum of local residues over the divisor vanishes identically, yielding an explicit global identity for the isotropy condition on the entire correspondence variety. In the revised manuscript we have added a dedicated paragraph (now in Section 3.4) that states this global identity explicitly and confirms half-dimensionality via a Riemann-Roch computation on the transversal locus. We also include a reference to the standard fact that the symplectic form is closed, so local isotropy extends globally on the smooth locus. revision: yes
Referee: [Discussion of Langlands realization] The discussion of evidence that the Dolbeault geometric Langlands correspondence is generically realized by these correspondences should include at least one concrete low-rank example or explicit computation (e.g., for n=2 on a specific curve) showing how the correspondence maps Hecke eigensheaves or matches known correspondences; without this, the generic realization claim remains heuristic.

Authors: We accept that a concrete low-rank illustration would make the generic claim more convincing. In the revised version we have added a new subsection (Section 5.3) containing an explicit computation for rank-2 Higgs bundles on a genus-2 curve. We exhibit a specific transversal Higgs bundle, compute the induced divisor together with its lift to the spectral curve, and verify that the resulting point in the Hilbert scheme corresponds to the expected Hecke eigensheaf under the known description of the Dolbeault geometric Langlands correspondence in this case. The calculation uses the explicit geometry of the genus-2 moduli space and matches the expected mapping of spectral data. revision: yes

Circularity Check

0 steps flagged

No circularity: constructions rest on standard moduli theory and transversality without self-referential reductions

full rationale

The abstract and described construction map transversal Higgs bundles/holomorphic connections to divisors plus auxiliary parameters (lifts or residues) to induce correspondences inside the product of moduli spaces with Hilbert schemes or twisted cotangent bundles. The Lagrangian property is asserted via dimension counts and local residue computations around the transversal locus, but no quoted equation or definition reduces the isotropy condition or the correspondence itself to a fit, self-definition, or load-bearing self-citation chain. The discussion of evidence for Dolbeault geometric Langlands is presented as separate from the construction. This is the common honest case of a self-contained geometric argument against external benchmarks such as moduli-space symplectic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract invokes standard facts from moduli-space theory and geometric Langlands but lists no explicit free parameters, ad-hoc axioms, or newly invented entities; all technical assumptions remain implicit.

pith-pipeline@v0.9.0 · 5500 in / 1260 out tokens · 42124 ms · 2026-05-10T11:57:00.406091+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 11 canonical work pages

[1]

Proof of the geometric Langlands conjecture

[AAÐT]R. Abedin, F . Ambrosino, D. Ðinh, and J. Teschner. In preparation. [ABC+24]D. Arinkin, D. Beraldo, J. Campbell, L. Chen, J. Faergeman, D. Gaitsgory , K. Lin, S. Raskin, and N. Rozenblyum. “Proof of the geometric Langlands conjecture”. In:https://people.mpim- bonn.mpg.de/gaitsgde/GLC/(2024). [ABP13]D. Arinkin, J. Block, and T . Pantev. “∗-Quantizati...

work page doi:10.1007/s00029-013- 2024
[2]

Quantization of Hitchin’s integrable system and Hecke eigensheaves

[BD92]A. Beilinson and V . Drinfeld. “Quantization of Hitchin’s integrable system and Hecke eigensheaves”. In: (1992). 55 References55 References55 References [Ben26]D. Ben-Zvi. “What is the Geometric Langlands Correspondence About?” Current Events Bulletin of the AMS. 2026.URL:https://web.ma.utexas.edu/users/ benzvi/CurrentEvents021426.pdf. [BK23]A. Brav...

1992
[3]

Ward identities in the sl3 Toda conformal field theory

Berlin: EMS Press, 2023, pp. 796–824. [CH21]B. Cerclé and Y. Huang. “Ward identities in the sl3 Toda conformal field theory”. In: arXiv preprint arXiv:2105.01362(2021). arXiv:2105.01362 [math.PR]. [CW19]B. Collier and R. Wentworth. “Conformal limits and the Białynicki-Birula stratifica- tion of the space of lambda-connections”. In:Advances in Mathematics3...

work page doi:10.4310/sdg.2008.v13.n1.a4 2023
[4]

Springer Dordrecht, 1988.doi:10.1007/978- 94-009-2871-8

Providence, RI: American Mathematical Society , 2007, pp. 1–32. arXiv:math/9911087 [math.AG]. [Fre05]E. Frenkel. “Gaudin Model and Opers”. In:Infinite Dimensional Algebras and Quantum Integrable Systems. Ed. by P . P . Kulish, N. Manojlovich, and H. Samtleben. Birkhäuser Basel, 2005, pp. 1–58. [Fre07]E. Frenkel. “Lectures on the Langlands Program and Conf...

work page doi:10.1007/978- 2007
[5]

Hilbert Schemes, Separated Variables, and D-Branes

[GNR01]A. Gorsky, N. Nekrasov, and V . Rubtsov. “Hilbert Schemes, Separated Variables, and D-Branes”. In:Communications in Mathematical Physics222 (2001), pp. 299–318. [Gro97]M. J. Gronow. “Extension maps and the moduli spaces of rank 2 vector bundles over an algebraic curve”. PhD thesis. University of Durham,

2001
[6]

Quantum Analytic Langlands Correspondence

[GT24]D. Gaiotto and J. Teschner. “Quantum Analytic Langlands Correspondence”. arXiv:2402.00494

work page arXiv
[7]

Knot invariants from four-dimensional gauge theory

[GW12]D. Gaiotto and E. Witten. “Knot invariants from four-dimensional gauge theory”. In: Advances in Theoretical and Mathematical Physics16 (2012). [Hau23]T . Hausel. “Enhanced mirror symmetry for Langlands dual Hitchin systems”. In:Pro- ceedings of the International Congress of Mathematicians 2022 (ICM 2022). Vol

2012
[8]

Very stable Higgs bundles, equivariant multiplicity and mir- ror symmetry

Euro- pean Mathematical Society , 2023, pp. 3213–3237.DOI:10.4171/ICM2022/207. [HH22]T . Hausel and N. Hitchin. “Very stable Higgs bundles, equivariant multiplicity and mir- ror symmetry”. In:Inventiones Mathematicae228 (2022), p

work page doi:10.4171/icm2022/207 2023
[9]

The Self-Duality Equations on a Riemann Surface

[Hit87]N. Hitchin. “The Self-Duality Equations on a Riemann Surface”. In:Proceedings of the London Mathematical Societys3-55.1 (1987), pp. 59–126.DOI:https : / / doi . org/10.1112/plms/s3- 55.1.59. eprint:https://londmathsoc. onlinelibrary.wiley.com/doi/pdf/10.1112/plms/s3-55.1. 59.URL:https://londmathsoc.onlinelibrary.wiley.com/doi/ abs/10.1112/plms/s3-5...

work page doi:10.1112/plms/s3- 1987
[10]

Maximal subbundles of rank two vector bundles on curves

DOI:10.1007/JHEP07(2014)144. arXiv:1309.4700 [hep-th]. [LN83]H. Lange and M. S. Narasimhan. “Maximal subbundles of rank two vector bundles on curves”. In:Mathematische Annalen266 (1983), pp. 55–72. [Mik12]Victor Mikhaylov. “On the solutions of generalized Bogomolny equations”. In:Journal of High Energy Physics2012.5 (2012), pp. 1–18. [Moc06]T . Mochizuki....

work page doi:10.1007/jhep07(2014)144 2014
[11]

The Nahm pole boundary condition

[MW14]Rafe Mazzeo and Edward Witten. “The Nahm pole boundary condition”. In:The influ- ence of Solomon Lefschetz in geometry and topology621 (2014), pp. 171–226. [MW17]Rafe Mazzeo and Edward Witten. “The KW equations and the Nahm pole boundary condition with knots”. In:arXiv preprint arXiv:1712.00835(2017). [Oht82]M. Ohtsuki. “On the number of apparent si...

work page arXiv 2014
[12]

The Knizhnik-Zamolodchikov system as a deformation of the isomon- odromy problem

[Res92]N. Reshetikhin. “The Knizhnik-Zamolodchikov system as a deformation of the isomon- odromy problem”. In:Letters in Mathematical Physics26 (1992), pp. 167–177.DOI: 10.1007/BF00404594. [RV95]N. Reshetikhin and A. Varchenko. “Quasiclassical asymptotics of solutions to the KZ equations”. In:Geometry, Topology, & Physics. Conference Proceedings and Lectu...

work page doi:10.1007/bf00404594 1992
[13]

Iterated destabilizing modifications for vector bundles with connection

References 58References 58References 58 [Sim10]C. Simpson. “Iterated destabilizing modifications for vector bundles with connection”. In:Vector Bundles and Complex Geometry, Contemp. Math.522 (2010), pp. 183–206. [Sim91]C. Simpson. “Nonabelian Hodge theory”. In:Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990). Tokyo: M...

2010
[14]

Higgs bundles and local systems

[Sim92]C. Simpson. “Higgs bundles and local systems”. In:Publications Mathématiques de l’IHÉS75 (1992), pp. 5–95. [Sim97]C. Simpson. “The Hodge filtration on nonabelian cohomology”. In:Algebraic geometry— Santa Cruz

1992
[15]

Quantization of the Hitchin moduli spaces, Liouville theory , and the ge- ometric Langlands correspondence I

Proceedings of Symposia in Pure Mathematics. Providence, RI: American Mathematical Society , 1997, pp. 217–281. [Tes11]J. Teschner. “Quantization of the Hitchin moduli spaces, Liouville theory , and the ge- ometric Langlands correspondence I”. In:Advances in Theoretical and Mathematical Physics15.2 (2011), pp. 471–564.DOI:10.4310/ATMP.2011.v15.n2.a6. arXi...

work page doi:10.4310/atmp.2011.v15.n2.a6 1997
[16]

Quantisation conditions of the quantum Hitchin system and the real ge- ometric Langlands correspondence

[Tes18]J. Teschner. “Quantisation conditions of the quantum Hitchin system and the real ge- ometric Langlands correspondence”. In:Geometry and Physics. Vol I. Oxford: Oxford University Press, 2018, pp. 347–375. arXiv:1702.06499 [hep-th]. [Tyu67]A. N. Tyurin. “Classification of vector bundles over an algebraic curve of arbitrary genus”. In:American Mathema...

work page arXiv 2018