곱셈자 호프 대수의 범주론적 해석과 새로운 배리얼 구조

본 논문은 곱셈자(multiplier) 호프 대수에 대한 범주론적 해석을 제시함으로써, 기존의 호프 대수와 유사한 구조적 이해를 가능하게 한다. 서론에서는 호프 대수와 배리얼의 전통적 정의를 복습하고, 곱셈자 호프 대수가 비단위·무한 차원 상황에서 등장했지만, 아직 적절한 범주론적 틀은 부재했음을 지적한다. 1부에서는 비단위 대수와 그 모듈 이론을 체계화한다. 비퇴화(idempotent)·비퇴화(non‑degenerate)·k‑projective 대수 A를 정의하고, A의 좌·우 곱셈자 집합 L(A), R(A)를 통해 곱셈자 대수 M(A)를 구축한다. M(A)는 (λ,ρ)쌍으로 이루어지며, A는 M(A) 위의 양측 모듈이자 비퇴화 확장으로 작용한다. 또한, B‑extension이라는 개념을 도입해, B‑extension ↔ 알gebra 사상 B→M(A) 사이의 일대일 대응을 증명한다. 이 과정에서 비단위 상황에서도 ‘완전한 좌·우 로컬 유닛’ 개념을 활용해 모듈의 비퇴화성을 보장한다. 2부에서는 ‘곱셈자 배리얼(multiplier bialgebra)’을 정의한다. 비퇴화·idempotent·k‑projective 대수들의 모노이달 카테고리 Algₙᵈ를 구성하고, 여기서 코모노이드(Δ:A→M(A⊗A), ε:A→k)를 갖는 객체를 배리얼이라 부른다. 핵심 정리인 정리 2.9는 다음과 동등함을 보인다. (a) A가 위와 같은 코모노이드를 갖는다. (b) A의 확장 카테고리 B‑Ext와 좌·우 모듈 카테고리 A‑Modₗ, A‑Modᵣ가 각각 모노이달이며, 이들 사이에 k‑Mod으로 가는 망각 함수를 포함한 사각형이 엄격한 모노이달 사상으로 교환한다. 특히, 좌·우 모듈 카테고리의 모노이달성이 서로 독립적이라는 점은 비단위 대수에서 새로운 현상이다. 이 정리를 통해 배리얼 구조를 ‘모듈·코모듈 이론’과 동등하게 기술할 수 있음을 확인한다. 3부에서는 기존 정의에 따라 곱셈자 호프 대수(multiplier Hopf algebra)를 소개한다. 여기서는 배리얼 구조에 더해 antipode S:A→M(A)가 존재하며, 이는 Endₖ(A)에서 항등 사상의 convolution 역원으로 해석된다. 저자들은 S가 존재함을 보이기 위해 Δ와 ε의 bijectivity와 비퇴화성을 활용한다. 또한, 곱셈자 호프 대수 위에 module algebra와 comodule algebra 개념을 정의하고, 이들 사이의 상호작용을 convolution 구조와 연결한다. 마지막으로, 이러한 범주론적 관점이 기존의 quasi‑Hopf, weak Hopf, Hopf algebroid 등 다양한 일반화와 어떻게 연계될 수 있는지를 논의하며, 향후 연구 방향을 제시한다. 전체적으로, 논문은 곱셈자 호프 대수를 ‘비단위 모노이달 카테고리 내의 코모노이드 + antipode’라는 명확한 범주론적 구조로 재구성함으로써, 무한 차원·비단위 상황에서도 이중성, 모듈 이론, 그리고 대수적 구조를 일관되게 다룰 수 있는 기반을 제공한다.