[논문 리뷰] Representations of multicategories of planar diagrams and tensor categories

Shigeru Yamagami|arXiv (Cornell University)|2012. 07. 08.

Algebraic structures and combinatorial models참고 문헌 6인용 수 7

한 줄 요약

이 논문은 평면 다이어그램 다중범주(특히 교대 장식 평면 다이어그램의 다중범주 𝒜𝒟)의 표현과 단일 생성자를 가진 편평한 선형 이중범주 사이의 일대일 대응을 수립한다. 이는 평면 대수학—즉, 𝒜𝒟₊의 표현으로 정의된 다중범주—가 조건이 약간만 있는 경우 이러한 이중범주와 동치임을 보이며, 비퇴화된 왼쪽 차원과 쌍대성 등 핵심적인 구조적 제약 조건이 평면 C*-대수학과의 대응을 보장한다.

ABSTRACT

We shall discuss how the notions of multicategories and their linear representations are related with tensor categories. When one focuses on the ones arizing from planar diagrams, it particularly implies that there is a natural one-to-one correspondence between planar algebras and singly generated bicategories.

연구 동기 및 목표

• 다중범주적 평면 다이어그램과 텐서 범주 사이의 범주론적 관계를 명확히 하기.
• 평면 대수학과 단일 생성자를 가진 편평한 선형 이중범주 사이의 정확한 대응 관계를 수립하기.
• 루프 매개변수 d ≠ 0일 때, 다중범주 𝒜𝒟의 표현이 양의 부분다중범주 𝒜𝒟₊로부터 유일하게 확장될 수 있음을 보여주기.
• 단순한 단위 대상과 함께 강한 C*-이중범주로부터 유래하는 평면 C*-대수학을 특성화하기.
• 루프 제거와 스칼라 d를 통한 정규화가 평면 다이어그램의 기호 경계를 넘어서 표현을 확장하는 데서 수행하는 역할을 체계화하기.

제안 방법

• 다중입력, 단일 출력 사상이 있는 범주로 다중범주를 정의하고, 조합을 위해 뿌리가 있는 나무 시각화를 사용하기.
• 엄격한 텐서 범주 𝒞에서 다중범주 ℳ을 구성하며, Hom(X₁⊗⋯⊗Xₗ, X) = Hom(X₁⊗⋯⊗Xₗ, X) in 𝒞로 정의하기.
• 약한 모나드 함자 𝒞 → 𝒞′과 다중범주 함자 ℳ → ℳ′ 사이의 일대일 대응를 자연 사상 m_{X,Y}를 이용한 함자의 확장을 통해 수립하기.
• 교대 장식 평면 다이어그램의 다중범주 𝒜𝒟를 도입하며, 객체는 ± 기호로 표시하고, 𝒜𝒟₊(양의 시작 장식)의 부분다중범주를 정의하기.
• pod C (1⊗a = da)를 사용하여 P⁻_{m,n} ↪ P⁺_{m+1,n+1}의 단사 통합을 정의함으로써, d^e로 정규화함으로써 𝒜𝒟₊에서 𝒜𝒟로의 표현 확장을 가능하게 하기.
• C*와 1⊗T를 포함한 정규화된 조합을 사용하여 확장된 표현 π_T를 정의하며, m_{X,Y}의 결합법칙과 육각 항등식을 통해 삽입 시 일관성을 확보하기.

실험 결과

연구 질문

• RQ1 평면 다이어그램의 다중범주와 텐서 범주 사이의 관계는 무엇이며, 특히 평면 대수학의 맥락에서 어떻게 연결되는가?
• RQ2 평면 대수학과 단일 생성자를 가진 편평한 선형 이중범주 사이의 정확한 범주론적 대응 관계는 무엇인가?
• RQ3 어떤 조건에서 평면 다이어그램 다중범주의 양의 부분다중범주 𝒜𝒟₊의 표현이 유일하게 전체 교대 다이어그램 다중범주 𝒜𝒟로 확장될 수 있는가?
• RQ4 루프 매개변수 d와 기호(±)는 평면 다이어그램 다중범주 내 표현의 구조에 어떤 영향을 미치는가?
• RQ5 평면 C*-대수학이 단순한 단위 대상과 함께 강한 C*-이중범주와 일대일 대응을 이루기 위한 조건은 무엇인가?

주요 결과

• 정리 6.2에 의해 평면 대수학과 단일 생성자를 가진 편평한 선형 이중범주 사이에 자연스러운 일대일 대응가 존재한다.
• 레마 6.1에 의해 d ≠ 0일 때 𝒜𝒟₊의 표현은 유일하게 𝒜𝒟로 확장되며, 이 확장은 d^e로 정규화함으로써 정의된다.
• 확장 메커니즘은 a ↦ 1⊗a로 정의된 P⁻_{m,n} ↪ P⁺_{m+1,n+1}의 단사 통합에 기반하며, 그 이미지는 π_{1⊗C}(a) = da로 특성화된다.
• 모르피즘 T ∈ 𝒜𝒟에 대한 표현 π_T는 출력 기호에 따라 π_T = (1/d^e)π⁺_{T∘(C₁*×⋯×C_d*)} 또는 (1/d^e)π⁺_{(1⊗T)∘(C₁*×⋯×C_d*)}로 주어진다.
• 결합법칙에 의한 표현 π의 일관성은 π_T∘(π_{T₁}⊗⋯⊗π_{T_d}) = π_{T∘(T₁×⋯×T_d)}를 보여주며, 육각 항등식과 정규화 계수를 사용하여 검증된다.
• 코로나리 6.4에 따르면 평면 C*-대수학은 단일 생성자를 가진 강한 C*-이중범주와 단순한 단위 대상 사이의 일대일 대응를 이룬다.