An Exploration of Crank Generating functions for $t$-core partitions

Titolo: Un'Esplorazione delle Funzioni Generatrici di Crank per le Partizioni t-Core

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria delle partizioni, un'area centrale della combinatoria analitica e della teoria dei numeri. Il contesto storico risale al 1919, quando Srinivasa Ramanujan scoprì le sue famose congruenze per la funzione di partizione $p(n)$:
$$p(5n+4) \equiv 0 \pmod 5, \quad p(7n+5) \equiv 0 \pmod 7, \quad p(11n+6) \equiv 0 \pmod{11}.$$
Freeman Dyson propose successivamente lo "statistico rank" per spiegare le congruenze modulo 5 e 7, e ipotizzò l'esistenza di una statistica più generale, il "crank", per spiegare tutte e tre. Questa fu trovata da Andrews e Garvan nel 1988.

Il problema specifico affrontato da Wilson è l'estensione del concetto di funzione generatrice di crank alle partizioni t-core. Una partizione è un $t$-core se non contiene alcun gancio (hook) di lunghezza $t$. La funzione generatrice per il numero di partizioni $t$-core, denotato $p^{(t)}(n)$, è data da:
$$\sum_{n \ge 0} p^{(t)}(n)q^n = \prod_{n=1}^{\infty} \frac{(1-q^{tn})^t}{(1-q^n)}.$$
Recentemente, Meher e Jindal (2024) hanno dimostrato nuove congruenze per $p^{(t)}(n)$ utilizzando forme modulari. Tuttavia, mancava una spiegazione combinatoria (tramite statistiche di crank) per queste congruenze. L'obiettivo del paper è costruire una famiglia di funzioni generatrici di crank che spieghino queste congruenze, in particolare quelle modulo 3 per vari valori di $t$.

2. Metodologia

L'autore utilizza un approccio che combina teoria delle funzioni modulari, teoria dei gruppi e un potente strumento computazionale noto come Lemma di Radu.

• Definizione di Funzione di Crank: Una serie di potenze $C(z, \tau)$ è considerata una funzione generatrice di crank per una congruenza $a(\alpha n + \beta) \equiv 0 \pmod \ell$ se:

  1. $C(0, \tau)$ è la funzione generatrice per $a(n)$.
  2. Il coefficiente di $q^{\alpha n + \beta}$ in $C(z, \tau)$ è divisibile per il polinomio ciclotomico $\Phi_\ell(\zeta)$. Questo garantisce che le partizioni siano distribuite equamente tra le classi di resto modulo $\ell$.

• Costruzione delle Funzioni: Wilson propone forme specifiche di prodotti infiniti che coinvolgono variabili $q$ e $\zeta$ (dove $\zeta = e^{2\pi i z}$). Queste funzioni sono costruite per avere la proprietà desiderata di annullare certi coefficienti quando ridotte modulo $\Phi_3(\zeta)$.

• Lemma di Radu (Sezione 2): Il cuore della dimostrazione rigorosa è l'applicazione del Lemma di Radu (e Sellers). Questo lemma fornisce condizioni sufficienti per dimostrare che una serie $q$ soddisfa una famiglia di congruenze.

  • Definisce un insieme di condizioni ($\Delta^*$) che coinvolgono interi $\alpha, M, N$, vettori di esponenti $r$, e rappresentativi di doppi coset del gruppo modulare $\Gamma_0(N) \backslash \Gamma / \Gamma_\infty$.
  • Il lemma riduce la verifica di infinite congruenze a un numero finito di controlli computazionali su coefficienti di serie di potenze, calcolando un limite superiore $\lfloor \nu \rfloor$.
  • L'autore verifica queste condizioni utilizzando il software MAPLE.

• Analisi Modulare: Per ogni $t$ considerato, l'autore determina i parametri $(\alpha, M, N, r, \beta)$ necessari per applicare il lemma, calcola i rappresentativi dei doppi coset (specialmente per il caso $t=5$ dove $N$ non è libero da quadrati) e verifica la disuguaglianza necessaria per la validità del lemma.

3. Contributi Chiave e Risultati

Il paper presenta una famiglia di funzioni generatrici di crank che spiegano le congruenze per le partizioni $t$-core per diversi valori di $t$.

• Teorema 1.2 (Caso $t=5$):
  Viene definita una funzione $C^{(5)}(z, \tau)$ che spiega le congruenze:
  $$p^{(5)}(15n + \beta) \equiv 0 \pmod 3$$
  per $\beta \in \{6, 10, 12, 13\}$. La funzione è costruita come un prodotto infinito che include termini con $q^n, q^{5n}$ e termini misti con $\zeta$.

• Teorema 1.3 (Casi $t > 5$):
  Vengono forniti funzioni generatrici per $t = 7, 11, 17, 19$ che spiegano congruenze della forma $p^{(t)}(3t \cdot n + \beta) \equiv 0 \pmod 3$.

  • $t=7$: Spiega congruenze per $\beta \in \{8, 11, 17\}$.
  • $t=11$: Spiega congruenze per $\beta \in \{11, 20, 26, 29, 32\}$.
  • $t=17$: Spiega congruenze per $\beta \in \{14, 20, 23, 26, 35, 38, 41, 47\}$.
  • $t=19$: Spiega congruenze per $\beta \in \{14, 17, 26, 35, 38, 41, 44, 50, 56\}$.

• Osservazioni sui Risultati:

  • Le funzioni proposte spiegano solo metà delle congruenze note nella letteratura per questi valori di $t$. Nello specifico, spiegano le congruenze associate a $\beta$ che sono non-residui quadratici modulo 3.
  • Non sono state trovate funzioni di crank per le congruenze associate ai residui quadratici (es. per $t=7$, manca la spiegazione per $\beta \in \{3, 15, 18\}$).
  • Non esistono ancora funzioni di crank note per $t=13$ e $t=23$, né per $t > 23$ (sebbene ci siano evidenze numeriche di congruenze).

4. Significato e Implicazioni

• Collegamento tra Analisi e Combinatoria: Il lavoro fornisce un ponte fondamentale tra le congruenze aritmetiche (spesso dimostrate tramite forme modulari complesse) e le spiegazioni combinatorie (tramite statistiche di crank). Questo risponde a una domanda aperta sulla natura combinatoria delle congruenze per le partizioni $t$-core.
• Generalizzazione: Estende il lavoro precedente di Rolen, Tripp, Wagner e dello stesso autore (sulle partizioni a colori) a una nuova classe di oggetti combinatori: le partizioni $t$-core.
• Metodologia Computazionale: Dimostra l'efficacia del Lemma di Radu combinato con calcoli computazionali (MAPLE) per dimostrare risultati di teoria dei numeri che sarebbero intrattabili con metodi puramente analitici classici.
• Nuove Domande di Ricerca: Il paper conclude sollevando tre questioni fondamentali:
  1. È possibile costruire una famiglia di crank che spieghi tutte le congruenze (sia per residui che non-residui quadratici) simultaneamente?
  2. Esistono altre congruenze in questa famiglia "modulo 3" per $t > 23$?
  3. Queste famiglie possono essere estese a una famiglia infinita per tutti i $t$?

In sintesi, il paper di Samuel Wilson rappresenta un passo significativo verso la comprensione combinatoria delle proprietà aritmetiche delle partizioni $t$-core, fornendo strumenti concreti (le funzioni generatrici di crank) per spiegare una porzione specifica ma cruciale delle congruenze note, e aprendo la strada a future ricerche sulla completezza di tali spiegazioni.