Cyclotomic generating functions, empty weighted complete intersections and positivity

1. Il Problema

Il lavoro si concentra sullo studio delle Funzioni Generatrici Ciclotomiche (CGF). Una CGF è definita come un polinomio non nullo $f(q)$ a coefficienti interi non negativi che può essere espresso nella forma:
$$f(q) = \alpha q^\beta \prod_{i=1}^n \frac{[a_i]_q}{[b_i]_q} = \alpha q^\beta \prod_{i=1}^n \frac{1-q^{a_i}}{1-q^{b_i}}$$
dove $[n]_q = \frac{1-q^n}{1-q}$ è un intero $q$.

Il problema centrale è determinare condizioni sufficienti (e necessarie) affinché un rapporto di prodotti di interi $q$ (o equivalentemente, di polinomi ciclotomici) sia un polinomio a coefficienti interi non negativi. Sebbene sia noto che molte di queste espressioni siano polinomi (ad esempio, i coefficienti binomiali $q$), non è banale verificare la non-negatività dei coefficienti una volta che la razionalità è stata stabilita.

Il paper affronta specifiche congetture aperte in questo ambito:

• Congettura di Stanton (1.1): Riguarda le "fake Gaussian sequences" e la non-negatività sotto condizioni di simmetria.
• Congettura di Gatzweiler e Krattenthaler (1.2 e 1.3): Estende la questione alla non-negatività di rapporti di coefficienti binomiali $q$ e rimuove le ipotesi di simmetria o di polinomialità per tutti i $m$ presenti nella congettura originale di Stanton.

2. Metodologia

Gli autori adottano un approccio interdisciplinare che combina geometria algebrica, teoria dei numeri e teoria dei reticoli. La metodologia si articola in due prospettive principali:

A. Prospettiva Algebrico-Geometrica

Questa è la parte centrale del lavoro. Gli autori collegano la non-negatività dei coefficienti all'esistenza di intersezioni complete pesate vuote (Empty Weighted Complete Intersections - WCIs) negli spazi proiettivi pesati.

• Contesto: Considerano uno spazio proiettivo pesato $\mathbb{P}(b_1, \dots, b_n)$. Una intersezione completa definita da una sequenza regolare di polinomi omogenei di gradi $a_1, \dots, a_n$ è "vuota" se la varietà risultante è l'insieme vuoto (ma l'anello quoziente è finito-dimensionale).
• Strumento: Utilizzano il Problema della Moneta di Frobenius. La condizione per l'esistenza di una tale intersezione vuota viene tradotta in una disuguaglianza combinatoria che coinvolge i semigruppi numerici generati dai pesi $b_i$.
• Teorema Fondamentale: Dimostrano che l'esistenza di una sequenza regolare (e quindi di una WCI vuota) è equivalente a una condizione di conteggio: per ogni sottoinsieme di indici $I$, il numero di gradi $a_i$ che appartengono al semigruppo generato dai pesi $b_j$ (con $j \in I$) deve essere almeno pari alla cardinalità di $I$.

B. Prospettiva Teorico-Reticolare e Analitica

• Teoria dei Reticoli: Analizzano le proprietà strutturali del reticolo di divisione degli interi positivi $(\mathbb{Z}_{\ge 0}, |)$. Forniscono condizioni sufficienti basate sulla decomposizione del multinsieme delle differenze tra i divisori dei numeratori e dei denominatori in ideali inferiori principali.
• Motivazione Analitica: Notano che alcune CGF sono non-negative per ragioni analitiche (distribuzione asintotica normale dei coefficienti e moltiplicatori di Poincaré), il che implica che le condizioni puramente combinatorie o algebriche non possono essere necessarie.

3. Contributi Chiave e Risultati

Condizione Combinatoria Necessaria e Sufficiente (Proposizione 3.3)

Gli autori stabiliscono un criterio preciso per l'esistenza di una sequenza regolare omogenea di lunghezza massima in un anello di polinomi con pesi dati.

• Risultato: Esiste una WCI vuota $X_{a_1, \dots, a_n} \subset \mathbb{P}(b_1, \dots, b_n)$ se e solo se per ogni sottoinsieme di indici $I \subseteq \{1, \dots, n\}$, vale:
  $$\#(A \cap \langle \text{set}(B_I) \rangle_{\text{semigroup}}) \ge \#I$$
  dove $A$ e $B$ sono i multinsiemi dei gradi e dei pesi, e $\langle \cdot \rangle$ denota il semigruppo numerico generato.
• Implicazione: Questo risolve il Problema 1.5 di Billey e Swanson (2024) sulla membership nel monoido HSOP (Homogeneous System of Parameters).

Teorema Principale (Teorema 1.6 / 3.9)

Forniscono una condizione sufficiente pratica per la non-negatività dei coefficienti. Se i gradi sono ordinati ($a_i \le a_{i+1}, b_i \le b_{i+1}$) e il rapporto è un polinomio, allora la non-negatività è garantita se:
$$2b_n \left\lfloor \frac{b_{n-1}}{2} \right\rfloor - b_1 < a_1$$
Questa condizione implica che la disuguaglianza combinatoria della Proposizione 3.3 è soddisfatta.

Risoluzione di Congetture Aperte

Applicando il Teorema 3.9, gli autori dimostrano la validità delle congetture in quasi tutti i casi:

1. Congettura 1.2 (Gatzweiler-Krattenthaler): È vera se $2k \lfloor \frac{k-1}{2} \rfloor + k - l < n$. In particolare, è vera per $n \ge k^2$, risolvendo la congettura tranne che per un numero finito di casi per ogni $k$.
2. Congetture 1.1 e 1.3 (Stanton/GK): Sono vere se $2n \lfloor \frac{n}{2} \rfloor - 2 < m$. In particolare, sono vere per $m \ge n^2$.

Limiti delle Condizioni Strutturali

Dimostrano che le condizioni basate sulla struttura del reticolo di divisione (Proposizione 4.1) sono sufficienti ma non necessarie. Forniscono un esempio (Esempio 4.5) in cui un rapporto ha coefficienti non negativi anche se non soddisfa le condizioni di "somma geometrica locale" o di "basso numero di fattori primi distinti" ($\omega$), ma deve la sua non-negatività a un'interazione globale e a proprietà analitiche (distribuzione normale dei coefficienti).

4. Significato e Impatto

• Unificazione Disciplinare: Il paper crea un ponte solido tra la combinatoria delle funzioni generatrici, la geometria algebrica (intersezioni complete pesate) e la teoria dei numeri (problema di Frobenius).
• Avanzamento Teorico: Risolve o quasi risolve problemi aperti di lunga data (Stanton, Billey-Swanson, Gatzweiler-Krattenthaler) fornendo una soglia asintotica chiara ($n \ge k^2$ o $m \ge n^2$) per la validità delle congetture.
• Nuovi Strumenti: La caratterizzazione dell'esistenza di intersezioni complete vuote tramite il problema di Frobenius offre un nuovo strumento potente per analizzare la regolarità delle sequenze in anelli graduati pesati.
• Complessità della Non-negatività: Sottolinea che la non-negatività dei coefficienti non è sempre spiegabile tramite strutture algebriche locali (come somme geometriche o proprietà dei polinomi ciclotomici singoli), ma può emergere da fenomeni analitici globali, suggerendo nuove direzioni di ricerca basate sull'asintotica delle distribuzioni.

In sintesi, il lavoro fornisce un quadro teorico robusto per determinare quando un rapporto di polinomi ciclotomici è un polinomio a coefficienti positivi, risolvendo la maggior parte dei casi noti e aprendo la strada a ulteriori indagini sulle eccezioni residue.