Quot scheme of points on torus knot singularities

技術要約：トーラス結び目特異点におけるQuotスキームの点

問題設定
本論文は、トーラス結び目の特異点に関連する、点的な（punctual）Quotスキーム $\text{Quot}^R_m(M)$ の幾何学的性質および計数論的性質を調査している。具体的には、共的な正の整数 $a, b$ および体 $k$ に対し、$R = k[[T^a, T^b]] \cong k[[X, Y]]/(Y^a - X^b)$ を $(a, b)$-トーラス結び目特異点の局所環とする。著者らは、自由加群 $M = k[[T]]^n$ （ここで $k[[T]]$ は $R$ の正規化 $\tilde{R}$ である）の $m$ 余次元の $R$-部分加群のモジュライ空間を研究している。

ランク $n=1$ の場合（点的なヒルベルトスキーム）は、有理 $q,t$-カタラン数やHOMFLY-PT多項式と関連してよく理解されているが、高ランク（$n > 1$）の場合には重大な困難が伴う。トーラス作用や $p$ 進積分といった従来のアプローチは、$R$ の野生的な表現型（wild representation type）やQuotスキームの特異な性質により、任意の $(a, b)$ に対して明示的な構造記述や点数公式を与えることができない。中心となる問題は、これらのモジュライ空間に対して細胞分解（cell decomposition）を確立し、そのモティビック生成関数を計算することである。

手法
著者らは、幾何学的表現論、ポセットの組合せ論、および変形理論を組み合わせた手法を用いている。彼らのアプローチは、以下の主要なステップを経て進行する：

1. 拡張ファイバー分解（Extension Fiber Decomposition）：彼らは、拡張 $\tilde{R}L$ が $\tilde{R}^n$ に一致するような部分加群 $L$ の集合である「拡張ファイバー」$E_R(\tilde{R}^n; m)$ を導入する。これは $\text{Quot}^R_m(\tilde{R}^n)$ の部分空間である。彼らは、イワホリ・シュベルト細胞を用いた層化を通じて、完全なQuotスキームをこのファイバーに関連付ける。
2. Bialynicki-Birula分解：彼らは、スケーリング $T$ によって誘導される乗法的群 $\mathbb{G}_m$ の作用を拡張ファイバー上で分析する。彼らは、この作用の固定点集合が「同次的な」部分加群からなることを証明し、それらがギャップ・ポセット $G$ 上のフラッグ（flags）と識別できることを示す。
3. ポセット・フラッグ多様体：固定点成分は、数値半群 $\langle a, b \rangle$ のギャップ・ポセット $G$ 上の「ポセット・フラッグ多様体」$\text{Fl}_G(\mathbf{n}; n)$ と同型であることが示される。著者らは、ギャップ・ポセット $G$ が**タメ（tame）**なポセット（具体的には、長方形グリッド・ポセットの凸部分ポセット）であることを証明し、その結果、これらの多様体は滑らかで射影的であり、一般化された $q$-多項係数によるモティヴを持つことを証明する。
4. 非サイクル性定理（Acyclicity Theorem）：長方形グリッド・ポセットの表現に関するホモロジー的非サイクル性に関する極めて重要な技術的革新である。彼らは、単射的なフラッグと全射的なフラッグの間の射の空間を分解する余チェイン複体を構成する。この完全性の結果により、Bialynicki-Birula層が単なる構成可能集合ではなく、アフィン束（affine bundles）であることを証明できる。ギャップ・ポセット $G$ は、この定理を適用するために長方形グリッドへと埋め込まれる。
5. グレブナー層化（Gröbner Stratification）：彼らは変形論とグレブナー理論を利用して、Bialynicki-Birula写像のファイバーを明示的にパラメータ化し、それらが一定次元のアフィン空間であることを示す。

主要な貢献および結果

• 細胞分解（定理 1.1）：$\gcd(a, b) = 1$ のとき、モジュライ空間 $\text{Quot}^R_m(k[[T]]^n)$ は細胞分解（アフィン・パビング）を持つ。これは、高ランク領域における任意のトーラス結び目特異性に対する初の手法である。
• モティビック生成関数（定理 1.2）：著者らは、多様体のグロタンディーク環におけるモティビック生成関数 $Z^R_{k[[T]]^n}(t)$ を計算する。これは、高ランクの $q,t$-カタラン数の一般化として機能する、明示的な二変数多項式級数 $N_{a,b;n}(q, t)$ を用いて表現される。
  $$Z^R_{k[[T]]^n}(t) = \frac{1}{(1-t)\cdots(1-L^{n-1}t)} L^{n^2\delta} t^{n\delta} N_{a,b;n}(L^{-1}, t^{-1})$$
  ここで $\delta = (a-1)(b-1)/2$ である。
• 点数カウントおよび群族体体積（定理 1.3 & 1.4）：有限体 $\mathbb{F}_q$ への特殊化を通じて、彼らはQuotスキームの点数に関する公式を導出する。さらに、彼らは有限加群の圏の「群族体体積（groupoid volume）」を計算し、それが交換冪零行列ペアの重み付きカウントに等しいことを示す。これらは共に $N_{a,b;\infty}(q^{-1}, 1)$ への特殊化によって与えられる。
• ロジャー・ラマヌジャン恒等式に関する予想：級数 $N_{a,b;\infty}(q, t)$ は、ロジャー・ラマヌジャン型の恒等式の族を満たすことが予想されている。具体的には、$N_{a,b;\infty}(q, 1)$ は $W$-代数最小モデル $W_a(a, a+b)$ の加群の正規化された指標に等しいことが予想されている。これはアンドリュース・ゴードン恒等式を一般化したものである。
• 結び目ホモロジーへの接続（予想 1.12）：著者らは、級数 $N_{a,b;n}$ がトーラス結び目 $T(a, b)$ の三重次数付き $S_n$-彩色HOMFLYホモロジーの「ボトム行（bottom row）」を計算することを予想している。彼らは、Quotスキーム、厚み付けられた曲線のヒルベルトスキーム、および結び目ホモロジーを補間する「マスター多項式」$H_{R,n}(q, t, u)$ を提案しており、第三の変数 $u$ はパーバース・フィルトレーションに対応する。

意義
本論文は、基礎となる環が野生的な表現型を持つため、これまで扱いにくいと考えられていた設定、すなわち高ランクのトーラス結び目特異点上の高ランクQuotスキームを理解するための厳密な構造的枠組みを提供する。アフィン・パビングを確立することにより、著者らは以前は到達不可能であった明示的な計数公式を解禁した。

本研究は、以下の異なる分野を橋渡しするものである：

1. 代数幾何学：曲線特異点に関連する特異なモジュライ空間の幾何学的構造を解決する。
2. 表現論：これらのモジュライ空間を$W$-代数および頂点演算子代数の指標に関連付け、特異点理論と共形場理論の間の深い繋がりを示唆する。
3. 結び目理論：彩色HOMFLYホモロジーの「ボトム行」に対する幾何学的解釈を提供し、Oblomkov–Rasmussen–ShendeおよびKivinen–Trinhによる予想を検証するための潜在的な幾何学的経路を提供する。
4. 組合せ論：新しい家族の $q,t$-多項式（一般化されたカタラン数）を導入し、ロジャー・ラマヌジャン型の無限積恒等式の新しい家族を予想する。

著者らは、特定のケース（例：$GL_2$ スペクトル曲線族の分解定理を用いた滑らかな芽の $n=2$ の場合）について幾何学的予測を検証しており、結び目論的接続に関する広範な計算的証拠を提供しているが、マスター多項式および一般的な $n$ のケースに関する完全な予想は依然として未解決である。