범주 대칭 및 외곱 파워

초록

이 논문은 k-선형 범주에 대한 대칭곱과 외곱을 정의하고, 이를 이용해 범주화된 코시‑코시 복합체를 구성한다. 또한 행렬 2표현의 범주적 문자에 미치는 영향을 계산하고, 케틀러‑모드와 뒤틀린 케틀러‑모드 사이의 관계를 제시한다.

상세 분석

논문은 먼저 기존의 텐서 곱 ⊠에 대한 여러 정의를 정리하고, 선형, 아벨리안, 그리고 삼각화된 범주에 대해 완전한 텐서 곱 V ⊠ W와 그 완성형 V ⊠̂ W를 구축한다. 여기서 핵심은 ⊠가 양변에 대해 보편적인 이중선형성을 만족한다는 점이며, 이는 모든 선형 함자와의 동형을 보장한다. 이후 대칭곱 Symⁿ(V) 를 Sₙ-불변 객체들의 서브범주로 정의하고, 물리학적 관점에서는 Sₙ-궤도 모델(orbifold)과 동등시킨다. 외곱 Λⁿ(V) 의 정의는 전통적인 부호 문자 sgn을 범주 수준에서 재현해야 하는데, 저자는 두 가지 접근법을 제시한다. 첫 번째는 H²(Sₙ,k^*)의 비자명 원소를 이용하는 ‘이산 꼬임(discrete torsion)’ 방식이며, 두 번째는 초선형 구조를 도입해 Picard 카테고리 Pic ℤ/2(k) 로 값을 갖는 ‘초-부호 문자’를 사용하는 방법이다. 후자는 고전적인 S‑Λ 이중성 및 코시‑코시 복합체와의 호환성을 보장한다.

이후 저자는 이러한 대칭·외곱 연산을 이용해 범주화된 코시‑코시 복합체를 구성하고, 복합체가 복소화된 그로텐디크 군 수준에서 정확함을 증명한다(정리 4.1.2). 흥미롭게도, 그로텐디크 군의 차원 생성함수는 전통적인 대칭·외곱 차원 공식이 아니라 오일러 함수 φ(q)=∏_{n>1}(1−qⁿ)와 연관된 형태를 띤다. 이는 파티션 함수와 엄격 파티션 함수 사이의 상호관계와 직접 연결되며, ‘정밀한’ 대칭·외곱이 기존의 벡터 공간 수준에서 기대되는 결과와는 다른 새로운 조합론적 구조를 드러낸다.

대표성 이론적 예제로는 행렬 2표현(matrix 2‑representations)과 그 범주적 문자에 대한 계산이 제시된다. 여기서 대칭곱은 ‘비뒤틀린’ Kac‑Moody 대수와, 외곱은 ‘뒤틀린’ Kac‑Moody 대수에 대응한다는 놀라운 대응관계가 발견된다. 또한, BPQ 정리와 연결된 동형론적 부호 문자 sgn: Sₙ→ΩS⁰를 통해 고차원(2‑카테고리, 3‑카테고리 등) 부호 문자를 체계적으로 정의할 수 있음을 보이며, 이는 기존의 프로젝트ive 표현 이론에 새로운 시각을 제공한다. 마지막으로 2‑표현의 범주적 문자에 대한 변환 법칙을 제시하고, 대칭·외곱이 2‑문자에 미치는 효과를 명시적으로 계산한다. 전체적으로 이 논문은 범주론적 대칭·외곱 이론을 체계화하고, 이를 통해 코시‑코시 복합체, Kac‑Moody 대수, 그리고 2‑표현 이론 사이의 깊은 연결고리를 밝힌다.