[论文解读] q-Schur algebras and quantum Frobenius

Kevin McGerty|ArXiv.org|Nov 29, 2005

Algebraic structures and combinatorial models参考文献 15被引用 4

一句话总结

本文证明了量子弗罗贝尼乌斯映射及其分裂在单位根处下延至广义 $q$-Schur 代数，将 Lusztig 的框架扩展至仿射类比。证明了量子弗罗贝尼乌斯与修正量子群中的基理想相容，暗示其与规范基存在更深层次的相容性，并通过 Quiver 变体构造引入了仿射 $q$-Schur 代数。

ABSTRACT

The quantum Frobenius map and it splitting are shown to descend to corresponding maps for generalized $q$-Schur algebras at a root of unity. We also define analogs of $q$-Schur algebras for any affine algebra, and prove the corresponding results for them.

研究动机与目标

• 将量子弗罗贝尼乌斯映射及其分裂扩展至单位根处的广义 $q$-Schur 代数。
• 通过 Quiver 变体构造，将 $q$-Schur 代数的仿射类比定义为 Nakajima 的 Quiver 变体的代数对偶。
• 建立量子弗罗贝尼乌斯与修正量子群中基理想的相容性。
• 通过几何实现，探索量子弗罗贝尼乌斯与规范基之间的联系。
• 为 Fayers 和 Martin 在正特征下对 Schur 代数的嵌入提供一个量子类比。

提出的方法

• 将 Lusztig 的广义 $q$-Schur 代数作为修正量子群 $\dot{\mathbf{U}}$ 在单位根处的商代数。
• 将量子弗罗贝尼乌斯映射构造为从单位根处的量子群到 Langlands 对偶量子群的整数形式的同态。
• 证明量子弗罗贝尼乌斯及其分裂通过相容理想保持广义 $q$-Schur 代数的结构。
• 将仿射 $q$-Schur 代数定义为 Quiver 变体 $Z(\lambda)$ 的 $K$-理论环的 $\mathcal{A}$-形式，使用 Nakajima 的构造。
• 利用 $Z(\lambda)$ 的 $\mathbb{C}^* \times G_\lambda$-等变 $K$-理论，定义从 $\dot{\mathbf{U}}$ 的 $\mathcal{A}$-形式到 $K$-理论模挠的映射 $\Phi_\lambda$。
• 证明映射 $\Phi_\lambda$ 通过 $\dot{\mathbf{U}}_P$ 因子分解，其中 $P$ 是权 $\lambda$ 的饱和化。

实验结果

研究问题

• RQ1 量子弗罗贝尼乌斯映射是否在单位根处下延至广义 $q$-Schur 代数？
• RQ2 能否通过 Quiver 变体构造，代数地定义 $q$-Schur 代数的仿射类比？
• RQ3 量子弗罗贝尼乌斯是否通过其在修正量子群中基理想的行动，与规范基相容？
• RQ4 能否通过 Quiver 变体和 $K$-理论几何地解释量子弗罗贝尼乌斯？
• RQ5 量子弗罗贝尼乌斯的分裂是否提供 Fayers 和 Martin 在特征 $p$ 下对 Schur 代数嵌入的量子类比？

主要发现

• 量子弗罗贝尼乌斯映射及其分裂在单位根处下延至广义 $q$-Schur 代数，如定理 4.5 所示。
• 仿射 $q$-Schur 代数被定义为 $\mathcal{A}$-形式的 $K^{\mathbb{C}^* \times G_\lambda}(Z(\lambda))/\text{torsion}$，且量子弗罗贝尼乌斯结构在定理 6.2 中被证明可上延至这些代数。
• $\Phi_\lambda$ 映射（从 $\dot{\mathbf{U}}$ 的 $\mathcal{A}$-形式到等变 $K$-理论）通过 $\dot{\mathbf{U}}_P$ 因子分解，其中 $P$ 是 $\lambda$ 的饱和化所关联的理想。
• $\mathcal{A}$-形式的极权模 $V(\lambda)$ 通过映射 $\Phi_\lambda$ 同构于 $K^{\mathbb{C}^* \times G_\lambda}(\mathfrak{L}(\lambda))$，如 Nakajima 的工作所示。
• 量子弗罗贝尼乌斯与规范基相容，即其保持 $\dot{\mathbf{U}}$ 中的基理想，暗示存在更深层次的结构相容性。
• 提出一个猜想：$\Phi_\lambda({}_{\mathcal{A}}\dot{\mathbf{U}})$ 同构于 BLN 代数 $\dot{\mathbf{U}}_P$，这将把量子弗罗贝尼乌斯与类型 $A$ 中的 Quiver 变体几何联系起来。