[논문 리뷰] Hom-quantum groups III: Representations and module Hom-algebras

Donald Yau|ArXiv.org|2009. 11. 28.

Algebraic structures and combinatorial models참고 문헌 45인용 수 31

한 줄 요약

이 논문은 비-결합성 구조를 가진 힘-양자군의 표현과 모듈러 힘-대수를 체계적으로 연구한다. 두 가지 새로운 '틀지기 원리'를 사용하여, 유도된 힘-양자군, 그들의 모듈러 구조, 모듈러 힘-대수를 구성한다. 이는 다중 매개수 힘-버마 모듈러와 힘-양자 평면 위의 비가чёт 수의 $U_q(\mathfrak{sl}_2)_{\gamma}$-모듈러 힘-대수의 구조를 포함한다.

ABSTRACT

We study Hom-quantum groups, their representations, and module Hom-algebras. Two Twisting Principles for Hom-type algebras are formulated, and construction results are proved following these Twisting Principles. Examples include Hom-quantum n-spaces, Hom-quantum enveloping algebras of Kac-Moody algebras, Hom-Verma modules, and Hom-type analogs of U_q(sl_2)-module-algebra structures on the quantum planes.

연구 동기 및 목표

• 비-결합성 구조를 가진 환경으로 확장된 양자군 이론을 고려하여, 힘-양자군에 대한 표현과 모듈러 힘-대수의 체계적 이론을 수립하기 위해.
• 기존의 구조에서 유도된 힘-대수적 구조의 열을 생성하는 두 가지 새로운 틀지기 원리를 수립하고 증명하기 위해.
• 양자 평면 위의 양자군의 코액션을 힘-양자 기하학으로 일반화하여, 힘-양자 평면 위에 새로운 모듈러 힘-대수의 구조를 구성하기 위해.
• 유한차원 및 무한차원의 힘-양자 군의 환영 대수 위에서의 모듈러 구조를 명시적으로 구성하기 위해, 특히 힘-버마 모듈러를 포함하여.
• 모듈러 힘-대수의 구조가 자기 자신을 끼워넣는 데서 유도된 구조를 유지하기 위해, 자기 자신을 끼워넣는 데서 유도된 구조를 유지하기 위한 조건을 설정하기 위해.

제안 방법

• 첫 번째 틀지기 원리를 수립: 적절한 자기형사상을 사용하여 일반적인 대수적 구조를 힘-형 구조로 변환하기 위해.
• 두 번째 틀지기 원리를 수립: 기존의 힘-대수에서 반복적인 틀지기 사상 $\alpha$를 적용하여 유도된 수열을 유도하기 위해.
• 힘-(코)결합성 (코)대수, 힘-반대칭대수, 그리고 그들의 쿼드라트릭/코브라이드 변형에 대해 틀지기 원리를 증명하기 위해.
• 쌍의 사상들을 사용하여 첫 번째 틀지기 원리를 적용하여 $U_q(\mathfrak{sl}_n)_{\alpha}$ 위의 유한차원 모듈러를 구성하기 위해.
• 표준 버마 모듈러에 첫 번째 틀지기 원리를 적용하여 $U_q(\mathfrak{sl}_2)_{\alpha}$ 위의 무한차원 힘-버마 모듈러를 구성하기 위해.
• 자기형사상 $\alpha$를 통해 모듈러 힘-대수의 구조가 힘-결합성 대수 법칙을 유지하는 조건을 설정하기 위해, 조건 $\alpha \circ \rho = \rho \circ (\alpha_\lambda \otimes \alpha)$ 를 사용하기 위해.

실험 결과

연구 질문

• RQ1 표준 양자군 표현은 어떻게 비결합성 힘-양자군으로 틀지기 원리를 통해 일반화될 수 있는가?
• RQ2 힘-결합성 대수 위의 모듈러가 유도된 이중수열의 힘-대수 위의 모듈러를 유도할 수 있는 조건은 무엇인가?
• RQ3 틀지기 원리를 사용하여 양자 평면 위의 모듈러-대수의 구조를 힘-양자 기하학으로 일반화할 수 있는가?
• RQ4 힘-양자 평면 위의 $U_q(\mathfrak{sl}_2)_{\gamma}$-모듈러 힘-대수의 구조는 어떤 형태를 가지며, 매개수에 따라 어떻게 달라지는가?
• RQ5 반복적인 틀지기 원리를 통해 힘-브레이딩 또는 틀지기 사상 $\alpha$를 적용할 경우, 힘-양자군의 표현론에 어떤 영향을 미치는가?

주요 결과

• 비가산적이고 네 매개수의 $U_q(\mathfrak{sl}_2)_{\gamma}$-모듈러 힘-대수의 구조가 힘-양자 평면 $(\mathbb{A}^{2|0}_q)_{\beta}$ 위에 구성되었으며, $\lambda \in \mathbf{C} \setminus \{0\}$, $\xi \in \mathbf{C}$, 정수 $l,k \geq 0$ 에 의해 매개수화되어 있다.
• 비가산적이고 세 매개수의 $U_q(\mathfrak{sl}_2)_{\gamma}$-모듈러 힘-대수의 구조가 비표준적 $U_q(\mathfrak{sl}_2)$-모듈러-대수의 구조에서 파생된 힘-양자 평면 위에 구성되었으며, $\lambda \in \mathbf{C} \setminus \{0\}$, $l,k \geq 0$ 에 의해 매개수화되어 있다.
• 두 구성 모두에서 $\lambda = 1$ 이고 $\xi = 1$ 으로 설정할 경우, 원래의 $U_q(\mathfrak{sl}_2)$-모듈러-대수의 구조가 복원된다.
• 첫 번째 틀지기 원리를 사용하여, 단항식 $x^m y^n$ 에서 정의된 액션으로 무한차원의 힘-버마 모듈러가 명시적으로 구성되었다.
• 힘-버마 모듈러 위에서 $K^{\pm 1}$ 의 작용은 $\rho_{\alpha}^{l,k}(K^{\pm 1}, x^m y^n) = q^{\pm(m-2n)} \lambda^{-2^k n} x^m y^n$ 로 주어지며, 틀지기 매개수의 명시적 의존성을 보여준다.
• 힘-버마 모듈러 위에서 $E$ 와 $F$ 의 작용은 각각 $\rho_{\alpha}^{l,k}(E, x^m y^n) = q^{1-n}[n]_q \lambda^{l-2^k(n-1)} x^m y^{n-1}$ 과 $\rho_{\alpha}^{l,k}(F, x^m y^n) = q^{-m}\frac{q^{2m}-q^{2n}}{q-q^{-1}} \lambda^{-l-2^k(n+1)} x^m y^{n+1}$ 로 주어진다.