Convergence of Nekrasov instanton sum with adjoint matter

Dit artikel bewijst dat de Nekrasov-instanton-partitiefunctie voor 4d $\mathcal{N}=2^*$ $U(N)$-eichtheorie convergeert binnen de eenheidsschijf, behalve wanneer de parameter $b^2$ super-exponentieel goed door rationale getallen benaderbaar is, en vertaalt deze resultaten via de AGT-correspondentie naar de convergentie van torus-eenpunt-conformale blokken voor Virasoro- en $W_N$-algebra's.

De kern

Stel je voor dat je een enorme, ingewikkelde machine bouwt. Deze machine is een wiskundig model dat deeltjes in het heelal beschrijft (specifiek in een theorie genaamd "4d N=2* U(N) gauge theory"). Om te begrijpen hoe deze machine werkt, moeten we een oneindige som berekenen.

De auteur van dit paper, Bruno Le Floch, heeft een belangrijk vraagstuk opgelost: Wanneer stopt deze oneindige som met "uit elkaar vallen" en wordt hij een stabiel, bruikbaar getal?

Hier is een uitleg in alledaags Nederlands, met behulp van een paar creatieve metaforen.

1. De Machine en de "Kleuren" (De Instanton Som)

De som die we berekenen, is een verzameling van miljoenen kleine bouwstenen. Elke bouwsteen staat voor een mogelijke configuratie van deeltjes. In de wiskunde noemen we deze configuraties "gekleurde partities" (een soort complexe legpuzzels).

• De variabele $q$: Dit is de "kraan" die we openen. Hoe meer we de kraan openen (hoe groter $q$), hoe meer bouwstenen er in de machine komen.
• Het doel: We willen weten tot hoe ver we de kraan kunnen openen voordat de machine overloopt en instort. In wiskundetaal noemen we dit de convergentiestraal. Als de kraan te ver openstaat, wordt het antwoord oneindig groot en heeft het geen zin meer.

2. De Magische Grens: De Eenheidsschijf

De meeste fysici dachten al dat de machine stabiel zou blijven zolang de kraan niet verder openstaat dan een bepaalde grens: $|q| < 1$.
Stel je voor dat $q$ een getal is tussen 0 en 1. Als je binnen die cirkel blijft, werkt de machine perfect. De grote vraag was: Is dit altijd waar, of zijn er rare uitzonderingen?

Le Floch heeft bewezen dat het antwoord "Ja, meestal wel" is, maar met een heel interessante twist die afhangt van een andere instelling in de machine, genaamd $b^2$.

3. De Instelling $b^2$: De "Tandwielverhouding"

De variabele $b^2$ (het verhouding tussen twee parameters $\epsilon_1$ en $\epsilon_2$) fungeert als een soort tandwielverhouding in de machine. Hoe deze tandwielen op elkaar staan, bepaalt of de machine soepel draait of gaat haperen.

Le Floch onderscheidt drie scenario's:

Scenario A: De "Normale" Wereld ($b^2$ is niet-reëel of negatief)

Stel je voor dat de tandwielen uit verschillende materialen zijn gemaakt of in een vreemde hoek staan.

• Het resultaat: De machine is superstabiel. Zolang je de kraan ($q$) binnen de grens van 1 houdt, draait alles perfect. De som convergeert altijd.
• Analogie: Het is als een goed onderhouden auto die soepel rijdt op elke weg, zolang je niet te hard gaat (boven snelheid 1).

Scenario B: De "Rationalen" ($b^2$ is een breuk, zoals 1/2 of 3/4)

Hier staan de tandwielen perfect op elkaar afgestemd, maar op een manier die te strak is.

• Het probleem: Bij bepaalde instellingen van de machine (specifieke waarden voor de massa van de deeltjes) raken er stukken vast. De machine probeert een bouwsteen te plaatsen die niet past, en het getal wordt oneindig groot (een pool).
• Conclusie: De som is in deze gevallen niet gedefinieerd. Het is alsof je probeert een vierkante bout in een ronde schroef te draaien; het werkt niet, tenzij je de bout heel specifiek aanpast (wat in de natuur zelden gebeurt).

Scenario C: De "Irrationale" Wereld ($b^2$ is een raar, oneindig decimaal getal, zoals $\pi$ of $\sqrt{2}$)

Dit is het meest fascinerende deel van het paper. Hier hangt het succes af van hoe goed je dit getal kunt benaderen met breuken.

• De "Brjuno" getallen: Sommige irrationale getallen zijn "moeilijk" om met breuken te benaderen. Ze gedragen zich alsof ze willekeurig zijn. Voor deze getallen werkt de machine weer perfect tot de grens van 1.
• De "Super-goede" benaderingen: Er bestaan echter rare getallen die extreem goed benaderd kunnen worden door breuken (zoals Liouville-getallen).
  • Analogie: Stel je voor dat je een trap hebt. Bij normale getallen zijn de treden willekeurig. Bij deze rare getallen zijn de treden zo perfect geplaatst dat je steeds op de slechtste plek stapt.
  • Het gevolg: Als $b^2$ zo'n "super-goed benaderbaar" getal is, dan haperen de tandwielen. De machine loopt vast, zelfs als de kraan ($q$) heel klein is. De som divergeert (wordt oneindig) voor bijna elke waarde van $q$.
  • De grens: De paper geeft een formule aan die precies aangeeft hoe groot de "veilige zone" is, afhankelijk van hoe "raar" het getal $b^2$ is.

4. Waarom is dit belangrijk? (De AGT Correspondentie)

Deze wiskundige som is niet zomaar een abstract spelletje. Dankzij de AGT-correspondentie (een soort magische vertaalsleutel tussen twee verschillende gebieden van de fysica) betekent dit resultaat ook iets voor een heel ander gebied: Conformale Veldentheorie (een theorie over hoe deeltjes zich gedragen in 2D).

• De "machine" die we hier bestuderen, komt overeen met conformale blokken (de bouwstenen van quantum-velden).
• Le Floch's bewijs betekent dat we nu zeker weten dat deze bouwstenen stabiel zijn binnen een bepaald bereik.
• Voor de beroemde Virasoro-algebra (een basissteen van de snaartheorie) betekent dit dat de theorie stabiel is, zolang de "centrale lading" (een soort instelknop) niet in een bepaald gevaarlijk gebied zit (namelijk niet tussen 25 en oneindig).

Samenvatting in één zin

Bruno Le Floch heeft bewezen dat de oneindige som die deeltjesinteracties beschrijft, stabiel blijft zolang je binnen een veilige grens blijft, tenzij je de machine instelt op een heel specifieke, "te perfecte" manier (rationale getallen of extreem goed benaderbare irrationale getallen), waarbij de som dan instort.

Dit geeft ons vertrouwen dat de wiskunde achter deze complexe fysica-theorieën solide is, en helpt wetenschappers om te weten wanneer ze veilig kunnen rekenen en wanneer ze op een "wiskundige valkuil" lopen.

Technische samenvatting

Titel: Convergentie van de Nekrasov instanton-som met adjoint materie

Auteur: Bruno Le Floch
Datum: Februari 2026

---

1. Probleemstelling

Het artikel richt zich op de wiskundige convergentie van de Nekrasov instanton-partitiefunctie voor de 4d $\mathcal{N}=2^*$ $U(N)$ ijktheorie. Deze theorie is een massadeformatie van de 4d $\mathcal{N}=4$ super-Yang-Mills theorie.

De partitiefunctie $Z_{\text{inst}}$ wordt uitgedrukt als een reeksontwikkeling in een tellende parameter $q$ (gerelateerd aan de gekoppelde ijktheorie):
$$Z_{\text{inst}}(m, a; q) = \sum_{k \ge 0} q^k Z_k(m, a) = \sum_{\vec{Y}} q^{|\vec{Y}|} Z_{\vec{Y}}(m, a)$$
waarbij de som loopt over $N$-tupels van gekleurde partities (Young-diagrammen) $\vec{Y} = (Y_1, \dots, Y_N)$.

Het centrale vraagstuk:
Hoewel deze reeks in de fysica vaak als asymptotisch wordt beschouwd, is de exacte absolute convergentiestraal ($R_{\text{abs}}$) van deze som niet triviaal. De AGT-correspondentie suggereert dat de reeks convergeert binnen de eenheidsschijf ($|q| < 1$), maar dit moet wiskundig worden bewezen voor alle waarden van de parameters, met name de verhouding $b^2 = \epsilon_1/\epsilon_2$ van de equivariante parameters. De paper onderzoekt of de reeks absoluut convergeert en hoe de convergentie afhangt van de arithmetische eigenschappen van $b^2$.

---

2. Methodologie

De auteur gebruikt een combinatie van combinatorische analyse, complex analyse en getaltheorie om de groei van de coëfficiënten $Z_{\vec{Y}}$ te begrenzen.

• Analyse van de termen: De coëfficiënten $Z_{\vec{Y}}$ zijn producten van rationale functies die afhangen van de massa $m$, de Coulomb-tak parameters $a_I$, en de "inhoud" van de vakjes in de Young-diagrammen.
• Onderscheidende gevallen: De analyse wordt opgesplitst op basis van de waarde van $b^2 = \epsilon_1/\epsilon_2$:
  1. Niet-reële $b^2$: Het rooster $\epsilon_1 \mathbb{Z} + \epsilon_2 \mathbb{Z}$ is discreet.
  2. Negatieve reële $b^2$: Het rooster is ook discreet (op een lijn).
  3. Positieve irrationale $b^2$: Het rooster is dicht op een lijn, wat leidt tot kleine noemers in de rationale functies. Hier wordt gebruik gemaakt van de theorie van continuïteitsbreuken en Brjuno-getallen.
  4. Rationale $b^2 > 0$: Het rooster is een one-dimensional rooster, wat leidt tot singuliere termen.
• Technieken:
  • Het opbouwen van bovengrenzen voor de logaritme van de termen $|Z_{\vec{Y}}|$ door te tellen hoeveel vakjes een bepaalde "inhoud" hebben.
  • Het introduceren van een variant van Brjuno-getallen, genaamd exponentieel type ($B_{\text{sup}}$), om te kwantificeren hoe goed irrationale getallen door rationale getallen kunnen worden benaderd.
  • Het construeren van specifieke sequenties van partities om onder- en bovengrenzen voor de convergentiestraal te vinden.

---

3. Belangrijkste Bijdragen en Resultaten

De paper levert een volledig karakterisering van de absolute convergentiestraal $R_{\text{abs}}$ voor generieke parameters.

Hoofdstelling (Theorema 1.1):

Voor generieke parameters (waarbij verschillen $a_I - a_J$ en de massa $m$ niet in de afsluiting van het rooster $\epsilon_1 \mathbb{Z} + \epsilon_2 \mathbb{Z}$ liggen):

1. Geval $b^2 \in \mathbb{C} \setminus [0, +\infty)$:
   De absolute convergentiestraal is exact $R_{\text{abs}} = 1$. Dit bevestigt de verwachting uit de conformale veldtheorie (CFT).

2. Geval $b^2 > 0$ (Irrationaal):
   De convergentie hangt af van het exponentieel type $B_{\text{sup}}(b^2)$, gedefinieerd als de infimum van $B$ zodat $\text{dist}(n b^2, \mathbb{Z}) \gtrsim e^{-Bn}$.

   • Als $B_{\text{sup}}(b^2)$ eindig is (de generieke situatie voor irrationale getallen, inclusief Brjuno-getallen), dan is $R_{\text{abs}} > 0$. De straal wordt begrensd door:
     $$A_1 e^{-8B_{\text{sup}}(b^2)/\max(1, b^2)} \le R_{\text{abs}} \le \min(1, A_2 e^{-B_{\text{sup}}(b^2)/(1+b^2)})$$
   • Als $B_{\text{sup}}(b^2) = +\infty$ (super-exponentieel goed benaderbare irrationale getallen, zoals Liouville-getallen), dan is $R_{\text{abs}} = 0$. De som divergeert voor elke $q \neq 0$.

3. Geval $b^2 \in \mathbb{Q}_{>0}$ (Rationaal):
   De som is niet-welgedefinieerd (ill-defined) omdat specifieke termen in de som singulier worden (noemers worden nul). Hoewel deze singulariteiten in de totale partitiefunctie mogelijk opheffbaar zijn door cancellatie tussen verschillende instanton-bijdragen, is de term-voor-term som niet absoluut convergent.

Verband met Conformale Veldtheorie (AGT):

Via de AGT-correspondentie vertalen deze resultaten zich naar de convergentie van torus één-punt conformale blokken voor de Virasoro en $W_N$ algebra's.

• Voor de Virasoro algebra betekent dit convergentie voor een centrale lading $c_{\text{Vir}} \in \mathbb{C} \setminus [25, +\infty)$.
• Het resultaat illustreert dat de convergentie van deze blokken afhangt van de arithmetische eigenschappen van de koppelingsconstante $b$.

---

4. Significantie en Implicaties

• Wiskundige Fysica: Dit werk lost een fundamenteel probleem op over de geldigheidsgebieden van niet-perturbatieve expansies in supersymmetrische ijktheorieën. Het bewijst dat de "optimale" convergentiestraal van 1 alleen geldt voor generieke parameters en dat de arithmetiek van de koppelingsconstante cruciaal is.
• Verbinding met Getaltheorie: De paper maakt een diepe link tussen de convergentie van fysieke series en de Diophantische benadering van irrationale getallen (via Brjuno-getallen en Liouville-getallen). Het toont aan dat "pathologische" getallen (met oneindig exponentieel type) leiden tot divergentie in de fysieke theorie.
• Technische Vooruitgang: De auteur verfijnt eerdere methoden (zoals die in [3]) door te laten zien dat slechts een klein aantal factoren in de som groot kan worden, terwijl de rest snel naar 1 convergeert. Dit maakt het mogelijk om de straal te optimaliseren tot 1 in de niet-reële gevallen.
• Toekomstige Richtingen: De resultaten suggereren dat het groeperen van termen voor rationale $b^2 > 0$ nodig is om de singulariteiten op te heffen, wat relevant is voor het begrijpen van minimale modellen in CFT.

Conclusie:
Bruno Le Floch bewijst dat de Nekrasov instanton-som voor de $4d$ $\mathcal{N}=2^*$ theorie absoluut convergeert binnen de eenheidsschijf voor alle generieke parameters, behalve wanneer de verhouding $b^2$ positief en rationaal is (waar de som singulier is) of positief en "te goed" door rationale getallen benaderbaar is (waar de convergentiestraal 0 is). Dit bevestigt en verfijnt de verwachtingen uit de AGT-correspondentie en de 2D CFT-theorie.