Identités de type Rogers-Ramanujan multiples pour les ordres quadratiques inertes

Informations fondamentales

• ID de l'article: 2511.09452
• Titre: Multiple Rogers-Ramanujan type identities for inert quadratic orders
• Auteurs: Shane Chern (Université de Vienne), Yifeng Huang (Université de Californie du Sud)
• Classification: math.AG (Géométrie algébrique), math.CO (Combinatoire), math.NT (Théorie des nombres)
• Date de soumission: 12 novembre 2025 à arXiv (v1)
• Lien de l'article: https://arxiv.org/abs/2511.09452

Résumé

Cet article calcule les fonctions zêta Quot et Coh finitisées pour les ordres quadratiques inertes $\mathbb{F}_q[[T]]+T^{m}\mathbb{F}_{q^{2}}[[T]]$ pour tous $m\geq 1$, en les exprimant sous la forme de sommes multiples $2m$-ples, et prouve que cette somme multiple est égale à une somme de Bressoud $m$-ple. Ceci prouve une conjecture récente du deuxième auteur et complète la ligne directrice d'exploration de la série de travaux des auteurs avec Jiang. L'équivalence entre la somme multiple $2m$-ple et la somme de Bressoud $m$-ple s'établit en généralisant la somme multiple par l'introduction de paramètres « fantômes » $a$. Les auteurs utilisent des techniques purement $q$-théoriques pour prouver que cette généralisation $a$-modifiée est remarquablement indépendante de $a$. Enfin, les auteurs proposent une somme multiple raffinée qui interpole les deux versions de la fonction zêta Quot pour les trois classes d'ordres quadratiques.

Contexte de recherche et motivation

Problème de recherche

Le problème central de cet article est le calcul des fonctions zêta Quot et Coh pour les ordres quadratiques inertes et l'établissement de leurs connexions avec les identités classiques multiples de type Rogers-Ramanujan.

Importance du problème

1. Connexion géométrie-combinatoire: Cette recherche relie le comptage de points d'espaces de modules en géométrie algébrique aux séries $q$-hypergéométriques classiques en combinatoire, ce qui constitue un domaine d'intersection important des mathématiques modernes.
2. Complétude: Dans la classification des ordres quadratiques, il existe trois classes: ramifiée, déployée et inerte. Les deux premières ont été étudiées par Huang-Jiang et Chern, et cet article complète le cas inerte, formant un tableau complet.
3. Généralisation de rang supérieur: Ceci est une étape importante dans la généralisation de la théorie classique des schémas de Hilbert aux schémas de Quot de rang supérieur, ce qui a une signification pour la compréhension de la théorie de Donaldson-Thomas.

Limitations des méthodes existantes

1. Échec des méthodes pour les ordres ramifiés et déployés: Dans les cas ramifiés et déployés, la condition $\tilde{A}W = \tilde{V}$ est équivalente à $\tilde{A}W + V_1 = V$ pour un sous-module fixe $V_1$, ce qui peut être paramétrisé en utilisant le deuxième théorème d'isomorphisme. Cependant, dans le cas inerte, cet argument ne s'applique plus.
2. Absence d'interprétation géométrique directe: Dans le cas déployé, l'apparition de $-t$ dans la fonction zêta Coh finitisée est déroutante et nécessite une réinterprétation du point de vue arithmétique.

Motivation de la recherche

1. Preuve de la conjecture: Prouver la conjecture proposée par Huang dans Hua25 concernant les ordres quadratiques inertes (Conjecture 1.2).
2. Cadre unifié: Établir un cadre unifié pour comprendre les fonctions zêta Quot de toutes les trois classes d'ordres quadratiques.
3. Nouvelles identités $q$: Découvrir et prouver de nouvelles identités multiples de type Rogers-Ramanujan, qui possèdent des significations combinatoires et géométriques profondes.

Contributions principales

1. Preuve du théorème principal: Calcul de la fonction zêta Coh finitisée pour l'ordre quadratique inerte $R'_{2,2m} = \mathbb{F}_q[[T]] + T^m\mathbb{F}_{q^2}[[T]]$, prouvant qu'elle est égale à la somme de Bressoud $t$-déformée directe (Théorème 1.2): $\hat{\zeta}_{R'_{2,2m},n}(s) = \frac{1}{(tq^{-1};q^{-1})_n}\text{Br}^{(2m+2)}_n(t,q^{-1})$
2. Indépendance $a$ des paramètres fantômes: Introduction de la somme multiple généralisée $X^{(m)}_N(a,t,q)$ et preuve de sa propriété clé — l'indépendance du paramètre $a$ (Théorème 1.3), qui est le cœur technique: $X^{(m)}_N(a,t,q) = \sum_{n_1,\ldots,n_m\geq 0}\frac{t^{\sum_i 2n_i}q^{\sum_i n_i^2}}{(q)_{N-n_m}(q)_{n_m-n_{m-1}}\cdots(q)_{n_2-n_1}(q)_{n_1}(tq)_{n_1}}$
3. Nouvelle théorie structurelle:
   • Introduction des concepts de sous-modules « totalement réels » (totally real) et « co-totalement réels » (co-totally-real)
   • Établissement de formules de comptage de points pour les Grassmanniennes totalement réelles et les variétés de drapeaux (Théorèmes 3.6, 3.10)
4. Polynôme d'interpolation principal: Proposition d'un polynôme principal unifié $\tilde{\Phi}_{m,n}(u,t,z)$ qui interpole les fonctions zêta Quot de toutes les trois classes d'ordres quadratiques, satisfaisant un principe de réflexion (Théorème 6.7).
5. Phénomène de crible cyclique: Preuve que l'évaluation du polynôme principal aux racines de l'unité satisfait la propriété de crible cyclique (Théorème 6.8), suggérant l'existence possible d'un modèle combinatoire.

Explication détaillée des méthodes

Définition de la tâche

Entrée: Ordre quadratique inerte $R'_{2,2m} = \mathbb{F}_q[[T]] + T^m\mathbb{F}_{q^2}[[T]]$ et rang $n$

Sortie: Formules explicites pour la fonction zêta Quot $\zeta^R_{R^n}(s)$ et la fonction zêta Coh finitisée $\hat{\zeta}_{R,n}(s)$

Contraintes: L'expression doit être sous forme de série $q$-hypergéométrique, en particulier établir une connexion avec les sommes de Bressoud

Architecture globale

La stratégie de preuve du papier se divise en trois phases principales:

Phase 1: Calcul géométrique (Section 3)

Utilisation du cadre Huang-Jiang pour calculer la fonction zêta Quot, obtenant une expression de somme multiple $2m$-ple.

Phase 2: Preuve $q$-théorique (Section 4)

Par l'introduction de paramètres fantômes $a$, utilisation de techniques purement $q$-hypergéométriques pour prouver l'indépendance $a$, réduisant ainsi la somme $2m$-ple à une somme $m$-ple.

Phase 3: Théorie unifiée (Sections 5-6)

Discussion des principes de choix de déformation, proposition du polynôme d'interpolation principal unifiant les trois classes d'ordres quadratiques.

Modules principaux

Module 1: Caractérisation des treillis limites (Boundary Lattices)

Lemme clé 3.1: Pour un $R$-treillis $L_b$ satisfaisant $\tilde{M}\subseteq L_b\subseteq M$, soit $\lambda$ le type du $A$-module $M/L_b$, alors:

• (a) $\tilde{R}L_b\cap M = L_b$ (condition limite)
• (b) Le type du $A$-module $\tilde{R}L_b/L_b$ est $(m^n)-\lambda$
• (c) Le type du $\tilde{A}$-module $\tilde{R}L_b/\tilde{M}$ est $(m^n)-\lambda$

Stratégie de preuve: Utilisation de la décomposition en somme directe $\tilde{A} = A\oplus \Theta A$, où $\Theta\in l\setminus k$, et l'injectivité de l'action de $\Theta$.

Module 2: Théorie des sous-modules totalement réels

Définition 3.2: Un $A$-sous-module $W$ d'un $\tilde{A}$-module $\tilde{V}$ est appelé totalement réel si $W\cap \Theta W = 0$.

Propriétés clés:

• Si $W$ est totalement réel et $\tilde{A}W = \tilde{V}$, alors $\tilde{A}W = W\oplus \Theta W = lW$
• Le nombre de structures totalement réelles est contrôlé par les polynômes de Hall et l'ordre du groupe d'automorphismes

Théorème 3.6 (Formule de comptage de points): Soit $\tilde{V}$ un $l[[T]]$-module de type $(m^n)$. Pour les partitions $\mu,\lambda\subseteq (m^n)$, chaque $k[[T]]$-sous-module totalement réel de type $\mu$ est contenu dans $B(m,n,\lambda,\mu,q)$ sous-modules totalement réels de type $\lambda$, où $B(m,n,\lambda,\mu,q) = \frac{g^{(m^n)}_\lambda(q^2)g^\lambda_\mu(q)a_\lambda(q^2)/a_\lambda(q)}{g^{(m^n)}_\mu(q^2)a_\mu(q^2)/a_\mu(q)}$

Cette formule se simplifie en (Remarque 3.7): $B(m,n,\lambda,\mu,q) = q^{\sum_i(2n-\lambda'_i)(\lambda'_i-\mu'_i)}(-q^{-1};q^{-1})_{\lambda'_1-\mu'_1}\begin{bmatrix}n-\mu'_1\\n-\lambda'_1\end{bmatrix}_{q^{-2}}\prod_{i\geq 1}\begin{bmatrix}\lambda'_i-\mu'_{i+1}\\\lambda'_i-\lambda'_{i+1}\end{bmatrix}_{q^{-1}}$

Module 3: Technique des paramètres fantômes

Somme multiple généralisée (Équation 4.1): $X^{(m)}_N(a,t,q) = (atq)_N\sum_{r_i,s_i\geq 0}\frac{a^{\sum s_i}t^{\sum(2r_i-s_i)}q^{\sum(r_i^2-r_is_i+s_i^2)}(aq)_{r_1}}{(q)_{N-r_m}\cdots(q)_{r_1}(tq)_{r_1}(atq)_{r_1}(aq)_{s_1}}\times \text{$q$-binômes}$

Reconstruction clé (Théorème 4.7): Par une série de substitutions de variables et de transformations $q$-hypergéométriques, réécrire $X^{(m)}_N(a,t,q)$ comme: $X^{(m)}_N(a,t,q) = \frac{(aq)_\infty(t^2q)_\infty}{(tq)_\infty(atq^{N+1})_\infty}V^{(m)}_N(a,t,q)$

où $V^{(m)}_N(a,t,q)$ est une série auxiliaire.

Stratégie de preuve de l'indépendance $a$:

1. Preuve que $V^{(m)}_N(a,t,q)$ satisfait une relation de récurrence (Lemme 4.9)
2. Utilisation de l'induction, le cas de base $m=1$ étant prouvé par la transformation de Heine
3. L'étape inductive utilise le Lemme 4.8 généralisé (formule de sommation $q$-hypergéométrique)

Lemme technique clé 4.8: $\sum_{n\geq 0}\frac{t^{2n}q^{n^2+Mn}(aq)_{M+n}}{(q)_{N-n}(q)_n(tq)_{M+n}(atq)_{M+n}} = \frac{(aq)_\infty(t^2q)_\infty}{(tq)_\infty(atq)_\infty(q)_N}\sum_{n\geq 0}\frac{a^nq^{(M+1)n}(t)_n(a^{-1}t)_n}{(q)_n(t^2q)_{M+N+n}}$

La preuve utilise la transformation $_3\phi_2$ (Lemme 4.6) et la transformation de Heine.

Points d'innovation technique

1. Géométrie des sous-modules totalement réels: C'est une nouvelle approche pour traiter les ordres quadratiques inertes, différente des techniques pour les ordres ramifiés/déployés. L'insight clé est la structure de somme directe $\tilde{A} = A\oplus \Theta A$.
2. Méthode des paramètres fantômes: L'introduction du paramètre $a$ unifie les sommes multiples apparemment différentes dans un même cadre, puis la preuve de l'indépendance $a$. C'est une technique contre-intuitive mais puissante.
3. Double perspective: Étude simultanée des sous-modules totalement réels et co-totalement réels, ces derniers étant techniquement plus commodes pour le comptage des fibres.
4. Structure récurrence-induction: La propriété de récurrence de la série auxiliaire $V^{(m)}_N$ (Lemme 4.9) rend possible la preuve par induction.

Configuration expérimentale

Vérification théorique

Cet article est un travail théorique en mathématiques pures, ne comportant pas d'expériences numériques, mais incluant les vérifications suivantes:

1. Vérification de cas particuliers:
   • Spécialisation $s=0$ (Proposition 3.13) vérifiant la cohérence avec les résultats connus
   • Calcul direct du cas de base $m=1$
   • Comparaison avec les résultats pour les ordres ramifiés/déployés
2. Vérifications de cohérence:
   • Vérification du principe de réflexion (Équation 5.8)
   • Évaluation de la propriété de crible cyclique aux racines de l'unité (Théorème 6.8)
   • Cohérence avec la théorie des paires de Bailey

Méthodes comparatives

L'article compare avec les résultats existants suivants:

1. Huang-Jiang HJ23: Résultats pour les ordres déployés $R_{2,2m}$
2. Chern Che24: Résultats pour les ordres ramifiés $R_{2,2m+1}$
3. Huang Hua25: Résultats préliminaires pour les ordres inertes (Conjecture 1.2)

Comparaison des formules clés

Résultats expérimentaux

Résultats principaux

Preuve du Théorème 1.2 (Section 3.7): $\hat{\zeta}_{R'_{2,2m},n}(s) = \frac{1}{(tq^{-1};q^{-1})_n}\text{Br}^{(2m+2)}_n(t,q^{-1})$

où la somme de Bressoud est définie par: $\text{Br}^{(2m+2)}_n(t,q) = (q)_n\sum_{n_1,\ldots,n_m\geq 0}\frac{t^{\sum 2n_i}q^{\sum n_i^2}}{(q)_{n-n_m}\cdots(q)_{n_2-n_1}(q)_{n_1}(-tq)_{n_1}}$

Degré de complétude de la preuve: La preuve complète dépend du Théorème 1.3 (indépendance $a$), qui est entièrement prouvé dans la Section 4 par des techniques purement $q$-théoriques.

Résultats intermédiaires clés

Corollaire 3.16 (Expression de somme multiple $2m$-ple): $\hat{\zeta}_{R'_{2,2m},n}(s) = (z;z)_n\sum_{r_i,s_i\geq 0}\frac{t^{\sum(2r_i-s_i)}z^{\sum(r_i^2-r_is_i+s_i^2)}(-z;z)_{r_1}}{(z;z)_{n-r_m}\cdots(z;z)_{r_1}(t^2z^2;z^2)_{r_1}(-z;z)_{s_1}}\times \text{$q$-binômes}$

Théorème 1.3 (Indépendance $a$): $X^{(m)}_N(a,t,q) = \sum_{n_1,\ldots,n_m\geq 0}\frac{t^{\sum 2n_i}q^{\sum n_i^2}}{(q)_{N-n_m}\cdots(q)_{n_1}(tq)_{n_1}}$

Le membre de droite ne contient pas le paramètre $a$, prouvant que la somme $2m$-ple se réduit à une somme $m$-ple.

Résultats de la théorie unifiée

Polynôme d'interpolation principal (Équation 6.3): $\tilde{\Phi}_{m,n}(u,t,z) = \sum_{n_i\geq 0}\frac{u^{mn-\sum n_i}z^{-mn^2+\sum n_i^2}(z;z)_n(u^{-1}tz;z)_n}{(z;z)_{n-n_m}\cdots(z;z)_{n_1}(u^{-1}tz;z)_{n_1}}$

Principe de réflexion (Théorème 6.7): $\tilde{\Phi}_{m,n}(u,t,z) = u^{mn}z^{-mn^2}\tilde{\Phi}_{m,n}(u^{-1}z^{2n}, u^{-1}tz^n, z)$

Ceci est cohérent avec la dualité géométrique (Équation 5.8).

Crible cyclique (Théorème 6.8): Pour $r|n$ et $\zeta_r$ une racine primitive $r$-ième de l'unité, $\tilde{\Phi}_{m,n}(u,t,\zeta_r) = \left(\frac{1-t^r+u^{mr}t^r-u^{(m+1)r}}{1-u^r}\right)^{n/r} = \tilde{\Phi}_{m,1}(u^r,t^r,1)^{n/r}$

Nouvelles identités $q$

Comme sous-produit, l'article obtient deux nouvelles identités « $(2m)$-ple =$$(m)-ple »:

Corollaire 4.13 ($m\geq 2$): $\sum_{n_i\geq 0}\frac{(-1)^{n_m}t^{-n_m+\sum 2n_i}q^{-\binom{n_m}{2}+\sum n_i^2}(t)_{n_m}}{(t^2q)_{N+n_2}(q)_{N-n_1}(q)_{n_m}}\prod\begin{bmatrix}n_i\\n_{i-1}\end{bmatrix}_q$$= \frac{(tq)_\infty}{(t^2q)_\infty}\sum_{n_i\geq 0}\frac{t^{\sum 2n_i}q^{\sum n_i^2}}{(q)_{N-n_m}\cdots(q)_{n_1}(tq)_{n_1}}$

Corollaire 4.14: Identité similaire avec les indices $n_1$ et $n_2$ échangés.

Travaux connexes

Identités multiples de type Rogers-Ramanujan

1. Travaux classiques:
   • Rogers Rog94 et Ramanujan Ram14: Les identités Rogers-Ramanujan originales
   • Andrews And74: Identités Andrews-Gordon (Équation 1.5)
   • Bressoud Bre80: Identités Bressoud (Équation 1.7)
2. Développements modernes:
   • Gordon Gor61: Théorèmes de partition
   • Théorie des chaînes de Bailey And86: Cadre unifié

Aspects géométriques

1. Schémas de Hilbert et schémas de Quot:
   • Oblomkov-Rasmussen-Shende ORS18: Connexion entre schémas de Hilbert et homologie de chaînes
   • Série de travaux Gorsky-Mazin GM13, GMV16, GMV17: Nombres $q,t$-Catalan et singularités toriques
2. Théorie de rang supérieur:
   • Huang-Jiang HJ23: Fonctions zêta Quot/Coh pour ordres déployés
   • Chern Che24: Résultats pour ordres ramifiés
   • Huang Hua25: Recherche préliminaire sur ordres inertes
3. Théorie de Donaldson-Thomas:
   • Ricolfi Ric17: Invariants DT locaux
   • Fasola-Monavari-Ricolfi FMR21, Feyzbakhsh-Thomas FT23: Factorisation de rang

Théorie des polynômes de Hall

• Macdonald Mac15: Référence standard pour les polynômes de Hall
• Warnaar War13: Formules explicites pour les polynômes de Hall
• Solomon Sol77: Représentation intégrale des fonctions zêta

Séries $q$-hypergéométriques

• Gasper-Rahman GR04: Manuel standard pour les séries hypergéométriques de base
• Transformations clés utilisées dans cet article: théorème $q$-binomial, somme $q$-Gauß, transformation de Heine, transformation $_3\phi_2$

Conclusions et discussion

Conclusions principales

1. Classification complète: Cet article complète le calcul explicite des fonctions zêta Quot et Coh pour les trois classes d'ordres quadratiques (ramifiés, déployés, inertes), prouvant qu'elles sont toutes liées aux identités classiques multiples de type Rogers-Ramanujan.
2. Cadre unifié: Le polynôme d'interpolation principal $\tilde{\Phi}_{m,n}(u,t,z)$ fournit une perspective unifiée, récupérant tous les cas par différents choix de paramètres $(\epsilon_R, u, t)$.
3. Nouvelles techniques: La théorie des sous-modules totalement réels et la méthode des paramètres fantômes fournissent de nouveaux outils pour traiter le cas inerte, et ces techniques pourraient s'appliquer à des problèmes plus larges.

Limitations

1. Interprétation géométrique incomplète: Bien que le polynôme d'interpolation principal se comporte bien au niveau $q$-théorique (principe de réflexion, crible cyclique), sa signification géométrique reste obscure. En particulier, quelle est l'origine géométrique du paramètre $u$?
2. Au-delà des ordres quadratiques: Il n'est pas clair si la méthode peut se généraliser à des singularités de courbes plus générales (comme le cas $(a,b)$ quand $\gcd(a,b)>2$). L'article mentionne des progrès pour le cas coprime (Huang-Jiang-Oblomkov, en préparation), mais le cas non-coprime est plus subtil.
3. Modèle combinatoire manquant: Le phénomène de crible cyclique suggère fortement l'existence d'un modèle combinatoire sur un ensemble fini, mais celui-ci n'a pas encore été trouvé. Un tel modèle pourrait être lié à l'ensemble des points fixes du tore du modèle géométrique.
4. Structure de chaîne de Bailey: Bien que les sommes Andrews-Gordon et Bressoud aient des explications par paires de Bailey, la structure de chaîne de Bailey de la $t$-déformation dans cet article (impliquant $t^2$ plutôt que le $t$ naturel) n'est pas claire.

Directions futures

L'article énonce explicitement les directions de recherche suivantes:

1. Modèle combinatoire (après Section 6.3): Recherche d'une interprétation combinatoire de $\tilde{\Phi}_{m,n}(u,t,z)$, impliquant potentiellement un comptage pondéré et une action de groupe cyclique.
2. Cadre géométrique (après Section 6.2):
   • Construction d'un polynôme à trois variables $\Phi_{R,n}(u,t,q)$ pour un germe de courbe général $R$
   • Si on peut prouver que $\Phi_{R,1}(u,t,q)\in \mathbb{Z}[uq,t]$, cela conduirait à la preuve de la conjecture Hilb-vs-Quot
3. Singularités multi-branches (Introduction): Étude du cas $(a,b)$ quand $\gcd(a,b)>2$, nécessitant la compréhension de plusieurs versions des nombres $q,t$-Catalan non-coprime.
4. Combinatoire Catalan de rang supérieur: Recherche d'une généralisation de rang supérieur des nombres $q,t$-Catalan, dont la limite de rang infini encode les identités multiples de Rogers-Ramanujan.
5. Théorie de la déformation (Section 5): Compréhension des principes généraux des « bonnes » $t$-déformations. Le principe de réflexion (Équation 5.8) fournit un critère, mais il pourrait y avoir d'autres critères motivés géométriquement ou combinatoirement.

Évaluation approfondie

Points forts

1. Complétude et systématicité:
   • Complète le dernier morceau du puzzle de la classification des ordres quadratiques
   • Fournit un cadre théorique unifié (polynôme d'interpolation principal)
   • Preuve complète et rigoureuse, des calculs géométriques à la preuve $q$-théorique, tous très détaillés
2. Innovation technique:
   • L'introduction des sous-modules totalement réels est l'innovation clé pour traiter le cas inerte
   • La technique des paramètres fantômes est élégante et inattendue, la preuve de l'indépendance $a$ a un contenu technique élevé
   • L'utilisation de la structure récurrence-induction montre une compréhension profonde de la théorie $q$
3. Connexions interdisciplinaires:
   • Relie la géométrie algébrique (espaces de modules), la combinatoire (partitions, séries $q$) et la théorie des nombres (ordres quadratiques)
   • Révèle les connexions profondes entre la dualité géométrique et les formules de réflexion des séries $q$
   • Le phénomène de crible cyclique suggère des connexions potentielles avec la théorie des représentations
4. Qualité de la rédaction:
   • Structure claire, motivation bien expliquée
   • Détails techniques complets, vérifiabilité forte
   • Contient des remarques utiles (comme la Remarque 3.8 sur la difficulté des drapeaux 2-step)
5. Nouveaux résultats:
   • Plusieurs nouvelles identités $q$ (Corollaires 4.13, 4.14)
   • Formules de comptage de points pour les Grassmanniennes totalement réelles (Théorème 3.6)
   • Propriétés de réflexion et de crible cyclique du polynôme d'interpolation principal

Insuffisances

1. Intuition géométrique insuffisante:
   • Bien que les sous-modules totalement réels soient techniquement efficaces, l'intuition géométrique est moins claire que dans les cas ramifiés/déployés
   • La signification géométrique du paramètre $u$ du polynôme d'interpolation principal n'est pas clarifiée
   • Absence de diagrammes ou d'exemples concrets pour aider à la compréhension des constructions géométriques
2. Généralisation inconnue:
   • L'applicabilité de la méthode à des singularités plus générales n'est pas claire
   • Existe-t-il une théorie unifiée au-delà des ordres quadratiques?
   • Les possibilités de généralisation à des variétés de dimension supérieure ne sont pas discutées
3. Aspect combinatoire sous-développé:
   • Bien que le phénomène de crible cyclique soit proposé, aucun modèle combinatoire n'est fourni
   • La connexion avec la théorie des chaînes de Bailey n'est pas suffisamment explorée
   • Absence d'interprétation directe en théorie des partitions
4. Complexité computationnelle:
   • La complexité du calcul des sommes $2m$-ples est élevée
   • Bien que simplifiée en sommes $m$-ples, elle reste complexe pour les grands $m$
   • Les possibilités de calcul numérique ou d'implémentation algorithmique ne sont pas discutées
5. Contexte historique:
   • L'introduction au développement historique des identités Rogers-Ramanujan est plutôt brève
   • Les connexions avec les applications en physique (mécanique statistique, théorie des champs conformes) ne sont pas mentionnées

Influence

1. Signification théorique:
   • Complète le tableau complet des ordres quadratiques, ce qui est une étape importante
   • Fournit des orientations méthodologiques pour l'étude d'ordres de courbes plus générales
   • La technique des paramètres fantômes pourrait avoir des applications dans d'autres problèmes d'identités $q$
2. Contribution méthodologique:
   • La théorie des sous-modules totalement réels est un nouvel outil
   • Démontre l'importance profonde de la perspective arithmétique dans les problèmes géométriques
   • Combinaison profonde de techniques purement $q$-théoriques et géométriques
3. Applications potentielles:
   • Pourrait avoir des implications pour la résolution de la conjecture Hilb-vs-Quot
   • Le phénomène de crible cyclique pourrait avoir des connexions avec la théorie des représentations et la topologie
   • Le cadre du polynôme d'interpolation principal pourrait s'appliquer à d'autres espaces de modules
4. Reproductibilité:
   • Preuve complète et détaillée, les étapes techniques peuvent être vérifiées
   • Utilise des techniques $q$-hypergéométriques standard, les experts peuvent suivre
   • Les lemmes clés sont tous énoncés clairement avec des preuves
5. Problèmes ouverts:
   • Énonce plusieurs directions de recherche futures claires
   • Fournit un chemin de recherche clair pour les jeunes chercheurs
   • La nature interdisciplinaire pourrait attirer des chercheurs de différents horizons

Scénarios d'application

1. Applications directes:
   • Calcul des fonctions zêta pour d'autres ordres arithmétiques locaux
   • Étude des invariants de Donaldson-Thomas connexes
   • Généralisation à des singularités de dimension supérieure (singularités de surfaces, etc.)
2. Transfert de méthodes:
   • La technique des sous-modules totalement réels pourrait s'appliquer à d'autres problèmes d'extension de corps
   • La méthode des paramètres fantômes pourrait être utile pour d'autres identités de sommation
   • La stratégie récurrence-induction pourrait être appliquée à d'autres sommes multiples
3. Développement théorique:
   • Fournit un cadre pour la compréhension de la généralisation de rang supérieur des nombres $q,t$-Catalan
   • Pourrait inspirer de nouvelles chaînes de Bailey ou chaînes WP-Bailey
   • Fournit de nouveaux exemples pour la théorie du crible cyclique
4. Valeur pédagogique:
   • Démontre les connexions profondes entre la géométrie algébrique et la combinatoire
   • Fournit des exemples d'applications avancées de techniques $q$-hypergéométriques
   • Illustre l'importance de la perspective arithmétique dans les problèmes géométriques

Références (Littérature clé)

1. HJ23 Y. Huang et R. Jiang, Motivic Coh and Quot zeta functions of singular curves, arXiv:2312.12528 (2023) - Établit le cadre théorique pour les ordres déployés
2. Che24 S. Chern, Multiple Rogers–Ramanujan type identities for torus links, arXiv:2411.07198 (2024) - Traite le cas des ordres ramifiés
3. Hua25 Y. Huang, Coh zeta functions for inert quadratic orders, arXiv:2507.21966 (2025) - Propose la conjecture prouvée dans cet article
4. And74 G. E. Andrews, An analytic generalization of the Rogers–Ramanujan identities for odd moduli, Proc. Nat. Acad. Sci. U.S.A. 71 (1974) - Identités Andrews-Gordon
5. Bre80 D. M. Bressoud, An analytic generalization of the Rogers–Ramanujan identities with interpretation, Quart. J. Math. Oxford Ser. (2) 31 (1980) - Identités Bressoud
6. Mac15 I. G. Macdonald, Symmetric functions and Hall polynomials, 2e éd., Oxford (2015) - Théorie des polynômes de Hall
7. GR04 G. Gasper et M. Rahman, Basic hypergeometric series, 2e éd., Cambridge (2004) - Référence standard pour les séries $q$-hypergéométriques

Résumé: Ceci est un article théorique de mathématiques pures de haute qualité qui complète le dernier morceau du puzzle de la théorie des fonctions zêta Quot/Coh pour les ordres quadratiques. Techniquement innovant et rigoureux, il propose un cadre théorique unifié et indique plusieurs directions pour les recherches futures. Bien que l'intuition géométrique et l'interprétation combinatoire méritent encore du développement, l'article apporte une contribution importante à la connexion entre la géométrie algébrique et la théorie des séries $q$. En particulier, le résultat contre-intuitif d'indépendance $a$ des paramètres fantômes démontre une compréhension mathématique profonde. Pour les chercheurs travaillant sur les espaces de modules, la théorie des partitions ou les identités $q$, ceci est un article qui mérite une lecture approfondie.