Basic Representations of Genus Zero Nonabelian Hodge Spaces

1. Problem Statement

The paper addresses the classification and isomorphism of genus zero nonabelian Hodge spaces (moduli spaces of meromorphic connections with irregular singularities on $\mathbb{P}^1$).

• Context: Nonabelian Hodge spaces correspond to three equivalent sides: the de Rham side (connections), the Betti side (wild character varieties), and the Dolbeault side (irregular Higgs bundles).
• The Challenge: Different wild Riemann surfaces (defined by different ranks, numbers of singularities, and pole orders) can yield isomorphic nonabelian Hodge spaces. These isomorphisms correspond to different Lax representations (linearizations) of the same underlying isomonodromic system (e.g., Painlevé equations).
• Gap: While the "simply-laced" case (irregularities of order $\le 3$) was well-understood via supernova quivers and multidualities (Boalch), a unified combinatorial framework for arbitrary irregular types (higher pole orders, twisted singularities) was missing. Specifically, existing diagrams were insufficient to reconstruct all possible representations (isomonodromy systems) for general singularity data.

2. Methodology

The author employs a combination of algebraic geometry, representation theory, and combinatorics, building upon previous work on fission trees and admissible deformations.

• Symplectic Transformations ($SL_2(\mathbb{C})$): The core mechanism is the action of $SL_2(\mathbb{C})$ on connections via the Fourier-Laplace transform and related automorphisms of the Weyl algebra. This action maps a connection to another with potentially different rank and singularity structure but preserves the underlying nonabelian Hodge space.
• Fission Trees and Forests: The paper utilizes fission trees (combinatorial objects encoding the levels and fission exponents of Stokes circles) to characterize classes of admissible deformations.
• Enriched Trees: The author introduces a new invariant, the enriched tree, which combines a "short" fission tree with conjugacy class data. This serves as a refined invariant under symplectic transformations.
• Fourier Sphere Coefficients: A key technical tool is the assignment of a "Fourier sphere coefficient" $\lambda(I) \in \mathbb{P}^1$ to each Stokes circle. The $SL_2(\mathbb{C})$ action on connections induces a homographic action on these coefficients.

3. Key Contributions

A. Definition of Weak Representations and Classes

The paper defines a weak representation of a nonabelian Hodge space $M$ as any wild Riemann surface obtainable from a minimal rank representation via basic operations (Möbius transformations, twists, and $SL_2(\mathbb{C})$ symplectic transformations).

• Classes of Representations: These are equivalence classes of weak representations under admissible deformations. The paper proves that these classes are completely characterized by pairs $(F, C)$, where $F$ is a fission forest and $C$ is a collection of conjugacy classes.

B. The Enriched Tree Invariant

The central theoretical contribution is the Enriched Tree $\mathcal{T} = (T, \mathcal{C})$.

• Structure: It consists of a short fission tree $T$ (where vertices have height $\le 2$) and conjugacy class data $\mathcal{C}$ attached to the leaves.
• Invariance: Theorem 1.4 establishes that the enriched tree is an invariant under the $SL_2(\mathbb{C})$ action. Unlike the standard diagram (which is also invariant), the enriched tree contains strictly more information, specifically a canonical partition of the core diagram's vertices.

C. Reconstruction of Representations

The main result (Theorem 1.5) states that an enriched tree with $k$ principal subtrees (vertices of height 2) canonically determines $k+1$ distinct classes of representations (one generic and $k$ nongeneric) of the same nonabelian Hodge space.

• Generic Class: Corresponds to the case where all Fourier sphere coefficients are finite.
• Nongeneric Classes: Correspond to cases where a specific Fourier sphere coefficient is mapped to $\infty$ by the $SL_2(\mathbb{C})$ action.
• Explicit Formulas: The paper provides explicit formulas for the rank and the number of singularities for each class of representation based on the geometry of the enriched tree (specifically the heights and multiplicities of leaves).

D. Generalization of Simply-Laced Case

The framework generalizes the simply-laced case (where diagrams are complete $k$-partite graphs). In the general case, the core diagram is not necessarily complete, and the enriched tree provides the necessary data to "read" the diagram in $k+1$ different ways, corresponding to the different singularity patterns in an $SL_2(\mathbb{C})$ orbit.

4. Key Results

1. Theorem 1.4: The enriched tree is a symplectic invariant for irreducible connections on $\mathbb{P}^1$.
2. Theorem 1.5: An enriched tree determines $k+1$ classes of nearby representations.
3. Theorem 1.6: Detailed characterization of the Stokes circles for each representation class:
   • In the generic class, all Stokes circles are at infinity with slope $\le 2$.
   • In the $i$-th nongeneric class, Stokes circles corresponding to a specific subset of the tree's leaves move to finite distance (becoming regular singularities), while others remain at infinity with slope $> 2$.
4. Application to Painlevé Equations: The author applies this framework to all Painlevé moduli spaces (I through VI and their degenerations).
   • For each equation, the standard rank 2 Lax representation is identified as a specific nongeneric class.
   • The framework recovers known alternative Lax representations (e.g., Flaschka-Newell for P-II, degenerate P-V for P-III) as other nongeneric classes.
   • It predicts new abstract Lax representations (often of higher rank) that were previously unknown.
   • Example: For Painlevé III, the framework reveals three readings of the diagram, recovering the standard representation and an alternative "degenerate Painlevé V" representation.

5. Significance

• Unification: It provides a unified combinatorial language (enriched trees) to describe the web of isomorphisms between different moduli spaces of connections with arbitrary irregular singularities, extending the "multiduality" picture beyond the simply-laced case.
• Lax Representations: It offers a systematic method to generate all possible Lax representations (linearizations) for a given isomonodromic system. This is crucial for integrable systems theory, as different Lax pairs can lead to different Hamiltonian formulations or symmetries.
• Painlevé Theory: The paper clarifies the relationship between various known forms of Painlevé equations (and their degenerations), showing they are merely different "readings" of the same underlying nonabelian Hodge space.
• Computational Power: By providing explicit formulas for rank and singularity counts based on tree data, it allows researchers to predict the structure of alternative representations without solving the differential equations explicitly.

In summary, Douçot's work bridges the gap between abstract nonabelian Hodge theory and explicit integrable systems by introducing the enriched tree as a powerful combinatorial invariant that fully encodes the symmetries and representation classes of genus zero wild Riemann surfaces.