분리 가능한 모노이달 펑터의 엔도몰프즘 대수와 유니탈 폰노이만 코어

본 논문은 “분리 가능한” 모노이달 펑터 U:C→Vectₖ (k는 특성 0인 체)로부터 얻어지는 (공)엔드 End⁽ᵛ⁾U에 대한 대수·코알제브라 구조를 체계적으로 구축하고, 이를 “유니탈 폰노이만 코어”라는 새로운 개념으로 일반화한다. 1. **서론 및 기본 정의** 저자들은 대칭 혹은 브레이드된 모노이달 범주 (C,⊗,I,c)를 전제로, 알지브라와 코알제브라의 기본 정의를 복습한다. 여기서 ‘아주 약한 바이알제브라’는 알지브라와 코알제브라가 δ·µ=(µ⊗µ)(1⊗c⊗1)(δ⊗δ)라는 연산만을 만족하는 구조이며, 폰노이만 코어는 추가로 안티포드 S가 µ³(1⊗S⊗1)δ³=1을 만족하는 경우를 의미한다. 2. **End⁽ᵛ⁾U의 알지브라 구조** U가 모노이달 구조 (U,r,r₀)와 코모노이달 구조 (U,i,i₀)를 동시에 갖는 경우, End⁽ᵛ⁾U:=∫⁽C⁾ U(C)⁎⊗U(C)에 대한 곱 µ와 단위 η를 명시적으로 정의한다. µ는 r와 i를 이용해 (U(C)⁎⊗U(C))⊗(U(D)⁎⊗U(D)) → U(C⊗D)⁎⊗U(C⊗D) 로 구성되며, η는 U I⁎⊗U I와 i₀·r₀를 통해 얻어진다. 연관성 및 단위 법칙은 U의 모노이달·코모노이달 공액성에서 직접 도출된다. 3. **코알제브라 구조와 바이알제브라 성질** C가 작은 생성 집합 A를 가지고, 각 A∈A에 대해 U(A)가 유한 차원이라고 가정한다. 이때 End⁽ᵥ⁾U는 실제로 k‑코알제브라가 되며, 코곱 δ와 보조 ε는 U의 평가(ev)와 공평가(coev)를 사용해 정의된다. Proposition 2.1은 “분리 가능” 조건 r·i=1, i₀·r₀=dim U I·1이 δ·µ=(µ⊗µ)(1⊗c⊗1)(δ⊗δ)를 만족함을 증명한다. 즉, End⁽ᵥ⁾U는 약한 바이알제브라 구조를 가진다. 4. **유니탈 폰노이만 안티포드의 구성** 추가적인 가정으로 (i) U‑비가역성: A(C,B)=0이면 dim U(C)=dim U(B), (ii) U‑밀도: α_C:∫⁽A⁾ C(A,C)⊗U(A)→U(C) 가 동형, (iii) U‑트레이스 존재: 각 A에 대해 d(A):I→I 가 존재하고, 특정 다이어그램이 교환한다. 또한 U가 각 A에 대해 자연스러운 비퇴화 형태 u_A:U(A⁎)→U(A)⁎ 를 보존한다. 이때 σ_A를 정의하고, S_A:=dim U I·(dim U A)⁻¹·σ_A 로 설정한다. 전체 안티포드 S는 모든 A에 대한 합으로 정의되며, Theorem 3.1은 (1⊗η)=(1⊗µ)(1⊗S⊗1)·δ³을 만족함을 보인다. 따라서 (End⁽ᵥ⁾U,µ,η,δ,ε,S)는 “유니탈 폰노이만 코어”가 된다. 5. **융합 연산자와 그 역** 정의된 코알제브라와 안티포드를 이용해 융합 연산자 f=(1⊗µ)(δ⊗1):E⊗E→E⊗E와 그 왼쪽 역 g=(1⊗µ)(1⊗S⊗1)(δ⊗1)를 도입한다. 다이어그램 계산을 통해 f·g·f=f, g·f·g=g임을 확인하고, 이는 기존의 fusion equation과 일치한다. 6. **예시** (a) 약한 바이알제브라 f∈