Philip Boalch

WILD CHARACTER VARIETIES, MEROMORPHIC HITCHIN SYSTEMS AND DYNKIN DIAGRAMS

The theory of Hitchin systems is something like a "global theory of Lie groups", where one works over a Riemann surface rather than just at a point. We'll describe how one can take this analogy a few steps further by attempting to make precise the class of rich geometric objects that appear in this story (including the non-compact case), and discuss their classification, outlining a theory of "Dynkin diagrams" as a step towards classifying some examples of such objects.

The Lax Project

We would like to try to classify integrable systems, upto isomorphism (or isogeny, deformation...). For this we need a definition-here we will use the following:

Definition 1. A finite dimensional complex algebraic integrable Hamiltonian system is a symplectic algebraic variety M with a map χ : M → H to an affine space H (of half the dimension) such that generic fibres of χ are Lagrangian abelian varieties. This is close to the classical point of view of having n independent Poisson commuting functions on a symplectic manifold of dimension 2n. One can consider a more general definition allowing generic fibres to be open parts of Lagrangian abelian varieties, but for the cases we look at there are natural compactifications of the fibres. See [START_REF] Vanhaecke | Integrable systems in the realm of algebraic geometry[END_REF] Ch. 5 for a discussion of some other possible definitions.

Of course this is a very broad problem, so we will (for the time being) restrict to systems that have a "good" Lax representation. Definition 2. An integrable system (M, χ) admits a "Lax representation" if it is isomorphic to a symplectic leaf of a meromorphic Hitchin system, with χ the restriction of the Hitchin map.

If the base curve has genus zero, this is essentially the same as the usual definition of a Lax representation. Recall that the Hitchin map on moduli spaces of meromorphic Higgs bundles was shown to be proper in [START_REF] Nitsure | Moduli of semistable pairs on a curve[END_REF], and these moduli spaces were shown to be integrable systems in a Poisson sense in [START_REF] Bottacin | Symplectic geometry on moduli spaces of stable pairs[END_REF][START_REF] Markman | Spectral curves and integrable systems[END_REF]. It is this modular interpretation of integrable systems, as moduli spaces of Higgs bundles, initiated by Hitchin, that leads to the natural compactifications of the fibres. More generally we will consider meromorphic G-Higgs bundles and the extension allowing meromorphic Higgs fields on complex parahoric torsors. However we don't want to consider arbitrary symplectic leaves of such Poisson moduli spaces; indeed the notion of Poisson integrable system does not imply every symplectic leaf is an integrable system in the sense of Defn. 1. Rather we will consider a special class of symplectic leaves that we will call "good" (see later below). A key point is that many abstract integrable systems have more than one representation. This is essentially the story of different Lax pairs in the integrable systems literature. We view it as analogous to the fact that abstract Lie groups often have many faithful linear representations.

Two classes of examples of integrable systems are as follows (see e.g. the survey [START_REF] Donagi | Spectral covers, algebraically integrable Hamiltonian systems and moduli of bundles[END_REF] for more background).

1.1. Rational matrices. Many classical examples of integrable systems fit into the framework of isospectral deformations of rational matrices. Suppose A(z) is an n × n matrix of rational functions on the Riemann sphere. Then we can consider the coefficients of its characteristic polynomial χ = det(A(z) -λ) and this leads to the definition of the spectral curve. One obtains symplectic varieties by considering rational matrices with the same orbits of principal parts [START_REF] Adams | Dual moment maps into loop algebras[END_REF] M * = {Φ = A(z)dz orbits of polar parts fixed}/GL n (C)

and for many such varieties the functions χ give an integrable system. Jacobi's work on the geodesic flow on an ellipsoid fits into this set-up (see e.g. the exposition in [START_REF] Donagi | Spectral covers, algebraically integrable Hamiltonian systems and moduli of bundles[END_REF]), and another early example is due to Garnier [START_REF]Sur une classe de systèmes différentiels Abéliens déduits de la théorie des équations linéaires[END_REF]. In these examples the spectral curve is a ramified covering of the Riemann sphere. See also [START_REF] Adams | Isospectral Hamiltonian flows in finite and infinite dimensions, I. Generalised Moser systems and moment maps into loop algebras[END_REF][START_REF] Adler | Completely integrable systems, Euclidean Lie algebras, and curves[END_REF][START_REF] Beauville | Jacobiennes des courbes spectrales et systémes Hamiltoniens completement intégrables[END_REF] for example.

More explicitly consider the group G k := GL n (C[z]/z k ) and its Lie algebra g k . Then using the trace pairing one can naturally view coadjoint orbits O ⊂ g * k as principal parts at 0 of such matrices A(z)dz. Repeating at each pole yields the identification

M * ∼ = O 1 × • • • × O m / /GL n (C)
of M * with the symplectic quotient of the product of such orbits by the constant group GL n (C), as in [START_REF]Symplectic manifolds and isomonodromic deformations[END_REF] §2. In particular this gives M * a complex symplectic structure. 1.2. Hitchin systems. Given a Riemann surface Σ of genus g ≥ 2, let G = GL n (C), and consider the moduli space of stable rank n vector bundles Bun G (or more generally principal G-bundles for other complex reductive groups), and its cotangent bundle T * Bun G . Explicitly this is the space of pairs (V, Φ) where V is a stable vector bundle and Φ ∈ H 0 (Σ, End(V )⊗Ω1 ) represents a cotangent vector to Bun G at V (noting that the tangent space at V is H 1 (Σ, End(V ))). More generally one can define a "Higgs field" on any vector bundle V to be an element Φ ∈ H 0 (Σ, End(V ) ⊗ Ω 1 ), and then there is a stability condition for the pair (V, Φ), which is weaker than the condition for V to be stable. This leads to a partial compactification of T * Bun G , the moduli space M Dol of stable Higgs bundles, whose points are isomorphism classes of stable pairs (V, Φ) (or S-equivalence classes of semistable pairs) 1 . This Higgs bundle moduli space is an integrable system, essentially taking the characteristic polynomial of Φ, and its generalisation for other G (see [START_REF]Stable bundles and integrable systems[END_REF]).

(2)

T * Bun G = {(V, Φ) V stable}/isomorphism M Dol = {(V, Φ) (poly)stable pair}/isomorphism   χ H 1.
3. Nonabelian Hodge theory. In a different paper the same year [START_REF] Hitchin | The self-duality equations on a Riemann surface[END_REF], Hitchin also showed that the Higgs bundle moduli space had another beautiful property, that of being hyperkähler. See [START_REF]Hyper-Kähler manifolds[END_REF] for a gentle introduction and many examples. In brief this means the underlying manifold has a very special type of Riemannian metric with holonomy in the compact symplectic group, lying in the intersection of all the big classes of special holonomy groups on Berger's list:

G 2 SU( n 2 )
Spin( 7)

Sp( n 4 ) U( n 2 ) SO(n) n = 7 n = 8

Hyperkähler

Ricci flat Calabi-Yau

Quaternionic Kähler Kähler

Spin [START_REF] Baraglia | Complete integrability of the parahoric Hitchin system[END_REF] Sp( n 4 )Sp( 1)

n = 16
Hitchin established this by considering the differential-geometric moduli space of solutions of a certain system of nonlinear PDEs, the "self-duality equations on a Riemann surface", now called the Hitchin equations. This moduli space naturally has a hyperkähler structure since it appears as the hyperkähler reduction of an infinite dimensional hyperkähler vector space; indeed the Hitchin equations are the moment map for the action of the gauge group, and so the set of gauge orbits of solutions is the hyperkähler reduction. As explained in [START_REF] Hitchin | The self-duality equations on a Riemann surface[END_REF] §1, these self-duality equations themselves are a dimensional reduction of the anti-self dual Yang-Mills/instanton equations in dimension four, which can be viewed as the origin of their hyperkähler nature.

Then in [START_REF] Hitchin | The self-duality equations on a Riemann surface[END_REF], and more generally by Simpson [START_REF]Higgs bundles and local systems[END_REF], a bijective correspondence between stable Higgs bundles and solutions of Hitchin equations was established. This correspondence is an instance of a general principle, interpreting stability conditions for algebro-geometric objects as the condition for existence of solutions of gaugetheoretic PDEs, the "Hitchin-Kobayashi principle". There are lots of instances of this principle; a simpler instance is the "Hitchin-Kobayashi correspondence for vector bundles on curves", i.e. the Narasimhan-Seshadri theorem [START_REF] Narasimhan | Stable and unitary vector bundles on a compact Riemann surface[END_REF] (especially Donaldson's approach [START_REF] Donaldson | A new proof of a theorem of Narasimhan and Seshadri[END_REF]), relating stable algebraic vector bundles to unitary connections with constant central curvature (this curvature condition amounts to a nonlinear PDE, generalising the condition of being flat in the degree zero case). Nowadays this result is subsumed as a special case of the Hitchin-Kobayashi correspondence for Higgs bundles, i.e. the case when the Higgs field is zero. This correspondence leads to a new perspective: hyperkähler manifolds come equipped with a two-sphere of complex structures, and in the case of M, this sphere is partitioned into three subsets: one point consisting of the Higgs bundle complex structure M Dol , its complex conjugate, and the remaining C * of complex structures, all isomorphic to the moduli space M DR of stable algebraic connections on vector bundles on Σ.

M Dol ∼ = M = {solutions of Hitchin's equations}/isom.
The proof of this statement amounts to establishing a different instance of the Hitchin-Kobayashi principle, this time for algebraic connections on vector bundles. Namely the stability condition on an algebraic connection turns out to be the condition for the existence of a twisted harmonic metric or "harmonic bundle". In turn the nonlinear equations for a harmonic bundle are just another way to write out Hitchin's equations. This is due to Donaldson [START_REF]Twisted harmonic maps and the self-duality equations[END_REF] (written as a companion to [START_REF] Hitchin | The self-duality equations on a Riemann surface[END_REF]) and more generally Corlette [START_REF] Corlette | Flat G-bundles with canonical metrics[END_REF] (see also [START_REF] Diederich | Harmonic mappings and disc bundles over compact Kähler manifolds[END_REF] for the case of SL 2 (R)).

M DR ∼ = M = {solutions of Hitchin's equations}/isom. Of course on a smooth compact complex algebraic curve the algebraic connections are the same as the holomorphic connections, and in turn to the complex flat C ∞ connections, which are classified by their monodromy representations. This gives a third natural algebraic structure on M as the character variety, or Betti moduli space:

M DR ∼ = M B = Hom irr (π 1 (Σ), G)/G
Riemann-Hilbert correspondence for irreducible algebraic connections on Σ Note this does not change the complex structure, only the algebraic structure: the Riemann-Hilbert correspondence is a complex analytic isomorphism between two non-isomorphic non-compact algebraic varieties. This third viewpoint gives the simplest description of the differentiable manifold underlying M:

(3) Hom(π 1 (Σ), G)/G ∼ = {A 1 , B 1 , . . . , A g , B g ∈ G [A 1 , B 1 ] • • • [A g , B g ] = 1}/G
where [a, b] = aba -1 b -1 , g is the genus of Σ and G acts by conjugation, and ρ ∈ Hom(π 1 (Σ), G) is irreducible if its image fixes no nontrivial proper subspace of C n .

Thus in summary there is a rich picture of a space with three natural algebraic structures, where the three maps on the right are isomorphisms.

M

The terminology Dolbeault, De Rham, Betti for these algebraic varieties comes from the viewpoint of nonabelian cohomology, and these spaces are three realisations of (the coarse moduli space underlying) the first cohomology H 1 (Σ, G) with G coefficients. See Simpson [START_REF]Higgs bundles and local systems[END_REF][START_REF]Moduli of representations of the fundamental group of a smooth projective variety, I, II[END_REF][START_REF]The Hodge filtration on nonabelian cohomology, Algebraic geometry-Santa Cruz[END_REF] for more on this motivic viewpoint and for a general construction of the algebraic moduli spaces. The resulting comparison isomorphism If written explicitly in local coordinates this amounts to a system of nonlinear differential equations. If dim(B) = 1 it amounts to a line field on M transverse to the fibres. Integrating this connection gives a natural analytic way to identify fibres M DR (Σ a ) ∼ = M DR (Σ b ), for any path in B from a to b. The same identification can be obtained via the Riemann-Hilbert correspondence, passing to the Betti spaces, and then identifying them by dragging loops around, and keeping the monodromy representation constant-leading to the familiar mapping class group actions on the character varieties. This fits together Simpson's viewpoint on nonabelian Gauss-Manin connections and the more classical viewpoint of isomonodromic (monodromy preserving) deformations of linear connections (as explained in a more leisurely way in [START_REF]Symplectic manifolds and isomonodromic deformations[END_REF]). We will see more examples of this below, and discuss how it generalises to the case of meromorphic connections, leading to the notion of wild Riemann surfaces and wild mapping class groups.

M Dol ∼ = M DR
The upshot is that the nonabelian Hodge package encodes two types of nonlinear differential equations: the integrable systems and the isomonodromy systems. Both of these types of differential equations have a Lax problem: 1) to find a rational matrix (or more generally a Higgs bundle) whose isospectral deformations are controlled by the given nonlinear equation, or 2) to find a linear differential system/connection whose isomonodromic deformations are controlled by the given nonlinear equation. And in many cases there is more than one distinct Lax representation of the nonlinear equation (typically an infinite number-see e.g. [START_REF]Simply-laced isomonodromy systems[END_REF] §11.3).

Thus it makes sense to try to classify the "representations" of the whole nonabelian Hodge package, and not just the Higgs bundle or connection moduli space.

1.5. Extending the nonabelian Hodge package. Of course to really fit all this together we need to see that the classical integrable systems on the spaces M * of rational matrices can indeed be viewed on the same footing as the sophisticated nonabelian Hodge set-up.

An n × n rational matrix A(z) (representing a point of M * ) yields a matrix A(z)dz of meromorphic one-forms. We can perfectly well view this as a meromorphic Higgs field on the trivial rank n vector bundle on P 1 . We will write M * = M * Dol when we think of it in this way. Similarly A determines a meromorphic connection d -A(z)dz on the trivial rank n vector bundle on P 1 . We will write M * = M * DR when we think of it in this way. Thus we have lots of holomorphic symplectic moduli spaces of connections and Higgs bundles with arbitrary order poles.

Thus we can naively ask if there are extensions: 1) of the Riemann-Hilbert correspondence to include M * DR , or 2) of nonabelian Hodge yielding

M * Dol ∼ = M *
DR . The answer is no, for several reasons. We will sketch what can be done however, and how to adjust the question (see [START_REF]Hyperkähler manifolds and nonabelian Hodge theory of (irregular) curves[END_REF] for a more detailed review). The first issue is that it is too stringent to insist the underlying vector bundle is holomorphically trivial, even in the case of P 1 , when such bundles are generic amongst topologically trivial bundles. Rather one should just fix the topological type.

Let Σ be a compact Riemann surface and a = {a i } ⊂ Σ a finite set of marked points. Fix integers n (the rank) and k i ∈ Z ≥1 for each marked point, and let D = k i (a i ) be the resulting positive divisor. Nitsure [START_REF] Nitsure | Moduli of semistable pairs on a curve[END_REF] constructs algebraically a moduli space M Dol of meromorphic Higgs bundles with poles on D, and shows the corresponding Hitchin map is proper. Similarly moduli spaces of meromorphic connections may be constructed ( [START_REF]Moduli of semistable logarithmic connections[END_REF], if each k i = 1, and one may use [START_REF]Moduli of representations of the fundamental group of a smooth projective variety, I, II[END_REF] in general). A Poisson structure on M Dol was constructed in [START_REF] Bottacin | Symplectic geometry on moduli spaces of stable pairs[END_REF][START_REF] Markman | Spectral curves and integrable systems[END_REF], showing it is an integrable system in a Poisson sense. The symplectic leaves M Dol (O) ⊂ M Dol are obtained by fixing the G k orbits O i at each pole, as in the case of M * . In the case Σ = P 1 we get a map M * Dol → M Dol (O) onto a Zariski open subset. A more reasonable question to ask is if one can extend the nonabelian Hodge correspondence to M Dol (O): are these spaces hyperkähler (becoming moduli spaces of meromorphic connections M DR (O) in another complex structure in the hyperkähler family)? Is there a Riemann-Hilbert correspondence for such connections?

In this degree of generality, for arbitrary orbits O, the answer is not known. However if we restrict the orbits a little bit, then we can proceed, as follows.

Fix a positive integer

k ≥ 1 and a coadjoint orbit O ⊂ g * k , in the dual of the Lie algebra of G k = G(C[z]/z k )
, where G = GL n . Let t ⊂ g be a fixed Cartan subalgebra (such as the diagonal matrices). As in [START_REF]Symplectic manifolds and isomonodromic deformations[END_REF] we view elements of g * k as principal parts of meromorphic connections/Higgs fields at a pole of order at most k (with local coordinate z). for some Λ ∈ g and element

Q = k-1 1 A i /z i ∈ t((z))/t[[z]].
The diagonal element Q is the "irregular type". Lets fix an irregular type Q i at each marked point a i , with pole of order k i -1 (a coordinate independent approach is possible [START_REF]Geometry and braiding of Stokes data; Fission and wild character varieties[END_REF]). Clearly not every orbit is very good, but most of them are, for example if the leading term is regular semisimple. Given an irregular type Q let H ⊂ G be its centraliser (the subgroup commuting with each coefficient A i ). Using the G k action we can (and will) assume Λ ∈ h is in the Lie algebra of H. Fix Λ i ∈ h i for each marked point a i , and let O i ⊂ g * k i be the corresponding orbit, associated to Q i , Λ i . The simplest case to state is that with each formal residue Λ i zero. Let O ′ i be the orbit associated to -Q i /2 (with Λ i = 0). Thus we have orbits O = {O i } and O ′ = {O ′ i }, and thus spaces of meromorphic connections M DR (O) and Higgs bundles M Dol (O ′ ), with fixed principal parts.

Theorem 5 ([13, 87]

). There is a moduli space M of solutions to Hitchin's equations on Σ \ a which is a hyperkähler manifold, isomorphic to M DR (O) in one complex structure and to M Dol (O ′ ) in another.

In brief [START_REF] Sabbah | Harmonic metrics and connections with irregular singularities[END_REF] establishes the Hitchin-Kobayashi correspondence for meromorphic connections, and [START_REF] Biquard | Wild non-abelian Hodge theory on curves[END_REF] constructs the moduli spaces M and establishes the Hitchin-Kobayashi correspondence for meromorphic Higgs bundles, thus establishing the wild nonabelian Hodge correspondence on curves. At the other extreme is the case when each Q i = 0, so k i = 1 and every orbit is very good. The nonabelian Hodge correspondence was extended to this tame/logarithmic case earlier by Simpson [START_REF] Simpson | Harmonic bundles on noncompact curves[END_REF]. A key subtlety here is that one needs to incorporate parabolic structures at the poles to get a complete correspondence. In particular it becomes clear that the weights appear on the same footing as the real/imaginary parts of the eigenvalues of the residues (and in turn the resulting triple is best thought of in terms of imaginary quaternions). More explicitly the parabolic weight on the Higgs side gives the real part of the eigenvalues of Λ on the connection side (for example). Simpson phrases this in terms of filtered bundles, and that leads to the notion of parahoric bundle, that works equally well with other structure groups (see [START_REF]Riemann-Hilbert for tame complex parahoric connections[END_REF]). In the notation of [START_REF]Riemann-Hilbert for tame complex parahoric connections[END_REF] the full table that Simpson found in [START_REF] Simpson | Harmonic bundles on noncompact curves[END_REF] is as follows:

Dolbeault De Rham Betti weights ∈ t R -τ θ φ = τ + θ eigenvalues ∈ t C , t C , T(C) -(φ + σ)/2 τ + σ exp(2πi(τ + σ))
The same rotation of the weights/eigenvalues (of the formal residues Λ i ) persists in the wild case [START_REF] Biquard | Wild non-abelian Hodge theory on curves[END_REF], superposed onto the change in irregular type -Q i /2 Q i already described.

For example in the De Rham column this means: a weight θ ∈ t R determines a parahoric subalgebra ℘ θ ⊂ g((z)) and we define a connection to be "θ-logahoric" if it is locally of the form Θ(z) dz z with Θ ∈ ℘ θ . In brief θ determines a grading on g((z)), and ℘ θ is the non-negative piece. For example if θ = 0 then ℘ θ = g[[z]] and so we recover the notion of logarithmic connection. More generally if the components of θ are in the interval [0, 1) this is a logarithmic connection on a parabolic vector bundle (with the residue preserving the flag in the fibre)-the elements τ, σ are then the real and imaginary parts of the eigenvalues of Λ = Θ(0). Then we look at the "very good" connections, which are locally of the form

(4) dQ + Θ(z) dz z , Θ ∈ ℘ θ ⊂ g((z)),
i.e. of the form "dQ + θ-logahoric", with θ ∈ t R , Q ∈ t((z)). Similarly for M Dol .

Remark 6. For G = GL n one can always act with the loop group to reduce to the parabolic case, but this is not true for general reductive groups. Nonetheless the above definition of θ-logahoric (from [START_REF]Riemann-Hilbert for tame complex parahoric connections[END_REF]) makes sense, and we can define the very good connections in the same way. More generally one can define a meromorphic connection on a parahoric bundle to be "good", if locally at each pole there is a cyclic cover z = t r such that the connection becomes very good after pullback. In the case of GL n such twisted/ramified connections were already considered in [START_REF] Sabbah | Harmonic metrics and connections with irregular singularities[END_REF] (see also e.g [START_REF] Bertola | Isomonodromic deformation of resonant rational connections[END_REF][START_REF] Bremer | Isomonodromic deformations of connections with singularities of parahoric formal type[END_REF][START_REF] Inaba | Moduli space of irregular singular parabolic connections of generic ramified type on a smooth projective curve[END_REF]), and the analysis in [START_REF] Biquard | Wild non-abelian Hodge theory on curves[END_REF] still works. For other groups we conjecture this is the right class of connections to look at, from the viewpoint of nonabelian Hodge theory and Riemann-Hilbert 2 . 3

1.6. Nonabelian Hodge spaces. Thus, rather than just classifying integrable systems, we could try to classify the richer geometric objects occurring in this nonabelian Hodge story. For this it is convenient to make the following definition.

Definition 7. A "nonabelian Hodge space" is a hyperkähler manifold M with three preferred algebraic structures M Dol , M DR , M B , such that M Dol is an algebraic integrable system in the sense of Definition 1, and is a symplectic leaf of a meromorphic Hitchin system.

In the first instance we will focus on the complete nonabelian Hodge spaces, i.e. those whose hyperkähler metric is complete (see [START_REF] Biquard | Wild non-abelian Hodge theory on curves[END_REF] for sufficient conditions to ensure this). More generally we will allow M to have certain (orbifold) singularities (as occur even for stable G-Higgs bundles, once we move away from GL n (C)). From the preceding discussion (and existing results on the irregular Riemann-Hilbert correspondence [START_REF] Sibuya | Stokes phenomena[END_REF][START_REF] Malgrange | Remarques sur les équations différentielles à points singuliers irréguliers[END_REF]43,[START_REF] Jurkat | Meromorphe Differentialgleichungen[END_REF][START_REF] Babbitt | Local moduli for meromorphic differential equations[END_REF][START_REF]Équations différentielles à coefficients polynomiaux[END_REF][START_REF] Martinet | Elementary acceleration and multisummability[END_REF][START_REF] Loday-Richaud | Stokes phenomenon, multisummability and differential Galois groups[END_REF][START_REF] Deligne | Singularités irrégulières, Documents Mathématiques[END_REF]) we know there are lots of examples of interest. As usual by hyperkähler rotation the integrable system on M Dol yields a special Lagrangian fibration on M DR ∼ = M B .

Remark 8. Note that here we are tacitly restricting to connections/gauge theory/Higgs bundles on Riemann surfaces/smooth complex algebraic curves. Our viewpoint on wild nonabelian Hodge theory is to use it to produce new moduli spaces as output, and then study them and the nonlinear differential equations that live on them. Note that lots of work has been done recently, with quite different motivation, to extend the nonabelian Hodge correspondence to higher dimensional varieties (cf. [START_REF] Corlette | Flat G-bundles with canonical metrics[END_REF][START_REF]Higgs bundles and local systems[END_REF] in the compact case, [START_REF] Biquard | Fibrés de Higgs et connexions intégrables: le cas logarithmique (diviseur lisse)[END_REF][START_REF] Jost | Harmonic maps of infinite energy and rigidity results for representations of fundamental groups of quasiprojective varieties[END_REF][START_REF] Mochizuki | Kobayashi-Hitchin correspondence for tame harmonic bundles and an application[END_REF] in the noncompact case with tame singularities, and [START_REF]Wild harmonic bundles and wild pure twistor D-modules[END_REF] for the Hitchin-Kobayashi correspondence for irregular connections on quasi-projective varieties). Note that it is not at all clear if any new nonabelian Hodge spaces occur in the higher-dimensional set-up, so we leave this as a provocative open problem (motivated by [START_REF]Formalized proof, computation, and the construction problem in algebraic geometry[END_REF] p.2):

2 One can also ask: are the "good" meromorphic Higgs bundle moduli spaces exactly the ones which are integrable systems in the sense of Defn. 1? We leave this as a question rather than a conjecture as we've not looked into it. This is compatible with [START_REF] Baraglia | Complete integrability of the parahoric Hitchin system[END_REF] though, which came to light during conference (although they use a more stringent definition). 3 The terminology for parahoric bundles is similar to that for parabolic bundles: A quasi-parahoric bundle is a torsor for a parahoric group scheme G → Σ, as in [86]. Locally such a group scheme amounts to a parahoric subgroup P of a formal loop group G((z)) (or a twisted loop group), as in [START_REF] Bruhat | Groupes réductifs sur un corps local[END_REF][START_REF] Pappas | Twisted loop groups and their affine flag varieties[END_REF], and so by definition such a torsor is locally isomorphic to such a subgroup. In turn a weighted parahoric subgroup of the loop group is a point of the corresponding Bruhat-Tits building, in the facette corresponding to P (see [START_REF]Riemann-Hilbert for tame complex parahoric connections[END_REF] Defn. 1 p.46). Up to conjugacy by the loop group this intrinsic definition of weight reduces to the naive notion of weight θ ∈ t R -indeed the building is built out of apartments t R . Finally a parahoric bundle is a quasi-parahoric bundle plus a choice of a weight at each point. More recent references include [START_REF] Balaji | Moduli of parahoric G-torsors on a compact Riemann surface[END_REF][START_REF] Biquard | Parabolic Higgs bundles and representations of the fundamental group of a punctured surface into a real group[END_REF][START_REF] Heinloth | Hilbert-Mumford stability on algebraic stacks and applications to G-bundles on curves[END_REF]. Problem. Find an example of a nonabelian Hodge space arising as a component of a moduli space of connections on a smooth quasi-projective variety, that is not isomorphic to one arising from a curve.

Non-perturbative symplectic manifolds

To get a feel for these spaces we will describe some of the underlying holomorphic symplectic manifolds, from the Betti perspective, which is often the most concrete description. The hyperkähler approach of [START_REF] Biquard | Wild non-abelian Hodge theory on curves[END_REF] strengthens the earlier complex symplectic construction [START_REF] Boalch | Symplectic geometry and isomonodromic deformations[END_REF][START_REF]Symplectic manifolds and isomonodromic deformations[END_REF]. Fix Σ, D and irregular types Q = {Q i } as above. Write Σ = (Σ, D, Q) for this triple, an irregular curve/wild Riemann surface. The simplest examples are when Σ = P 1 , and then we can view M * as an approximation to the full moduli space. First suppose we are in the tame case

Q i = 0, k i = 1.
The tame character varieties generalising (3) are as follows: Choose a conjugacy class C i ⊂ G for each marked point and write

C = {C i }. Then M B (Σ, C) = Hom C (π 1 (Σ • ), G)/G where Hom C (π 1 (Σ • ), G) is isomorphic to (5) {A, B, M ∈ G g × G g × C [A 1 , B 1 ] • • • [A g , B g ]M 1 • • • M m = 1}.
They fit into Deligne's Riemann-Hilbert correspondence [START_REF] Deligne | Équations différentielles à points singuliers réguliers[END_REF] (on Σ • ), and also into Simpson's tame nonabelian Hodge correspondence [START_REF] Simpson | Harmonic bundles on noncompact curves[END_REF] (upon taking the Betti weights φ zero). As described in op. cit., in general one should consider filtered local systems-the resulting character varieties will not always be affine or quasi-affine (this amounts to replacing the classes C i by weighted conjugacy classes C i from [START_REF]Riemann-Hilbert for tame complex parahoric connections[END_REF]).

The simplest nontrivial example is rank two with four marked points:

1) The Fricke-Klein-Vogt surfaces. Let G = SL 2 (C), and Σ = (P 1 , a) be the sphere with marked points a = (a 1 , . . . , a 4 ) = (0, t, 1, ∞). Let Σ • = P 1 \ a and choose regular semi-simple conjugacy classes C i ⊂ G, i = 1, . . . , 4. The full character variety Hom(π 1 (Σ • ), G)/G is a six-dimensional Poisson variety and its generic symplectic leaves are of the form

(6) (C 1 ⊛ • • • ⊛ C 4 )/ /G = {(M 1 , . . . , M 4 ) ∈ G 4 M i ∈ C i , M 1 • • • M 4 = 1}/G.
These are affine complex surfaces, given ([100] eq. ( 11), [START_REF] Fricke | Vorlesungen über die Theorie der automorphen Funktionen[END_REF] p.366, [START_REF] Magnus | Rings of Fricke characters and automorphism groups of free groups[END_REF]) by an equation of the form:

(7) xyz + x 2 + y 2 + z 2 + ax + by + cz = d
for constants a, b, c, d ∈ C determined by the eigenvalues of the C i . The quotient ( 6) is a quasi-Hamiltonian or multiplicative symplectic quotient, involving group valued moment maps as in [START_REF] Alekseev | Lie group valued moment maps[END_REF]. The corresponding additive symplectic quotient is one of the spaces M * DR : choose four coadjoint orbits

O i ⊂ g ∼ = g * . Then (8) (O 1 × • • • × O 4 )/ /G = {(A 1 , . . . , A 4 ) ∈ g 4 A i ∈ O i , A i = 0}/G which is of the form (1) with A = 3 1 A i z-a i .
Then we can take the monodromy of the connection d -Adz to get a holomorphic map ( 9)

ν a : (O 1 × • • • × O 4 )/ /G → (C 1 ⊛ • • • ⊛ C 4 )/ /G
from the additive to the multiplicative symplectic quotient (if C i = exp(2π √ -1O i ), and if none of the residual eigenvalues differ by a nonzero integer).

Theorem 9 (Hitchin [START_REF]Gauge Theory and Symplectic Geometry[END_REF]). For any choice of points a ⊂ P 1 (and generators of the fundamental group) the transcendental map ν a is a holomorphic symplectic map.

Thus we see that the Atiyah-Bott/Goldman symplectic structure on the character variety has the somewhat magical property of matching that on the additive space, for any choice of pole configuration. This property holds in much more generality, even for irregular singular connections/wild character varieties, and even when the deformation space (of curve with marked points) is generalised to an irregular curve.

If we vary the curve-with-marked-points Σ, we are really just moving t ∈ B = P 1 \ {0, 1, ∞}. Then, as in §1.4, there is an isomonodromy connection on the bundle M → B of De Rham spaces, with fibres of complex dimension two. Written explicitly this isomonodromy connection becomes a second order differential equation-in this case the Painlevé VI equation (see e.g. [START_REF]Six results on Painlevé VI[END_REF]). Thus we have a link between hyperkähler four-manifolds and Painlevé equations. The next (irregular) example corresponds to taking the Painleve II equation:

2) The Flaschka-Newell surfaces-multiplicative Eguchi-Hanson spaces.

Recall the Eguchi-Hanson space [START_REF] Eguchi | Asymptotically flat self-dual solutions to self-dual gravity[END_REF] was the first nontrivial example of a complete hyperkähler manifold, and is T * P 1 in one complex structure and an affine SL 2 (C) coadjoint orbit in its generic complex structure. Somewhat improbably, it occurs as one of the spaces M * as follows. Suppose G = SL 2 (C) and Σ = (P 1 , ∞, Q) with just one marked point, with irregular type Q = A 3 z 3 + A 2 z 2 + A 1 z, having a pole of order 3 at ∞, with A 3 regular. The resulting connections have a pole of order 4 at ∞. Fix nonzero Λ ∈ t. The corresponding space M * has complex dimension two. Indeed, if w = 1/z, the group G 4 := G(C[w]/w 4 ) of jets at z = ∞ has Lie algebra g 4 = g(C[w]/w 4 ) = {X = 3 0 X i w i X i ∈ g} and the dual of this can be identified with

g * 4 = {B = 4 1 B i dw w i B i ∈ g}
via the pairing X, B = ResTr(XB). As usual we identify dQ + Λdw/w as a point of g * 4 , and let O ⊂ g * 4 be its coadjoint orbit, a holomorphic symplectic manifold of dimension 8. This has a Hamiltonian action of G via the inclusion G ⊂ G 4 and the coadjoint action, with moment map given by the residue. Note the elements with zero residue are precisely those that extend holomorphically to the finite z-plane, and so the symplectic quotient is the space M * : (10)

M * ∼ = O/ /G.
This has dimension 8 -2 dim(G) = 2.

Lemma 10 ([22] ex.3, [START_REF]Irregular connections and Kac-Moody root systems[END_REF] Apx. C, [START_REF] Hiroe | Moduli spaces of meromorphic connections and quiver varieties[END_REF]). M * is isomorphic to the Eguchi-Hanson space in its generic complex structure as a complex symplectic manifold.

The theory of Stokes data, properly interpreted, then gives us a complex surface M B , the wild character variety, and a holomorphic map ν Q : M * → M B , generalising the maps taking the monodromy representation in the tame case. The space M B can be equipped with a holomorphic symplectic structure, such that one again has the analogous magical property. In this example it is thus the multiplicative analogue of the Eguchi-Hanson space. The underlying algebraic surface M B was written down by Flaschka-Newell [START_REF] Flaschka | Monodromy-and spectrum-preserving deformations I[END_REF] (3.24) (in fact using a different Lax pair for Painlevé II) as the affine surface [START_REF] Bertola | Isomonodromic deformation of resonant rational connections[END_REF] xyz

+ x + y + z = d for a constant d ∈ C.
To explain the extension of Thm. 9 we need to discuss more the notion of irregular curve generalising the underlying curve with marked points in the tame case above. Indeed in this example the underlying curve with marked point (P 1 , ∞) has no moduli, but the irregular curve (P 1 , (∞, Q)) lives in a one-dimensional moduli space: There are 3 parameters in Q, but we can act with the 2 dimensional group of Mobius transformations fixing ∞, leaving one parameter, an irregular analogue of the crossratio of the four points in the tame case. On the other hand the constant d in [START_REF] Bertola | Isomonodromic deformation of resonant rational connections[END_REF] is determined by the parameter Λ (the exponent of formal monodromy), similarly to the constants a, b, c, d in the tame case. The analogue of Thm 9, will thus arise when we keep Λ, d fixed, and allow Q to vary: This holds quite generally and thus we have a larger class of symplectic manifolds with similar magical properties to the tame case (they are the symplectic manifolds in the title of [START_REF]Symplectic manifolds and isomonodromic deformations[END_REF]-the name "wild character variety" is more recent).

New quasi-Hamiltonian spaces

In the tame case (9) we had a map ν a :

O 1 × • • • × O 4 / /G → C 1 ⊛ • • • ⊛ C 4 / /G
so the Betti spaces clearly looked like a multiplicative version of the additive side. A similar picture holds in the irregular case, for example involving the multiplicative analogue of the symplectic description M * ∼ = O/ /G in [START_REF] Beauville | Jacobiennes des courbes spectrales et systémes Hamiltoniens completement intégrables[END_REF]. Thus we will here describe some simple spaces of Stokes data and refer to the literature for more general examples. See [START_REF]Poisson varieties from Riemann surfaces[END_REF] or [START_REF]Studies Pure Math., Representation theory, Special Functions and Painlevé Equations[END_REF] for a more comprehensive review. In particular, as noted in [START_REF]Symplectic manifolds and isomonodromic deformations[END_REF], a theorem of Vergne [START_REF] Vergne | La structure de Poisson sur l'algèbre symétrique d'une algèbre de Lie nilpotente[END_REF] implies O B has global Darboux coordinates, which leads to the fact that M * does not change under deformations of Q (more precisely under "admissible" deformations, defined in [START_REF]Geometry and braiding of Stokes data; Fission and wild character varieties[END_REF]). Now in the multiplicative case we will describe three spaces A, B, C which are the multiplicative analogues of the spaces O, O B , O respectively. A key point is that: C is not a conjugacy class of G k if k > 1. They have quasi-Hamiltonian actions of G × H, H, G respectively, and M B will have three descriptions:

M B ∼ = C/ /G ∼ = B / / q H ∼ = G \ \ A / / q H
where q = exp(2πiΛ) ∈ H, analogous to

M * ∼ = O/ /G ∼ = O B / / Λ H ∼ = G \ \ O / / Λ H.
The first step is: Theorem 13 ( [START_REF]Quasi-Hamiltonian geometry of meromorphic connections[END_REF]). Suppose Q = r 1 A i /z i has regular semisimple leading term A r , where r = k -1. Let U ± be the unipotent radicals of a pair of opposite Borels B ± ⊂ G. Then the "fission space"

A = A(Q) = G × (U + × U -) r × H is an algebraic quasi-Hamiltonian G × H space. For example if G = GL 2 or SL 2 U + = 1 * 0 1 , U -= 1 0 * 1 , H = * 0 0 * ⊂ G.
In fact [START_REF]Quasi-Hamiltonian geometry of meromorphic connections[END_REF] proves this for arbitrary complex reductive groups G. The space A is denoted C/L in [START_REF]Quasi-Hamiltonian geometry of meromorphic connections[END_REF] Rmk 4 p.6. The simplest fully nonabelian extension (with B ± replaced by arbitrary opposite parabolics, and H by their common Levi subgroup) appears in [START_REF]Through the analytic halo: Fission via irregular singularities[END_REF]. More generally see [START_REF]Geometry and braiding of Stokes data; Fission and wild character varieties[END_REF] Thm 7.6 for the fission spaces A(Q) for arbitrary irregular types Q, and [START_REF] Boalch | Twisted wild character varieties[END_REF] for the twisted case.

The spaces B = A/ /G and C = A/ / q H follow from this. For example

B = {(S, h) ∈ (U + × U -) r × H hS 2r • • • S 2 S 1 = 1}
which is a quasi-Hamiltonian H-space with moment map h -1 . Here S = (S 1 , . . . , S 2r ) with S odd/even ∈ U +/-respectively.

For example it is now a simple exercise, in the case r = 3, G = SL 2 (C) ⊃ H ∼ = C * , to compute the quotient M B = B/ / q H and obtain the Flaschka-Newell surface.

The map ν Q of Thm. 11 now goes from O/ /G to C/ /G, and similarly for any number of poles on P 1 , with

O i = O i (Q i , Λ i ) and C i = C i (Q i , Λ i ): ν a,Q : (O 1 × • • • × O m ) / /G → (C 1 ⊛ • • • ⊛ C m ) / /G.
The wild character varieties of any irregular curve Σ = (Σ, D, Q) are similar:

M B (Σ, Λ) ∼ = (D ⊛g ⊛ C 1 ⊛ • • • ⊛ C m ) / /G
where g is the genus of Σ and D = G 2 (which is a quasi-Hamiltonian G-space with moment map aba -1 b -1 ). For generic elements Λ i the spaces M B (Σ, Λ) are smooth symplectic algebraic varieties and a formula for their dimension is in [START_REF]Geometry and braiding of Stokes data; Fission and wild character varieties[END_REF] Rmk. 9.12. A more intrinsic approach, involving the space of Stokes representations Hom S (Π, G), generalising the familiar space of fundamental group representations, appears in [START_REF]Geometry and braiding of Stokes data; Fission and wild character varieties[END_REF] and is reviewed in [START_REF]Poisson varieties from Riemann surfaces[END_REF].

The theory of irregular isomonodromy [START_REF] Garnier | Sur des équations ... et sur une classe d'équations nouvelles d'ordre supérieur dont l'intégrale générale a ses points critiques fixes[END_REF][START_REF] Flaschka | Monodromy-and spectrum-preserving deformations I[END_REF][START_REF] Jimbo | Monodromy preserving deformations of linear differential equations with rational coefficients I[END_REF] lies behind this notion of irregular curve/wild Riemann surface (showing that the irregular type is on the same footing as the moduli of the curve), although the recent extensions [START_REF]Simply-laced isomonodromy systems[END_REF][START_REF]Geometry and braiding of Stokes data; Fission and wild character varieties[END_REF] go beyond the classical theory by allowing arbitrary irregular types (e.g. the leading coefficient may have repeated eigenvalues). The underlying idea is justified by the following.

Theorem 14 ([16, 19, 28]). Suppose Σ → B is an admissible family of irregular curves over a base B. Then the corresponding bundle of wild character varieties M → B is a local system of Poisson varieties. In particular it carries a natural complete flat Poisson Ehresmann connection (the irregular isomonodromy connection).

In particular this implies the fundamental group of B acts on the the fibres M B (Σ, Λ) by algebraic Poisson automorphisms. For example many G-braid group actions occur this way [START_REF]isomonodromy and quantum Weyl groups[END_REF]. Considering all such families leads to the moduli stack of admissible deformations of a given wild Riemann surface, and in turn to the wild mapping class group action on the wild character varieties.

More examples

Thus the aim is to construct a large table of nonabelian Hodge spaces and find which are isomorphic (or isogenous, deformations of each other, etc). The first step can be initiated by glancing at papers/books on integrable systems or isomonodromy, and might begin as follows: The first row includes the Miščenko-Fomenko "shift of argument" integrable systems [START_REF] Miščenko | The integration of Euler equations on a semisimple Lie algebra[END_REF] (for a recent review see [START_REF] Bolsinov | Argument shift method and sectional operators: applications to differential geometry[END_REF][START_REF] Feigin | Gaudin models with irregular singularities[END_REF]). For B regular semsimple the corresponding isomonodromy systems fit into the class considered by Jimbo-Miwa-Môri-Sato [START_REF] Jimbo | Density matrix of an impenetrable Bose gas and the fifth Painlevé transcendant[END_REF]. The corresponding (framed) wild character varieties are the standard dual Poisson Lie groups G * (the Poisson varieties underlying the Drinfeld-Jimbo quantum groups)see [START_REF]Poisson Lie groups and Frobenius manifolds[END_REF]. Thus even simple wild character varieties seem important. The underlying unframed/hyperkähler spaces are L/ / q T for symplectic leaves L ⊂ G * . In this case the wild mapping class group coincides with the so-called quantum Weyl group [START_REF]isomonodromy and quantum Weyl groups[END_REF].

The next row is the tame case on P 1 : the isomonodromy system is due to Schlesinger [START_REF] Schlesinger | Sur quelques problèmes paramétriques de la théorie des équations différentielles linéaires[END_REF] and this led to the corresponding integrable system [START_REF]Sur une classe de systèmes différentiels Abéliens déduits de la théorie des équations linéaires[END_REF]. The character varieties are the tame genus zero ones discussed above. The next row is the case of this with sl 2 and four poles, related to Painlevé VI and the Fricke-Klein-Vogt surfaces.

It turns out the first two rows are isomorphic, for general linear groups: For the integrable systems see [START_REF] Adams | Dual moment maps into loop algebras[END_REF], for the isomonodromy systems this is Harnad's duality [START_REF] Harnad | Dual isomonodromic deformations and moment maps to loop algebras[END_REF], for the character varieties this follows from work on the Fourier-Laplace transform [START_REF] Balser | On the reduction of connection problems for differential equations with an irregular singularity to ones with only regular singularities, I[END_REF][START_REF]Équations différentielles à coefficients polynomiaux[END_REF] (summarised in [START_REF]Global Weyl groups and a new theory of multiplicative quiver varieties[END_REF] §2), and for the full hyperkähler metric one can upgrade this to a Nahm transform [START_REF] Szabó | Nahm transform for integrable connections on the Riemann sphere[END_REF][START_REF]The Plancherel theorem for Fourier-Laplace-Nahm transform for connections on the projective line[END_REF]. Their full structures as "nonabelian Hodge spaces" really are isomorphic. For example we can take the Fricke-Klein-Vogt surface and ask how it arises explicitly on the irregular side in the first row, in this case in terms of rank three bundles. This can be done-see [START_REF]From Klein to Painlevé via Fourier, Laplace and Jimbo[END_REF] for the formulae.

More generally we expect that any tame character variety of complex dimension two on the four-punctured sphere should be a Fricke-Klein-Vogt surface. To test this take G to be the simple group of type G 2 . It has dimension 14 and has a special conjugacy class C ⊂ G of dimension 6 (a complex analogue of the 6-sphere). Then if we take C ∞ ⊂ G to be a generic class the character variety 4.1. H3 surfaces. More generally we expect all the cases of complex dimension two are as follows (from the theory of Painlevé equations, and its extension by Sakai [START_REF] Sakai | Rational surfaces associated with affine root systems and geometry of the Painlevé equations[END_REF] related to connections on curves and thus hyperkähler manifolds in [START_REF]Quivers and difference Painlevé equations, Groups and symmetries: From the Neolithic Scots to John McKay[END_REF]). They are complete hyperkähler four-manifolds, so are noncompact analogues of the K3 surfaces. We call them H3 surfaces in honour of Higgs, Hitchin and Hodge. The minimal (or "standard") representations of these nonabelian Hodge spaces are as follows: All these are over the Riemann sphere; Rank means the rank of the vector bundles and Pole orders means the orders of the poles of the connections/Higgs fields. The tildes ( ) on the pole order indicate a twisted irregular type (which here means having a nilpotent leading coefficient). The standard representations of the first four cases are thus tame, and the other spaces have no known tame representations. The cases E 8 , E 7 require the residues to be in special adjoint orbits, determined by the affine Dynkin diagram (see [START_REF]Quivers and difference Painlevé equations, Groups and symmetries: From the Neolithic Scots to John McKay[END_REF]). More details/references are in [START_REF]Hyperkähler manifolds and nonabelian Hodge theory of (irregular) curves[END_REF] §3.2.

Space E 8 E 7 E 6 D 4 A 3 = D 3 D 2 D 1 D 0 A 2 A 1 A 0 Rank 6 4 3
In each case the label indicates that the open part M * is diffeomorphic to the corresponding ALE or ALF hyperkähler four-manifold, from [START_REF] Kronheimer | The construction of ALE spaces as hyper-Kähler quotients[END_REF][START_REF] Hawking | Gravitational instantons[END_REF][START_REF] Cherkis | Gravitational instantons of type D k[END_REF][START_REF] Atiyah | The geometry and dynamics of magnetic monopoles[END_REF][START_REF] Dancer | Nahm's equations and hyper-Kähler geometry[END_REF][START_REF] Houghton | New hyper-Kähler manifolds by fixing monopoles[END_REF]. E.g. M * is the Eguchi-Hanson space for Painlevé II/ A 1 (as above), or C 2 for A 0 , or the Atiyah-Hitchin manifold for D 0 . For the most part this matches the affine Weyl symmetry group of the Painlevé equation found by Okamoto [START_REF] Okamoto | The Painlevé equations and the Dynkin diagrams, Painlevé transcendents[END_REF], but this viewpoint leads to a better understanding, since we can now generalise to higher dimensions. (It is not clear how to generalise the "perpendicular" labelling preferred in [START_REF] Okamoto | The Painlevé equations and the Dynkin diagrams, Painlevé transcendents[END_REF][START_REF] Sakai | Rational surfaces associated with affine root systems and geometry of the Painlevé equations[END_REF].) 4.2. Quiver varieties. The higher dimensional analogue of Kronheimer's construction [START_REF] Kronheimer | The construction of ALE spaces as hyper-Kähler quotients[END_REF] of the ALE spaces are the additive/Nakajima quiver varieties [START_REF] Nakajima | Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras[END_REF], and we can ask if some of them occur amongst the additive spaces M * , generalising the special affine Dynkin graphs occuring in the H3 story, and the stars in [START_REF] Crawley-Boevey | On matrices in prescribed conjugacy classes with no common invariant subspace and sum zero[END_REF]. This is true and yields a theory of "Dynkin diagrams" for some of the nonabelian Hodge spaces. In brief the quiver varieties arise (symplectically) as follows. Given any graph Γ with nodes I, and an I-graded vector space V , there is a vector space Rep(Γ, V ) of representations of Γ on V (we view Γ as a doubled quiver-each edge denotes two oppositely oriented quiver edges). This is a Hamiltonian H-space where H = I GL(V i ). Performing the symplectic reduction (at a central value λ of the moment map) yields the quiver variety Rep(Γ, V )/ / λ H. Now suppose G = GL n and we have an irregular curve Σ = (P 1 , ∞, Q). Let C n = I V i be the eigenspaces of Q, with eigenvalue q i ∈ zC[z] on V i , so H = GL(V i ) is the centraliser of Q and M * ∼ = O B / / Λ H as above. Let Γ(Q) be the "fission graph", with nodes I and deg(q i -q j ) -1 edges between i, j ∈ I (it was defined in an equivalent way, involving splaying/fission, in [START_REF]Irregular connections and Kac-Moody root systems[END_REF] Apx. C).

Theorem 16 ([23, 58]). The orbit O B is isomorphic to Rep(Γ(Q), V ) as a Hamiltonian H-space, and consequently M * is a Nakajima quiver variety.

The reduction by H at Λ corresponds to gluing a leg (type A Dynkin graph) onto each node of Γ(Q) to obtain a larger graph Γ(Q)-we call such graphs "supernova graphs" as they generalise the stars (cf. [START_REF]Simply-laced isomonodromy systems[END_REF] Defn 9.1). More generally one can add some simple poles and still obtain that M * is a quiver variety (as in [START_REF]Irregular connections and Kac-Moody root systems[END_REF]), giving more "modular" interpretations of certain Nakajima quiver varieties (as moduli spaces of connections), making contact with [START_REF] Crawley-Boevey | On matrices in prescribed conjugacy classes with no common invariant subspace and sum zero[END_REF] in the tame case. E.g. from this we can define spaces that should be the Hilbert schemes of the H3 surfaces ( [START_REF]Irregular connections and Kac-Moody root systems[END_REF] p.12, [27] §11.4).

In the simply-laced case the fission graphs are exactly the complete k-partite graphs, determined by integer partitions with k parts (see [START_REF]Irregular connections and Kac-Moody root systems[END_REF]). Each such graph can be "read" in terms of connections in k + 1 different ways, giving isomorphic moduli spaces (both the open parts [START_REF]Irregular connections and Kac-Moody root systems[END_REF][START_REF]Simply-laced isomonodromy systems[END_REF] and the full spaces [START_REF]Global Weyl groups and a new theory of multiplicative quiver varieties[END_REF]). This leads to the Kac-Moody Weyl group of the supernova graph (the "global Weyl group" of the corresponding irregular curve), and [START_REF]Simply-laced isomonodromy systems[END_REF] shows how it acts to give isomorphisms between the isomonodromy systems (generalising Harnad's duality), and between the integrable systems. In turn considering the corresponding wild character varieties yields a new theory of multiplicative quiver varieties [START_REF]Global Weyl groups and a new theory of multiplicative quiver varieties[END_REF][START_REF]Studies Pure Math., Representation theory, Special Functions and Painlevé Equations[END_REF]-we really can attach the whole nonabelian Hodge space to the graph.

Hitchin-

  Kobayashi correspondence for connections, due to Corlette and Donaldson.

1 . 4 .

 14 is (thus) called the nonabelian Hodge correspondence. Note that it is the composition of two different Hitchin-Kobayashi correspondences (proved by different people). The other comparison isomorphism M DR ∼ = M B is Riemann-Hilbert, and is used to define the isomorphism M ∼ = M B in the big diagram above. Isomonodromy and nonabelian Gauss-Manin connections. The Higgs bundle moduli spaces M Dol have natural flows on them-the Hamiltonian flows of the integrable systems: Each component of the Hitchin map is a function on the holomorphic symplectic manifold M Dol , and so has an associated Hamiltonian vector field (when written in local coordinates these amount to differential equations)-the corresponding flow is a "straight line flow" in each of the abelian fibres. On the other hand the moduli spaces of connections M DR are the arena for a different family of flows. More precisely if we have a smooth family of compact Riemann surfaces Σ → B over a base B, with fibres Σ b for b ∈ B, then we can consider the corresponding family of moduli spaces of connections M → B whose fibre over b ∈ B is M DR (Σ b ). The flows are on the total space M: Theorem 3 ([93]). The fibre bundle M → B has a natural complete flat (algebraic) Ehresmann connection on it, the nonabelian Gauss-Manin connection.

Definition 4 .

 4 An orbit O ⊂ g * k is "very good" if it contains an element of the form dQ + Λ dz z

Theorem 11 (

 11 [START_REF]Symplectic manifolds and isomonodromic deformations[END_REF] Thm 6.1). The transcendental map ν Q : O/ /G → M B taking the connections in M * ∼ = O/ /G to their Stokes data, is a symplectic map for any choice irregular type Q (and other discrete choices).

First

  we rephrase the additive side, showing how it decouples. Suppose G = GL n and O ⊂ g * k is a very good orbit, containing dQ + Λdz/z say. The orbit O may be decoupled as follows (cf. [16] §2). Let B k ⊂ G k be the kernel of the evaluation map G k ։ G. Then dQ may be viewed as a point of the dual of the Lie algebra of B k . Let O B ⊂ Lie(B k ) * be its coadjoint orbit. Let O = O B × T * G. We call this space O the "extended orbit"; it is a Hamiltonian G × H-space. It arises by allowing the formal residue Λ to vary and adding a compatible framing-the term "extended" is by analogy with the set-up of Jeffrey [65]. The orbit O arises as the reduction O/ / Λ H at the value Λ of the moment map. On the other hand G only acts on T * G and the reduction O/ /G is isomorphic to O B . For example this implies: Corollary 12 ([16]). In the set-up of (10) the space M * ∼ = O/ /G is isomorphic to the reduction O B / / Λ H of O B at the value Λ of the moment map for H.

  [START_REF] Biquard | Fibrés de Higgs et connexions intégrables: le cas logarithmique (diviseur lisse)[END_REF] (C ⊛ C ⊛ C ⊛ C ∞ )/ /G has dimension 3 • 6 + 12 -2 • 14 = 2,and our expectation holds:Theorem 15 ([START_REF] Boalch | Symmetric cubic surfaces as G 2 character varieties[END_REF]). The tame G 2 (C) character variety (12) is isomorphic to a "symmetric" Fricke-Klein-Vogt surface[START_REF] Balaji | Moduli of parahoric G-torsors on a compact Riemann surface[END_REF], with a = b = c.

Figure 1 .

 1 Figure 1. Four readings of Γ(221) = 2 • Γ(21) = 1 • Γ(22), from [23].

  Hitchin-Kobayashi correspondence for Higgs bundles, due to Hitchin and Simpson.

To simplify the presentation we will neglect to distinguish stability and polystability throughout, referring the reader to the original articles for more precision.

Acknowledgments. The link to the D 0 -D 2 ALF spaces came from discussions with Cherkis (in 2008 for D 2 , and in the question session after the author's 2012 Banff talk for D 0 , D 1 , in response to a question of Neitzke). The notion of "good" came out of discussions with Yamakawa (cf. [33]).