Algebraic geometric framework of Rogers--Ramanujan identities

技術的要約：ロジャーズ–ラマヌジャン恒等式の代数幾何学的枠組み

問題提起
ロジャーズ–ラマヌジャン（RR）恒等式は、二次形式によって指数が制御される $q$ 級数と、特定の剰余類に支持された無限積を等置する基礎的な結果である。このような恒等式がアフィン型リー代数の指標やベイリーのペア（Bailey pairs）から生じることが知られている一方で、それらは極めて稀である。中心的な未解決問題は、このような一族を生成する数学的構造を特定することである。

近年、Huang、Jiang、およびOblomkov（HJO）は、平面曲線特異点の計数幾何学に根ざした、新しいRR型の恒等式の源泉を提案した。共形整数 $a, b > 1$ に対して、彼らは、有限体上で $A^a = B^b$ を満たす交換可能な冪零行列対 $(A, B)$ を数え上げることに由来する、無限階の $q$ 級数 $Z_{a,b}(q)$ を定義した。彼らは、$Z_{a,b}(q)$ がレベル $a+b$ のモジュラー・ユニットの明示的な無限積 $P_{a,b}(q)$ に等しいという予想を立てた。$a=2$ の場合は古典的なAndrews–Gordon恒等式に対応するが、この予想は $a > 2$ のすべてのケースにおいて未証明のままであった。

手法
著者らは、元の予想よりも精緻な「和から和への（sum-to-sum）」恒等式を確立することによってこの問題に取り組む。その手法は以下の通りである：

1. 組合せ論的簡約: $a=3$ の場合、著者らは特定の二次形式 $Q_{3,b}(n)$ と、それに対応する和から和への恒等式（予想5）を定義する。彼らは、Warnaarの恒等式を用いた既知の変換を通じて、この恒等式を証明することが、Warnaarの恒等式を介した変換により$(3, b)$におけるHJO予想を証明することを意味することを示す。
2. 初等的な証明 ($b=4, 5, 7$): 小さな $b$ の値に対して、著者らは標準的な $q$ 級数論理を用いる。彼らは、$q$-Vandermonde恒等式と、$q$-吸収恒等式（$q$-absorption identity）を特定のブロック順序と共に適用し、左辺の和を右辺の形式へと変形する。
3. コンピュータ支援による証明 ($b=8$): $b=8$ の場合、適切な $q$ のべき乗が得られるようなブロック順序が存在しないため、初等的な $q$-Vandermondeによるアプローチは失敗する。代わりに、著者らはコンピュータ代数システム（具体的にはRISCパッケージの qMultiSum および HolonomicFunctions）を用いた「消滅子法（annihilator method）」を採用する。
   • 彼らは、$q$-WZ理論を用いて項の漸化式を計算する。
   • これらの漸化式を、Ore代数内における非可換 $q$-シフト演算子へと翻訳する。
   • 非可換グレブナー基底の計算を用いて、対象となる和を消滅させる演算子が、ソースとなる和をも消滅させることを検証し、それによって等式を証明する。
4. $q=1$ での特殊化: 著者らは、 $q$-級数論理とは独立して、入れ子状の集合の旗（flags of nested sets）の間の全単射を用いて、和から和への恒等式の $q=1$ における特殊化に関する直接的な組合せ論的証明を提供する。

主要な貢献と結果

• 特定のケースにおけるHJO予想の証明: 本論文は、特定のペア $(a, b) = (3, 4), (3, 5), (3, 7), (3, 8)$ についてHJO予想を証明している。
• 和から和への恒等式の確立: 著者らは、これらと同じ $b$ の値に対して予想5を証明している。これらの恒等式は、幾何学的な級数 $Z_{3,b}(q)$ と積 $P_{3,b}(q)$ を結びつける中間ステップとして機能する。
• 一般的な $q=1$ の結果: 定理7は、入れ子状の集合の旗の間の全単射を用いて、3と互いに素なすべての $b$ に対して、和から和への予想が $q=1$ で成立することを確立している。
• 検証: これらの恒等式および証明は、AxiomProverによってLean証明アシスタントにおいて形式化および検証されている。

意義と主張
本論文は、$a > 2$ の特定のケースにおいてHJO予想を証明した最初の例を提供している。著者らは、$b=4, 5, 7, 8$ の証明は自己完結的であるが、$b$ が3と互いに素であるすべての $a=3$ のケースは、その後、LauとOno（[13]として参照）によって、同じ「和から和への」枠組みを用いて一般的に証明されたと述べている。

本研究の意義は以下の点にある：

• 分野の架橋: ヒルベルト・スキームおよび特異曲線（$x^a=y^b$）上の点に関するQuotスキームの計数幾何学と、古典的な分割理論およびモジュラー形式を結びつけている。
• 手法の多様性: 一部のケースでは初等的な $q$ 級数恒等式で十分であるが、より複雑なケース（$b=8$）では、基礎となる構造を明らかにするために、洗練されたアルゴリズム的手法（Ore代数におけるグレブナー基底）が必要であることを示している。
• 構造的洞察: 本研究は、RR型の恒等式に責任を持つ「隠れた構造」が、数値半群の代数的組合せ論や平面曲線の特異点の幾何学の中に見出されることを示唆しており、アフィン型リー代量を超えた、このような恒等式の既知の源泉を拡張している。

著者らは、$b=4, 5, 7$ の証明は短く標準的な恒等式に依拠している一方で、$b=8$ の証明は、初等的な経路が利用不可能な場合に適用可能な $q$-ホロノミックな手法を例証していることを強調している。本論文は $a > 3$ の一般の場合を解決することを主張しているのではなく、次の非自明な一族（$a=3$）に対する枠組みの妥当性を確立するものである。