[论文解读] Etingof conjecture for quantized quiver varieties II: affine quivers

Ivan Losev|arXiv (Cornell University)|May 20, 2014

Algebraic structures and combinatorial models参考文献 30被引用 12

一句话总结

本文通過建立局部化定理、分析兩邊理想與 $\mathcal{O}$-範疇，並運用仿射牆穿過函子與微局部層理論，證明了仿射 quiver 對於量化 quiver 積分變換的 Etingof 猜想。結果確認了有限維不可約表示的數目等於 $\mathcal{O}$-範疇的 Grothendieck 群的秩，將先前關於 Gieseker 模空間的結果推廣至仿射 quiver 設定。

ABSTRACT

We study the representation theory of quantizations of Gieseker moduli spaces. Namely, we prove the localization theorems for these algebras, describe their finite dimensional representations and two-sided ideals as well as their categories O in some special cases. We apply this to prove our conjecture with Bezrukavnikov on the number of finite dimensional irreducible representations of quantized quiver varieties for quivers of affine type.

研究动机与目标

• 將 Etingof 對有限維表示的猜想推廣至仿射類型的量化 quiver 積分變換。
• 為量化 Gieseker 模空間建立局部化定理，並描述其範疇 $\mathcal{O}$。
• 利用對偶與牆穿過函子，分類量化設定下的有限維表示與兩邊理想。
• 證明有限維不可約表示的數目等於 $\mathcal{O}$-範疇的 Grothendieck 群的秩，從而確認該猜想。

提出的方法

• 使用量子哈密頓化約化構造 Gieseker 模空間 $\mathcal{M}(v,w)$ 的量化版本 $\mathcal{A}_\lambda(v,w)$。
• 應用微局部層理論與限制函子，將 $\mathcal{M}^\theta(v,w)$ 上層的整體截面與量化代數關聯起來。
• 運用仿射牆穿過函子 $\mathfrak{WC}_{\theta\to\theta'}$ 來連結不同穩定條件下的模範疇。
• 利用同調對偶與 Ringel 對偶分析 $\mathcal{O}$-範疇與零化子簇的結構。
• 應用辛葉與量子切片理論來控制有限維表示的支集。
• 使用 $\dagger$-函子與 Tor 計算，證明忠實性並分類 $\bar{\mathcal{A}}_\lambda(n,r)$ 中的兩邊理想。

实验结果

研究问题

• RQ1 量化仿射 quiver 積分變換 $\mathcal{A}_\lambda(n,r)$ 的有限維不可約表示數目為何？
• RQ2 對於仿射 quiver，$\mathcal{O}$-範疇與 $\mathcal{A}_\lambda(v,w)$ 中的兩邊理想在牆穿過下的行為如何？
• RQ3 不可約表示的零化子簇與經典模空間的辛葉之間的關係為何？
• RQ4 量化 Gieseker 空間的局部化定理如何推廣至仿射 quiver 情形？
• RQ5 牆穿過函子在多大程度上在模範疇之間誘導出 perverse 等價？

主要发现

• 量化仿射 quiver 積分變換 $\mathcal{A}_\lambda(n,r)$ 的有限維不可約表示數目等於 $\mathcal{O}(\mathcal{A}_\lambda(n,r))$ 的 Grothendieck 群的秩，從而確認了仿射 quiver 的 Etingof 猜想。
• 仿射牆穿過函子 $\mathfrak{WC}_{\theta\to\theta'}$ 與 $\mathfrak{WC}_{\theta'\to\theta}$ 是 perverse 等價，且在範疇 $\mathcal{C}_i$ 與 $\mathcal{C}'_i$ 的單模上誘導出互為逆的雙射。
• 單模的零化子簇在牆穿過函子下保持不變，確保與辛葉結構相容。
• 切片代數 $\underline{\mathcal{A}}^\prime = \bar{\mathcal{A}}_{\langle\lambda,\delta\rangle}(n,r)$ 除非對應的葉為某個分拆 $\mu$ 的 $\mathcal{L}(\mu)$，否則不具備有限維表示，這意味著 $\mathcal{L}^\prime \subset \operatorname{V}(\mathcal{M})$。
• 當 $v$ 的分解包含實根時，變換 $\underline{\bar{\mathcal{M}}}_p(\underline{v},\underline{w})$ 不具備單點辛葉，從而排除有限維表示的存在。
• 兩邊理想 $\mathcal{J}_i$ 與 $\mathcal{J}'_i$ 的鏈的存在性及其指定的濾過性質，確認了範疇 $\mathcal{O}$ 的結構，並使得能透過 perverse 濾過來計數單模。