Modularity from $q$-series

Technische Samenvatting: Modulariteit vanuit q-rijen

Probleemstelling
Het artikel adresseert een uitdaging die is gesteld door G. E. Andrews, die op zijn beurt verwijst naar een probleem van L. Ehrenpreis: het bedenken van een directe methode om de modulariteit van $q$-rij-sommatievormen te bewijzen zonder te vertrouwen op bestaande modulaire input (zoals de modulariteit van de $\eta$-functie van Dedekind, Jacobi-thetafuncties of Eisenstein-rijen). Veel $q$-rijen die voortkomen uit combinatoriek, representatietheorie en fysica vertonen een "mysterieuze" modulariteit die niet zichtbaar is uit hun sommatieformules. De primaire testcase voor deze uitdaging is het Rogers–Ramanujan-paar, waarvan de modulariteit klassiek bekend is via oneindige productidentiteiten, maar waarvoor een bewijs ontbreekt dat uitsluitend is afgeleid uit hun reeksdefinities.

Methodologie
De auteur, Ken Ono, ontwikkelt een criterium voor vectorwaardige modulariteit dat volledig gebaseerd is op $q$-rijalgebra, eerste-orde $q$-differentiaalsystemen en analytische voortzetting. De methodologie verloopt via de volgende stappen:

1. Lokale Differentiaalsystemen: Het artikel behandelt een vector van holomorfe $q$-rijen, $f = (f_1, \dots, f_r)^T$, als een oplossing voor een lineair systeem van de eerste orde op het bovenste halfvlak. Door lokale expansies te onderzoeken bij de toppen (specifiek $\infty$ en $0$), construeert de auteur lokale $q$-differentiaalsystemen van de vorm $\theta_\gamma f^{(\gamma)} = A_\gamma(q_\gamma) f^{(\gamma)}$, waarbij $\theta = q \frac{d}{dq}$ en $A_\gamma$ een matrix is van meromorfe functies.
2. De "Goede" Voorwaarde: Een vector $f$ wordt gedefinieerd als "goed" voor een eindige baan-datum $O$ als deze drie voorwaarden voldoet:
   • Lokale Fundamentele Matrix: Bij elke top bestaat er een matrix $\Phi$ gevormd door eindig veel $SL_2(\mathbb{Z})$-translaties van $f$ die in een gepuncteerde omgeving van de top inverteerbaar is.
   • Regulariteit: De logaritmische afgeleide-matrix $A = (\theta \Phi)\Phi^{-1}$ is meromorf op de gepuncteerde schijf, strekt zich holomorf uit tot de top, en heeft een limiet-exponentmatrix die geconjugeerd is aan een diagonaalmatrix van rationale getallen.
   • Eindige Voortzettingssluiting: De lokale systemen zijn gesloten onder analytische voortzetting en $T$-verschuivingen (translaties) tot op constante gauge-transformaties. Dit zorgt ervoor dat de lokale patches globaal aan elkaar kunnen worden gelijmd.
3. Lijmen en Monodromie: Met behulp van standaardresultaten uit de theorie van lineaire differentiaalvergelijkingen toont het artikel aan dat, indien aan de "goede" voorwaarden wordt voldaan, de lokale systemen samenvoegen tot een globaal meromorf systeem. De monodromie van dit globale systeem levert een representatie $\rho: SL_2(\mathbb{Z}) \to GL_r(\mathbb{C})$ op, waarmee wordt bevestigd dat $f$ een vectorwaardige modulaire functie is.

Belangrijkste Bijdragen en Resultaten

• Stelling 2 (Modulariteit vanuit $q$-rijen): Dit is het centrale theoretische resultaat. Het stelt een equivalentie vast tussen een vector van $q$-rijen die een zwak holomorfe vectorwaardige modulaire functie is, en de vector die "goed" is voor een eindige baan-datum. Deze stelling biedt een puur intrinsiek, op $q$-rijen gebaseerd criterium voor modulariteit, onafhankelijk van externe modulaire vormen.
• Stelling 1 (Rogers–Ramanujan Modulariteit): Het artikel past Stelling 2 toe op het Rogers–Ramanujan-paar $G(q)$ en $H(q)$.
  • Het maakt gebruik van de klassieke eindige recurrenties van Schur en vergelijkingen van eindige producten van Andrews om expliciete eerste-orde $q$-differentiaalsystemen af te leiden voor de Rogers–Ramanujan-rijen bij de toppen $\infty$ en $0$.
  • De coëfficiënten van deze systemen worden uitgedrukt in termen van Lambert-rijen. Cruciaal is dat het bewijs niet veronderstelt dat deze Lambert-rijen Eisenstein-rijen zijn; het maakt alleen gebruik van hun $q$-expansies en de resulterende differentiaalsystemen.
  • De auteur verifieert dat het Rogers–Ramanujan-paar voldoet aan de "goede" voorwaarden, bewijst hiermee hun modulariteit en leidt expliciet de multipliematrices $\rho(T)$ en $\rho(S)$ af zonder modulaire input in te roepen.
• Stelling 3: Deze stelling biedt het constructieve converse, en toont aan dat elke zwak holomorfe vectorwaardige modulaire functie voor een congruentieondergroep van nature voldoet aan de "goede" voorwaarden, waarmee de equivalentie wordt gevalideerd.
• Uitbreiding tot Andrews–Gordon-rijen: Het artikel schetst de toepassing van deze methode op de Andrews–Gordon $q$-rijen (een generalisatie van Rogers–Ramanujan). Het merkt op dat eindige polynoomidentiteiten in de literatuur over Andrews–Gordon de nodige differentiaalsystemen opleveren om de modulariteit te certificeren voor deze families van hogere rang.

Betekenis en Beweringen
Het artikel claimt het Ehrenpreis-Andrews-probleem op te lossen door een "direct bewijs" van modulariteit te bieden dat uitsluitend steunt op de interne structuur van de $q$-rijen (algebraïsche recurrenties en analytische eigenschappen) in plaats van op de modulariteit van andere bekende functies.

• Intrinsieke Aard: De betekenis ligt in het verwijderen van "modulaire input". Het bewijs voor het Rogers–Ramanujan-geval maakt geen gebruik van de transformatiewetten van $\eta$ of thetafuncties, noch vertrouwt het op het feit dat de bijbehorende Lambert-rijen Eisenstein-rijen van gewicht 2 zijn.
• Conceptueel Kader: Het werk herformuleert de detectie van modulariteit als een probleem van analytische voortzetting en monodromie van $q$-differentiaalsystemen. Het trekt een parallel met de Lewis–Zagier-correspondentie tussen periodfuncties en Maass-cusp-vormen, en positioneert de $q$-differentiaalsystemen als het $q$-analogon van vergelijkingen voor periodfuncties.
• Relatie tot Nahm's Vermoeden: Het artikel contrasteert kort zijn aanpak met het vermoeden van Nahm, dat modulariteit relateert aan torsie in de Bloch-groep. De auteur stelt dat de voorwaarde "goed voor $O$" een andere route naar modulariteit biedt en suggereert dat het verduidelijken van de relatie tussen Bloch-groep-torsie en het bestaan van eindige baan-data een interessante open richting is, hoewel het artikel deze relatie niet oplost.

Kortom, het artikel biedt een rigoureus, zelfstandig mechanisme om de modulariteit van $q$-rij-vectoren te certificeren door een eindige set algebraïsche en analytische voorwaarden bij de toppen te verifiëren, en demonstreert dit succesvol op het fundamentele Rogers–Ramanujan-geval.