Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

October 10, 2026

AI Meets Nonabelian Hodge

As many of you know, I have spent far too much time thinking about families of Hitchin systems over the moduli space ℳ g,n\mathcal{M}_{g,n} of (punctured) Riemann surfaces, C g,nC_{g,n}. In my defense, the Coulomb branch geometry of a 4d 𝒩=2\mathcal{N}=2 theory is encoded in the data of a complex integrable system. For class-S, that’s a Hitchin system and the “conformal manifold” of a family of 𝒩=2\mathcal{N}=2 SCFTs is the aforementioned moduli space. So it’s quite natural to consider the family of Hitchin systems as we vary the exactly-marginal parameters of the SCFT.

A striking feature of Hitchin’s integrable system is that it’s actually hyperKähler; it has a whole ℂℙ 1\mathbb{CP}^1 worth of complex structures. We always work in the complex structure where it has the interpretation as the moduli space of Higgs bundles. This is the physically-interesting case where the base of the Hitchin system (the space of “action variables” of the integrable system) is the Coulomb branch of the 4d theory.

One of the main points of our work is that the bundle of Hitchin bases has a natural extension to the Deligne-Mumford compactification ℳ¯ g,n\overline{\mathcal{M}}_{g,n}, and that extension has an interesting interpretation in the physics.

In another complex structure, Hitchin’s system has the interpretation as a character variety: the space of homomorphisms π 1(C)→G ℂ\pi_1(C)\to G_{\mathbb{C}} up to overall conjugation.

The map from semi-stable parabolic Higgs bundles (E,Φ)(E,\Phi) to the irreducible character variety for G ℂ=SL NG_{\mathbb{C}}=SL_N is called the Nonabelian Hodge Correspondence (NAH). See Simpson’s paper for more details of the correspondence. We’ll be interested in the strongly-parabolic case, where the residues of Φ\Phi are nilpotent.

We had some interesting conjectures about NAH in Appendix B of our first paper. So you can imagine that I was quite excited to see a recent paper which claims to construct families of character varieties over ℳ g,n\mathcal{M}_{g,n} and examines how they behave as the curve C g,nC_{g,n} degenerates.

Posted by distler at 1:43 PM | Permalink | Post a Comment