[논문 리뷰] Smash biproducts of algebras and coalgebras

S. Caenepeel, Bogdan Ion외 2명|arXiv (Cornell University)|2000. 01. 01.

Algebraic structures and combinatorial models참고 문헌 16인용 수 4

한 줄 요약

이 논문은 두 사상 R과 W를 사용하여 대수 L과 코대수 H에 대해 일반화된 스매시 비프로덕트 구성 K = L ⋈_R^W H를 제안하며, K가 양대수를 이룰 수 있는 필요 및 충분 조건을 제공한다. 이 구성은 Majid와 Radford의 이전 작업을 통합하고 확장하며, 최근의 지정된 호프 대수들을 특수한 경우로 포함한다.

ABSTRACT

Let L and H be algebras and coalgebras (but not necessarily bialgebras, and consider two maps R: H ⊗ L → L ⊗H and W: L ⊗ H → H ⊗L. We introduce a product K = L W⊲⊳R H, and we give necessary and sufficient conditions for K to be a bialgebra. Our construction generalizes products introduced by Majid [13] and Radford [20]. Also some of the pointed Hopf algebras that were recently constructed by Beattie, Dǎscǎlescu and Grünenfelder [2] appear as special cases. 0

연구 동기 및 목표

• 양대수 가정을 초월하여 대수와 코대수의 스매시 곱 구성법을 일반화하기 위해.
• 구성된 곱이 양대수를 이루는 데 필요한 정확한 필요 및 충분 조건을 규명하기 위해.
• Majid와 Radford의 기존 구성들을 하나의 프레임워크 안에서 통합하고 확장하기 위해.
• Beattie, Dǎscǎlescu, 그리고 Grünenfelder가 최근 제안한 지정된 호프 대수가 제안된 구성의 특수한 경우로 나타나는지 보여주기 위해.

제안 방법

• 두 사상 R: H⊗L → L⊗H와 W: L⊗H → H⊗L를 사용하여 K = L ⋈_R^W H의 곱을 도입한다.
• K 위의 대수 및 코대수 구조를 분석하여 양대수 호환성을 판단한다.
• K 위의 코곱과 곱이 호환되도록 보장하기 위한 R과 W에 대한 조건을 유도한다.
• Majid, Radford, 그리고 Beattie 등이 제시한 알려진 예제들을 복원하기 위해 구성 적용한다.
• 유도된 조건 하에서 양대수 공리를 확인하기 위해 범주론적 및 대수적 기법을 사용한다.
• 이 구성이 이전의 스매시 곱 변형들을 포함함을 보여주어 그 일반성을 입증한다.

실험 결과

연구 질문

• RQ1 L과 H가 반드시 양대수일 필요가 없을 때, 일반화된 곱 K = L ⋈_R^W H가 양대수를 이루는 조건은 무엇인가?
• RQ2 스매시 비프로덕트 구성법을 표준 양대수 설정을 초월해 어떻게 확장할 수 있는가?
• RQ3 R과 W의 사상들이 결과 곱의 양대수 구조에 어떤 영향을 미치는가?
• RQ4 이 구성은 Majid와 Radford의 알려진 스매시 곱 구성들을 통합할 수 있는가?
• RQ5 Beattie, Dǎscǎlescu, 그리고 Grünenfelder가 최근 제안한 지정된 호프 대수들은 이 일반화된 프레임워크의 특수한 경우로 나타나는가?

주요 결과

• 논문은 곱 K = L ⋈_R^W H가 양대수를 이룰 수 있도록 보장하기 위한 R과 W에 대한 필요 및 충분 조건을 규명한다.
• 이 구성은 L과 H가 반드시 양대수일 필요가 없도록 하여 Majid와 Radford의 스매시 곱을 일반화한다.
• 이 프레임워크는 Beattie, Dǎscǎlescu, 그리고 Grünenfelder의 지정된 호프 대수들을 특수한 경우로 포함한다.
• R과 W의 사상들은 K 내의 대수 구조와 코대수 구조 간의 상호작용을 매개하는 이중적 역할을 한다.
• 결과로 얻어진 양대수 K는 R과 W의 상호작용를 통해 L과 H의 대수 및 코대수 구조를 계승한다.
• 이 방법은 R과 W를 사용하여 비-양대수 입력으로부터 새로운 양대수를 체계적으로 구성할 수 있도록 한다.