Deligne 카테고리 RepS t의 블록 구조

초록

Deligne가 정의한 텐서 카테고리 Rep(S_t)의 블록을 완전히 기술한다. t가 일반 실수일 때는 반단순이며, 정수 t=n인 경우에는 기존 대칭군 S_n의 표현 이론과 유사한 블록 구조가 나타난다. 저자는 파티션의 코어와 후크 길이에 기반한 동치 관계를 도입해 블록을 분류하고, 각 블록이 어떤 사영과 사상으로 생성되는지를 상세히 설명한다.

상세 분석

본 논문은 Deligne가 제안한 연속적인 매개변수 t를 갖는 텐서 카테고리 Rep(S_t)의 블록 구조를 체계적으로 분석한다. 먼저 카테고리 Rep(S_t)는 객체를 파티션 λ에 대응시키는 ‘표준 객체’ V_λ와, 이들 사이의 텐서 곱, 합성, 그리고 사영을 허용하는 카르오비안(karoubian) 완비화로 정의된다. t가 비정수일 경우 카테고리는 완전 반단순(semi‑simple)이며, 모든 V_λ가 단순 객체가 된다. 그러나 t가 정수 n∈ℕ일 때는 사영이 존재해 비반단순성이 발생하고, 따라서 블록(indecomposable summand) 개념이 필요해진다.

저자는 블록을 정의하기 위해 두 파티션 λ, μ가 같은 블록에 속한다는 동치 관계 ∼_t 를 도입한다. 이 관계는 ‘t‑핵심(t‑core)’과 ‘t‑후크(t‑hook)’ 개념에 기반한다. 구체적으로, 파티션의 Young diagram에서 길이가 t+1인 후크를 반복적으로 제거하면 남는 도형을 t‑핵심이라 한다. 두 파티션이 같은 t‑핵심을 공유하면 ∼_t 로 연결된다. 또한, 후크 제거 과정에서 발생하는 ‘핵심 차이’가 짝수이면 같은 블록에 속하고, 홀수이면 다른 블록에 속한다는 정밀한 조건을 제시한다.

이러한 동치 관계는 기존 대칭군 S_n의 블록 이론(특히 p‑특성에서의 블록과 유사)과 놀라울 정도로 일치한다. 특히, n이 충분히 크면 블록은 파티션의 ‘n‑코어’에 의해 완전히 구분되며, 각 블록은 ‘표준 객체들의 사영 폐쇄’로 생성된다. 저자는 블록 내에서 사영들의 사상 구조를 명시적으로 계산하고, 이를 통해 블록마다 유일한 ‘프로젝트ive 커버’와 ‘인젝티브 코어’를 구성한다.

기술적인 핵심은 사영 e_λ를 이용한 ‘정규화 사영 연산자’와, 이 연산자가 t‑핵심에 따라 어떻게 변형되는지를 분석한 부분이다. 저자는 사영 e_λ·e_μ가 0이 되는 경우와 비0이 되는 경우를 정확히 구분하고, 이를 통해 블록 간의 사상 공간 Hom(V_λ, V_μ)의 차원을 계산한다. 결과적으로, 같은 블록에 속하는 객체들 사이의 Hom 공간은 1차원 이상이지만, 다른 블록 사이에서는 항상 0이 된다.

또한, 카테고리의 텐서 구조와 블록 구조의 상호 작용을 조사한다. 텐서 곱 V_λ⊗V_μ를 전개하면, 그 분해 성분들은 λ와 μ의 합성 파티션에 대한 ‘Littlewood–Richardson 규칙’을 t‑핵심 관점에서 변형한 형태로 나타난다. 이때, 텐서 곱이 블록을 넘나들지 않도록 하는 ‘블록 보존성’ 정리가 증명된다.

마지막으로, 저자는 t가 정수이면서도 충분히 큰 경우(예: t≥2·|λ|)에 한해 카테고리가 완전 반단순이 되는 ‘stabilization 현상’을 보여준다. 이는 기존 대칭군 표현 이론에서의 ‘stable range’와 직접적인 대응 관계에 있다. 전체적으로 논문은 Deligne 카테고리의 블록을 파티션 combinatorics와 사영 연산을 통해 완전히 기술함으로써, 기존의 대칭군 표현 이론과의 깊은 연관성을 밝히고, 향후 일반화된 텐서 카테고리 연구에 중요한 토대를 제공한다.