엄격화 불가능한 의사대수의 존재

초록

저자는 유한 차수 2-모니드가 모든 의사대수를 엄격 대수와 동등하게 만들지 못함을 보인다. 구체적으로, 로컬하게 유한히 표현 가능한 2-카테고리 위에 정의된 2-모니드의 엄격 대수는 엄격 3-카테고리이며, 의사대수는 Gray‑카테고리와 삼각카테고리 사이의 반엄격 3‑카테고리이다. Gray‑카테고리 중 일부는 엄격 3‑카테고리와 동등하지 않으므로, 해당 2‑모니드는 모든 의사대수를 엄격화할 수 없다는 반례를 제공한다. 특히, 비자명하게 브라운된 단일 모노이달 범주는 이러한 비엄격화 가능한 의사대수의 구체적 예시가 된다.

상세 분석

이 논문은 2‑범주 이론에서 “모든 의사대수는 엄격 대수와 동등하다”는 일반적인 기대를 반박한다. 저자는 먼저 로컬하게 유한히 현재 가능한(Locally Finitely Presentable, LFP) 2‑카테고리 𝔎를 선택하고, 그 위에 유한 차수(finitary) 2‑모니드 T를 구성한다. T의 엄격 대수는 정확히 엄격 3‑카테고리(strict 3‑category)와 일치한다는 점이 핵심이다. 반면, T의 의사대수(pseudo‑algebra)는 3‑차원 구조에서 교환 법칙을 약하게 하는 형태, 즉 Gray‑카테고리와 삼각카테고리(tricategory) 사이에 위치하는 반엄격 구조(semi‑strict 3‑category)로 나타난다. Gray‑카테고리는 1‑셀과 2‑셀 사이의 교환을 엄격히 만족하지만, 2‑셀와 3‑셀 사이의 교환은 자연 변환으로만 보장한다. 삼각카테고리는 그보다 더 약한 연관성을 허용한다. 따라서 T의 의사대수는 이러한 중간 단계의 구조를 포괄한다.

논문의 핵심 반례는 “모든 Gray‑카테고리는 엄격 3‑카테고리와 동등하지 않는다”는 사실에 기반한다. 이는 기존에 알려진 결과로, 예를 들어 비자명하게 브라운된 단일 모노이달 범주(Braided monoidal category)에서 유도되는 Gray‑카테고리는 엄격화가 불가능하다. 저자는 이러한 Gray‑카테고리를 T의 의사대수로 해석하고, 그에 대응하는 엄격 대수(엄격 3‑카테고리)와 동등하지 않음을 보인다. 즉, T는 “랭크(rank)가 존재한다”(즉, 유한 차수이다)에도 불구하고, 모든 의사대수를 엄격화할 수 없는 2‑모니드의 구체적인 예시가 된다.

기술적으로는 2‑모니드 T가 “랭크가 있다”는 조건이 충분조건이 아님을 증명한다. 기존 문헌에서는 랭크가 있으면 자유 대수와 같은 구조가 존재하고, 그에 따라 의사대수를 엄격화할 수 있다고 기대했지만, 이 논문은 그 가정이 잘못됐음을 보여준다. 또한, 고차 범주 이론에서의 코히어런스(coherence) 문제와 직접 연결된다. 3‑차원 구조에서 교환 변환을 완전히 엄격하게 만들 수 없는 경우가 존재한다는 점은, 고차 범주론에서 “모든 코히어런스는 엄격화될 수 있다”는 일반적인 믿음에 반한다.

마지막으로, 저자는 비자명하게 브라운된 단일 모노이달 범주를 구체적인 예시로 제시한다. 이러한 범주는 자체적으로 비대칭적인 교환 구조를 가지고 있어, 이를 기반으로 만든 Gray‑카테고리는 엄격 3‑카테고리와 동등하지 않다. 따라서, 이 범주는 T의 의사대수이면서도 어떠한 엄격 대수와도 동등하지 않은 실제적인 사례가 된다. 전체적으로, 논문은 2‑모니드의 랭크와 의사대수의 엄격화 가능성 사이의 관계를 재검토하도록 강제하고, 고차 범주 이론에서 코히어런스와 엄격화 문제에 새로운 관점을 제공한다.