델린의 RepGLdelta 로 보는 일반선형 초군 텐서 구조 완전 분석

본 논문은 Deligne가 정의한 텐서 범주 Rep(GL_δ) 를 중심으로, 일반선형 초군 GL(m|n) 의 혼합 텐서 거듭힘 V^{⊗r}⊗(V^*)^{⊗s} 에 대한 구조를 체계적으로 분석한다. 서론에서는 고전적인 Schur‑Weyl 이중성, Sergeev‑Berele‑Regev 의 초군 버전, 그리고 walled Brauer 대수 B_{r,s}(δ) 를 통한 혼합 텐서 이중성의 배경을 제시한다. 특히 δ=m−n 로 두면 일반선형 초군과 동일한 중앙자 역할을 하는 walled Brauer 대수가 등장함을 강조한다. 2장에서는 텐서 범주의 기본 개념, 강체성, 카테고리적 차원 등을 정리하고, 3장에서는 Rep(GL_δ) 를 “뼈대” 범주 Rep⁰(GL_δ) 의 카루비 완비화(Karoubi envelope) 로 구성한다. 객체 w_{r,s} 은 (r,s) 쌍으로 표기되며, 사상은 walled Brauer 다이어그램으로 생성된다. δ 가 일반값일 때 B_{r,s}(δ) 가 셀룰러이며, 표준 모듈은 bipartition λ∈Λ_{r,s} 로 매개된다는 CDDM 결과를 인용한다. 4장에서는 이러한 셀 구조를 이용해 Rep(GL_δ) 의 비분해 가능한 객체 L(λ) 를 정확히 bipartition 으로 분류한다(정리 4.6.2). 여기서 λ=(λ^·,λ^∘) 로 두 파티션을 갖는 쌍이며, l(λ)=l(λ^·)+l(λ^∘) 가 객체의 “길이”를 나타낸다. 5장에서는 전통적인 GL_d 의 표현론을 간략히 복습하고, Koike 정리(일반선형 군의 텐서 곱 분해)를 소개한다. 이를 바탕으로 6장에서 “리프팅 동형”을 정의한다. 이 동형은 δ 가 특이값(정수)일 때와 일반값일 때의 Grothendieck 링 K₀(Rep(GL_δ)) 를 연결하며, 리프팅 계수는 walled Brauer 대수의 분해 수 D_{λ,μ}(δ) 로 주어진다. 7장에서는 리프팅 동형을 이용해 일반 δ 에 대해 Koike 정리의 범주적 버전을 증명한다(정리 7.1.1). 구체적으로, L(λ)⊗L(μ) 의 분해는 bipartition ν 에 대해  L(λ)⊗L(μ) ≅ ⊕_ν (Γ_{ν}^{λ,μ} L(ν)) 이며, 계수 Γ_{ν}^{λ,μ} 는 Littlewood‑Richardson 계수와 walled Brauer 대수의 셀 구조상수의 조합으로 표현된다. 8장에서는 복합 초대칭 Schur 다항식 s_μ 를 도입하고, 앞서 정의된 D_{λ,μ}(δ) 와 결합해 L(λ) 의 문자식을 얻는다(정리 8.5.2). 이 공식은 λ^∘=∅ 인 경우 기존의 Sergeev‑Berele‑Regev 결과와 일치한다. 또한 (m|n)‑cross 조건을 정의하여, λ 가 이 조건을 만족할 때만 F_{m|n}(L(λ)) 가 gl(m|n) 의 비분해 가능한 모듈이 됨을 보인다(정리 1.2.3). 마지막으로, 저자들은 구체적인 예시를 통해 전체 이론을 시연한다. 예를 들어, (m,n)=(2,1) 에서 λ=(2,1), μ=(1,1) 을 선택하고, 리프팅 동형을 적용해 D_{λ,μ}(δ) 를 계산한 뒤, 최종적으로 F_{2|1}(L(λ))⊗F_{2|1}(L(μ)) 의 분해를 수행한다. 이 과정은 복합 초대칭 Schur 다항식의 전개, Littlewood‑Richardson 계수의 사용, 그리고 walled Brauer 대수의 cap diagram 계산이 어떻게 조화되는지를 명확히 보여준다. 결론에서는 본 연구가 Deligne 범주의 추상적 구조와 전통적인 슈어‑와일 이중성, walled Brauer 대수의 셀룰러 이론을 결합해 GL(m|n) 의 텐서 표현론을 완전하고 계산 가능하게 만든 점을 강조한다. 향후 연구 방향으로는 다른 초대칭 군(예: OSp) 에 대한 유사한 범주 구축과, 양자 변형(quantum deformation) 버전의 Rep(GL_δ) 를 통한 응용 가능성을 제시한다.