Cyclotomic generating functions, empty weighted complete intersections and positivity

1. Problématique et Contexte

L'article s'intéresse à la positivité des coefficients des fonctions génératrices cyclotomiques (CGF). Une CGF est définie comme un polynôme non nul à coefficients entiers non négatifs qui peut s'écrire sous la forme d'un quotient de produits d'entiers $q$-analogues :
$$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}}$$
où $[n]_q = \frac{1-q^n}{1-q}$.

Le problème central est le suivant : étant donné des entiers positifs $a_i$ et $b_i$, si le quotient (3) se simplifie en un polynôme en $q$, comment déterminer si ce polynôme possède des coefficients entiers non négatifs ? Bien que de nombreuses fonctions génératrices combinatoires (comme les coefficients binomiaux $q$-analogues) soient des CGF, il n'est pas trivial de prouver la positivité des coefficients pour des quotients généraux.

Les auteurs visent à résoudre ou à prouver la validité de plusieurs conjectures ouvertes :

• Conjecture de Stanton (1980) : Concernant les suites gaussiennes « fausses » et la positivité sous certaines conditions de symétrie.
• Conjectures de Gatzweiler et Krattenthaler (2026) : Affirmant que la positivité des coefficients est garantie dès que le quotient est un polynôme, même sans les conditions de symétrie ou de paramétrage spécifiques de Stanton.

2. Méthodologie

Les auteurs adoptent une approche hybride combinant trois perspectives distinctes pour établir des conditions suffisantes de positivité :

A. Point de vue Algébro-géométrique

C'est l'apport principal de l'article. Les auteurs établissent un lien entre la positivité des CGF et l'existence de variétés de complétion complète pondérées vides (Empty Weighted Complete Intersections - WCIs) dans les espaces projectifs pondérés.

• Ils utilisent le fait qu'une suite régulière d'éléments homogènes dans un anneau de polynômes pondérés correspond à une WCI.
• Ils traduisent l'existence d'une telle variété vide en une condition combinatoire impliquant des problèmes de pièces de Frobenius (Frobenius coin problems).
• Plus précisément, l'existence d'une suite régulière est équivalente à une inégalité impliquant le nombre d'éléments d'un ensemble $A$ (les degrés des équations) qui appartiennent au semi-groupe engendré par un sous-ensemble de $B$ (les poids des variables).

B. Point de vue Théorique des Treillis (Lattice-theoretic)

Les auteurs étudient les propriétés structurelles du treillis de divisibilité des entiers positifs $(\mathbb{Z}_{\ge 0}, |)$.

• Ils proposent des conditions suffisantes basées sur la décomposition du quotient en facteurs cyclotomiques $\Phi_n(q)$.
• Ils identifient des structures de sous-ensembles (idéaux inférieurs) dans le treillis qui garantissent la positivité, souvent en reliant ces structures à des sommes géométriques ou à des propriétés de « platitude » (flatness) des polynômes cyclotomiques.

C. Point de vue Analytique

L'article note que certaines CGF sont positives pour des raisons analytiques plutôt que purement combinatoires.

• Ils discutent des multiplicateurs de Poincaré et de la distribution asymptotiquement normale des coefficients.
• L'idée est que multiplier un polynôme par un terme de la forme $(1+x)^k$ (qui a une distribution de coefficients normale) peut « lisser » les coefficients négatifs potentiels, rendant le produit final à coefficients positifs.

3. Résultats Clés et Contributions

Théorème Principal (Théorème 1.6 / 3.9)

Les auteurs fournissent une condition suffisante pratique pour la positivité. Soit $a_1 \le \dots \le a_n$ et $b_1 \le \dots \le b_n$. Si le quotient est un polynôme et si l'inégalité suivante est satisfaite :
$$2b_n \left\lfloor \frac{b_{n-1}}{2} \right\rfloor - b_1 < a_1$$
Alors, pour tout sous-ensemble d'indices $I$, l'inégalité combinatoire fondamentale est vérifiée, garantissant que le quotient a des coefficients entiers non négatifs.

Résolution de Conjectures

En appliquant ce théorème, les auteurs démontrent :

1. Conjecture 1.2 (Gatzweiler-Krattenthaler) : Elle est vraie si $n \ge k^2$ (ou plus généralement si $2k \lfloor \frac{k-1}{2} \rfloor + k - l < n$). Cela résout la conjecture pour presque tous les cas (sauf un nombre fini de choix pour $l$ et $n$ fixés $k$).
2. Conjectures 1.1 et 1.3 (Stanton / Gatzweiler-Krattenthaler) : Elles sont vraies si $m \ge n^2$ (ou $2n \lfloor \frac{n}{2} \rfloor - 2 < m$). Là encore, la conjecture est prouvée pour tous les cas sauf un nombre fini d'exceptions.

Solution au Problème 1.5 (Billey-Swanson)

Le papier répond à la question de savoir comment tester l'appartenance au « monôme HSOP » (Homogeneous System of Parameters). La Proposition 3.3 donne une condition nécessaire et suffisante combinatoire (basée sur les problèmes de Frobenius) pour l'existence d'une suite régulière, ce qui équivaut à l'appartenance au monôme HSOP.

Limites et Nuances

• Les conditions basées sur le treillis (Section 4) sont suffisantes mais non nécessaires. L'article montre par l'exemple (Exemple 4.5) qu'un quotient peut avoir des coefficients positifs même si aucune condition structurelle simple (comme une somme géométrique ou un faible nombre de facteurs premiers distincts $\omega(n)$) n'est satisfaite localement. La positivité peut émerger d'une interaction globale entre les facteurs cyclotomiques.

4. Signification et Impact

• Avancée Combinatoire : L'article fournit un cadre unifié pour comprendre la positivité des fractions rationnelles en $q$, reliant des domaines apparemment disjoints : la combinatoire des partitions, la géométrie algébrique (espaces projectifs pondérés) et la théorie des nombres (problèmes de Frobenius).
• Outils pour la Géométrie Algébrique : La caractérisation de l'existence de complétions complètes vides (Proposition 3.3) est un résultat indépendant important pour les géomètres travaillant sur les variétés toriques et les espaces pondérés.
• Résolution de Conjectures : En prouvant la validité de plusieurs conjectures ouvertes dans la plupart des cas (avec des bornes explicites pour les exceptions), l'article clarifie le paysage des fonctions génératrices cyclotomiques et suggère que la positivité est une propriété « générique » pour ces quotients polynomiaux, souvent garantie par des mécanismes analytiques ou combinatoires profonds.

En résumé, ce travail établit un pont robuste entre la géométrie algébrique pondérée et la combinatoire des coefficients de polynômes, offrant des critères vérifiables pour la positivité qui dépassent les méthodes traditionnelles de manipulation de polynômes cyclotomiques.