pith. sign in

arxiv: 2511.04561 · v3 · submitted 2025-11-06 · 🧮 math.AG · math.CV

Moduli space of connections on rational irregular curves

Mattia Morbello This is my paper

Pith reviewed 2026-05-18 00:44 UTC · model grok-4.3

classification 🧮 math.AG math.CV
keywords moduli spacesirregular connectionsrational curvescompactificationsalgebraic geometryRiemann sphereOkamoto compactificationnodal curves
0
0 comments X

The pith

The moduli space of rank-two irregular connections with one double pole and two simple poles on the Riemann sphere is compactified to a three-dimensional quasi-projective variety extending the Okamoto compactification.

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

This paper constructs an explicit compactification for the moduli space of certain rank-two irregular connections on the Riemann sphere featuring one double pole and two simple poles. The key step is to identify these connections with rational irregular curves augmented by one extra complex parameter. The authors compactify the moduli space of the curves by adapting Kapranov's technique for the spaces of n-pointed rational curves and introduce irregular stable nodal curves to describe the boundary. They then analyze the extra parameter to complete the construction, resulting in the variety Con^V_Θ.

Core claim

By linking the connections to rational irregular curves and an extra parameter, compactifying the curve space with irregular stable nodal curves on the boundary, and managing the parameter's behavior, we obtain the three-dimensional quasi-projective variety Con^V_Θ that extends the Okamoto compactification.

What carries the argument

The correspondence between rank-two irregular connections and rational irregular curves plus an extra complex parameter, together with the definition of irregular stable nodal curves for boundary points.

If this is right

  • The compactification allows studying limits and degenerations of these irregular connections in a projective setting.
  • Boundary components are parametrized by irregular stable nodal curves.
  • This provides a geometric model that includes the Okamoto compactification as a special case or subset.
  • The method separates the curve compactification from the parameter handling, simplifying the overall space.

Where Pith is reading between the lines

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

  • This identification suggests that similar techniques could apply to moduli spaces of connections with different pole structures or higher ranks.
  • Connections to Deligne-Mumford compactifications and Kapranov spaces indicate broader applications in algebraic geometry of curves and bundles.
  • Exploring the geometry of Con^V_Θ might reveal new invariants or relations for irregular connections.

Load-bearing premise

Rank-two irregular connections with one double pole and two simple poles correspond precisely to rational irregular curves equipped with one additional complex parameter.

What would settle it

A counterexample would be an irregular connection of this type whose moduli cannot be captured by any rational irregular curve and complex parameter, or whose degeneration does not fit the irregular stable nodal curve description.

read the original abstract

We study the compactification of the moduli space of a certain class of rank-two irregular connections on the Riemann sphere, presenting one double pole and two simple poles. To construct the compactification explicitly, we identify a class of such irregular connections with the data of a rational irregular curve together with an extra complex parameter. As a first step, we compactify the moduli space of rational irregular curves using a technique inspired by the Kapranov's compactification of the spaces $\mathcal{M}_{0,n}$. We then introduce the notion of irregular stable nodal curve to describe the curves lying on the boundary components, in the spirit of the work of Deligne and Mumford. Second, we study the behaviour of the extra complex parameter to complete the compactification, obtaining a three dimensional quasi-projective variety $\mathfrak{Con}^V_\Theta$ that extends the Okamoto compactification.

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.

Referee Report

3 major / 2 minor

Summary. The manuscript constructs a compactification of the moduli space of rank-two irregular connections on the Riemann sphere with one double pole and two simple poles. It identifies this class of connections with the data of a rational irregular curve together with an extra complex parameter. The first step compactifies the moduli space of rational irregular curves via a Kapranov-inspired construction that introduces the notion of irregular stable nodal curves (in the spirit of Deligne-Mumford). The second step analyzes the degeneration of the extra parameter to obtain the three-dimensional quasi-projective variety Con^V_Θ that extends the Okamoto compactification.

Significance. If the two-step construction is complete, with all boundary components accounted for and the resulting space quasi-projective, the work would supply an explicit geometric model for compactifying certain irregular connection moduli spaces. This could be useful for studying degenerations in isomonodromic deformations and for relating algebraic-geometry techniques to the Okamoto spaces appearing in integrable systems.

major comments (3)
  1. [Abstract and two-step construction] The central identification of rank-two irregular connections (one double pole, two simple poles) with a rational irregular curve plus one extra complex parameter, followed by separate compactification of the curve moduli space before treating the parameter (as outlined in the abstract), must be shown to induce a proper correspondence on compactifications. If the parameter's degeneration is coupled to nodal or irregular-type changes via residue or Stokes data, independent handling may omit limits or produce non-proper fibers, so the resulting space need not compactify the full connection moduli space.
  2. [Section introducing irregular stable nodal curves] The definition and stability conditions for irregular stable nodal curves (introduced to describe boundary components) require explicit verification that they capture all required degenerations and that the resulting moduli space is quasi-projective; without this, the claim that Con^V_Θ extends the Okamoto compactification cannot be confirmed.
  3. [Section on the behaviour of the extra complex parameter] The degeneration analysis of the extra complex parameter (second step) must include a check that no coupled degenerations with the curve structure are missed; the current separation risks incomplete boundary strata.
minor comments (2)
  1. Notation for the final variety (Con^V_Θ) should be introduced with a clear definition at the first appearance rather than only in the abstract.
  2. The introduction would benefit from additional references to prior work on moduli of irregular connections and on Okamoto compactifications to clarify the precise novelty.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below and indicate the revisions planned to strengthen the presentation of the two-step construction.

read point-by-point responses

  1. Referee: [Abstract and two-step construction] The central identification of rank-two irregular connections (one double pole, two simple poles) with a rational irregular curve plus one extra complex parameter, followed by separate compactification of the curve moduli space before treating the parameter (as outlined in the abstract), must be shown to induce a proper correspondence on compactifications. If the parameter's degeneration is coupled to nodal or irregular-type changes via residue or Stokes data, independent handling may omit limits or produce non-proper fibers, so the resulting space need not compactify the full connection moduli space.

    Authors: We agree that a rigorous demonstration of the proper correspondence is necessary. The separation is motivated by the fact that the extra parameter encodes framing data whose degeneration is controlled by residue conditions independent of the curve moduli in the interior; however, at the boundary we acknowledge possible couplings. In the revision we will add an explicit subsection mapping each boundary divisor of the irregular curve moduli space to the corresponding degeneration locus of the parameter, with local coordinate computations around nodes to verify properness and completeness of the limits. revision: partial

  2. Referee: [Section introducing irregular stable nodal curves] The definition and stability conditions for irregular stable nodal curves (introduced to describe boundary components) require explicit verification that they capture all required degenerations and that the resulting moduli space is quasi-projective; without this, the claim that Con^V_Θ extends the Okamoto compactification cannot be confirmed.

    Authors: The stability condition is obtained by requiring each irreducible component to carry at least three special points (counting irregular poles with multiplicity), directly extending Deligne-Mumford and Kapranov. We will insert a new proposition that enumerates all possible nodal configurations compatible with one double pole and two simple poles and shows that every degeneration arises from a unique stable reduction. Quasi-projectivity will be established by exhibiting the moduli space as a GIT quotient of a suitable Hilbert scheme, with the relevant line bundle shown to be ample via the same positivity arguments used in the Kapranov construction. revision: yes

  3. Referee: [Section on the behaviour of the extra complex parameter] The degeneration analysis of the extra complex parameter (second step) must include a check that no coupled degenerations with the curve structure are missed; the current separation risks incomplete boundary strata.

    Authors: We will augment the degeneration analysis with a case-by-case study of the boundary strata. When the underlying curve remains smooth the parameter limits are determined by the vanishing of a determinant; when the curve acquires nodes we compute the admissible values of the parameter via the residue theorem at the nodes and the compatibility of Stokes data across the node. This explicit check will confirm that no coupled degenerations are omitted and that the resulting three-dimensional variety is the full compactification extending the Okamoto space. revision: partial

Circularity Check

0 steps flagged

No significant circularity; construction uses external compactification results

full rationale

The paper's derivation identifies rank-two irregular connections with a rational irregular curve plus an extra complex parameter, then compactifies the curve moduli space via a Kapranov-inspired method and Deligne-Mumford-style stable nodal curves before separately handling the parameter to obtain the 3-dimensional quasi-projective variety extending Okamoto. This chain relies on established external results (Kapranov, Deligne-Mumford) rather than self-citations or internal fits. No step reduces by the paper's own definitions or equations to a tautological input; the identification and boundary analysis are presented as independent geometric constructions. The result is self-contained against external benchmarks with no load-bearing self-referential elements.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Only the abstract is available, so the ledger is necessarily incomplete; the construction appears to rest on standard background results in algebraic geometry rather than new free parameters or invented entities beyond the newly defined stability notion.

axioms (1)
  • standard math Standard properties of moduli spaces of curves and their compactifications as developed by Kapranov and Deligne-Mumford.
    The paper invokes these to define the compactification of rational irregular curves and the boundary strata.
invented entities (1)
  • irregular stable nodal curve no independent evidence
    purpose: To describe the limiting objects on the boundary components of the compactified moduli space of rational irregular curves.
    New notion introduced to handle degenerations in the spirit of stable curves.

pith-pipeline@v0.9.0 · 5668 in / 1379 out tokens · 38723 ms · 2026-05-18T00:44:24.089832+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Arbarello, M

    E. Arbarello, M. Cornalba, and P-A. Griffiths.Nodal curves, pages 79–166. Springer Berlin Heidelberg, Berlin, Heidelberg, 2011

    work page 2011

  2. [2]

    Bainbridge, D

    M. Bainbridge, D. Chen, Q. Gendron, S. Grushevsky, and M. M¨oller. Strata of k-differentials. Algebraic Geometry, Nr. 2, 6, 2019

    work page 2019

  3. [3]

    Beauville.Complex Algebraic Surfaces

    A. Beauville.Complex Algebraic Surfaces. London Mathematical Society Student Texts. Cam- bridge University Press, 2 edition, 1996

    work page 1996

  4. [4]

    P . P . Boalch. Symplectic manifolds and isomonodromic deformations.Advances in Mathemat- ics, 163(2):137–205, 2001

    work page 2001

  5. [5]

    P . P . Boalch. Geometry and braiding of stokes data; fission and wild character varieties. Annals of Mathematics, 179(1):301–365, 2014

    work page 2014

  6. [6]

    Deligne.Equations Differentielles a Points Singuliers Reguliers.Springer Berlin, Heidelberg, 1970

    P . Deligne.Equations Differentielles a Points Singuliers Reguliers.Springer Berlin, Heidelberg, 1970

    work page 1970

  7. [7]

    Deligne and D

    P . Deligne and D. Mumford. The irreducibility of the space of curves of given genus.Publi- cations Math´ ematiques de l’IH´ES, 36:75–109, 1969

    work page 1969

  8. [8]

    Diarra and F

    K. Diarra and F. Loray. Classification of algebraic solutions of irregular garnier systems. Compositio Mathematica, 156:881–907, 05 2020

    work page 2020

  9. [9]

    Diarra and F

    K. Diarra and F. Loray.Normal forms for rank two linear irregular differential equations and moduli spaces.Period Math Hung 84, 303–320, 2022

    work page 2022

  10. [10]

    Gebhard and S

    M. Gebhard and S. Claudia. Weak del pezzo surfaces with global vector fields.Geometry and Topology, 2020

    work page 2020

  11. [11]

    Heu and F

    V . Heu and F. Loray. Flat rank two vector bundles on genus two curves.Memoirs of the American Mathematical Society, 2019

    work page 2019

  12. [12]

    Ilyashenko and S

    Y. Ilyashenko and S. Yakovenko.Lectures on Analytic Differential Equations. American Math- ematical Society, 2008

    work page 2008

  13. [13]

    Jimbo, T

    M. Jimbo, T. Miwa, and K. Ueno. Monodromy preserving deformation of linear ordinary differential equations with rational coefficients: I. general theory and t-function.Physica D: Nonlinear Phenomena, 2(2):306–352, 1981

    work page 1981

  14. [14]

    F. Loray. Isomonodromic deformation of lam ´e connections, painlev ´e vi equation and okamoto symmetry.Izvestiya: Mathematics, 80(1):113, feb 2016

    work page 2016

  15. [15]

    Loray.Geometry of Painlev´ e Equations.34 Col ´oquio Brasileiro de Matem´atica, 2023

    F. Loray.Geometry of Painlev´ e Equations.34 Col ´oquio Brasileiro de Matem´atica, 2023

    work page 2023

  16. [16]

    Loray.The Riemann-Hilbert Correspondence for Rank 2 Meromorphic Connections on Curves

    F. Loray.The Riemann-Hilbert Correspondence for Rank 2 Meromorphic Connections on Curves. In: Cano, F., Cisneros-Molina, J.L., D ˜ung Tr´ang, L., Seade, J. (eds) Handbook of Geometry and Topology of Singularities VI: Foliations. Springer, Cham., 2024

    work page 2024

  17. [17]

    F-X. Machu. Monodromy of a class of logarithmic connections on an elliptic curve.SIGMA. Symmetry, Integrability and Geometry: Methods and Applications [electronic only], 3:Paper 082, 31 p., electronic only–Paper 082, 31 p., electronic only, 2007

    work page 2007

  18. [18]

    Ohyama and S

    Y. Ohyama and S. Okumura. A coalescent diagram of the painlev ´e equations from the viewpoint of isomonodromic deformations.Journal of Physics A: Mathematical and General, 39(39):12129, sep 2006

    work page 2006

  19. [19]

    K. Okamoto. Sur les feuilletages associes aux equation du second ordre a points critiques fixes de p. painleve; espaces des conditions initiales.Japanese journal of mathematics. New series, 5(1):1–79, 1979

    work page 1979

  20. [20]

    Saito and T

    M-H. Saito and T. Takebe. Classification of okamoto-painleve pairs.Kobe J. Math. 19 no. 1-2, page 21–50, 2002. 37

    work page 2002

  21. [21]

    van der Put and M-H

    M. van der Put and M-H. Saito. Moduli spaces for linear differential equations and the Painlev´e equations.Annales de l’Institut Fourier, 59(7):2611–2667, 2009

    work page 2009