모노이달 자연 변환의 선형 독립성 및 그 응용

초록

이 논문은 스켈레톤이 작은 모노이달 범주 𝕀와 텐서 범주 𝓒 사이의 강한 모노이달 함자 F, G에 대해, 자연 변환들의 집합 Nat(F,G)이 k-벡터공간임을 이용해 모노이달 자연 변환들의 부분집합 Nat⊗(F,G) 가 선형 독립임을 증명한다. 이를 통해 유한 텐서 범주의 항등함자에 대한 모노이달 자동변환군이 유한하고, 피벗 구조의 개수 역시 유한함을 얻는다.

상세 요약

논문은 먼저 강한 모노이달 함자 F, G: 𝕀 → 𝓒 가 주어지면, 각 객체 X∈𝕀 에 대해 F(X)와 G(X) 사이의 Hom‑공간이 k‑벡터공간이므로 전체 자연 변환 Nat(F,G) 가 자연스럽게 k‑벡터공간 구조를 갖는다는 사실을 상기한다. 여기서 핵심은 “모노이달 자연 변환” Nat⊗(F,G) 은 추가적인 제약, 즉 이중성 구조와 텐서 구조에 대한 호환성을 만족해야 한다는 점이다. 저자는 이러한 제약을 이용해, 서로 다른 모노이달 자연 변환 η₁,…,ηₙ 이 선형 결합으로 0이 되려면 모든 계수가 0이어야 함을 보인다. 구체적인 증명은 다음과 같다.

1. 스켈레톤 소형성: 𝕀 가 스켈레톤 소형이므로, 동형류마다 대표 객체가 유한 개 존재한다. 따라서 각 대표 객체에 대한 평가 맵
   \