[论文解读] Twisted Internal coHom Objects in the Category of Quantum Spaces

Sergio Grillo, H. Montani|ArXiv.org|Dec 20, 2001

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

一句话总结

本文通过用由扭曲映射 τ 控制的扭曲张量积替代标准张量积，在量子线性空间范畴中引入了扭曲的内部 coHom 对象，推广了 Manin 的内部 coHom 构造。关键结果表明，在某些条件下，扭曲的 coEnd bialgebra 是标准 coEnd bialgebra 的 2-上循环扭曲，推广了如 GL_q(n) 及其多参数版本 GL_{q,φ}(n) 之间的扭曲等价性。

ABSTRACT

Adapting the idea of twisted tensor products to the category of finitely generated algebras, we define on its opposite, the category QLS of quantum linear spaces, a family of objects hom(B,A)^{op}, one for each pair A^{op},B^{op} there, with analogous properties to its internal Hom ones, but representing spaces of transformations whose coordinate rings hom(B,A) and the ones of their respective domains B^{op} do not commute among themselves. The mentioned non commutativity is controlled by a collection of twisting maps τ_{A,B}. We show that the (bi)algebras end(A)=hom(A,A), under certain circumstances, are 2-cocycle twistings of the quantum semigroups end(A) in the untwisted case. This fact generalizes the twist equivalence (at a semigroup level) between, for instance, the quantum groups GL_{q}(n) and their multiparametric versions GL_{q,ϕ}(n).

研究动机与目标

• 通过引入扭曲张量积结构，推广量子线性空间范畴中 Manin 的内部 coHom 构造。
• 解决标准张量积无法捕捉 coHom 对象坐标环与其定义域之间非交换性的缺陷。
• 利用控制因子间非交换相互作用的扭曲张量积，定义一类新的量子矩阵空间。
• 建立扭曲 coEnd bialgebra 作为标准 coEnd bialgebra 的 2-上循环扭曲的条件，推广已知的量子群等价性。
• 为使用余链拟复形的扭曲变换更广泛理论在量子空间中的建立奠定基础。

提出的方法

• 将 [1] 中的扭曲张量积概念适配至有限生成代数（FGA）范畴，对偶化以在量子线性空间（QLS）范畴中定义对象。
• 在 QLS 中引入一族由扭曲映射 $\tau_{\mathcal{A},\mathcal{B}}$ 参数化的扭曲内部 coHom 对象 $\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]^{op}$。
• 定义扭曲积空间 $[\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]\circ_{\tau}\mathcal{B}]^{op}$，满足 $\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]\circ_{\tau}\mathcal{B} \subset \underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]\otimes_{\tau}\mathcal{B}$。
• 通过子类映射 $\mathcal{A} \to \mathcal{H}\circ_{\tau}\mathcal{B}$ 的初始图构造普遍对象，确保扭曲 coHom 结构的良定义性。
• 应用 Drinfeld 的 2-上循环扭曲程序，证明在适当条件下 $\underline{end}^{\Upsilon}[\mathcal{A}]$ 是 $\underline{end}[\mathcal{A}]$ 的 2-上循环扭曲。
• 使用可分解的扭曲映射族，并分析在涉及商代数的张量积上 $\widehat{\tau}$ 的良定义性，特别是当存在关系如 $D^k c_k + \lambda \cdot 1 = 0$ 时。

实验结果

研究问题

• RQ1 如何推广量子线性空间中的内部 coHom 构造，以考虑 coHom 对象坐标环与其定义域之间的非交换性？
• RQ2 在底层代数涉及商关系时，什么条件能确保扭曲 coHom 对象 $\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]$ 的良定义性？
• RQ3 在何种意义下，扭曲的 coEnd bialgebra $\underline{end}^{\Upsilon}[\mathcal{A}]$ 与标准 coEnd bialgebra $\underline{end}[\mathcal{A}]$ 通过 2-上循环扭曲相关联？
• RQ4 能否将扭曲 coHom 对象的构造扩展为使用余链拟复形的量子空间中扭曲变换的一般理论？
• RQ5 为何标准张量积无法捕捉量子矩阵空间中因子之间的非交换相互作用？如何通过扭曲加以修正？

主要发现

• 扭曲的内部 coHom 对象 $\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]$ 作为子类映射 $\mathcal{A} \to \mathcal{H}\circ_{\tau}\mathcal{B}$ 中的普遍对象被构造，其扭曲由映射 $\tau_{\mathcal{A},\mathcal{B}}$ 控制。
• 扭曲积 $\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]\circ_{\tau}\mathcal{B}$ 满足包含关系 $\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]\circ_{\tau}\mathcal{B} \subset \underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]\otimes_{\tau}\mathcal{B}$，确保与扭曲结构的一致性。
• 对于某些量子空间，扭曲的 coEnd bialgebra $\underline{end}^{\Upsilon}[\mathcal{A}]$ 是标准 coEnd bialgebra $\underline{end}[\mathcal{A}]$ 的 2-上循环扭曲，推广了 $GL_q(n)$ 与 $GL_{q,\phi}(n)$ 之间的扭曲等价性。
• $\widehat{\tau}$ 在 $\mathbf{H}\circ\mathbf{G}\otimes\mathbf{C}$ 上的良定义性要求 $\left(h_n^j - \hat{h}_n^j\right)\alpha_j^{l\mu} = 0$，一般情况下不成立，除非施加额外约束。
• 当代数 $\mathbf{C}$ 由关系 $D^k c_k + \lambda \cdot 1 = 0$ 定义且 $\lambda \neq 0$ 时，$\mathbf{G}$ 的生成元 $g_j^l$ 不再线性无关，这意味着为使 $\tau$ 良定义，必须有 $\hat{g}_j^l = g_j^l$。
• 该构造为未来通过乘法余链拟复形研究量子空间扭曲变换奠定了框架，表明在 2-上循环扭曲下，所有 $\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]$ 均与标准 coHom 对象规范等价。