[논문 리뷰] Cross Product Bialgebras - Part I

Yuri Bespalov, Bernhard Drabant|ArXiv.org|1998. 02. 05.

Algebraic structures and combinatorial models참고 문헌 22인용 수 6

한 줄 요약

이 논문은 코사이클이 없는 교차 곱 대수구조를 위한 일반적인 프레임워크를 투사와 포함을 통해 제안하며, 이는 기존의 구성들인 이중곱, 이중크로스곱, 이중교차곱을 통합한다. 또한 끈적성 있는 모나이드 범주(예: 호프 이중모듈러)에서 작동하는 모듈러형 호프 자료 기술을 제공하여 기존의 유형을 복원하고 새로운 코사이클이 없는 대수구조의 가닥을 생성한다. 특히 마자드의 이중이중곱은 이 범주적 설정에서 텐서곱 대수구조의 트위스트로 나타남을 보여준다.

ABSTRACT

The subject of this article are cross product bialgebras without co-cycles. We establish a theory characterizing cross product bialgebras universally in terms of projections and injections. Especially all known types of biproduct, double cross product and bicross product bialgebras can be described by this theory. Furthermore the theory provides new families of (co-cycle free) cross product bialgebras. Besides the universal characterization we find an equivalent (co-)modular description of certain types of cross product bialgebras in terms of so-called Hopf data. With the help of Hopf data construction we recover again all known cross product bialgebras as well as new and more general types of cross product bialgebras. We are working in the general setting of braided monoidal categories which allows us to apply our results in particular to the braided category of Hopf bimodules over a Hopf algebra. Majid's double biproduct is seen to be a twisting of a certain tensor product bialgebra in this category. This resembles the case of the Drinfel'd double which can be constructed as a twist of a specific cross product.

연구 동기 및 목표

• 코사이클이 없는 교차곱 대수구조를 범주론적 투사와 포함을 사용하여 일반적인 특성화하는 것.
• 기존의 대수구조 구성들—이중곱, 이중크로스곱, 이중교차곱—을 하나의 이론적 프레임워크로 통합하는 것.
• 기존의 교차곱 대수구조를 일반화하고 확장하는 모듈러형 호프 자료 기술을 도입하는 것.
• 이 이론을 끈적성 있는 모나이드 범주, 특히 호프 대수 위의 호프 이중모듈러 범주에 적용하는 것.
• 마자드의 이중이중곱이 이 범주적 설정에서 텐서곱 대수구조의 트위스트로 나타남을 보여주는 것.

제안 방법

• 이론은 투사와 포함을 사용한 일반적 성질에 기반하여, 교차곱 대수구조를 범주론적으로 특성화한다.
• 호프 자료 형식이 도입되며, 이는 대수구조와 코대수구조 데이터의 호환성으로 대수구조를 코딩한다.
• 이 프레임워크는 끈적성 있는 모나이드 범주에서 적용되어 고전적 설정을 초월한 일반화를 가능하게 한다.
• 텐서곱의 트위스트를 통한 새로운 대수구조의 정의를 위해 호프 이중모듈러의 구조를 활용한다.
• 이 이론은 기존의 대수구조(예: 트위스트를 통한 드리프레벨드 이중)를 복원하고, 새로운 코사이클이 없는 대수구조의 가닥을 생성한다.

실험 결과

연구 질문

• RQ1 코사이클이 없는 교차곱 대수구조는 어떻게 범주론적 투사와 포함을 사용하여 일반적으로 특성화할 수 있는가?
• RQ2 일반적 투사/포함 프레임워크와 기존의 대수구조 구성들(예: 이중곱, 이중교차곱) 간의 관계는 무엇인가?
• RQ3 모듈러형 호프 자료 기술은 기존의 교차곱 대수구조를 통합하고 일반화할 수 있는가?
• RQ4 이러한 구성들은 끈적성 있는 모나이드 범주, 특히 호프 이중모듈러 범주에서 어떻게 행동하는가?
• RQ5 마자드의 이중이중곱은 이 프레임워크 내에서 텐서곱 대수구조의 트위스트로 이해될 수 있는가?

주요 결과

• 투사와 포함을 통한 일반적 특성화는 모든 코사이클이 없는 교차곱 대수구조에 대해 깔끔한 범주론적 기반을 제공한다.
• 호프 자료 형식은 동치이면서도 모듈러적인 기술을 제공하며, 기존의 대수구조를 복원하고 새로운 대수구조를 생성한다.
• 기존의 모든 종류의 교차곱 대수구조—이중곱, 이중크로스곱, 이중교차곱—은 이 단일 프레임워크 아래 통합된다.
• 호프 이중모듈러 범주에서 이중이중곱은 특정한 텐서곱 대수구조의 트위스트임이 입증된다.
• 이 이론은 이전에 알려진 클래스를 초월하여 새로운 코사이클이 없는 대수구조의 가닥을 구성할 수 있게 한다.