[논문 리뷰] Twisted Internal coHom Objects in the Category of Quantum Spaces

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

Algebraic structures and combinatorial models참고 문헌 12인용 수 5

한 줄 요약

이 논문은 힘줄 맵 τ에 의해 지배되는 휘어진 곱으로 표준 텐서 곱을 대체함으로써 양자 선형 공간의 범주에서 비틀린 내부 coHom 대상들을 도입한다. 이는 맨린의 내부 coHom 구성의 일반화이다. 주요 결과는 특정 조건 하에서 비틀린 coEndbialgebra가 표준 coEndbialgebra의 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).

연구 동기 및 목표

• 표준 텐서 곱 대신 비틀린 곱의 구조를 도입함으로써 양자 선형 공간의 범주에서 맨린의 내부 coHom 구성의 일반화를 위해.
• 표준 텐서 곱으로는 포착되지 않는 coHom 대상의 좌표환과 그 도메인 사이의 비가환성 문제를 다루기 위해.
• 요소 간의 비가환 상호작용을 제어하는 비틀린 텐서 곱을 사용하여 새로운 종류의 양자 행렬 공간을 정의하기 위해.
• 비틀린 coEnd bialgebra가 표준 coEnd bialgebra의 2-코사이클 변환으로 나타나는 조건을 확립하여 기존의 양자군 동치를 일반화하기 위해.
• 공형 복합체를 이용한 양자 공간에서의 비틀림 변환에 대한 보다 광범위한 이론의 기초를 다지기 위해.

제안 방법

• 논문 [1]의 비틀린 텐서 곱 개념을 유한 생성 대수의 범주(FGA)에 적용하고, 이를 역으로 양자 선형 공간(QLS)의 범주에서 대상들을 정의한다.
• 비틀림 맵 τ_{\mathcal{A},\mathcal{B}}에 의해 매개화된 QLS 내의 비틀린 내부 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}$.
• 사전 지도의 초기도형을 통한 유일한 대상 구성 방법을 통해 비틀린 coHom 구조가 잘 정의됨을 보장한다.
• 드린펠트의 2-코사이클 변환 절차를 적용하여, 적절한 조건 하에서 $\underline{end}^{\Upsilon}[\mathcal{A}]$ 가 $\underline{end}[\mathcal{A}]$ 의 2-코사이클 변환임을 보인다.
• 비틀림 맵의 인수성 집합을 사용하고, 특히 $D^k c_k + \lambda \cdot 1 = 0$ 과 같은 관계가 존재할 경우 몫 대수를 포함하는 텐서 곱에서 $\widehat{\tau}$ 의 잘 정의성을 분석한다.

실험 결과

연구 질문

• 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) 사이의 비틀림 동치를 일반화한다.
• $\mathbf{H}\circ\mathbf{G}\otimes\mathbf{C}$ 에서 비틀림 맵 $\widehat{\tau}$ 의 잘 정의성은 $\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$ 이 성립해야 한다.
• 이 구성은 향후 공형 복합체를 통한 양자 공간의 비틀림 변환 이론을 위한 프레임워크를 확립하며, 모든 $\underline{hom}^{\Upsilon}[\mathcal{B},\mathcal{A}]$ 가 2-코사이클 변환에 의해 표준 coHom 대상과 게이지 동치임을 시사한다.