[论文解读] Geometric Complexity Theory VIII: On canonical bases for the nonstandard quantum groups

Ketan Mulmuley|ArXiv.org|Sep 5, 2007

Algebraic structures and combinatorial models参考文献 17被引用 11

一句话总结

本文提出了构造非标准量子群中规范基的猜想正确算法——这是对标准量子群的Kashiwara与Lusztig的规范基以及Hecke代数的Kazhdan-Lusztig基的推广。关键贡献是基于几何复杂性理论中的对偶性与互反性猜想，推导出一个关于plethysm常数的猜想正#P公式，该公式有实验支持但尚未有正式证明，原因在于非标准量子群的子式结构过于复杂。

ABSTRACT

This article gives conjecturally correct algorithms to construct canonical bases of the irreducible polynomial representations and the matrix coordinate rings of the nonstandard quantum groups in GCT4 and GCT7, and canonical bases of the dually paired nonstandard deformations of the symmetric group algebra therein. These are generalizations of the canonical bases of the irreducible polynomial representations and the matrix coordinate ring of the standard quantum group, as constructed by Kashiwara and Lusztig, and the Kazhdan-Lusztig basis of the Hecke algebra. A positive ($#P$-) formula for the well-known plethysm constants follows from their conjectural properties and the duality and reciprocity conjectures in \cite{GCT7}.

研究动机与目标

• 开发用于构造非标准量子群中规范基的算法，推广标准量子群与Hecke代数的基。
• 提供一个关于plethysm常数的猜想正#P公式，类比于Littlewood-Richardson法则。
• 将几何复杂性理论（GCT）的框架扩展至非标准量子群及其对偶。
• 建立这些基的复杂性理论性质，从而暗示多重性结构的高效计算。
• 通过量子群对群同态的量化，解决表示论中的基本问题：计算plethysm多重性。

提出的方法

• 提出一个猜想算法，用于在非标准量子群 $G_q^H$ 的矩阵坐标环中构造规范基，推广Kashiwara-Lusztig基。
• 使用表示映射 $ ho: H o G = GL(X)$ 的量化 $ ho_q: H_q o G_q^H$，扩展标准量子群的构造。
• 应用晶体基理论与张量积中的单项基，识别最高权向量并构造规范元素。
• 引入对 $G_q^H$ 对偶的对称群代数的非标准量化 $ ilde{f B}_r^H(q)$，并提出其猜想规范基。
• 依赖于[GCT7]中的对偶性与互反性猜想，建立 $G_q^H$ 与 $ ilde{f B}_r^H(q)$ 的结构联系，从而实现多重性公式。
• 利用MATLAB中的实验计算验证算法与结构性质，特别针对 $H=GL(V)$ 与 $X=V^{igotimes 3}$ 的情形。

实验结果

研究问题

• RQ1 能否通过推广Kashiwara-Lusztig算法，在非标准量子群 $G_q^H$ 中构造规范基？
• RQ2 $G_q^H$ 与 $ ilde{f B}_r^H(q)$ 之间的猜想对偶性是否意味着plethysm常数的正#P公式？
• RQ3 非标准量子群子式的结构常数能否用具有非负整数或多项式系数的规范基系数表示？
• RQ4 规范基标签的复杂性理论性质是否能暗示 $G_q^H$ 表示中多重性多重性的高效计算？
• RQ5 perverse sheaves 与有限域上的Riemann猜想在理解非标准量子群子式展开中的作用是什么？

主要发现

• 本文提出一个猜想正确的算法，用于构造非标准量子群 $G_q^H$ 的矩阵坐标环中的规范基，推广了Kashiwara-Lusztig理论。
• 猜想 $G_q^H$ 中的规范基元素具有plethysm常数的正#P公式，该公式基于与 $ ilde{f B}_r^H(q)$ 的对偶性与互反性。
• 在Kronecker情形（$H=GL(V) imes GL(W)$，$X=V\bigotimes W$）的实验结果支持所提算法的正确性。
• 证明 $G_q^H$ 的规范基包含具有大于一的单项式支撑的元素，这一现象在标准情形中不存在。
• 在特定情形下，显式计算了 $L(\bbC_q^{3,H}(X))$ 中规范基元素的系数，涉及高次多项式在 $q$ 中且具有有理系数。
• 非标准量子群子式的复杂性——其Laplace展开高度非初等——构成了正式证明的主要障碍，需要对 perverse sheaf 理论进行非标准扩展。