양자 대수의 범주적 접근

본 논문은 ‘†‑Frobenius 모노이드’를 핵심 도구로 삼아, 유한 차원 양자 대수(특히 C*‑대수)를 범주론적 시각에서 재구성한다. 서론에서는 전통적인 C*‑대수의 정의—벡터 공간 위에 곱셈, 단위, *‑인볼루션, 노름 구조를 부여하는 방식—와 대비하여, 범주론에서는 객체와 사상 사이의 관계만으로 동일한 정보를 기술할 수 있음을 강조한다. 이를 위해 저자는 ‘내부(view)’와 ‘외부(view)’의 메타포를 제시하고, †‑Frobenius 모노이드가 외부(view)를 구현하는 적절한 수단임을 주장한다. 2장에서는 기본적인 범주론적 배경을 정리한다. †‑functor는 사상의 수반을 추상화한 연산자로, 객체는 변하지 않으며 두 번 적용하면 항등이 된다. 이를 이용해 †‑카테고리, 등거리성(isometry), 유니터리, 자기수반, 정규성 등을 정의한다. 이어서 모노이달 구조에 듀얼(좌·우) 개념을 도입하고, 그래픽 언어(와이어, 캡, 컵)를 통해 복잡한 식을 시각적으로 단순화한다. 특히 듀얼 구조와 †‑functor 사이의 호환성을 명시함으로써, 이후 논의될 †‑Frobenius 모노이드가 힐베르트 공간의 내적과 완벽히 일치하도록 만든다. 3장에서는 ‘인볼루션 모노이드’를 정의한다. 이는 전통적인 *‑대수의 선형 반전 연산을 객체와 그 듀얼 사이의 선형 사상으로 옮긴 것으로, 곱셈·단위·인볼루션이 †‑Frobenius 방정식과 호환된다. 이어서 †‑Frobenius 모노이드를 소개한다. 이 구조는 곱셈(m), 단위(u), 코곱셈(Δ), 코단위(ε)이 서로 †‑adjoint 관계에 있으며, Frobenius 방정식 m∘(id⊗Δ)=Δ∘(m⊗id) 등을 만족한다. ‘특수(special)’ 조건은 m와 Δ가 서로 역원임을 의미하고, ‘유니터리(unitary)’ 조건은 모든 구조 사상이 †‑unitary임을 요구한다. 이러한 정의를 통해 저자는 †‑Frobenius 모노이드가 전통적인 C*‑대수와 동일한 대수적 정보를 내포한다는 가설을 세운다. 4장에서는 힐베르트 공간(Hilb)에서의 구체적 대응을 증명한다. 정리 4.6은 ‘특수 유니터리 †‑Frobenius 모노이드’와 ‘유한 차원 C*‑대수’ 사이에 일대일 대응이 있음을 보인다. 증명은 두 방향으로 진행된다. (1) †‑Frobenius 모노이드를 가진 힐베르트 공간 V에 대해, 임의의 원소 α∈V에 대한 오른쪽 작용 R_α를 정의하고, †‑구조를 이용해 R_α†가 또 다른 원소 α′의 오른쪽 작용임을 보인다. 이 과정에서 그래픽 변환을 활용해 R_α†=R_{α′}임을 시각적으로 확인한다. 이어서 α↦α′ 변환이 인볼루션을 보존하고, 두 번 적용하면 원래 원소로 돌아옴을 보여 인볼루션이 †‑preserving임을 증명한다. 따라서 모노이드는 연산자 대수의 *‑폐쇄 부분대수이며, 자연스럽게 C*‑노름을 갖는다. (2) 반대로, 주어진 유한 차원 C*‑대수 A를 힐베르트 공간으로 보고, 내적 ⟨x|y⟩=Tr(x†y) 등을 이용해 †‑Frobenius 구조를 구성한다. 여기서 곱셈과 코곱셈이 †‑adjoint 관계에 있음을 확인하고, 단위가 정규화된 프로젝션임을 보임으로써 ‘특수’와 ‘유니터리’ 조건을 만족한다. 결과적으로 두 구조는 동형임을 확인한다. 5장에서는 스펙트럼 정리를 범주적으로 재해석한다. 먼저 커뮤터티브 †‑Frobenius 모노이드의 범주가 FinSet과 동형임을 이용해, 유한 차원 커뮤터티브 C*‑대수의 스펙트럼이 유한 집합으로 식별된다는 고전적 결과를 그래픽 언어로 재표현한다. 이어서 ‘내부 대각화(internal diagonalization)’ 개념을 도입해, 일반적인 정규 연산자의 스펙트럼을 객체가 FinSet_G와 같은 유한 불 대위(Finite Boolean Topos) 안에 존재하도록 확장한다. 여기서 Hilb_G(유한 군oid G의 힐베르트 표현 범주)는 측정 결과가 단순 집합이 아니라 FinSet_G의 객체가 되는 새로운 양자 이론 모델을 제공한다. 이러한 구조는 측정 논리의 부울 대수적 성질을 보존하면서도, 군oid의 대위적 구조를 반영한다. 마지막으로 TQFT와의 연결을 논한다. Lauda와 Pfeiffer가 제시한 2차원 열린 TQFT는 대칭 Frobenius 모노이드 기반 상태합 모델로 기술된다. 여기에 †‑구조와 유니터리 조건을 추가하면, ‘대칭 †‑Frobenius 모노이드’가 된다. 앞서 증명한 바와 같이 이는 유한 차원 C*‑대수와 동등하므로, 상태합 삼각형 모델은 정확히 유니터리 TQFT를 기술한다. 스칼라 팩터에 의한 동등성을 감안하면, 모든 2차원 열린 TQFT는 이러한 범주적 구조에서 유도된다는 결론에 도달한다. 결론에서는 현재 결과가 유한 차원에 국한되지만, 무한 차원 일반화에 대한 전망을 제시한다. 무한 차원에서는 †‑Frobenius ‘pseudo‑algebra’와 2‑카테고리 수준의 구조가 필요하며, 이는 Day, McCrudden, Street의 작업과 연결된다. 또한, 고차원 양자 대수(예: fusion C*‑카테고리)와 TQFT의 상호작용을 탐구하는 향후 연구 방향을 제시한다.