pith. sign in

arxiv: 2509.05275 · v2 · pith:T7DFE62Pnew · submitted 2025-09-05 · 🧮 math.DG · math-ph· math.AG· math.MP

Joyce structures from quadratic differentials on the sphere

Timothy Moy This is my paper

Pith reviewed 2026-05-22 13:28 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.AGmath.MP
keywords quadratic differentialsisomonodromic deformationsJoyce structuresRiemann spherehyper-Kähler metricsPainlevé VIintersection pairingmoduli spaces
0
0 comments X

The pith

Infinitesimal isomonodromic deformations of linear ODEs with rational potentials are the kernel of a closed 2-form from intersection pairings on an algebraic curve, allowing construction of Joyce structures on moduli spaces of meromorphic 2

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

The paper establishes that the infinitesimal isomonodromic deformations of certain second-order linear ODEs are given by the kernel of a closed two-form obtained from the intersection pairing of an algebraic curve defined by the potential. This identification permits the construction of Joyce structures on moduli spaces of meromorphic quadratic differentials on the Riemann sphere. For the case of poles of odd orders, the resulting structure is a complex hyper-Kähler metric with homothetic symmetry. The construction also recovers a geometric picture for known examples, including the moduli space associated with four simple poles that corresponds to the Painlevé VI isomonodromy problem.

Core claim

We consider the isomonodromic deformations of particular second-order linear ODEs with rational potential. We show the infinitesimal isomonodromic deformations are the kernel of a closed 2-form arising from the intersection pairing of an algebraic curve defined by the potential. This observation enables us to construct Joyce structures on a class of moduli spaces of meromorphic quadratic differentials on the Riemann sphere, and provides a new, geometric description of the hyper-Kähler structures of previously computed examples. We focus on the case of moduli of quadratic differentials with poles of odd orders, where we obtain a complex hyper-Kähler metric with homothetic symmetry.

What carries the argument

The closed 2-form arising from the intersection pairing on the algebraic curve defined by the potential, whose kernel is the space of infinitesimal isomonodromic deformations.

If this is right

  • Joyce structures are constructed on moduli spaces of meromorphic quadratic differentials with poles of odd orders.
  • A complex hyper-Kähler metric with homothetic symmetry is obtained in the odd-order poles case.
  • A geometric description is given for hyper-Kähler structures in previously known examples such as the four simple poles case linked to Painlevé VI.

Where Pith is reading between the lines

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

  • The kernel identification may simplify explicit metric computations on these moduli spaces.
  • The method could extend naturally to other classes of meromorphic quadratic differentials on the sphere.
  • The algebraic curve construction suggests a bridge between intersection theory and the deformation theory of linear ODEs.

Load-bearing premise

The intersection pairing on the algebraic curve defined by the potential produces a closed 2-form whose kernel precisely captures the infinitesimal isomonodromic deformations of the associated linear ODE.

What would settle it

A specific rational potential where the derived 2-form is not closed or where its kernel fails to equal the space of infinitesimal isomonodromic deformations of the corresponding linear ODE.

read the original abstract

Motivated by known examples of Joyce structures on spaces of meromorphic quadratic differentials, we consider the isomonodromic deformations of particular second-order linear ODEs with rational potential. We show the infinitesimal isomonodromic deformations are the kernel of a closed $2$-form arising from the intersection pairing of an algebraic curve defined by the potential. This observation enables us to construct Joyce structures on a class of moduli spaces of meromorphic quadratic differentials on the Riemann sphere, and provides a new, geometric description of the hyper-K\"ahler structures of previously computed examples. We focus on the case of moduli of quadratic differentials with poles of odd orders, where we obtain a complex hyper-K\"ahler metric with homothetic symmetry. We also include an example corresponding to the moduli space of quadratic differentials with four simple poles, which is a version of the classical isomonodromy problem that leads to the Painlev\'{e} VI equation.

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

1 major / 2 minor

Summary. The paper shows that infinitesimal isomonodromic deformations of second-order linear ODEs with rational potential are the kernel of a closed 2-form obtained from the intersection pairing on the algebraic curve defined by the potential. This identification is used to construct Joyce structures on moduli spaces of meromorphic quadratic differentials on the Riemann sphere, with emphasis on the case of poles of odd orders (yielding a complex hyper-Kähler metric with homothetic symmetry) and an explicit example with four simple poles related to the Painlevé VI equation.

Significance. If the central kernel identification holds with the stated rank, the work supplies a geometric construction of Joyce structures and associated hyper-Kähler metrics on these moduli spaces, extending known examples and furnishing a new description via quadratic differentials and their associated curves. The focus on odd-order poles and the Painlevé VI case adds concrete, computable content.

major comments (1)
  1. [§2–3] §2–3 (main construction): the assertion that the 2-form induced by the intersection pairing on the branched double cover is closed and that its kernel coincides exactly with the tangent space to infinitesimal isomonodromic deformations requires an explicit rank verification. For poles of odd order the homology classes vary over the moduli space; the manuscript must show (via residue calculation or direct computation) that the corank equals the expected deformation dimension after quotienting by the automorphism group of the sphere. Without this step the identification remains formal.
minor comments (2)
  1. [§1] Notation for the algebraic curve and the intersection pairing should be introduced with a short diagram or explicit local coordinate description near the odd-order poles to aid readability.
  2. [§4] The Painlevé VI example would benefit from a brief comparison table relating the resulting hyper-Kähler metric to the known isomonodromic metric on the moduli space.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. The main concern regarding explicit rank verification in the central construction is addressed below. We have revised the manuscript to include the requested computations.

read point-by-point responses

  1. Referee: [§2–3] §2–3 (main construction): the assertion that the 2-form induced by the intersection pairing on the branched double cover is closed and that its kernel coincides exactly with the tangent space to infinitesimal isomonodromic deformations requires an explicit rank verification. For poles of odd order the homology classes vary over the moduli space; the manuscript must show (via residue calculation or direct computation) that the corank equals the expected deformation dimension after quotienting by the automorphism group of the sphere. Without this step the identification remains formal.

    Authors: We agree that an explicit verification strengthens the argument and thank the referee for highlighting this. In the revised manuscript we have added a new subsection in §3 containing the residue calculation. On the branched double cover defined by the quadratic differential we compute the intersection pairing explicitly. For odd-order poles the homology classes vary with the moduli parameters; we track this variation and evaluate the residues of the associated meromorphic 1-forms at the poles. After quotienting by the three-dimensional automorphism group of the sphere we obtain that the corank of the closed 2-form equals the dimension of the space of infinitesimal isomonodromic deformations, matching the expected dimension of the moduli space of quadratic differentials with the given pole orders. The same computation is carried out in detail for the four-simple-pole case, recovering the known dimension for the Painlevé VI isomonodromy problem. revision: yes

Circularity Check

0 steps flagged

No significant circularity; geometric identification is independently derived

full rationale

The paper derives the Joyce structure by first establishing that infinitesimal isomonodromic deformations coincide with the kernel of a closed 2-form obtained from the intersection pairing on the algebraic curve defined by the rational potential. This identification is presented as a direct geometric computation on the moduli space of quadratic differentials with odd-order poles, rather than a fit, self-definition, or reduction to prior self-citations. The subsequent construction of the hyper-Kähler metric and homothetic symmetry follows from this kernel description without circular renaming or ansatz smuggling. The abstract and construction outline indicate a self-contained argument relying on residue calculations and homology variation on the branched cover, with no load-bearing steps that collapse to the input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are visible. The construction appears to rest on standard facts about quadratic differentials, isomonodromic deformations, and intersection pairings on algebraic curves.

pith-pipeline@v0.9.0 · 5686 in / 1215 out tokens · 25098 ms · 2026-05-22T13:28:26.284533+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

27 extracted references · 27 canonical work pages

  1. [1]

    Bailey, M.G

    T N. Bailey, M.G. Eastwood,Complex Paraconformal Manifolds - their Differential Geometry and Twistor Theory, Forum. Math.3, 1, (1991)

    work page 1991

  2. [2]

    Bertola, D

    M. Bertola, D. Korotkin,Tau-Functions and Monodromy Symplectomorphisms, Commun. Math. Phys.388, (2021)

    work page 2021

  3. [3]

    Boalch,Symplectic Manifolds and Isomonodromic Deformations, Adv

    P. Boalch,Symplectic Manifolds and Isomonodromic Deformations, Adv. Math.163, 2, (2001)

    work page 2001

  4. [4]

    Bobenko,Introduction to Compact Riemann Surfaces, Computational Approach to Riemann Surfaces, Lecture Notes in Mathematics, Springer, (2013)

    A. Bobenko,Introduction to Compact Riemann Surfaces, Computational Approach to Riemann Surfaces, Lecture Notes in Mathematics, Springer, (2013)

    work page 2013

  5. [5]

    Bridgeland,Joyce structures on spaces of quadratic differentials, Geometry & Topology29, 5, (2025)

    T. Bridgeland,Joyce structures on spaces of quadratic differentials, Geometry & Topology29, 5, (2025)

    work page 2025

  6. [6]

    Math.462, 110089, (2025)

    T.Bridgeland,Joyce structures and their twistor spaces, Adv. Math.462, 110089, (2025). 37

    work page 2025

  7. [7]

    Bridgeland,Tau functions from Joyce structures, SIGMA20, 112, (2024)

    T. Bridgeland,Tau functions from Joyce structures, SIGMA20, 112, (2024)

    work page 2024

  8. [8]

    Bridgeland,Geometry from Donaldson-Thomas invariants, Integrability, Quantization, and Geometry II

    T. Bridgeland,Geometry from Donaldson-Thomas invariants, Integrability, Quantization, and Geometry II. Quantum Theories and Algebraic Geometry, Proc. Sympos. Pure Math. Amer. Math. Soc., (2021)

    work page 2021

  9. [9]

    Bridgeland, F

    T. Bridgeland, F. Del Monte,Joyce Structures and Poles of Painlev´ e Equations arXiv:2505.03429v1, (2025)

    work page arXiv 2025

  10. [10]

    Bridgeland, D

    T. Bridgeland, D. Masoero,On the monodromy of the deformed cubic oscillator, Math. Ann.385, (2023)

    work page 2023

  11. [11]

    Bridgeland, I

    T. Bridgeland, I. Smith,Quadratic Differentials as Stability Conditions, Publ. math. IHES121, (2015)

    work page 2015

  12. [12]

    Bridgeland, I.A.B

    T. Bridgeland, I.A.B. Strachan,Complex hyperk¨ ahler structures defined by Donaldson–Thomas invariants, Lett. Math. Phys.111, 54, (2021)

    work page 2021

  13. [13]

    A. ˇCap, J. Slov´ ak,Parabolic Geometries I: Background and General Theory, Math. Surv. and Monographs154, Amer. Math. Soc., (2009)

    work page 2009

  14. [14]

    Dunajski,Null K¨ ahler Geometry and Isomonodromic Deformations, Commun

    M. Dunajski,Null K¨ ahler Geometry and Isomonodromic Deformations, Commun. Math. Phys. 391, (2022)

    work page 2022

  15. [15]

    Dunajski, T

    M. Dunajski, T. Moy,Heavenly metrics, hyper-Lagrangians and Joyce structures, J. Lond. Math. Soc.110, 5, (2024)

    work page 2024

  16. [16]

    Eremenko, A

    A. Eremenko, A. Gabrielov, A. Hinkkanen,Exceptional solutions to the Painlev´ e VI equation, J. Math. Phys.58, 1, (2017)

    work page 2017

  17. [17]

    Fuchs,Sur quelques ´ equations diff´ erentielles lin´ eaires du second ordre, Comptes Rendus de l’Acad´ emie des Sciences Paris141, (1905)

    R. Fuchs,Sur quelques ´ equations diff´ erentielles lin´ eaires du second ordre, Comptes Rendus de l’Acad´ emie des Sciences Paris141, (1905)

    work page 1905

  18. [18]

    Hitchin, A

    N.J. Hitchin, A. Karlhede, U. Lindstr¨ om, M. Roˇ cek,Hyperk¨ ahler metrics and supersymmetry, Commun.Math. Phys.108, (1987)

    work page 1987

  19. [19]

    Jimbo, T

    M. Jimbo, T. Miwa, K. Ueno,Monodromy preserving deformation of linear ordinary differential equations with rational coefficients, Physica D2, 2, (1981)

    work page 1981

  20. [20]

    G. Mahoux,Introduction to the Theory of Isomonodromic Deformations of Linear Ordinary Differential Equations with Rational Coefficients, The Painlev´ e Property, One Century Later, CRM Series in Mathematical Physics, Springer, (1999)

    work page 1999

  21. [21]

    Mumford,Tata Lectures on Theta II, Jacobian theta functions and differential equations, Modern Birkh¨ auser Classics, (2006)

    D. Mumford,Tata Lectures on Theta II, Jacobian theta functions and differential equations, Modern Birkh¨ auser Classics, (2006)

    work page 2006

  22. [22]

    Okamoto,Studies on the Painlev´ e equations

    K. Okamoto,Studies on the Painlev´ e equations. I: Sixth Painlev´ e equation PVI, Ann. Mat. Pura Appl.146(1), 1, (1986)

    work page 1986

  23. [23]

    Penrose,Nonlinear Gravitons and Curved Twistor Theory, Gen

    R. Penrose,Nonlinear Gravitons and Curved Twistor Theory, Gen. Relativ. Gravit.7, 1, (1976)

    work page 1976

  24. [24]

    Poincar´ e,Sur les groupes des ´ equations lin´ eaires, Acta Math.4, (1884)

    H. Poincar´ e,Sur les groupes des ´ equations lin´ eaires, Acta Math.4, (1884)

    work page

  25. [25]

    G. A. J. Sparling, K. P. Tod,An example of an H-space, J. Math. Phys.22, (1981)

    work page 1981

  26. [26]

    Ueno,Monodromy Preserving Deformation of Linear Differential Equations with Irregular Singular Points, Proc

    K. Ueno,Monodromy Preserving Deformation of Linear Differential Equations with Irregular Singular Points, Proc. Japan. Acad.56, Ser. A, (1980)

    work page 1980

  27. [27]

    Yamakawa,Fundamental two-forms for isomonodromic deformations, Journal of Integrable Systems,4, 1, (2019)

    D. Yamakawa,Fundamental two-forms for isomonodromic deformations, Journal of Integrable Systems,4, 1, (2019). Department of Applied Mathematics and Theoretical Physics, University of Cam- bridge, Wilberforce Road, Cambridge CB3 0WA, UK. Email address:tjahm2@cam.ac.uk 38

    work page 2019