Polystability of Stokes representations and differential Galois groups

Daisuke Yamakawa; Philip Boalch

arxiv: 2301.09067 · v3 · submitted 2023-01-22 · 🧮 math.AG

Polystability of Stokes representations and differential Galois groups

Philip Boalch , Daisuke Yamakawa This is my paper

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

classification 🧮 math.AG

keywords polystabilityStokes representationsdifferential Galois groupswild monodromyirregular connectionsStokes local systems

0 comments

The pith

Polystability of twisted Stokes representations is characterized by their differential Galois groups.

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

The paper shows that polystability of (twisted) Stokes representations, or wild monodromy representations, can be read off from the corresponding differential Galois group. This generalizes the familiar fact that polystability in the tame case depends on the Zariski closure of the monodromy group. The argument also supplies an intrinsic formulation that works directly with reductions of Stokes local systems. A reader would care because the result supplies a concrete bridge between stability conditions on wild connections and the algebraic-group data carried by their differential Galois groups.

Core claim

Polystability of (twisted) Stokes representations (i.e. wild monodromy representations) will be characterised, in terms of the corresponding differential Galois group (generalising the Zariski closure of the monodromy group in the tame case). This extends some results of Richardson. Further, the intrinsic approach to such results will be established, in terms of reductions of Stokes local systems.

What carries the argument

The differential Galois group attached to a Stokes representation, which plays the same role that the Zariski closure of the monodromy group plays in the tame setting.

If this is right

A Stokes representation is polystable precisely when its differential Galois group satisfies the stated algebraic-group condition.
The characterization extends Richardson's tame-case results to the irregular setting.
An intrinsic version of the result is obtained by working directly with reductions of Stokes local systems rather than with representations.
The same criterion applies to the twisted versions of Stokes representations.

Where Pith is reading between the lines

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

The result supplies a practical test for polystability that can be checked on the level of algebraic groups rather than on the level of representations.
Similar characterizations may be expected for other stability notions attached to irregular connections once the differential Galois group is known.

Load-bearing premise

The standard correspondence between Stokes representations and differential Galois groups exists and behaves as it does in the tame case, together with the usual definitions of polystability and reductions of Stokes local systems.

What would settle it

A concrete Stokes representation whose polystability status disagrees with the condition imposed by its differential Galois group would falsify the claimed characterization.

read the original abstract

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

Boalch and Yamakawa characterize polystability of Stokes representations via differential Galois groups, extending the tame case.

read the letter

The main takeaway is that Boalch and Yamakawa characterize polystability of twisted Stokes representations using the corresponding differential Galois group. This generalizes the tame case, where polystability relates to the Zariski closure of the monodromy group, and builds on Richardson's work. The paper does well by offering an intrinsic approach based on reductions of Stokes local systems. This avoids some of the extrinsic choices that appear in other treatments and keeps the argument aligned with the existing theory of differential Galois groups. The soft spots are minor at this stage. The abstract is short, so the details of the proof strategy remain hidden. If the reductions are handled carefully, the result should hold, but without the lemmas it is hard to spot any hidden assumptions on the singularities or the twisting. This is a paper for people already working in wild nonabelian Hodge theory. Specialists who follow the literature on Stokes data and irregular connections will see the value in having a stability criterion phrased this way. It is not broad enough for a general audience. I would not cite it in my own work in the next year, but it looks solid enough to deserve peer review. The claim is consistent with prior results and the stress test raised no red flags.

Referee Report

0 major / 2 minor

Summary. The manuscript claims to characterize the polystability of (twisted) Stokes representations, i.e., wild monodromy representations, in terms of the corresponding differential Galois group. This generalizes the tame-case fact that polystability is determined by the Zariski closure of the monodromy group. The work extends results of Richardson and develops an intrinsic formulation via reductions of Stokes local systems.

Significance. If the stated characterization holds, the result would be a meaningful contribution to the study of irregular connections and differential Galois theory. It supplies a direct algebraic-group-theoretic criterion for polystability in the wild setting and supplies an intrinsic, reduction-based perspective that may streamline arguments involving Stokes data.

minor comments (2)

[Abstract] The abstract is terse; expanding it to indicate the principal technical tools (e.g., the precise notion of reduction employed or the category in which the differential Galois group is taken) would help readers assess the scope immediately.
Notation for twisted Stokes representations and the precise relationship between the differential Galois group and the Stokes representation should be fixed at the first appearance and used consistently thereafter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the contribution to irregular connections and differential Galois theory, and recommendation for minor revision. The work characterizes polystability of (twisted) Stokes representations via the differential Galois group, extending the tame case and Richardson's results through an intrinsic reduction-based formulation of Stokes local systems. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper claims a characterization of polystability for Stokes representations via differential Galois groups, framed as a generalization of the tame-case Zariski closure result (extending Richardson). This relies on standard external correspondences between Stokes data and differential Galois groups, plus prior definitions of polystability and reductions of Stokes local systems. No step in the abstract or described chain reduces by construction to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The derivation remains independent of the target result and is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, preventing identification of specific free parameters, new entities, or detailed axioms. The work relies on the pre-existing framework of differential Galois groups and Stokes representations without apparent invention of new objects.

axioms (1)

domain assumption Standard properties and correspondence between Stokes representations, differential Galois groups, and polystability in the theory of irregular meromorphic connections.
The abstract invokes these objects and their generalization from the tame case as given.

pith-pipeline@v0.9.0 · 5577 in / 1198 out tokens · 31429 ms · 2026-05-24T10:24:34.755774+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.

Polystability of (twisted) Stokes representations … characterised, in terms of the corresponding differential Galois group (generalising the Zariski closure of the monodromy group in the tame case).
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Theorem 7. A point x ∈ X is polystable if and only if A(x) is linearly reductive.

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

28 extracted references · 28 canonical work pages · 3 internal anchors

[1]

Biquard and P

O. Biquard and P. P. Boalch, Wild non-abelian Hodge theory on curves , Compositio Math. 140 (2004), no. 1, 179–204

work page 2004
[2]

G. D. Birkhoﬀ, The generalized Riemann problem for linear diﬀerential equ ations and allied problems for linear diﬀerence and q-diﬀerence equations, Proc. Amer. Acad. Arts and Sci. 49 (1913), 531–568

work page 1913
[3]

P. P. Boalch, Symplectic manifolds and isomonodromic deformations , Adv. in Math. 163 (2001), 137–205

work page 2001
[4]

, Stokes matrices, Poisson Lie groups and Frobenius manifold s, Invent. Math. 146 (2001), 479–506

work page 2001
[5]

, Quasi-Hamiltonian geometry of meromorphic connections , Duke Math. J. 139 (2007), no. 2, 369–405, (Beware section 6 of the published version is not in t he 2002 arXiv version)

work page 2007
[6]

, Through the analytic halo: Fission via irregular singulari ties, Ann. Inst. Fourier (Greno- ble) 59 (2009), no. 7, 2669–2684, Volume in honour of B. Malgrange. POLYSTABILITY OF STOKES REPRESENTATIONS AND GALOIS GROUPS 21

work page 2009
[7]

, Habilitation memoir , Universit´ e Paris-Sud 12/12/12, (arXiv:1305.6593), 2012

work page internal anchor Pith review Pith/arXiv arXiv 2012
[8]

179 (2014), 301–365

, Geometry and braiding of Stokes data; Fission and wild chara cter varieties , Annals of Math. 179 (2014), 301–365

work page 2014
[9]

, Poisson varieties from Riemann surfaces , Indag. Math. 25 (2014), no. 5, 872–900

work page 2014
[10]

, Wild character varieties, meromorphic Hitchin systems and Dynkin diagrams , (2018), Geometry and Physics: A Festschrift in honour of Nigel Hitchin, pp.4 33–454, arXiv:1703.10376

work page internal anchor Pith review Pith/arXiv arXiv 2018
[11]

, Topology of the Stokes phenomenon , Integrability, Quantization, and Geometry. I, Proc. Sympos. Pure Math., vol. 103, Amer. Math. Soc., 2021, pp. 55–100

work page 2021
[12]

P. P. Boalch, J. Dou¸ cot, and G. Rembado, Twisted local wild mapping class groups: conﬁguration spaces, ﬁssion trees and complex braids , 2022, arXiv:2209.12695

work page arXiv 2022
[13]

P. P. Boalch and D. Yamakawa, Twisted wild character varieties , arXiv:1512.08091, 2015

work page internal anchor Pith review Pith/arXiv arXiv 2015
[14]

Borel, Groupes lin´ eaires alg´ ebriques, Ann

A. Borel, Groupes lin´ eaires alg´ ebriques, Ann. Math. (2) 64 (1956), 20–82

work page 1956
[15]

Borel and J.-P

A. Borel and J.-P. Serre, Th´ eor` emes de ﬁnitude en cohomologie galoisienne, Comment. Math. Helv. 39 (1964), 111–164

work page 1964
[16]

Brion, On extensions of algebraic groups with ﬁnite quotient , Paciﬁc J

M. Brion, On extensions of algebraic groups with ﬁnite quotient , Paciﬁc J. Math. 279 (2015), no. 1-2, 135–153

work page 2015
[17]

Dou¸ cot, G

J. Dou¸ cot, G. Rembado, and M. Tamiozzo, Local wild mapping class groups and cabled braids , 2022, arXiv:2204.08188

work page arXiv 2022
[18]

Dou¸ cot and G

J. Dou¸ cot and G. Rembado, Topology of irregular isomonodromy times on a ﬁxed pointed c urve, 2022, arXiv:2208.02575

work page arXiv 2022
[19]

Dubrovin, Geometry of 2D topological ﬁeld theories , Integrable Systems and Quantum Groups (M.Francaviglia and S.Greco, eds.), vol

B. Dubrovin, Geometry of 2D topological ﬁeld theories , Integrable Systems and Quantum Groups (M.Francaviglia and S.Greco, eds.), vol. 1620, Springer Lect. Notes Math., 1995, pp. 120–348

work page 1995
[20]

Pengfei Huang and Hao Sun, Meromorphic parahoric Higgs torsors and ﬁltered Stokes G-l ocal systems on curves , 2022, arXiv:2212.04939

work page arXiv 2022
[21]

N. M. Katz, On the calculation of some diﬀerential Galois groups , Invent. Math. 87 (1987), no. 1, 13–61

work page 1987
[22]

Loday-Richaud, Stokes phenomenon, multisummability and diﬀerential Galo is groups , Ann

M. Loday-Richaud, Stokes phenomenon, multisummability and diﬀerential Galo is groups , Ann. Inst. Fourier 44 (1994), no. 3, 849–906

work page 1994
[23]

Lubotzky and A

A. Lubotzky and A. R. Magid, Varieties of representations of ﬁnitely generated groups , vol. 58, no. 336, Memoirs of the AMS, 1985

work page 1985
[24]

Martinet and J.P

J. Martinet and J.P. Ramis, Elementary acceleration and multisummability , Ann. Inst. Henri Poincar´ e, Physique Th´ eorique54 (1991), no. 4, 331–401

work page 1991
[25]

Ramis, Ph´ enom` ene de Stokes et ﬁltration Gevrey sur le groupe de Pi card-Vessiot, C

J.-P. Ramis, Ph´ enom` ene de Stokes et ﬁltration Gevrey sur le groupe de Pi card-Vessiot, C. R. Acad. Sci. Paris S´ er. I Math. 301 (1985), no. 5, 165–167

work page 1985
[26]

R. W. Richardson, Conjugacy classes of n-tuples in Lie algebras and algebraic groups , Duke Math. J. 57 (1988), no. 1, 1–35

work page 1988
[27]

Sabbah, Harmonic metrics and connections with irregular singulari ties, Ann

C. Sabbah, Harmonic metrics and connections with irregular singulari ties, Ann. Inst. Fourier 49 (1999), no. 4, 1265–1291

work page 1999
[28]

IMJ-PRG, Universit´ e Paris Cit´ e and CNRS, Bˆ atiment Sophie Germa in, 8 Place Aur´ elie Nemours, 75205 Paris, France

Cheng Shu, On character varieties with non-connected structure group s, 2019, arXiv:1912.04360. IMJ-PRG, Universit´ e Paris Cit´ e and CNRS, Bˆ atiment Sophie Germa in, 8 Place Aur´ elie Nemours, 75205 Paris, France. boalch@imj-prg.fr https://webusers.imj-prg.fr/~philip.boalch Department of Mathematics, Faculty of Science Division I, Tokyo Un iversity of ...

work page arXiv 2019

[1] [1]

Biquard and P

O. Biquard and P. P. Boalch, Wild non-abelian Hodge theory on curves , Compositio Math. 140 (2004), no. 1, 179–204

work page 2004

[2] [2]

G. D. Birkhoﬀ, The generalized Riemann problem for linear diﬀerential equ ations and allied problems for linear diﬀerence and q-diﬀerence equations, Proc. Amer. Acad. Arts and Sci. 49 (1913), 531–568

work page 1913

[3] [3]

P. P. Boalch, Symplectic manifolds and isomonodromic deformations , Adv. in Math. 163 (2001), 137–205

work page 2001

[4] [4]

, Stokes matrices, Poisson Lie groups and Frobenius manifold s, Invent. Math. 146 (2001), 479–506

work page 2001

[5] [5]

, Quasi-Hamiltonian geometry of meromorphic connections , Duke Math. J. 139 (2007), no. 2, 369–405, (Beware section 6 of the published version is not in t he 2002 arXiv version)

work page 2007

[6] [6]

, Through the analytic halo: Fission via irregular singulari ties, Ann. Inst. Fourier (Greno- ble) 59 (2009), no. 7, 2669–2684, Volume in honour of B. Malgrange. POLYSTABILITY OF STOKES REPRESENTATIONS AND GALOIS GROUPS 21

work page 2009

[7] [7]

, Habilitation memoir , Universit´ e Paris-Sud 12/12/12, (arXiv:1305.6593), 2012

work page internal anchor Pith review Pith/arXiv arXiv 2012

[8] [8]

179 (2014), 301–365

, Geometry and braiding of Stokes data; Fission and wild chara cter varieties , Annals of Math. 179 (2014), 301–365

work page 2014

[9] [9]

, Poisson varieties from Riemann surfaces , Indag. Math. 25 (2014), no. 5, 872–900

work page 2014

[10] [10]

, Wild character varieties, meromorphic Hitchin systems and Dynkin diagrams , (2018), Geometry and Physics: A Festschrift in honour of Nigel Hitchin, pp.4 33–454, arXiv:1703.10376

work page internal anchor Pith review Pith/arXiv arXiv 2018

[11] [11]

, Topology of the Stokes phenomenon , Integrability, Quantization, and Geometry. I, Proc. Sympos. Pure Math., vol. 103, Amer. Math. Soc., 2021, pp. 55–100

work page 2021

[12] [12]

P. P. Boalch, J. Dou¸ cot, and G. Rembado, Twisted local wild mapping class groups: conﬁguration spaces, ﬁssion trees and complex braids , 2022, arXiv:2209.12695

work page arXiv 2022

[13] [13]

P. P. Boalch and D. Yamakawa, Twisted wild character varieties , arXiv:1512.08091, 2015

work page internal anchor Pith review Pith/arXiv arXiv 2015

[14] [14]

Borel, Groupes lin´ eaires alg´ ebriques, Ann

A. Borel, Groupes lin´ eaires alg´ ebriques, Ann. Math. (2) 64 (1956), 20–82

work page 1956

[15] [15]

Borel and J.-P

A. Borel and J.-P. Serre, Th´ eor` emes de ﬁnitude en cohomologie galoisienne, Comment. Math. Helv. 39 (1964), 111–164

work page 1964

[16] [16]

Brion, On extensions of algebraic groups with ﬁnite quotient , Paciﬁc J

M. Brion, On extensions of algebraic groups with ﬁnite quotient , Paciﬁc J. Math. 279 (2015), no. 1-2, 135–153

work page 2015

[17] [17]

Dou¸ cot, G

J. Dou¸ cot, G. Rembado, and M. Tamiozzo, Local wild mapping class groups and cabled braids , 2022, arXiv:2204.08188

work page arXiv 2022

[18] [18]

Dou¸ cot and G

J. Dou¸ cot and G. Rembado, Topology of irregular isomonodromy times on a ﬁxed pointed c urve, 2022, arXiv:2208.02575

work page arXiv 2022

[19] [19]

Dubrovin, Geometry of 2D topological ﬁeld theories , Integrable Systems and Quantum Groups (M.Francaviglia and S.Greco, eds.), vol

B. Dubrovin, Geometry of 2D topological ﬁeld theories , Integrable Systems and Quantum Groups (M.Francaviglia and S.Greco, eds.), vol. 1620, Springer Lect. Notes Math., 1995, pp. 120–348

work page 1995

[20] [20]

Pengfei Huang and Hao Sun, Meromorphic parahoric Higgs torsors and ﬁltered Stokes G-l ocal systems on curves , 2022, arXiv:2212.04939

work page arXiv 2022

[21] [21]

N. M. Katz, On the calculation of some diﬀerential Galois groups , Invent. Math. 87 (1987), no. 1, 13–61

work page 1987

[22] [22]

Loday-Richaud, Stokes phenomenon, multisummability and diﬀerential Galo is groups , Ann

M. Loday-Richaud, Stokes phenomenon, multisummability and diﬀerential Galo is groups , Ann. Inst. Fourier 44 (1994), no. 3, 849–906

work page 1994

[23] [23]

Lubotzky and A

A. Lubotzky and A. R. Magid, Varieties of representations of ﬁnitely generated groups , vol. 58, no. 336, Memoirs of the AMS, 1985

work page 1985

[24] [24]

Martinet and J.P

J. Martinet and J.P. Ramis, Elementary acceleration and multisummability , Ann. Inst. Henri Poincar´ e, Physique Th´ eorique54 (1991), no. 4, 331–401

work page 1991

[25] [25]

Ramis, Ph´ enom` ene de Stokes et ﬁltration Gevrey sur le groupe de Pi card-Vessiot, C

J.-P. Ramis, Ph´ enom` ene de Stokes et ﬁltration Gevrey sur le groupe de Pi card-Vessiot, C. R. Acad. Sci. Paris S´ er. I Math. 301 (1985), no. 5, 165–167

work page 1985

[26] [26]

R. W. Richardson, Conjugacy classes of n-tuples in Lie algebras and algebraic groups , Duke Math. J. 57 (1988), no. 1, 1–35

work page 1988

[27] [27]

Sabbah, Harmonic metrics and connections with irregular singulari ties, Ann

C. Sabbah, Harmonic metrics and connections with irregular singulari ties, Ann. Inst. Fourier 49 (1999), no. 4, 1265–1291

work page 1999

[28] [28]

IMJ-PRG, Universit´ e Paris Cit´ e and CNRS, Bˆ atiment Sophie Germa in, 8 Place Aur´ elie Nemours, 75205 Paris, France

Cheng Shu, On character varieties with non-connected structure group s, 2019, arXiv:1912.04360. IMJ-PRG, Universit´ e Paris Cit´ e and CNRS, Bˆ atiment Sophie Germa in, 8 Place Aur´ elie Nemours, 75205 Paris, France. boalch@imj-prg.fr https://webusers.imj-prg.fr/~philip.boalch Department of Mathematics, Faculty of Science Division I, Tokyo Un iversity of ...

work page arXiv 2019