[논문 리뷰] Weighted infinitesimal unitary bialgebras on matrix algebras and weighted associative Yang-Baxter equations

Yi Zhang, Xing Gao외 1명|arXiv (Cornell University)|2018. 11. 02.

Advanced Topics in Algebra참고 문헌 16인용 수 6

한 줄 요약

이 논문은 가중치가 부여된 애초적 양-바크스터 방정식(AYBE)의 해로부터 유도된 코프로덕트를 통해 행렬 대수 위에 가중치가 부여된 무한소 유니터리 대수를 구성한다. 가중치 $\lambda$를 가진 AYBE의 해와 가중치 $-\lambda$를 가진 로타-백스터 연산자 사이의 전단사 관계를 확립하고, 이를 통해 가중치가 부여된 쿼드라트리앙털 무한소 유니터리 대수를 구축하며, 이는 행렬 대수 위에 덴드라이포름 대수의 구조를 유도한다.

ABSTRACT

We equip a matrix algebra with a weighted infinitesimal unitary bialgebraic structure, via a construction of a suitable coproduct. Furthermore, an infinitesimal unitary Hopf algebra, under the view of Aguiar, is constructed on a matrix algebra. By exploring the relationship between weighted infinitesimal bialgebras and pre-Lie algebras, we construct a pre-Lie algebraic structure and then a new Lie algebraic structure on a matrix algebra. We also introduce the weighted associative Yang-Baxter equations (AYBEs) and obtain the relationship between solutions of weighted AYBEs and weighted infinitesimal unitary bialgebras. We give a bijection between the solutions of the associative Yang-Baxter equation of weight $λ$ and Rota-Baxter operators of weight $-λ$ on matrix algebras. As a consequence, weighted quasitriangular infinitesimal unitary bialgebras are constructed, which generalize the results studied by Aguiar. Finally, We show that any weighted quasitriangular infinitesimal unitary bialgebra can be made into a dendriform algebra.

연구 동기 및 목표

• 가중치 $\lambda$를 가진 애초적 양-바크스터 방정식(AYBE)의 해로부터 유도된 코프로덕트를 사용하여 행렬 대수 위에 가중치가 부여된 무한소 유니터리 대수를 구성한다.
• 행렬 대수 위에서 가중치 $\lambda$를 가진 AYBE의 해와 가중치 $-\lambda$를 가진 로타-백스터 연산자 사이의 전단사 관계를 확립한다.
• 가중치가 부여된 쿼드라트리앙털 $\epsilon$-유니터리 대수를 도입하여 아구아르의 쿼드라트리앙털 무한소 유니터리 대수 프레임워크를 일반화한다.
• 임의의 가중치가 부여된 쿼드라트리앙털 $\epsilon$-유니터리 대수가 주어진 대수 위에 덴드라이포름 대수의 구조를 구성하는 데 사용될 수 있음을 보인다.
• 프리-리 대수, 가중치가 부여된 무한소 대수, 그리고 행렬 대수 위에서 로타-백스터 연산자가 유도하는 대수적 구조 간의 상호작용을 탐구한다.

제안 방법

• 가중치 $\lambda$를 가진 AYBE의 해인 $r \in A \otimes A$를 사용하여 행렬 대수 $A$ 위에 코프로덕트 $\Delta_r$를 정의하며, $\Delta_r(ab) = a \cdot \Delta_r(b) + \Delta_r(a) \cdot b + \lambda(a \otimes b)$를 만족시킨다.
• 아구아르의 프레임워크에 따라 가중치가 부여된 무한소 대수에 역원을 부여하여 행렬 대수 위에 무한소 유니터리 호프 대수의 구조를 실현한다.
• 공식 $r = \sum u_i \otimes v_i$와 연산자 $P(a) = \sum u_i a v_i$를 통해 가중치 $\lambda$를 가진 AYBE의 해와 가중치 $-\lambda$를 가진 로타-백스터 연산자 사이의 전단사 관계를 확립한다.
• 코프로덕트와 가중치가 부여된 대수의 공리를 사용하여 행렬 대수 위에 프리-리 대수의 구조를 정의하며, 곱 연산을 $a \ast b = \sum u_i a v_i b$로 정의한다.
• 쿼드라트리앙털 $\epsilon$-유니터리 대수를 사용하여 행렬 대수 $A$ 위에 덴드라이포름 대수의 구조를 구성하며, 연산을 $a \succ b = \sum u_i a v_i b$와 $a \prec b = \sum a u_i b v_i - \lambda ab$로 정의한다.
• 가중치가 부여된 AYBE와 로타-백스터 대수의 성질을 활용하여 유도된 연산이 덴드라이포름 대수의 공리를 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 적절한 코프로덕트를 통해 행렬 대수에 가중치가 부여된 무한소 유니터리 대수의 구조를 부여할 수 있는가?
• RQ2 가중치 $\lambda$를 가진 애초적 양-바크스터 방정식의 해와 행렬 대수 위의 가중치 $-\lambda$를 가진 로타-백스터 연산자 사이의 정확한 관계는 무엇인가?
• RQ3 가중치가 부여된 AYBE의 해로부터 가중치가 부여된 쿼드라트리앙털 $\epsilon$-유니터리 대수를 구성할 수 있으며, 이러한 대수는 어떤 대수적 구조를 유도하는가?
• RQ4 가중치가 부여된 무한소 대수와 프리-리 대수 및 덴드라이포름 대수의 구조는 행렬 대수 위에서 어떻게 관련되어 있는가?
• RQ5 가중치가 부여된 쿼드라트리앙털 $\epsilon$-유니터리 대수가 덴드라이포름 대수를 유도하기 위해 만족해야 할 조건은 무엇인가?

주요 결과

• 가중치 $\lambda$를 가진 애초적 양-바크스터 방정식의 해와 가중치 $-\lambda$를 가진 로타-백스터 연산자 사이의 전단사 관계가 확립되었다.
• 가중치 $\lambda$를 가진 AYBE의 해인 $r$에 의해 정의된 코프로덕트 $\Delta_r$를 사용하여 행렬 대수 위에 가중치가 부여된 무한소 유니터리 대수의 구조가 성립하며, 이는 $\Delta_r(ab) = a \cdot \Delta_r(b) + \Delta_r(a) \cdot b + \lambda(a \otimes b)$를 만족한다.
• 아구아르의 프레임워크를 확장하여 가중치가 부여된 무한소 대수에 역원을 부여함으로써 행렬 대수 위에 무한소 유니터리 호프 대수의 구조가 실현되었다.
• 코프로덕트와 가중치가 부여된 대수의 공리를 사용하여 곱 연산 $a \ast b = \sum u_i a v_i b$로 정의된 프리-리 대수의 구조가 행렬 대수 위에 구성되었다.
• 가중치가 부여된 쿼드라트리앙털 $\epsilon$-유니터리 대수를 통해 덴드라이포름 대수의 구조가 행렬 대수 위에 유도되었으며, 연산 $a \succ b = \sum u_i a v_i b$와 $a \prec b = \sum a u_i b v_i - \lambda ab$는 덴드라이포름 대수의 공리를 만족한다.
• 유도된 삼중쌍 $(A, \succ, \prec)$는 가중치가 부여된 AYBE와 로타-백스터 대수의 프레임워크를 활용하여 검증된 바에 따라 덴드라이포름 대수의 구조를 이룬다.