2025-11-21T19:31:16.480336

Multiple Rogers-Ramanujan type identities for inert quadratic orders

Chern, Huang

We compute the Quot and finitized Coh zeta functions of the inert quadratic orders $\mathbb{F}_q[[T]]+T^{m}\mathbb{F}_{q^{2}}[[T]]$ for every $m\geq 1$ in terms of a $2m$-fold multisum, and then show this multisum equals an $m$-fold Bressoud sum. This proves a recent conjecture of the second author, rounding up the line of exploration in the series of work by the authors and Jiang. The equality between the $2m$-fold multisum and the $m$-fold Bressoud sum is built upon generalizing the multisum by introducing a ``ghost'' parameter $a$ to its summands. We then show that such an $a$-generalization is surprisingly $a$-independent by purely $q$-theoretic techniques. Finally, we propose a refined multisum that interpolates two versions of Quot zeta functions for all three types of quadratic orders.

academic

惰性二次序に対する多重Rogers-Ramanujan型恒等式

基本情報

論文ID: 2511.09452
タイトル: Multiple Rogers-Ramanujan type identities for inert quadratic orders
著者: Shane Chern (ウィーン大学), Yifeng Huang (南カリフォルニア大学)
分類: math.AG (代数幾何学), math.CO (組合数学), math.NT (数論)
提出日時: 2025年11月12日 arXivへ提出 (v1)
論文リンク: https://arxiv.org/abs/2511.09452

要約

本論文は、すべての $m\geq 1$ に対する惰性二次序（inert quadratic orders） $\mathbb{F}_q[[T]]+T^{m}\mathbb{F}_{q^{2}}[[T]]$ のQuotおよび有限化Coh zeta関数を計算し、これを $2m$ 重多重和の形式で表現し、その多重和が $m$ 重Bressoud和に等しいことを証明する。これは第二著者による最近の予想を証明し、著者とJiangの一連の研究の探索主線を完成させる。 $2m$ 重多重和と $m$ 重Bressoud和の等価性は、「幽霊」パラメータ $a$ を導入して多重和を一般化することに基づいている。著者は純粋な $q$ -理論技術を用いて、この $a$ -一般化が驚くべきことに $a$ に無関係であることを証明した。最後に、著者は、すべての三つのクラスの二次序の二つのバージョンのQuot zeta関数を補間する精密な多重和を提案する。

研究背景と動機

研究問題

本論文の中核的な研究問題は、惰性二次序のQuotおよびCoh zeta関数を計算し、古典的な多重Rogers-Ramanujan型恒等式との関連を確立することである。

問題の重要性

幾何-組合論的結合：この研究は、代数幾何学における模空間の点計数と組合数学における古典的な $q$ -超幾何級数を結びつけ、現代数学における重要な交差領域である。
完全性：二次序の分類において、三つのクラスが存在する：分岐序（ramified）、分裂序（split）、惰性序（inert）。前二者はHuang-JiangとChernにより研究されており、本論文は惰性序の場合を完成させ、完全な図像を形成する。
高秩推広：これは古典的なHilbert概型理論を高秩Quot概型に推広する重要なステップであり、Donaldson-Thomas理論の理解に対して意義を持つ。

既存方法の限界

分岐および分裂序の方法の失効：分岐および分裂序の場合、条件 $\tilde{A}W = \tilde{V}$ は $\tilde{A}W + V_1 = V$ （ある固定部分加群 $V_1$ に対して）と同値であり、第二同型定理を使用してパラメータ化できる。しかし惰性序の場合、この論証はもはや適用されない。
直接的な幾何学的解釈の欠如：分裂序の場合、有限化Coh zeta関数は $-t$ の出現を含み、算術的観点から再理解する必要がある。

研究動機

予想の完成：HuangがHua25で提出した惰性二次序に関する予想（予想1.2）を証明する。
統一的枠組み：すべての三つのクラスの二次序のQuot zeta関数を理解するための統一的枠組みを確立する。
新しい $q$ -恒等式：深い組合論的および幾何学的意義を持つ新しい多重Rogers-Ramanujan型恒等式を発見し証明する。

中核的貢献

主定理の証明：惰性二次序 $R'_{2,2m} = \mathbb{F}_q[[T]] + T^m\mathbb{F}_{q^2}[[T]]$ の有限化Coh zeta関数を計算し、直接 $t$ -形変されたBressoud和に等しいことを証明する（定理1.2）： $\hat{\zeta}_{R'_{2,2m},n}(s) = \frac{1}{(tq^{-1};q^{-1})_n}\text{Br}^{(2m+2)}_n(t,q^{-1})$
幽霊パラメータの $a$ -独立性：一般化された多重和 $X^{(m)}_N(a,t,q)$ を導入し、その主要な性質——パラメータ $a$ に無関係であること（定理1.3）を証明する。これは技術的中核である： $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}}$
新しい構造理論：
- 「完全実」（totally real）および「余完全実」（co-totally-real）部分加群の概念を導入
- 完全実Grassmannianおよびflag多様体の点計数公式を確立する（定理3.6, 3.10）
主補間多項式：すべての三つのクラスの二次序のQuot zeta関数を補間し、反射原理を満たす統一的な主多項式 $\tilde{\Phi}_{m,n}(u,t,z)$ を提案する（定理6.7）。
循環篩現象：主多項式が単位根での評価が循環篩性質を満たすことを証明する（定理6.8）。これは組合論的モデルが存在する可能性を示唆する。

方法の詳細説明

タスク定義

入力：惰性二次序 $R'_{2,2m} = \mathbb{F}_q[[T]] + T^m\mathbb{F}_{q^2}[[T]]$ と秩 $n$

出力：Quot zeta関数 $\zeta^R_{R^n}(s)$ および有限化Coh zeta関数 $\hat{\zeta}_{R,n}(s)$ の明示的公式

制約： $q$ -超幾何級数の形式で表現される必要があり、特にBressoud和との関連を確立する。

全体的アーキテクチャ

論文の証明戦略は三つの主要段階に分かれている：

段階1：幾何学的計算（第3節）

Huang-Jiang枠組みを利用してQuot zeta関数を計算し、 $2m$ 重多重和表現を得る。

段階2： $q$ -理論証明（第4節）

幽霊パラメータ $a$ を導入することにより、純粋な $q$ -超幾何変換技術を使用して $a$ -独立性を証明し、 $2m$ 重和を $m$ 重和に簡約する。

段階3：統一理論（第5-6節）

形変の選択原則を議論し、すべての三つのクラスの二次序を統一する主補間多項式を提案する。

中核的モジュール

モジュール1：境界格子（Boundary Lattices）の特性化

主要補題3.1： $R$ -格 $L_b$ が $\tilde{M}\subseteq L_b\subseteq M$ を満たし、 $\lambda$ が $A$ -加群 $M/L_b$ の型であるとき、以下が成立する：

(a) $\tilde{R}L_b\cap M = L_b$ （境界条件）
(b) $A$ -加群 $\tilde{R}L_b/L_b$ の型は $(m^n)-\lambda$
(c) $\tilde{A}$ -加群 $\tilde{R}L_b/\tilde{M}$ の型は $(m^n)-\lambda$

証明戦略： $\tilde{A} = A\oplus \Theta A$ の直和分解を利用する。ここで $\Theta\in l\setminus k$ であり、 $\Theta$ の作用は単射である。

モジュール2：完全実部分加群理論

定義3.2： $\tilde{A}$ -加群 $\tilde{V}$ の $A$ -部分加群 $W$ が完全実（totally real）であるとは、 $W\cap \Theta W = 0$ を満たすことである。

主要性質：

$W$ が完全実で $\tilde{A}W = \tilde{V}$ ならば、 $\tilde{A}W = W\oplus \Theta W = lW$
完全実構造の個数はHall多項式と自己同型群の位数により制御される

定理3.6（点計数公式）： $\tilde{V}$ を型 $(m^n)$ の $l[[T]]$ -加群とし、分拆 $\mu,\lambda\subseteq (m^n)$ に対して、型 $\mu$ の各完全実 $k[[T]]$ -部分加群は $B(m,n,\lambda,\mu,q)$ 個の型 $\lambda$ の完全実部分加群に含まれる。ここで $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)}$

この公式は（注記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}}$

モジュール3：幽霊パラメータ技術

一般化された多重和（方程式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$-二項係数}$

主要な再構成（定理4.7）：一連の変数置換と $q$ -超幾何変換を通じて、 $X^{(m)}_N(a,t,q)$ を以下のように書き直す： $X^{(m)}_N(a,t,q) = \frac{(aq)_\infty(t^2q)_\infty}{(tq)_\infty(atq^{N+1})_\infty}V^{(m)}_N(a,t,q)$

ここで $V^{(m)}_N(a,t,q)$ は補助級数である。

$a$ -独立性証明戦略：

$V^{(m)}_N(a,t,q)$ が再帰関係を満たすことを証明する（補題4.9）
帰納法を使用し、基礎情形 $m=1$ はHeine変換を通じて証明される
帰納ステップは一般化された補題4.8（ $q$ -超幾何求和公式）を使用する

主要技術補題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}}$

証明は $_3\phi_2$ 変換（補題4.6）およびHeine変換を使用する。

技術的革新点

完全実部分加群幾何学：これは惰性二次序を処理するための新しい方法であり、分岐/分裂序の技術と異なる。主要な洞察は $\tilde{A} = A\oplus \Theta A$ の直和構造である。
幽霊パラメータ方法：パラメータ $a$ を導入することにより、元々異なるように見える多重和を同一の枠組みに統一し、その後 $a$ -独立性を証明する。これは直感に反するが強力な技術である。
二重視点：完全実部分加群と余完全実部分加群の両方を同時に研究する。後者は技術的により便利である。
再帰-帰納構造：補助級数 $V^{(m)}_N$ の再帰性質（補題4.9）により、帰納的証明が可能になる。

実験設定

理論的検証

本論文は純粋数学理論研究であり、数値実験は含まれないが、以下の検証を含む：

特殊情形の検証：
- $s=0$ への特殊化（命題3.13）が既知結果と一致することを検証
- $m=1$ 基礎情形の直接計算
- 分岐/分裂序結果との比較
一貫性チェック：
- 反射原理（方程式5.8）の検証
- 単位根での評価における循環篩性質（定理6.8）
- Bailey対理論との一貫性

比較方法

論文は以下の既存結果と比較される：

Huang-Jiang HJ23：分裂序 $R_{2,2m}$ の結果
Chern Che24：分岐序 $R_{2,2m+1}$ の結果
Huang Hua25：惰性序の初期結果（予想1.2）

主要公式の比較

序のクラス	有限化Coh zeta関数	対応する $q$ -級数
分岐 $R_{2,2m+1}$	$\frac{1}{(tq^{-1};q^{-1})_n}\text{AG}^{(2m+3)}_n(t,q^{-1})$	Andrews-Gordon和
分裂 $R_{2,2m}$	$\frac{1}{(tq^{-1};q^{-1})_n}\text{Br}^{(2m+2)}_n(-t,q^{-1})$	Bressoud和（ $-t$ 付き）
惰性 $R'_{2,2m}$	$\frac{1}{(tq^{-1};q^{-1})_n}\text{Br}^{(2m+2)}_n(t,q^{-1})$	Bressoud和（直接 $t$ ）

実験結果

主要結果

定理1.2の証明（第3.7節）： $\hat{\zeta}_{R'_{2,2m},n}(s) = \frac{1}{(tq^{-1};q^{-1})_n}\text{Br}^{(2m+2)}_n(t,q^{-1})$

ここでBressoud和は以下のように定義される： $\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}}$

証明の完全性：完全な証明は定理1.3（ $a$ -独立性）に依存し、後者は第4節において純 $q$ -理論技術により完全に証明される。

主要な中間結果

系3.16（ $2m$ 重多重和表現）： $\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$-二項係数}$

定理1.3（ $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}}$

右辺はパラメータ $a$ を含まず、 $2m$ 重和が $m$ 重和に簡約されることを証明する。

統一理論の結果

主補間多項式（方程式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}}$

反射原理（定理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)$

これは幾何学的双対性（方程式5.8）と一貫している。

循環篩（定理6.8）： $r|n$ および原始 $r$ 次単位根 $\zeta_r$ に対して、 $\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}$

新しい $q$ -恒等式

副産物として、論文は二つの新しい「 $(2m)$ 重 $=$$(m)$ 重」恒等式を得る：

系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}}$

系4.14：類似の恒等式。インデックス $n_1$ と $n_2$ が交換される。

結論と議論

主要な結論

分類の完成：本論文は、すべての三つのクラスの二次序（分岐、分裂、惰性）のQuotおよびCoh zeta関数の明示的計算を完成させ、それらがすべて古典的な多重Rogers-Ramanujan型恒等式と関連していることを証明する。
統一的枠組み：主補間多項式 $\tilde{\Phi}_{m,n}(u,t,z)$ は統一的視点を提供し、パラメータ $(\epsilon_R, u, t)$ の異なる選択を通じてすべての情形を復元する。
新しい技術：完全実部分加群理論と幽霊パラメータ方法は、惰性情形を処理するための新しいツールを提供し、これらの技術はより広い問題に適用される可能性がある。

限界

幾何学的解釈の不完全性：主補間多項式は $q$ -理論レベルで良好に振る舞う（反射原理、循環篩）が、その幾何学的意義は不明確である。特にパラメータ $u$ の幾何学的起源は何か？
二次序を超えた推広：方法がより一般的な曲線特異点（例えば $\gcd(a,b)>2$ の場合の $(a,b)$ 情形）に推広できるかは不明確である。論文ではcoprime情形に対する進展が言及されている（Huang-Jiang-Oblomkov、準備中）が、非coprime情形はより微妙である。
組合論的モデルの欠如：循環篩現象は有限集合上の組合論的モデルの存在を強く示唆しているが、まだ見つかっていない。そのようなモデルは幾何学的モデルのトーラス不動点集合と関連している可能性がある。
Bailey鎖構造：Andrews-GordonおよびBressoud和はいずれもBailey対解釈を持つが、本論文の $t$ -形変（ $t^2$ を含む自然な $t$ ではなく）のBailey鎖構造は不明確である。

将来の方向

論文は以下の研究方向を明確に提案する：

組合論的モデル（第6.3節の後）： $\tilde{\Phi}_{m,n}(u,t,z)$ の組合論的解釈を探す。これは加重計数と循環群作用を含む可能性がある。
幾何学的枠組み（第6.2節の後）：
- 一般的な曲線芽 $R$ に対して三変数多項式 $\Phi_{R,n}(u,t,q)$ を構成する
- $\Phi_{R,1}(u,t,q)\in \mathbb{Z}[uq,t]$ を証明できれば、Hilb-vs-Quot予想の証明につながる
多分岐特異点（序論）： $\gcd(a,b)>2$ の場合の $(a,b)$ を研究する。これには非coprime $q,t$ -Catalan数の複数バージョンの理解が必要である。
高秩Catalan組合論： $q,t$ -Catalan数の高秩推広を探す。その秩が無限大への極限は多重Rogers-Ramanujan恒等式をエンコードする。
形変理論（第5節）：「良い」 $t$ -形変の一般原則を理解する。反射原理（方程式5.8）は判定基準を提供するが、他の幾何学的または組合論的に動機付けられた判定基準が存在する可能性がある。

深い評価

利点

完全性と体系性：
- 二次序分類の最後のピースを完成させる
- 統一的な理論的枠組み（主補間多項式）を提供する
- 証明は完全で厳密であり、幾何学的計算から $q$ -理論証明まで詳細である
技術的革新：
- 完全実部分加群の導入は惰性情形を処理するための主要な革新である
- 幽霊パラメータ技術は優雅で予想外であり、 $a$ -独立性の証明は高い技術的内容を持つ
- 再帰-帰納構造の使用は深い $q$ -理論的洞察を示す
分野横断的な関連：
- 代数幾何学（模空間）、組合数学（分拆、 $q$ -級数）、数論（二次序）を結びつける
- 幾何学的双対性と $q$ -級数反射公式の間の深い関連を明らかにする
- 循環篩現象は表現論との潜在的な関連を示唆する
執筆の質：
- 構造が明確で、動機が十分に説明されている
- 技術的詳細は完全で、検証可能性が強い
- 有益な注記を含む（例えば注記3.8は2-step flagsの困難について）
新しい結果：
- 複数の新しい $q$ -恒等式（系4.13, 4.14）
- 完全実Grassmannianの点計数公式（定理3.6）
- 主補間多項式の反射原理と循環篩性質

不足

幾何学的直観の不足：
- 完全実部分加群は技術的に有効だが、分岐/分裂情形ほど幾何学的直観が明確ではない
- 主補間多項式のパラメータ $u$ の幾何学的意義は明確にされていない
- 幾何学的構成を理解するのに役立つ図示または具体例が不足している
推広性の不確実性：
- 方法がより一般的な特異点に適用可能かどうかは不明確である
- 二次序を超えた統一理論が存在するか？
- 高次元多様体への推広の可能性は議論されていない
組合論的側面の未発展：
- 循環篩現象が提案されているが、組合論的モデルは与えられていない
- Bailey鎖理論との関連は十分に探索されていない
- 分拆理論の直接的な解釈が不足している
計算複雑性：
- $2m$ 重和の計算複雑性は高い
- $m$ 重和に簡約されているが、大きな $m$ に対してはなお複雑である
- 数値計算またはアルゴリズム実装は議論されていない
歴史的背景：
- Rogers-Ramanujan恒等式の歴史的発展の紹介は比較的簡潔である
- 物理学での応用（統計力学、共形場論など）との関連は言及されていない

影響力

理論的意義：
- 二次序の完全な図像を完成させることは重要なマイルストーンである
- より一般的な曲線特異点を研究するための方法論的指針を提供する
- 幽霊パラメータ技術は他の $q$ -恒等式問題に応用される可能性がある
方法論的貢献：
- 完全実部分加群理論は新しいツールである
- 算術的視点が幾何学的問題において重要であることを示す
- 純 $q$ -理論技術と幾何学の深い結合
潜在的応用：
- Hilb-vs-Quot予想の解決に対して洞察を与える可能性がある
- 循環篩現象は表現論、位相幾何学と関連している可能性がある
- 主補間多項式の枠組みは他の模空間に適用される可能性がある
再現性：
- 証明は完全で詳細であり、技術的ステップは検証可能である
- 標準的な $q$ -超幾何技術を使用し、専門家は追従できる
- 主要な補題はすべて明確に陳述され証明されている
開放問題：
- 複数の明確な将来の研究方向が提案されている
- 若い研究者に対して明確な研究パスを提供する
- 分野横断的な性質により、異なる背景を持つ研究者を引き付ける可能性がある

適用可能なシナリオ

直接的応用：
- 他の算術的局所序のzeta関数の計算
- 関連するDonaldson-Thomas不変量の研究
- 高次元情形への推広（曲面特異点など）
方法の移転：
- 完全実部分加群技術は他の体拡張問題に適用される可能性がある
- 幽霊パラメータ方法は他の求和恒等式で有用である可能性がある
- 再帰-帰納戦略は他の多重和に適用される可能性がある
理論的発展：
- $q,t$ -Catalan数の高秩推広を理解するための枠組みを提供する
- 新しいBailey鎖またはWP-Bailey鎖を刺激する可能性がある
- 循環篩理論に新しい例を提供する
教育的価値：
- 代数幾何学と組合数学の深い関連を示す
- $q$ -超幾何技術の高度な応用例を提供する
- 算術的視点が幾何学的問題において重要であることを説明する

参考文献（主要文献）

HJ23 Y. Huang and R. Jiang, Motivic Coh and Quot zeta functions of singular curves, arXiv:2312.12528 (2023) - 分裂序の理論的枠組みを確立
Che24 S. Chern, Multiple Rogers–Ramanujan type identities for torus links, arXiv:2411.07198 (2024) - 分岐序情形を処理
Hua25 Y. Huang, Coh zeta functions for inert quadratic orders, arXiv:2507.21966 (2025) - 本論文が証明する予想を提案
And74 G. E. Andrews, An analytic generalization of the Rogers–Ramanujan identities for odd moduli, Proc. Nat. Acad. Sci. U.S.A. 71 (1974) - Andrews-Gordon恒等式
Bre80 D. M. Bressoud, An analytic generalization of the Rogers–Ramanujan identities with interpretation, Quart. J. Math. Oxford Ser. (2) 31 (1980) - Bressoud恒等式
Mac15 I. G. Macdonald, Symmetric functions and Hall polynomials, 2nd ed., Oxford (2015) - Hall多項式理論
GR04 G. Gasper and M. Rahman, Basic hypergeometric series, 2nd ed., Cambridge (2004) - $q$ -超幾何級数の標準参考書

要約：これは高品質な純粋数学理論論文であり、二次序のQuot/Coh zeta関数理論の最後のピースを完成させる。技術的に革新的で厳密であり、統一的な理論的枠組みを提案し、将来の研究に対して複数の方向を指示している。幾何学的直観と組合論的解釈はなお発展の余地があるが、論文は代数幾何学と $q$ -級数理論を結びつけることにおいて重要な貢献をしている。特に、幽霊パラメータの $a$ -独立性というこの直感に反する結果は、深い数学的洞察を示す。模空間、分拆理論、または $q$ -恒等式を研究する研究者にとって、これは深く読む価値のある文献である。