바이코알제브라드의 스칼라 확장

초록

본 논문은 바이코알제브라드(bicoalgebroid)의 정의를 재정리하고, 그 위에 정의되는 코모듈·모듈 구조를 탐구한다. 코모듈 범주를 단일 텐서 구조로 만들고, Yetter‑Drinfel’d 모듈을 도입하여 이 범주가 전치‑브레이드(pre‑braided) 구조를 갖는 것을 보인다. 이어서 Braided Cocommutative Coalgebra(이하 BCC)를 정의하고, 기존의 bialgebra·bialgebroid에 대한 스칼라 확장(construction of scalar extension)을 바이코알제브라드에 대하여 대칭적으로 전개한다. 구체적인 고전적 예시와 함께, 코모듈 범주를 연관된 코모나드의 코알제브라 범주와 동일시함으로써 Schauenburg 정리의 코모나딕(약화된) 버전을 얻는다. 마지막으로 스칼라 확장과 BCC를 (co‑)모나딕 관점에서 재해석한다.

상세 분석

논문은 먼저 바이코알제브라드라는 구조를 기존의 bialgebroid과 대조적으로 정의한다. 여기서 핵심은 두 개의 베이스 코알제브라드 (C)와 (D) 사이에 양방향 코액션을 갖는 코알제브라 (\mathcal{H})이며, 이는 (\Delta:\mathcal{H}\to \mathcal{H}\otimes_{C}\mathcal{H})와 (\epsilon:\mathcal{H}\to C) 같은 코알제브라 연산이 베이스 코알제브라드와의 텐서 곱을 통해 적절히 조정된다는 점이다. 저자는 이 정의를 바탕으로 (\mathcal{H})-코모듈과 (\mathcal{H})-모듈을 각각 좌·우 코액션, 좌·우 액션 형태로 정의하고, 이들 사이의 상호작용을 정밀히 기술한다. 특히 코모듈 범주 (\mathcal{M}^{\mathcal{H}})에 텐서곱을 부여함으로써 단일 모노이달 구조를 만들고, 이는 코액션이 베이스 코알제브라드의 코알제브라 구조와 호환될 때 가능함을 증명한다.

다음 단계에서는 Yetter‑Drinfel’d 모듈을 정의한다. 전통적인 bialgebroid 상황과 마찬가지로, (\mathcal{H})-코모듈이면서 동시에 (\mathcal{H})-모듈인 객체에 대해 특정한 호환식(코액션과 액션 사이의 교환 법칙)을 요구한다. 저자는 이 조건이 만족될 때 해당 범주가 전치‑브레이드 구조, 즉 자연스러운 교환 변환 (\sigma_{X,Y}:X\otimes Y\to Y\otimes X)를 가짐을 보이며, 이 변환이 강한 브레이드가 되지는 않지만 충분히 풍부한 구조를 제공한다. 또한 이 Yetter‑Drinfel’d 범주가 (\mathcal{M}^{\mathcal{H}})의 한쪽 중심(one‑sided center)으로 완전하게 포함된다는 사실을 카테고리 이론적 관점에서 정리한다.

핵심 공헌 중 하나는 Braided Cocommutative Coalgebra(BCD) 혹은 BCC라 명명된 개념이다. 이는 (\mathcal{H})-코모듈 범주 안에서 코알제브라 구조를 갖지만, 브레이드된 교환 변환에 대해 코코미터가 교환(commutative)함을 의미한다. 저자는 이러한 BCC를 이용해 스칼라 확장(construction of scalar extension)을 수행한다. 기존 문헌에서 Brzeziński‑Militaru와 Balint‑Slachányi가 bialgebra·bialgebroid에 대해 제시한 스칼라 확장은, 여기서는 코알제브라와 코모듈 구조를 뒤집어 적용한다. 구체적으로, 주어진 BCC (B)와 바이코알제브라드 (\mathcal{H})에 대해 새로운 바이코알제브라드 (\mathcal{H}\otimes_{C} B)를 구성하고, 이 확장이 원래 구조의 모노이달·브레이드 성질을 보존함을 증명한다.

예시 부분에서는 (i) 전통적인 코알제브라 (C) 자체를 BCC로 보는 경우, (ii) 군 대수의 함수 코알제브라와 그에 대응하는 코모듈을 이용한 경우, (iii) 양자군의 코알제브라와 그 표준 코모듈을 이용한 경우 등을 제시한다. 각 예시는 스칼라 확장이 어떻게 기존 구조를 확대하면서도 새로운 코알제브라적 성질을 유지하는지를 보여준다.

마지막으로 저자는 코모듈 범주 (\mathcal{M}^{\mathcal{H}})를 연관된 코모나드 (\mathbb{G})의 코알제브라(코모나드 알제브라) 범주와 동일시한다. 이 관점에서 Schauenburg 정리(바이알제브라드와 그 모노이달 모듈 범주의 동등성)를 코모나딕 버전으로 약화시켜, (\mathbb{G})-코알제브라와 (\mathcal{H})-코모듈 사이의 2‑범주 동형을 제시한다. 또한 스칼라 확장과 BCC가 (co‑)모나딕 변환으로 해석될 수 있음을 보이며, 이러한 변환이 보존하는 구조적 특성을 정리한다. 전체적으로 이 논문은 바이코알제브라드 이론을 코알제브라적 관점에서 풍부히 확장하고, 기존의 대수적·범주론적 결과들을 대칭적으로 재구성함으로써 새로운 연구 방향을 제시한다.