다항함수와 Fock 공간의 범주화

초록

본 논문은 무한체 k 위의 엄격 다항함수 범주 𝒫에 대해 Kac‑Moody 대수 𝔤(𝔰𝔩_∞ 또는 \hat{𝔰𝔩}_p) 의 작용을 정의하고, 이를 Chuang‑Rouquier식 𝔤‑범주화로 구현한다. 결과적으로 𝒫의 그로텐디크 그룹 K₀(𝒫) 은 𝔤의 Fock 공간 표현과 동형이며, 기존의 한계 범주 𝑀과 비교해 보다 자연스러운 설정을 제공한다.

상세 분석

논문은 먼저 𝔤를 𝔰𝔩_∞(p=0) 혹은 \hat{𝔰𝔩}_p(p>0) 로 정의하고, 그 표준 Chevalley 생성자 {e_i,f_i}와 기본 가중치 Λ₀을 소개한다. 이후 대칭 함수 대수 B와 그 Schur 함수 기저 {s_λ} 를 통해 𝔤의 Fock 공간 표현을 명시적으로 기술한다. 핵심은 엄격 다항함수 범주 𝒫를 정의하고, 각 객체 M∈𝒫가 GL(V)‑다항 표현을 제공함을 이용해 𝔤‑범주화의 데이터(E_i,F_i,X,T) 를 구성하는 것이다. 구체적으로, E_i와 F_i는 𝒫의 적절한 가중치 이동 functor 로 정의되며, X는 E_i 위의 자연 변환, T는 E_i² 위의 교환 변환으로 설정한다. 이때 Chuang‑Rouquier가 제시한 ‘약한’ 범주화 조건을 만족하도록, K₀(𝒫) 에서