---
title: Nonabelian Hodge Graphs
url: https://www.emergentmind.com/topics/nonabelian-hodge-graphs
type: topic
---

# Nonabelian Hodge Graphs

Nonabelian Hodge graphs are graph-like organizations of nonabelian Hodge theory in which vertices encode moduli spaces, stacks, irregular classes, Stokes data, or pro-algebraic fundamental groups, and edges encode correspondences such as Riemann–Hilbert, non-abelian Hodge, Fourier–Laplace, or $\mathbb{C}^\times$-equivariant morphisms. In the foundational formulation, the graph has three principal nodes—the Betti, de Rham, and Dolbeault moduli spaces—and canonical edges given by Riemann–Hilbert, Narasimhan–Seshadri, and the non-abelian Hodge correspondence, with Poisson or symplectic forms and a hyperkähler metric functioning as geometric weights [2208.05940]. Subsequent work extends the same language to moduli stacks with cohomological Hall algebra structures [2307.09920], to irregular and wild settings where graphs are extracted from Stokes circles and fission data [2509.24861, 1907.11149], to genus zero deformation theory via enriched trees and supernova graphs [2409.12864, 2410.23358], and to Hodge-theoretic anabelian constructions based on the pro-algebraic completion of the fundamental group equipped with a Simpson-induced $\mathbb{C}^\times$-action [2603.05968].

## 1. Foundational triangle of moduli spaces

For a compact Riemann surface $X$ and a complex reductive group $G$, the basic non-abelian Hodge graph has three nodes. The Betti node is the character variety
$$
M_B(X,G)=\mathrm{Hom}(\pi_1(X),G)//G,
$$
the de Rham node parametrizes flat holomorphic $G$-connections $(E,\nabla)$ modulo holomorphic gauge, and the Dolbeault node is the moduli of polystable $G$-Higgs bundles $(E,\phi)$ with vanishing Chern classes, where
$$
\phi\in H^0(X,\mathrm{End}(E)\otimes K_X),
$$
with $\bar\partial_E\phi=0$ and, on higher-dimensional Kähler manifolds, $\phi\wedge\phi=0$ [2208.05940].

These nodes carry canonical geometric structures. At a reductive representation $\rho$, the Zariski tangent space of the Betti moduli identifies with
$$
T_\rho M_B \cong H^1(\pi_1(X),\mathfrak g_{\mathrm{Ad}(\rho)}).
$$
For closed surfaces, the smooth locus of reductive representations carries Goldman’s symplectic form, induced by the cup product and an Ad-invariant trace pairing; for $G=\mathrm{SL}_2(\mathbb C)$, the Goldman bracket on trace functions is
$$
\{ \mathrm{tr}_\alpha,\mathrm{tr}_\beta\}(\rho)=\sum_{p\in \alpha\cap\beta}\epsilon(p)\,\mathrm{tr}_{\alpha\cdot_p\beta}(\rho).
$$
On the de Rham side, Atiyah–Bott reduction yields the symplectic form
$$
\omega_{AB}(a,b)=\int_\Sigma \mathrm{tr}(a\wedge b),
$$
with curvature as moment map for gauge transformations. On the Dolbeault side, the moduli space is holomorphic symplectic and, globally, hyperkähler [2208.05940].

The edges of the graph are correspondences. Riemann–Hilbert identifies $M_{dR}$ with $M_B$ as complex analytic varieties in complex dimension one, matching Goldman’s symplectic form with the reduced Atiyah–Bott form. The non-abelian Hodge correspondence, in the Hitchin–Simpson–Corlette–Donaldson theorem, gives a diffeomorphism
$$
M_{Dol}^{ps}(X,G)\cong M_{dR}^{red}(X,G)\cong M_B^{red}(X,G)
$$
for compact Kähler $X$, by solving the Hitchin–Simpson equations
$$
F_{D_h}+[\phi,\phi^{\dagger_h}]=0,\qquad \bar\partial_E\phi=0,
$$
and forming the flat connection
$$
\nabla=D_h+\phi+\phi^{\dagger_h}.
$$
Narasimhan–Seshadri appears as the unitary edge, realized by the locus $\phi=0$, where stable degree-zero bundles correspond to irreducible unitary representations [2208.05940].

The global geometry of this graph is organized by hyperkähler rotation and the twistor family. The common smooth manifold carries complex structures $I,J,K$ satisfying quaternionic relations, and Simpson’s $\lambda$-connections are expressed by
$$
\nabla(\lambda)=D_h+\lambda\phi+\lambda^{-1}\phi^{\dagger_h},
$$
with $\lambda=0$ giving the Dolbeault fiber and $\lambda=1$ the flat connection. In this sense, a nonabelian Hodge graph is not merely a diagram of equivalences; it is a hyperkähler manifold with several distinguished complex incarnations [2208.05940].

## 2. Stack-theoretic and CoHA enrichments

At the level of stacks, the nonabelian Hodge graph becomes a triangle of moduli stacks for a smooth projective complex curve $C$: the Dolbeault, Betti, and de Rham stacks $M^{Dol}(C)$, $M^{Betti}(C)$, and $M^{dR}(C)$, together with their good moduli spaces. The principal theorem in this setting gives canonical isomorphisms of Borel–Moore homology
$$
H_*^{\mathrm{BM}}(M^{Dol}(C))\cong H_*^{\mathrm{BM}}(M^{Betti}(C))\cong H_*^{\mathrm{BM}}(M^{dR}(C)),
$$
compatible with direct-sum grading, direct sum functoriality, and Jordan–Hölder maps. The Betti–de Rham comparison is obtained via derived Riemann–Hilbert, and the Dolbeault–de Rham comparison uses the Hodge–Deligne moduli stack of $\lambda$-connections [2307.09920].

Each node of this stack-level graph carries a cohomological Hall algebra. For $\sharp\in\{\mathrm{Dol},\mathrm{Betti},\mathrm{dR}\}$, one considers
$$
A^\sharp(C):=(JH^\sharp)_* DQ_{M^\sharp(C)}^{vir},
$$
with convolution product defined through the correspondence stack of short exact sequences
$$
M^\sharp\times M^\sharp \leftarrow \mathrm{Exact}^\sharp \to M^\sharp.
$$
The resulting compatibility theorem states that the pushforwards along the Riemann–Hilbert homeomorphism $\Phi$ and the nonabelian Hodge homeomorphism $\Psi$ identify these CoHA objects as algebra objects. Consequently,
$$
H^*A^{dR}(C)\cong H^*A^{Betti}(C)\cong H^*A^{Dol}(C),
$$
and the corresponding BPS algebras and BPS Lie algebras also coincide [2307.09920].

The $\lambda$-family is the mechanism that turns the graph into a relative object. The Hodge–Deligne moduli stack
$$
M^{Hod}(C)\to \mathbb A^1
$$
parametrizes $\lambda$-connections satisfying the $\lambda$-Leibniz rule, with fiber at $\lambda=0$ equal to the Dolbeault stack and fiber at $\lambda=1$ equal to the de Rham stack. The relative CoHA
$$
A^{Hod}(C):=(JH^{Hod})_*DQ_{M^{Hod}(C)}^{vir}
$$
specializes to $A^{Dol}(C)$ at $\lambda=0$ and to $A^{dR}(C)$ at $\lambda=1$, and over $\mathbb A^1\setminus\{0\}$ it is analytically trivialized by the de Rham side. This supplies a one-parameter path in the graph that is both geometric and homological [2307.09920].

The stack-theoretic formulation also clarifies the role of $2$-Calabi–Yau structures. The categories of local systems and of connections on a curve have Euler form
$$
\chi(E,F)=2(1-g)\,\mathrm{rk}(E)\,\mathrm{rk}(F),
$$
and the $2$-CY duality
$$
\mathrm{Hom}^*(E,F)\cong \mathrm{Hom}^{2-*}(F,E)^\vee
$$
underlies the symmetry and PBW phenomena in the CoHA. In genus $g\ge 2$, one obtains PBW-type descriptions and free-generator statements for the BPS structures; in genus $1$, the CoHA becomes commutative; in genus $0$, all three moduli stacks reduce to $\mathrm{pt}/GL_r$ [2307.09920].

## 3. Irregular, wild, and Stokes-theoretic graph constructions

In the wild setting, nonabelian Hodge graphs become literal combinatorial invariants extracted from irregular formal data. For a meromorphic connection on the Riemann sphere, one associates a finite diagram $\Gamma(E,\nabla)=(N,B)$, called the core nonabelian Hodge diagram, encoding the global Cartan matrix. The vertices are Stokes circles of the irregular class at $\infty$, the off-diagonal integers $B_{ij}$ are edge multiplicities, and the diagonal terms $B_{ii}$ encode twice the number of loops. The associated symmetric matrix is
$$
A_{ii}=2,\qquad A_{ij}=-B_{ij}\ \ (i\neq j).
$$
If there are no loops and no negative edges, then $A$ is a symmetric generalized Cartan matrix and the diagram is a nonabelian Hodge graph. The construction is invariant under the Fourier–Laplace transform, so one may reduce to the affine line with a single singularity at infinity [2509.24861].

Untwisted and twisted irregular types behave differently. In the untwisted case, every Stokes circle has ramification order $1$, the loop multiplicities vanish, and the off-diagonal multiplicities are nonnegative, so the core diagram is a graph. In the twisted case, loops and negative edges may appear, but twisted irregular classes can still produce genuine graphs. A basic example is the triangle with edge multiplicities $(3,4,6)$ arising from Stokes circles
$$
I=\langle z^3\rangle,\qquad J=\langle z^{4/3}\rangle,\qquad K=\langle z^{3/2}\rangle,
$$
for which all loop multiplicities vanish although the graph fails the ultrametric characterization of untwisted fission graphs [2509.24861].

A central constraint is ultrametricity. For a decorated diagram $(\Gamma,r)$ with ramification orders $r_i$, the rescaled multiplicities
$$
\widehat B_{ii}:=\frac{B_{ii}-1}{r_i^2},\qquad \widehat B_{ij}:=\frac{B_{ij}}{r_ir_j}\ \ (i\neq j)
$$
satisfy the ultrametric condition
$$
\widehat B_{ij}\le \widehat B_{ik}\le \widehat B_{jk}\ \Longrightarrow\ \widehat B_{ik}=\widehat B_{jk},
$$
together with the loop-edge inequality $\widehat B_{ii}\le \widehat B_{ij}$. In the untwisted case this becomes a characterization: a weighted graph is a fission graph if and only if every triangle is “acute isosceles,” meaning the two largest edge multiplicities coincide. The paper also proves that any simply-laced core nonabelian Hodge graph is a fission graph [2509.24861].

For nonabelian Hodge spaces on the affine line, the graph is built from a core and legs. Given a formal diagonal irregular type $Q=\mathrm{diag}(q_1,\dots,q_m)$ at $\infty$, one takes one core node for each exponential factor circle $\langle q_i\rangle$, assigns multiplicity labels $n_i$, and defines the adjacency matrix by
$$
B_{ij}=A_{ij}-r_ir_j\ \ (i\neq j),\qquad B_{ii}=A_{ii}-r_i^2+1,
$$
where $A_{ij}=\mathrm{Irr}(\mathrm{Hom}(\langle q_i\rangle,\langle q_j\rangle))$. In the untwisted case,
$$
B_{ij}=\deg(q_i-q_j)-1,\qquad B_{ii}=0.
$$
Type $A$ Dynkin legs are then attached using minimal markings of the formal monodromy conjugacy classes, and the dimension of the resulting wild character variety is read off from
$$
\dim_{\mathbb C}M = 2-(\delta,\delta),
$$
where $\delta$ is the full dimension vector and $C=2I-B$ is the Cartan matrix [1907.11149].

A complementary Betti-side construction uses embedded Stokes graphs on the real oriented blow-up of a punctured curve. Around each marked point, anti-Stokes directions determine punctures on halo circles, cilia connect these punctures to the boundary circles, and the annular sectors encode asymptotic regimes and filtration constraints. In the groupoid description, the loops $\gamma_{x,d}$ around halo punctures carry Stokes matrices $S_{x,d}\in \mathrm{Sto}_d$, the loop $\gamma_x$ carries formal monodromy, and the total local monodromy factorizes as
$$
\mu_x=\gamma_{0x}^{-1}\cdot \gamma_x\cdot \Big(\prod_{d\in\mathbb A_x}\gamma_{x,d}\Big)\cdot \gamma_{0x},
$$
with global relation
$$
\Big(\prod_{i=1}^g[\alpha_i,\beta_i]\Big)\cdot \Big(\prod_{x\in D}\gamma_{0x}^{-1}\gamma_x\Big(\prod_{d\in\mathbb A_x}\gamma_{x,d}\Big)\gamma_{0x}\Big)=id.
$$
This graph organizes filtered Stokes $G$-local systems and the quasi-Hamiltonian construction of wild Betti moduli [2404.13553].

## 4. Fission trees, supernova graphs, and genus-zero representations

For genus zero nonabelian Hodge spaces, the basic discrete object is often not a graph directly but a fission tree. A local irregular class determines level data, common parts of Stokes circles, and pairwise fission exponents; these constitute the local fission datum. Two local irregular classes are admissible deformations of each other if and only if they have the same fission datum, and globally the admissible deformation class is determined by the fission forest together with conjugacy classes at the leaves. The resulting moduli are denoted $M(F,C)$ [2409.12864].

The diagram invariant for a genus zero nonabelian Hodge space is built from modified formal data and consists of a core and legs. The core nodes are Stokes circles, the core edge multiplicities are defined by irregularities of $\mathrm{Hom}(I,J)$ together with ramification data, and each node carries a leg encoding a conjugacy class. A key property is invariance under the full $\mathrm{SL}_2(\mathbb C)$ action on connections: for any irreducible connection, the diagram $T(E,V)$ is preserved by the $\mathrm{SL}_2(\mathbb C)$ orbit. The refined invariant is the enriched tree, or generic fission tree with its principal subtrees, and this extra fission data determines multiple “readings” of the same nonabelian Hodge space [2409.12864].

If the generic fission tree has principal subtrees $T_1,\dots,T_k$, then the pair $(T,C)$ canonically determines $k$ nongeneric classes together with the generic class itself. The theorem states that these are exactly the $k+1$ admissible deformation classes representing the same genus zero nonabelian Hodge space. In the simply-laced case, the partition of the core recovers the complete $k$-partite core quiver of the supernova picture. Painlevé moduli furnish explicit examples: the framework organizes multiple Lax representations of Painlevé I–VI as different basic representations of one underlying nonabelian Hodge space [2409.12864].

In the untwisted multiplicity-$1$ case, fission trees admit an explicit enumeration. Let $\phi(k,n)$ be the number of fission trees of slope $k$ with $n$ leaves, and let $\Phi(k,n)$ count trees of slope at most $k$ with $n$ leaves. Then
$$
\phi(k,n)=\Phi(k,n)-\Phi(k-1,n),
$$
and the generating functions satisfy the Euler-transform recursion
$$
1+\sum_{n\ge 1}\Phi(k,n)u^n=\prod_{m\ge 1}(1-u^m)^{-\Phi(k-1,m)}.
$$
The base cases are $\phi(1,n)=1$ for $n>1$ and
$$
\phi(2,n)=p(n)-1,
$$
where $p(n)$ is the partition function. For example, the slope-$3$ sequence begins
$$
\phi(3,n)=0,1,3,9,20,47,96,201,394,775,\dots
$$
for $n=1,\dots,10$ [2410.23358].

From a fission tree $T$ of slope $>1$, one obtains a fission graph $\Gamma(T)$ whose vertices are the leaves and whose multiplicity between distinct leaves is $h_{ij}-2$, where $h_{ij}$ is the height of the nearest common ancestor. Supernova graphs are obtained by attaching legs to the core vertices of such a fission graph. In this formalism, a nonabelian Hodge graph is any supernova graph $S(\Gamma,l)$, and every supernova graph occurs as the diagram of a wild nonabelian Hodge moduli space. In the simply-laced case, the fission graphs are exactly the complete multipartite graphs [2410.23358].

## 5. Analytic, gauge-theoretic, and anabelian reformulations

Analytic non-abelian Hodge theory recasts the graph in operator-algebraic terms. For a compact Kähler manifold $X$, the Betti representation functor on Banach algebras is represented by a Fréchet completion $E^B_{X,x}$, while the pluriharmonic functor on $C^*$-algebras is represented by a pro-$C^*$-bialgebra $E^J_{X,x}$. The latter carries a canonical continuous $S^1$-action
$$
\alpha:S^1\to \mathrm{Aut}(E^J_{X,x}),
$$
making $(E^J_{X,x},S^1,\alpha)$ a pro-$C^*$-dynamical system. The graph then has nodes given by analytic completions, de Rham and Dolbeault representation spaces, pluriharmonic local systems, and twistor families, with edges given by Riemann–Hilbert, the de Rham and Dolbeault projections, and the twistor map
$$
\nabla_{(u:v)}=uD+vD^c.
$$
In this setting, the graph records a pure Hodge structure of weight $0$ and its twistor splitting [1212.3708].

A gauge-theoretic version arises from the Kapustin–Witten equations on a compact Kähler surface. The node at $t=0$ is the moduli of solutions of the Simpson system
$$
F_A^{0,2}=0,\qquad \bar\partial_A\phi=0,\qquad [\phi,\phi]=0,\qquad \Lambda_\omega(F_A+[\phi,\phi^\dagger])=0,
$$
while the node at $t\in\mathbb R\setminus\{0\}$ is the moduli of pluri-harmonic systems equivalent to semisimple local systems. On compact Kähler surfaces with $c_1(E)=c_2(E)=0$, the paper proves that the $t=0$ Kapustin–Witten moduli are real-analytically isomorphic, away from singular loci, to the $t\neq 0$ Kapustin–Witten moduli, with the nonabelian Hodge correspondence furnishing the intermediate edge between Higgs and flat moduli. On closed four-manifolds with structure group $SU(2)$ or $SO(3)$, the expected dimensions are controlled by index formulas; under $k(G)=0$, both sides have expected dimension $-3\chi(X)$ [2012.06175].

A further extension replaces moduli of bundles by the pro-algebraic completion of the fundamental group. For a connected compact Kähler manifold $X$, the Tannakian group
$$
\pi_1^{alg}(X,x)=\mathrm{Aut}^\otimes(\omega_x)
$$
carries a Simpson-induced outer $\mathbb C^\times$-action
$$
\lambda_X^{out}:\mathbb C^\times\to \mathrm{Out}(\pi_1^{alg}(X)),
$$
whose derivative gives a nonnegative grading
$$
\mathfrak g_X=\bigoplus_{w\ge 0}(\mathfrak g_X)_w,\qquad [(\mathfrak g_X)_i,(\mathfrak g_X)_j]\subset (\mathfrak g_X)_{i+j}.
$$
In this Hodge-theoretic anabelian picture, a vertex is a triple $(X,\pi_1^{alg}(X),\lambda_X)$, and an edge is a $\mathbb C^\times$-equivariant open homomorphism of pro-algebraic fundamental groups. For smooth projective hyperbolic curves over $\mathbb C$, dominant morphisms $X\to Y$ are in bijection with such equivariant open homomorphisms, and analogous statements are proved for compact ball quotients [2603.05968].

## 6. Geometry, applications, and classification themes

The graph language is effective because it packages multiple geometric structures simultaneously. On the foundational Dolbeault side, the Hitchin map
$$
h:M_{Dol}(X,G)\to \bigoplus_{i=1}^r H^0(X,K_X^{\otimes i})
$$
makes the Higgs moduli into an algebraically completely integrable system, with generic fibers given by torsors for abelian varieties via spectral curves. Through the non-abelian Hodge diffeomorphism, this integrable structure is transported to de Rham and Betti moduli, and for split real groups the resulting Higgs sections produce Hitchin components generalizing Teichmüller space [2208.05940].

In the irregular case, graph invariants control quiver-type realizations of wild character varieties. For a meromorphic connection on $\mathbb P^1(\mathbb C)$ that is tame at finite points and untwisted at $\infty$, Boalch and Hiroe–Yamakawa construct an explicit graph such that an open subset of the wild character variety, or of the corresponding nonabelian Hodge moduli space, is isomorphic to the Nakajima quiver variety of the doubled quiver of that graph, while the full moduli space is a generalized multiplicative quiver variety. Twisting at infinity enlarges the class of allowable graphs, but ultrametric constraints and Fourier–Laplace invariance remain decisive classification tools [2509.24861].

A computational incarnation appears in the study of opers on $\mathbb C$. There, Stokes graphs in rank $2$ and spectral networks in rank $3$ function as nonabelian Hodge graphs whose combinatorics determine spectral coordinates $X_\gamma$ from determinant invariants of subdominant solutions. These coordinates satisfy the Gaiotto–Moore–Neitzke integral equations, encode Stokes data of opers and Hitchin-section flat connections, and serve as Darboux coordinates for Hitchin’s hyperkähler metric. Numerical experiments on polynomial differentials support the conjectural formulas for both Stokes data and the restriction of Hitchin’s metric to the Hitchin section [2007.00503].

A distinct surface-theoretic use of the term occurs in Reider’s nonabelian Jacobian of a smooth projective surface. There, weighted trivalent graphs $G(J^r)$ encode the orthogonal decomposition of $H^0(\mathcal O_Z)$, the triangular pieces $D_-,D_0,D_+$ of the Higgs or multiplication operator, and the toric Fano variety $\mathbf H$ defined by
$$
X_pY_p=T^2.
$$
These graphs simultaneously record period-map data, reductive Lie algebra structure, and Calabi–Yau hyperplane sections, showing that “nonabelian Hodge graph” can also denote a graph governing Hodge-like and Higgs-theoretic structures on moduli attached to surfaces [1103.5323].

Across these settings, the phrase denotes a family of compatible constructions rather than a single rigid object. What remains common is the use of graph-theoretic data to organize nonabelian Hodge correspondences, to encode symplectic and hyperkähler structures, to control deformation classes and quiver modularity, and to translate between holomorphic, flat, Stokes-theoretic, homological, and representation-theoretic descriptions of the same underlying geometry [2208.05940].

Source: https://www.emergentmind.com/topics/nonabelian-hodge-graphs