홀 퓨전 바이알제브라

초록

이 논문은 프로모노이달 이중 구조에서 유도된 “홀‑퓨전” 바이알제브라를 정의하고, 그 대수적 성질을 조사한다. 또한 확장된 면(face) 모델을 위해 확률 bicategory(Probicategory)를 사용한 버전을 제시한다. 주요 결과는 적절한 프로모노이달 데이터가 주어지면 연산과 공연산이 호환되는 바이알제브라가 구성되며, 안티포드가 존재할 경우 호프 구조까지 얻을 수 있다는 점이다.

상세 분석

논문은 먼저 유한하고 스켈레톤인 Vectₖ-카테고리 𝔄를 가정하고, 𝔄와 그 반대 카테고리 𝔄ᵒᵖ에 각각 프로모노이달 구조 p와 q를 부여한다. 여기서 프로모노이달 구조는 삼중함수 p:𝔄ᵒᵖ⊗𝔄ᵒᵖ⊗𝔄→Vect_fd와 q:𝔄⊗𝔄⊗𝔄ᵒᵖ→Vect_fd 로 정의되며, 이는 전통적인 텐서곱을 일반화한 ‘다중곱’ 연산이다. 두 구조를 텐서곱하여 얻은 𝔄⊗𝔄ᵒᵖ 위의 복합 프로모노이달 구조 H는 이후 정의될 대수 B의 기초가 된다.

B는 기저 원소 e_J^{a,b} (a,b∈𝔄ᵒᵖ⊗𝔄) 로 생성되는 k‑선형 공간이며, 곱은
e_J^{a,c}·e_K^{b,d}=∑_{u,v}dim p(a,b,u)·dim q(c,d,v)·e_J^{u,v}
와 같이 정의된다. 여기서 차원 dim p(a,b,u)와 dim q(c,d,v) 는 각각 p와 q가 반환하는 유한 차원 벡터공간의 차원을 의미한다. 단위 원소는 e_K^{I,J} 로 주어지고, 공변산은
Δ(e_J^{a,b})=∑u e_J^{a,u}⊗e_J^{u,b}
이며, counit은 ε(e_J^{a,b})=δ{a,b} 로 정의된다.

이러한 연산이 바이알제브라 구조를 만족하려면
p(a,b, u)⊗q(a,b, v) ≅ 𝔄ᵒᵖ(u,v)
라는 일종의 ‘상호정합성’ 조건이 필요하다. 이는 p와 q가 서로 ‘듀얼’ 관계에 있음을 의미한다. 안티포드 S:𝔄ᵒᵖ→𝔄 가 존재하고 S²=Id이면, B에 대한 안티포드 S(e_J^{a,b})=e_K^{S(b),S(a)} 를 정의할 수 있다. 이때 p와 q를 S‑전이시킨 형태와 I= S(J) 로 잡으면, von Neumann 항등식
m(1⊗S⊗1)Δ³ = 1
을 만족하게 된다. 따라서 B는 거의 완전한 호프 알제브라가 된다.

예시로는 𝔄를 유한 군군의 k‑선형화로 잡는 경우가 제시되는데, 이때 얻어지는 B는 잘 알려진 ‘더블’ 군군 대수와 동형이 된다.

두 번째 절에서는 ‘face’ 버전을 제시한다. 여기서는 프로모노이달 카테고리 대신 확률 bicategory(Probicategory) 𝔅를 사용한다. 두 개의 확률 bicategory 𝔅 와 𝔅ᵒᵖ 를 동일한 0‑셀 집합 N 위에 배치하고, 각각의 1‑셀 집합 𝔅_{ij}와 𝔅_{jk}에 대해 프로모노이달 구조 p_{ijk}와 q_{ijk}를 정의한다. 면(idempotent) e_i와 e_j는 각각 ∑k e{ik}와 ∑i e{ij} 로 구성된다. 곱과 공변산은 섹션 1과 동일한 형태로 정의되며, 1‑셀들의 조합에 따라 차원 계수가 곱해진다. 이 구성 역시 위와 같은 상호정합성 조건을 만족하면 바이알제브라를 형성한다.

마지막으로, 객체 수가 무한이더라도 p와 q가 유한 지원을 갖는다면 정의가 그대로 확장될 수 있음을 언급한다.

전체적으로 논문은 프로모노이달(또는 확률 bicategory) 구조를 이용해 전통적인 Hall 대수의 ‘퓨전’ 버전을 일반화하고, 그 대수적 구조를 상세히 기술한다는 점에서 카테고리 이론과 양자대수 사이의 교량 역할을 수행한다.