Mirror symmetry for the Painlev\'e character varieties
Pith reviewed 2026-06-28 02:45 UTC · model grok-4.3
The pith
Fukaya category of generic-microlocal-moduli local systems equals coherent sheaves on minimal resolution of trivial-microlocal-moduli local systems
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that the Fukaya category of a moduli of such local systems with generic microlocal monodromy at punctures is equivalent to the category of coherent sheaves on the minimal resolution of the corresponding moduli of local systems with trivial microlocal monodromy.
What carries the argument
The stated categorical equivalence between the Fukaya category (generic microlocal monodromy) and the coherent-sheaf category on the minimal resolution (trivial microlocal monodromy)
If this is right
- The equivalence supplies a mirror-symmetry statement for the Painlevé character varieties realized as these moduli spaces.
- Symplectic invariants of the generic-microlocal version match algebraic invariants of the resolved trivial-microlocal version.
- The result applies to the four-manifolds obtained from irregular rank-two local systems on the projective line.
Where Pith is reading between the lines
- The equivalence may let one compute Floer-theoretic invariants of one moduli space by algebraic methods on the other.
- Similar categorical statements might hold for character varieties of higher rank or different base curves.
- The construction could connect to other instances of mirror symmetry that involve resolutions of moduli spaces of local systems.
Load-bearing premise
The moduli spaces in question must be four-manifolds to which both the Fukaya category and the coherent-sheaf category on a minimal resolution can be applied and shown equivalent.
What would settle it
Explicit computation of both categories for the moduli space with three or four punctures and direct verification that the resulting categories are equivalent.
Figures
read the original abstract
We establish a homological mirror theorem for the 4-manifolds arising as moduli of (irregular) rank two local systems on the projective line. Specifically, we prove that the Fukaya category of a moduli of such local systems with generic microlocal monodromy at punctures is equivalent to the category of coherent sheaves on the minimal resolution of the corresponding moduli of local systems with trivial microlocal monodromy.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to establish a homological mirror theorem for 4-manifolds arising as moduli of irregular rank-two local systems on the projective line: the Fukaya category of the moduli space with generic microlocal monodromy at the punctures is equivalent to the category of coherent sheaves on the minimal resolution of the corresponding moduli space with trivial microlocal monodromy.
Significance. If correct, the result supplies an explicit homological mirror symmetry statement for Painlevé character varieties, linking the symplectic geometry of irregular connection moduli to algebraic geometry via coherent sheaves on resolutions. This would furnish concrete, low-dimensional examples where both sides of the equivalence are geometrically accessible and could inform broader questions about mirror symmetry for character varieties.
major comments (2)
- [Introduction / moduli construction section] The load-bearing geometric prerequisites (real dimension 4 and existence of a symplectic structure on the moduli spaces) are asserted in the abstract but must be derived from the deformation theory of irregular connections; without an explicit computation of the tangent space dimension and a construction of the symplectic form (e.g., via a pairing on the deformation complex), the applicability of the Fukaya category remains unverified.
- [Moduli space with trivial monodromy] The statement that the second moduli space admits a minimal resolution suitable for the coherent-sheaf category requires a verification that the singularities are resolvable and that the resolution is crepant or otherwise compatible with the mirror symmetry statement; this step is central to the equivalence but is not shown to follow from the given data on microlocal monodromy.
minor comments (2)
- Clarify the precise definition of 'generic microlocal monodromy' versus 'trivial microlocal monodromy' at the outset, including any conditions on the residues or Stokes data.
- Add a short table or diagram comparing the two moduli spaces (punctures, monodromy data, dimension) to aid readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on the geometric foundations of the result. We address each major comment below.
read point-by-point responses
-
Referee: [Introduction / moduli construction section] The load-bearing geometric prerequisites (real dimension 4 and existence of a symplectic structure on the moduli spaces) are asserted in the abstract but must be derived from the deformation theory of irregular connections; without an explicit computation of the tangent space dimension and a construction of the symplectic form (e.g., via a pairing on the deformation complex), the applicability of the Fukaya category remains unverified.
Authors: We agree that an explicit derivation from the deformation theory is required to rigorously justify the symplectic structure and the applicability of the Fukaya category. In the revised manuscript we will insert a new subsection in the moduli construction section that computes the tangent space dimension via hypercohomology of the deformation complex of irregular rank-two connections and constructs the symplectic form from the trace pairing on the adjoint bundle, confirming the real dimension is four. revision: yes
-
Referee: [Moduli space with trivial monodromy] The statement that the second moduli space admits a minimal resolution suitable for the coherent-sheaf category requires a verification that the singularities are resolvable and that the resolution is crepant or otherwise compatible with the mirror symmetry statement; this step is central to the equivalence but is not shown to follow from the given data on microlocal monodromy.
Authors: We acknowledge that the compatibility of the minimal resolution with the mirror symmetry equivalence must be verified explicitly from the microlocal monodromy data. In the revision we will add a paragraph establishing that the singularities of the trivial-microlocal-monodromy moduli space are isolated and admit a crepant resolution, using the explicit GIT or quotient description of the space, and confirming that this resolution preserves the Calabi-Yau structure needed for the coherent-sheaf side of the equivalence. revision: yes
Circularity Check
No circularity: theorem stated as independent proof
full rationale
The provided abstract and context present a direct claim of proving a homological mirror equivalence between Fukaya and coherent sheaf categories on moduli spaces of local systems. No equations, self-citations, fitted parameters, or ansatzes are exhibited that reduce the result to its own inputs by construction. The derivation is framed as a mathematical theorem relying on external geometric constructions, qualifying as self-contained against benchmarks in symplectic and algebraic geometry.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The moduli spaces of irregular rank-two local systems on the projective line admit well-defined Fukaya categories and minimal resolutions to which coherent sheaf categories apply.
Reference graph
Works this paper leans on
-
[1]
An introduction to Weinstein handlebodies for complements of smoothed toric divisors
Bahar Acu, Orsola Capovilla-Searle, Agn` es Gadbled, Aleksandra Marinkovi´ c, Emmy Murphy, Laura Starkston, and Angela Wu. An introduction to Weinstein handlebodies for complements of smoothed toric divisors. InResearch directions in symplectic and contact geometry and topology, volume 27 of Association for Women in Mathematics Series, pages 217–243. Spri...
2021
-
[2]
Bahar Acu, Orsola Capovilla-Searle, Agn` es Gadbled, Aleksandra Marinkovi´ c, Emmy Murphy, Laura Starkston, and Angela Wu.Weinstein Handlebodies for Complements of Smoothed Toric Divisors, vol- ume 309 ofMemoirs of the American Mathematical Society. 2025
2025
-
[3]
Proof of the geometric Langlands conjecture II: Kac- Moody localization and the FLE.arXiv:2405.03648
Dmitry Arinkin, Dario Beraldo, Justin Campbell, Lin Chen, Joakim Faergeman, Dennis Gaitsgory, Kevin Lin, Sam Raskin, and Nick Rozenblyum. Proof of the geometric Langlands conjecture II: Kac- Moody localization and the FLE.arXiv:2405.03648
-
[4]
Weinstein handlebodies for the Painlev´ e Betti spaces
Jo¨ el Beimler and William Olsen. Weinstein handlebodies for the Painlev´ e Betti spaces. arXiv:2511.17352
-
[5]
Betti geometric Langlands.arXiv:1606.08523
David Ben-Zvi and David Nadler. Betti geometric Langlands.arXiv:1606.08523
-
[6]
Wild non-abelian Hodge theory on curves.Compositio Mathematica, 140(1):179–204, 2004
Olivier Biquard and Philip Boalch. Wild non-abelian Hodge theory on curves.Compositio Mathematica, 140(1):179–204, 2004
2004
-
[7]
Derived categories of toric varieties.Convex and algebraic geometry; Oberwolfach con- ference reports, 3, 2006
Alexey Bondal. Derived categories of toric varieties.Convex and algebraic geometry; Oberwolfach con- ference reports, 3, 2006
2006
-
[8]
Effect of Legendrian surgery.Geometry & topology, 16(1):301–389, 2012
Fr´ ed´ eric Bourgeois, Tobias Ekholm, and Yakov Eliashberg. Effect of Legendrian surgery.Geometry & topology, 16(1):301–389, 2012
2012
-
[9]
A Lagrangian filling for every cluster seed.Inventiones mathematicae, 237(2):809–868, 2024
Roger Casals and Honghao Gao. A Lagrangian filling for every cluster seed.Inventiones mathematicae, 237(2):809–868, 2024
2024
-
[10]
Legendrian fronts for affine varieties.Duke Mathematical Journal, 168(2):225–323, 2019
Roger Casals and Emmy Murphy. Legendrian fronts for affine varieties.Duke Mathematical Journal, 168(2):225–323, 2019
2019
-
[11]
Leonid Chekhov, Marta Mazzocco, and Vladimir N. Rubtsov. Painlev´ e monodromy manifolds, decorated character varieties, and cluster algebras.Int. Math. Res. Not. IMRN, (24):7639–7691, 2017
2017
-
[12]
American Mathematical Society, 2012
Kai Cieliebak and Yakov Eliashberg.From Stein to Weinstein and back: symplectic geometry of affine complex manifolds. American Mathematical Society, 2012
2012
-
[13]
Laurent Cˆ ot´ e, Christopher Kuo, David Nadler, and Vivek Shende. Perverse microsheaves. arXiv:2209.12998
-
[14]
Handle moves in contact surgery diagrams.Journal of Topology, 2(1):105–122, 2009
Fan Ding and Hansj¨ org Geiges. Handle moves in contact surgery diagrams.Journal of Topology, 2(1):105–122, 2009
2009
-
[15]
Twisted harmonic maps and the self-duality equations.Proceedings of the London Mathematical Society, 3(1):127–131, 1987
Simon Donaldson. Twisted harmonic maps and the self-duality equations.Proceedings of the London Mathematical Society, 3(1):127–131, 1987
1987
-
[16]
A categorification of Morelli’s theorem.Inventiones mathematicae, 186(1):79–114, 2011
Bohan Fang, Chiu-Chu Melissa Liu, David Treumann, and Eric Zaslow. A categorification of Morelli’s theorem.Inventiones mathematicae, 186(1):79–114, 2011
2011
-
[17]
The coherent–constructible correspondence for toric Deligne–Mumford stacks.International Mathematics Research Notices, 2014(4):914–954, 2014
Bohan Fang, Chiu-Chu Melissa Liu, David Treumann, and Eric Zaslow. The coherent–constructible correspondence for toric Deligne–Mumford stacks.International Mathematics Research Notices, 2014(4):914–954, 2014
2014
-
[18]
¨Uber die theorie der automorphen modulgruppen.Nachrichten von der Gesellschaft der Wissenschaften zu G¨ ottingen, Mathematisch-Physikalische Klasse, 1896:91–101, 1896
Robert Fricke. ¨Uber die theorie der automorphen modulgruppen.Nachrichten von der Gesellschaft der Wissenschaften zu G¨ ottingen, Mathematisch-Physikalische Klasse, 1896:91–101, 1896
-
[19]
Proof of the geometric Langlands conjecture I: construction of the functor.arXiv:2405.03599
Dennis Gaitsgory and Sam Raskin. Proof of the geometric Langlands conjecture I: construction of the functor.arXiv:2405.03599
-
[20]
Mirror symmetry for truncated cluster varieties.SIGMA
Benjamin Gammage and Ian Le. Mirror symmetry for truncated cluster varieties.SIGMA. Symmetry, Integrability and Geometry: Methods and Applications, 18:055, 2022
2022
-
[21]
Mirror symmetry for very affine hypersurfaces.Acta Mathe- matica, 229(2):287–346, 2022
Benjamin Gammage and Vivek Shende. Mirror symmetry for very affine hypersurfaces.Acta Mathe- matica, 229(2):287–346, 2022
2022
-
[22]
Microlocal Morse theory of wrapped Fukaya categories
Sheel Ganatra, John Pardon, and Vivek Shende. Microlocal Morse theory of wrapped Fukaya categories. Annals of Mathematics, 199(3):943–1042, 2024
2024
-
[23]
Toric stacks I: The theory of stacky fans.Transactions of the American Mathematical Society, 367(2):1033–1071, 2015
Anton Geraschenko and Matthew Satriano. Toric stacks I: The theory of stacky fans.Transactions of the American Mathematical Society, 367(2):1033–1071, 2015
2015
-
[24]
Handlebody construction of Stein surfaces.Annals of Mathematics, 148(2):619–693, 1998
Robert Gompf. Handlebody construction of Stein surfaces.Annals of Mathematics, 148(2):619–693, 1998. MIRROR SYMMETRY FOR THE PAINLEV ´E CHARACTER VARIETIES 43
1998
-
[25]
Sheaves and symplectic geometry of cotangent bundles.Ast´ erisque, 440, 2023
St´ ephane Guillermou. Sheaves and symplectic geometry of cotangent bundles.Ast´ erisque, 440, 2023
2023
-
[26]
Sheaf quantization of Hamiltonian iso- topies and applications to nondisplaceability problems.Duke Mathematical Journal, 161(2), February 2012
St´ ephane Guillermou, Masaki Kashiwara, and Pierre Schapira. Sheaf quantization of Hamiltonian iso- topies and applications to nondisplaceability problems.Duke Mathematical Journal, 161(2), February 2012
2012
-
[27]
Mirror symmetry, Langlands duality, and the Hitchin system
Tam´ as Hausel and Michael Thaddeus. Mirror symmetry, Langlands duality, and the Hitchin system. Inventiones mathematicae, 153(1):197–229, 2003
2003
-
[28]
The self-duality equations on a Riemann surface.Proceedings of the London Mathematical Society, 3(1):59–126, 1987
Nigel Hitchin. The self-duality equations on a Riemann surface.Proceedings of the London Mathematical Society, 3(1):59–126, 1987
1987
-
[29]
Dynamics of the sixth Painlev´ e equation
Michi-aki Inaba, Katsunori Iwasaki, and Masa-Hiko Saito. Dynamics of the sixth Painlev´ e equation. InTh´ eories asymptotiques et ´ equations de Painlev´ e, volume 14 ofS´ emin. Congr., pages 103–167. Soc. Math. France, Paris, 2006
2006
-
[30]
Kleinian singularities, derived categories and Hall algebras.Math
Mikhail Kapranov and Eric Vasserot. Kleinian singularities, derived categories and Hall algebras.Math. Ann., 316(3):565–576, 2000
2000
-
[31]
Electric-magnetic duality and the geometric Langlands program
Anton Kapustin and Edward Witten. Electric-magnetic duality and the geometric Langlands program. Communications in number theory and physics, 1(1):1–236, 2007
2007
-
[32]
Springer Science & Business Media, 2013
Masaki Kashiwara and Pierre Schapira.Sheaves on Manifolds. Springer Science & Business Media, 2013
2013
-
[33]
Homological algebra of mirror symmetry
Maxim Kontsevich. Homological algebra of mirror symmetry. InProceedings of the International Con- gress of Mathematicians: August 3–11, 1994 Z¨ urich, Switzerland, pages 120–139. Springer, 1995
1994
-
[34]
The nonequivariant coherent-constructible correspondence for toric surfaces.Journal of Differential Geometry, 107(2):373–393, 2017
Tatsuki Kuwagaki. The nonequivariant coherent-constructible correspondence for toric surfaces.Journal of Differential Geometry, 107(2):373–393, 2017
2017
-
[35]
The nonequivariant coherent-constructible correspondence for toric stacks.Duke Math
Tatsuki Kuwagaki. The nonequivariant coherent-constructible correspondence for toric stacks.Duke Math. J., 169(11):2125–2197, 2020
2020
-
[36]
Invariance of microsheaves on stable higgs bundles.arXiv:2301.01342
David Nadler and Vivek Shende. Invariance of microsheaves on stable higgs bundles.arXiv:2301.01342
-
[37]
Sheaf quantization in Weinstein symplectic manifolds
David Nadler and Vivek Shende. Sheaf quantization in Weinstein symplectic manifolds. arXiv:2007.10154
arXiv 2007
-
[38]
Sur les feuilletages associ´ es aux ´ equation du second ordre ` a points critiques fixes de P
Kazuo Okamoto. Sur les feuilletages associ´ es aux ´ equation du second ordre ` a points critiques fixes de P. Painlev´ e espaces des conditions initiales.Japanese journal of mathematics. New series, 5(1):1–79, 1979
1979
-
[39]
Rational surfaces associated with affine root systems and geometry of the Painlev´ e equations.Communications in Mathematical Physics, 220(1):165–229, 2001
Hidetaka Sakai. Rational surfaces associated with affine root systems and geometry of the Painlev´ e equations.Communications in Mathematical Physics, 220(1):165–229, 2001
2001
-
[40]
Microsheaves from Hitchin fibers via Floer theory.arXiv:2108.13571
Vivek Shende. Microsheaves from Hitchin fibers via Floer theory.arXiv:2108.13571
-
[41]
Microlocal category for Weinstein manifolds via the h-principle.Publications of the Research Institute for Mathematical Sciences, 57(3):1041–1048, 2021
Vivek Shende. Microlocal category for Weinstein manifolds via the h-principle.Publications of the Research Institute for Mathematical Sciences, 57(3):1041–1048, 2021
2021
-
[42]
On the combinatorics of exact Lagrangian sur- faces.arXiv:1603.07449
Vivek Shende, David Treumann, and Harold Williams. On the combinatorics of exact Lagrangian sur- faces.arXiv:1603.07449
-
[43]
Cluster varieties from Legendrian knots.Duke Mathematical Journal, 168(15):2801–2871, 2019
Vivek Shende, David Treumann, Harold Williams, and Eric Zaslow. Cluster varieties from Legendrian knots.Duke Mathematical Journal, 168(15):2801–2871, 2019
2019
-
[44]
Harmonic bundles on noncompact curves.Journal of the American Mathematical So- ciety, 3(3):713–770, 1990
Carlos Simpson. Harmonic bundles on noncompact curves.Journal of the American Mathematical So- ciety, 3(3):713–770, 1990
1990
-
[45]
Mirror symmetry is T-duality.Nuclear Physics B, 479(1-2):243–259, 1996
Andrew Strominger, Shing-Tung Yau, and Eric Zaslow. Mirror symmetry is T-duality.Nuclear Physics B, 479(1-2):243–259, 1996
1996
-
[46]
Moduli spaces for linear differential equations and the Painlev´ e equations
Marius Van der Put and Masa-Hiko Saito. Moduli spaces for linear differential equations and the Painlev´ e equations. 59(7):2611–2667, 2009
2009
-
[47]
Sur les invariants fondamentaux des ´ equations diff´ erentielles lin´ eaires du second ordre
Henry Vogt. Sur les invariants fondamentaux des ´ equations diff´ erentielles lin´ eaires du second ordre. Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, 6:3–71, 1889
-
[48]
Contact surgery and symplectic handlebodies.Hokkaido Mathematical Journal, 20(2):241 – 251, 1991
Alan Weinstein. Contact surgery and symplectic handlebodies.Hokkaido Mathematical Journal, 20(2):241 – 251, 1991
1991
-
[49]
Gauge theory and wild ramification.Analysis and Applications, 6(04):429–501, 2008
Edward Witten. Gauge theory and wild ramification.Analysis and Applications, 6(04):429–501, 2008
2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.