Recurrence and congruences for the smallest parts function

Titel: Recurrente formules en congruenties voor de functie van de kleinste delen

Auteur: Wei Wang
Trefwoorden: Kleinste delen-functie ($spt(n)$), Harmonische Maass-vormen, Modulaire vormen modulo $\ell$, Hecke-sporen, Holomorf projectie.

---

1. Probleemstelling en Achtergrond

Het artikel richt zich op de $spt(n)$-functie, geïntroduceerd door George Andrews. Deze functie telt het totale aantal voorkomens van de kleinste delen in alle partities van een geheel getal $n$. Hoewel de partitie-functie $p(n)$ uitgebreid bestudeerd is (met name door Euler en Ramanujan), heeft $spt(n)$ unieke arithmetische eigenschappen die nauw verbonden zijn met harmonische Maass-vormen in plaats van de traditionele holomorphe modulaire vormen.

Het hoofddoel van het paper is het generaliseren van de bekende Euler-achtige recurrente formules voor $p(n)$ naar de $spt(n)$-functie.

• Uitdaging 1: De genererende functie van $spt(n)$ is geen zwak-holomorphe modulaire vorm, maar een harmonische Maass-vorm. Dit vereist technieken die verder gaan dan de standaard theorie voor $p(n)$.
• Uitdaging 2: De bewijstechniek voor $p(n)$ maakt gebruik van Maass-Poincaré-series die in de context van $spt(n)$ niet convergeren. Er moet een methode van analytische voortzetting worden toegepast.
• Doel: Het afleiden van gesloten vormen voor reeksen van $spt(n)$ modulo priemgetallen $\ell$ en het bewijzen van nieuwe congruentie- en incongruentie-resultaten.

2. Methodologie

De auteur hanteert een geavanceerde aanpak binnen de analytische getaltheorie en de theorie van modulaire vormen:

1. Harmonische Maass-vormen en Schatten:
   De genererende functie voor $spt(n)$ wordt geassocieerd met een harmonische Maass-vorm $F(z)$ van gewicht $3/2$. Deze vorm bestaat uit een holomorf deel ($\alpha(z)$) en een niet-holomorf deel. De "schaduw" van deze vorm is gerelateerd aan de Dedekind eta-functie $\eta(z)$.

2. Holomorf Projectie:
   Om de arithmetische eigenschappen te analyseren, past de auteur de methode van holomorf projectie toe. Dit projecteert de niet-holomorphe Maass-vorm naar de ruimte van holomorphe modulaire vormen. Dit maakt het mogelijk om inproducten te berekenen met Hecke-eigenvormen.

3. Rankin-Cohen-haken en Maass-Poincaré-series:
   De auteur construeert Maass-Poincaré-series $P_{m,k,s}(z)$ met een multiplier van de eta-functie. Omdat de serie voor het kritieke punt $s=3/4$ niet convergeert, wordt analytische voortzetting gebruikt om de waarde te definiëren.
   Er wordt een verband gelegd tussen de Rankin-Cohen-haken $[F, \eta]_v$ en de genererende functie van $spt(n)$.

4. Hecke-sporen en Dirichlet-reeksen:
   De kern van de resultaten ligt in het uitdrukken van de coëfficiënten van de projectie in termen van Hecke-sporen ($Tr_{2k}(n)$) van waarden van speciale "twisted quadratic" Dirichlet-reeksen ($D_f$) geassocieerd met Hecke-eigenvormen $f$.

3. Belangrijkste Resultaten

A. Generalisatie van Euler-achtige Recurrente Formules

Het paper levert een veralgemeende recurrente formule voor $spt(n)$ die analoog is aan die voor $p(n)$, maar nu uitgedrukt in termen van Hecke-sporen.

• Hoofdstelling (Theorem 1): Voor elke $v \geq 1$ wordt een specifieke lineaire combinatie van $spt(n)$ en $p(n)$ (aangeduid als $S_v(z)$) gelijkgesteld aan een som van een Eisenstein-reeks, een mock Eisenstein-reeks ($F_{2v+2}$) en een som over Hecke-sporen.
• Corollarium 2: Dit leidt tot een expliciete recurrente relatie voor $spt(n)$ die afhangt van delerfuncties ($\sigma$), Bernoulli-getallen en Hecke-sporen $Tr_{2v+2}(n)$. Voor kleine waarden van $v$ (bijv. $v=1, 2$) worden expliciete formules afgeleid.

B. Gesloten Vormen Modulo $\ell$

Voor een priemgetal $\ell \geq 5$ wordt een gesloten vorm gegeven voor de machtreeks van $spt(\ell n - \delta_\ell)$ modulo $\ell$, waarbij $\delta_\ell = (\ell^2-1)/24$.

• Corollarium 3: De reeks is congruent aan een constante maal de genererende functie van de Hecke-sporen van gewicht $\ell+1$, gedeeld door de eta-functie.
  $$\sum spt(\ell n - \delta_\ell) q^n \equiv C \cdot \frac{\sum Tr_{\ell+1}(\ell n) q^n}{(q^\ell; q^\ell)_\infty} \pmod \ell$$
• Consequenties: Omdat er geen niet-triviale cusp-vormen zijn voor gewichten 6, 8 en 14, levert dit een nieuw bewijs voor de bekende congruenties van Andrews:
  • $spt(5n+4) \equiv 0 \pmod 5$
  • $spt(7n+5) \equiv 0 \pmod 7$
  • $spt(13n+6) \equiv 0 \pmod{13}$

C. Incongruentie Resultaten

Het paper adresseert de vraag of congruenties bestaan voor andere priemgetallen (zoals $\ell=11$).

• Corollarium 4: De auteur bewijst een incongruentie-resultaat. Als er een $t_0$ bestaat waarvoor het Legendre-symbool $\left(\frac{1-24t_0}{\ell}\right) = -1$ en $spt(t_0) \not\equiv 0 \pmod \ell$, dan is de reeks $\sum spt(\ell n + t) q^n$ niet congruent aan 0 modulo $\ell$ voor bepaalde $t$.
• Dit bevestigt numerieke vermoedens dat "simpele" congruenties (zoals bij Ramanujan) voor $spt(n)$ niet gelden voor alle grote priemgetallen, en dat de dichtheid van priemgetallen waarvoor zulke congruenties gelden, nul is.

4. Significatie en Bijdrage

1. Technische Doorbraak: Het paper overbrugt de kloof tussen de theorie van partities ($p(n)$) en de kleinste delen-functie ($spt(n)$) door de complexiteit van harmonische Maass-vormen te hanteren. Het lost het convergentieprobleem van Maass-Poincaré-series op via analytische voortzetting.
2. Unificatie: Het toont aan dat de arithmetische structuur van $spt(n)$, net als die van $p(n)$, diep geworteld is in de theorie van Hecke-traces en modulaire vormen, maar met een andere "gewicht" en structuur.
3. Nieuwe Bewijzen: Het biedt een krachtig, unitair raamwerk om bestaande congruenties (zoals die van Andrews) te bewijzen en nieuwe resultaten af te leiden voor andere priemgetallen.
4. Verduidelijking van Vermoedens: Het levert een rigoureuze wiskundige onderbouwing voor het vermoeden dat congruenties voor $spt(n)$ zeldzaam zijn voor grote priemgetallen, in tegenstelling tot de overvloedige congruenties voor $p(n)$.

Kortom, dit werk verrijkt het begrip van de diepe arithmetische eigenschappen van partities en vestigt een nieuwe standaard voor het analyseren van functies die voortkomen uit harmonische Maass-vormen.