[论文解读] Geometry of non-commutative orbits related to Hecke symmetries

Dimitri Gurevich, Pavel Saponov|ArXiv.org|Nov 25, 2004

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

一句话总结

本文提出了一种基于与 Hecke 对称性相关的修正反射方程代数（mREA）的非交换几何框架，构建了被称为非交换轨道的商代数上的投影模。它建立了量子仿射旗流形 $ K^0(\mathrm{Fl}(\mathbb{C}^n)) $ 的类比，定义了 $ q $-类的欧拉示性数，并证明了 mREA 中的中心元素满足量子牛顿恒等式，从而在非交换设定下推广了经典的对称函数关系。

ABSTRACT

To some braiding R of Hecke type (a Hecke symmetry) we put into correspondence an associative algebra called the modified Reflection Equation Algebra (mREA). We construct a series of matrices L_(m), m=1,2,... with entries belonging to mREA such that each of them satisfies a version of the Cayley-Hamilton identity with central coefficients. We also consider some quotients of the mREA which are called the non-commutative orbits. For each of these orbits we construct a large family of projective modules. In this family we introduce an algebraic structure which is close to that of $K^0(\Fl(\C^n))$. The algebraic structure respects an equivalence relation motivated by a "quantum" trace compatible with the initial Hecke symmetry R. For a subclass of non-commutative orbits we compute the spectrum of central elements of the mREA Tr_R(L_(m)^k), k\in {\Bbb N}.

研究动机与目标

• 构建由与 Hecke 对称性相关的修正反射方程代数（mREA）导出的非交换轨道上的投影模族。
• 为非交换轨道定义一个类似于 $ K^0(\mathrm{Fl}(\mathbb{C}^n)) $ 的代数结构，记为 $ Q(\mathcal{A}) $。
• 在 $ Q(\mathcal{A}) $ 上引入一个 $ q $-类的欧拉示性数，其与由 Hecke 对称性导出的量子迹相容。
• 建立 mREA 中中心元素 $ \mathrm{Tr}_R L_{(m)}^k $ 的量子牛顿恒等式，推广经典牛顿恒等式于非交换设定。

提出的方法

• 构造 mREA 中元素为矩阵 $ L_{(m)} $，其满足具有中心系数的卡莱-哈密顿恒等式。
• 将非交换轨道定义为 mREA 的商代数，在 Hecke 对称性下保持代数结构。
• 引入一个与 Hecke 对称性 $ R $ 相容的范畴迹 $ \mathrm{Tr}_R $，该迹在相似变换下不保持不变。
• 构建以多重指标 $ \mathbf{k} $ 索引的投影模族 $ M_{\mathbf{k}} $，并在其等价类上定义乘积结构 $ M_{\mathbf{k}} \cdot M_{\mathbf{k}'} = M_{\mathbf{k}+\mathbf{k}'} $。
• 将代数 $ Q(\mathcal{A}) $ 定义为由投影模类生成的 $ \mathbb{Z}_q $-代数的商代数，模去涉及表示 $ q $-维数的关系。
• 在 $ Q(\mathcal{A}) $ 上赋予 $ \mathbb{Z}_q $-代数结构，使得 $ [M_{\mathbf{k}}] \cdot [V] = \dim_q V \cdot [M_{\mathbf{k}}] $，并定义线性 $ q $-欧拉示性数 $ \chi_q $。

实验结果

研究问题

• RQ1 如何系统地构造由 mREA 导出的非交换轨道上的投影模？
• RQ2 在非交换轨道上投影模的类格罗滕迪克群上出现何种代数结构，其与旗流形 $ K $-理论有何关联？
• RQ3 mREA 中的中心元素 $ \mathrm{Tr}_R L_{(m)}^k $ 如何满足量子牛顿恒等式的类比？
• RQ4 能否在代数 $ Q(\mathcal{A}) $ 上定义 $ q $-类的欧拉示性数，且其是否与量子迹相容？
• RQ5 对于给定秩为 $ p $ 的 Hecke 对称性，$ Q(\mathcal{A}) $ 的显式生成元与关系表示是什么？

主要发现

• 代数 $ Q(\mathcal{L}_{\hbar,q}^{\chi}) $ 由单位 $[1]$ 和 $ p $ 个生成元 $ x_i = [M_i] $ 生成，满足关系 $ \sum_{1 \leq i_1 < \cdots < i_k \leq p} x_{i_1} \cdots x_{i_k} = \frac{p_q!}{k_q!(p-k)_q!} [1] $，推广了量子对称函数恒等式。
• 当 $ p=3 $ 时，生成元 $ x,y,z $ 满足 $ x+y+z = 3_q $，$ xy+xz+yz = 3_q $，且 $ xyz = 1 $，展示了具体的量子牛顿系统。
• $ q $-欧拉示性数 $ \chi_q $ 在 $ Q(\mathcal{A}) $ 上线性延拓，且满足 $ \chi_q([1]) = 1 $，从而给出到 $ \mathbb{Z}_q $ 的良好定义的映射。
• 投影模的乘积结构 $ M_{\mathbf{k}} \cdot M_{\mathbf{k}'} = M_{\mathbf{k}+\mathbf{k}'} $ 在其等价类上诱导出一个群结构，类似于旗流形的 Picard 群。
• 该构造尊重一个量子迹 $ \mathrm{Tr}_R $，其在相似变换下不保持不变，从而与经典迹相区别。
• 代数 $ Q(\mathcal{A}) $ 同构于 $ \mathbb{Z}_q $-代数的商代数，该代数由虚拟表示生成，模去形如 $ [V] - \dim_q V \cdot [1] $ 的类。