유한 텐서 범주에서의 호프 대수와 프로베니우스 대수

** 본 논문은 ‘유한 텐서 범주’라는 엄격한 카테고리적 환경을 설정하고, 그 안에서 호프 대수와 프로베니우스 대수라는 두 종류의 대수적 구조가 어떻게 나타나는지를 체계적으로 탐구한다. 1. **유한 텐서 범주의 기초** 저자는 먼저 k‑선형, 아벨리안, 유한 길이, 그리고 단순 객체들의 동형 클래스가 유한 집합인 카테고리 C를 정의한다. C는 단순 텐서 단위 1을 갖고, 좌·우 듀얼리티가 존재하며, 이 두 듀얼이 동일하게 작용하도록 강제한다. 이러한 설정은 텐서 곱이 양변에서 정확함을 보장하고, 차원 함수 dim(U)=tr(id_U) 를 정의할 수 있게 한다. 2. **브레이딩과 코엔드 호프 대수** C가 브레이드(즉, 자연 동형 c_{X,Y}) 구조를 가질 경우, 코엔드 H:=∫^{X}X^{∨}⊗X 가 존재한다는 정리를 제시한다. 이 코엔드는 범주 내에서 호프 대수 구조를 자연스럽게 갖는다. 구체적으로, - 단위 η_H는 ι_1:1^{∨}⊗1→H 로 정의되고, - counit ε_H는 평가 d_X를 통해 ι_X∘(id_{X^{∨}}⊗id_X)→1 로 주어진다. - 곱 m_H는 브레이딩을 이용해 (X^{∨}⊗X)⊗(Y^{∨}⊗Y)→(Y⊗X)^{∨}⊗(Y⊗X) 로 전환한 뒤 코엔드의 보편성에 의해 정의된다. - 코프라이트 Δ_H와 반전 S_H 역시 그래픽 계산을 통해 명시된다. 특히 C가 반세미단순이면 H는 직접합 ⊕_{i∈I}U_i^{∨}⊗U_i 로 분해되며, 이때 H는 ‘팩터라이저블’ 호프 대수와 동형이다. 3. **적분, 코적분 및 Hopf 쌍** 모든 유한 호프 대수는 왼·오른 적분 μ_l, μ_r와 코적분 λ_l, λ_r 를 갖는다. 적분은 μ_l:1→H 로서 m∘(id_H⊗μ_l)=μ_l∘ε 를 만족한다. 코적분은 λ_r:H→1 로서 (λ_r⊗id_H)∘Δ=η∘λ_r 를 만족한다. 반세미단순 경우 적분은 μ_l=μ_r=∑_i dim(U_i)·b_{U_i} 로 구체화된다. 또한 H는 비퇴화된 Hopf 쌍 ω_H:H⊗H→1 을 갖는다. 이 쌍은 코엔드의 평가와 브레이딩을 조합해 정의되며, 비퇴화성은 H가 ‘모듈러 유한 텐서 범주’임을 의미한다. 4. **SL(2,ℤ) 표현** 리본 구조가 있는 경우, 리본 요소 ν∈Z(C) 로부터 T_H:=ν_H∈End(H) 를 정의한다. 또, 적분 μ와 코곱 Σ를 이용해 S_H:=Σ∘(id_H⊗μ) 를 만든다. 저자는 이 두 연산이 k_ξSL(2,ℤ) 의 관계 S⁴=1, (ST)³=ξS² 를 만족하도록 적분을 정규화할 수 있음을 증명한다. 따라서 End(H) 위에 SL(2,ℤ) 의 ‘프로젝티브’ 표상이 존재한다. 이 표상은 모든 객체 U∈C 에 대해 Hom(U,H) 가 End(H)‑모듈이 되므로, Hom(U,H) 에서도 SL(2,ℤ) 가 작용한다. 이는 2‑차원 코넥스턴 필드 이론에서 토러스 T² 에 할당되는 상태공간이 모듈러 변환에 대해 어떻게 변하는지를 설명한다. 5. **대칭·특수 프로베니우스 대수와 α‑induction** 이제 C가 ‘모듈러 텐서 범주’(즉, 비퇴화된 Hopf 쌍을 갖는 브레이드 유한 텐서 범주)일 때, 대칭·특수 프로베니우스 대수 A 를 고려한다. A는 - 알지브라 (m,η) 와 코알지브라 (Δ,ε) 가 동시에 존재하고, - Δ가 A‑바이모듈 사상이며, - μ∘Δ=id_A (특수) 와 트레이스가 좌·우에서 동일 (대칭) 을 만족한다. 이러한 A에 대해 α^{±}_A: C→A‑바이모듈 범주를 정의한다. α^{+}_A는 오른쪽 작용에 브레이딩 c_{U,A} 를, α^{-}_A는 역브레이딩 c^{-1}_{U,A} 를 사용한다. 이 두 함자는 ‘브레이드 유도’라 불리며, 알지브라 A 가 Azumaya 일 경우 두 함자는 텐서 동형을 제공한다. 저자는 α‑induction 을 이용해 A‑모듈들의 중심 Z(C) 와 H 의 SL(2,ℤ) 표상 사이에 자연스러운 사상들을 구성한다. 특히, A‑모듈 카테고리의 단순 객체들은 H‑표현을 통해 얻어지는 모듈러 변환 행렬의 블록을 형성한다. 이는 경계 조건이 있는 코넥스턴 필드 이론에서 ‘카르테시안’ 구조와 ‘모듈러 인버리언트’를 연결하는 수학적 기반을 제공한다. 6. **결론 및 전망** 논문은 유한 브레이드 텐서 범주에서 호프 대수 H 가 자연스럽게 SL(2,ℤ) 표상을 제공함을 보이고, 대칭·특수 프로베니우스 대수 A 가 이 구조를 풍부하게 만든다는 점을 강조한다. 이는 전통적인 반세미단순 모듈러 텐서 범주 이론을 비반세미단순(로그) 상황으로 확장하는 중요한 발판이며, 3‑차원 토포로지 인버리언트와 2‑차원 코넥스턴 필드 이론 사이의 교량 역할을 수행한다. 향후 연구에서는 이러한 구조를 이용해 비반세미단순 모듈러 형태의 TQFT 를 체계화하고, 로그 CFT 의 모듈러 데이터와 직접 연결하는 작업이 기대된다. **