[논문 리뷰] Schur-Weyl duality for Deligne categories

Inna Entova-Aizenbud|arXiv (Cornell University)|2014. 03. 21.

Algebraic structures and combinatorial models참고 문헌 9인용 수 7

한 줄 요약

이 논문은 복소수 차수 $ t \in \mathbb{C} $에서 델레인 카테고리 $\underline{Rep}(S_t)$ 내에서 스쿠어-베일러 이중성의 유사체를 수립한다. 구체적으로, 단위 벡터 공간 $(V, \mathbbm{1})$의 복소수 텐서 거듭제곱을 $\underline{Rep}(S_t)$ 내의 $\mathrm{Ind}$-객체로 구성하며, 이는 $\mathfrak{gl}(V)$-작용을 지닌다. 이 논문은 아벨 환경 $\underline{Rep}^{ab}(S_t)$와 파라불릭 카테고리 $\mathcal{O}^\mathfrak{p}_V$의 세르 몫 $\widehat{\mathcal{O}}^{\mathfrak{p}}_{t,V}$ 사이에 반대함수적 등기호를 증명하며, 이는 반대함수적 스쿠어-베일러 함자 $\widehat{SW}_t$를 통해 실현된다. 이는 고전적 스쿠어-베일러 이중성을 복소수 차수로 확장한다.

ABSTRACT

This paper gives an analogue to the classical Schur-Weyl duality in the setting of Deligne categories. Given a finite-dimensional unital vector space V (i.e. a vector space V with a distinguished non-zero vector 1), we give a definition of a complex tensor power of V. This is an Ind-object of the Deligne category Rep(S_t), equipped with a natural action of gl(V). This construction allows us to describe a duality between the abelian envelope of the category Rep(S_t) and a localization of the parabolic category O for gl(V) associated with the pair (V, 1). In particular, we obtain an exact contravariant functor SW from the category Rep^{ab}(S_t) (the abelian envelope of the category Rep(S_t)) to a certain quotient \hat{O} of the parabolic category O. This quotient is obtained by taking the full subcategory consisting of modules of degree t, and localizing by the subcategory of finite dimensional modules. It turns out that the contravariant functor SW makes \hat{O} a Serre quotient of the category Rep^{ab}(S_t)^{op}, and the kernel of SW can be explicitly described.

연구 동기 및 목표

• 복소수 차수 $ t \in \mathbb{C} $에서 $ t $가 반드시 양의 정수가 아니어도 되는 조건에서 고전적 스쿠어-베일러 이중성을 델레인 카테고리의 맥락으로 확장하는 것.
• 단위 벡터 공간 $(V, \mathbbm{1})$에 대해 $\underline{Rep}(S_t)$ 내에서 자연스러운 $\mathfrak{gl}(V)$-작용을 지닌 $\mathrm{Ind}$-객체로서의 복소수 텐서 거듭제곱을 정의하는 것.
• $\widehat{\mathcal{O}}^{\mathfrak{p}}_{t,V}$가 파라불릭 카테고리 $\mathcal{O}^\mathfrak{p}_V$의 몫인 바탕으로, $\underline{Rep}^{ab}(S_t) \to \widehat{\mathcal{O}}^{\mathfrak{p}}_{t,V}$로 가는 반대함수적 정확한 함자 $\widehat{SW}_t$를 수립하는 것.
• $\widehat{SW}_t$가 $\underline{Rep}^{ab}(S_t)$와 $\widehat{\mathcal{O}}^{\mathfrak{p}}_{t,V}$ 사이의 아벨 카테고리에 대한 반대등기호를 유도하며, $\widehat{SW}_t$의 핵을 명시적으로 기술하는 것.
• $\mathbb{C}^N$에 대한 역극한 구성으로 일반화하여, $\widehat{\mathcal{O}}^{\mathfrak{p}_N}_{t,\mathbb{C}^N}$의 필터링된 역극한과의 반대등기호를 얻는 것.

제안 방법

• 단위 벡터 공간 $(V, \mathbbm{1})$의 복소수 텐서 거듭제곱을 $\underline{Rep}(S_t)$ 내의 $\mathrm{Ind}$-객체로 정의하며, 분해 $V \cong \mathbb{C}\mathbbm{1} \oplus U$의 선택에 영향을 받지 않는다.
• 이 $\mathrm{Ind}$-객체에 $\mathfrak{gl}(V)$-작용을 자연스럽게 부여하며, $t = n \in \mathbb{Z}_{>0}$일 때 표준적 $V^{\otimes n}$에 대한 작용을 일반화한다.
• 반대함수적 정확한 함자로 $\widehat{SW}_t: \underline{Rep}^{ab}(S_t) \to \mathcal{O}^\mathfrak{p}_V$를 스쿠어-베일러 함자로 구성한다.
• $\widehat{\mathcal{O}}^{\mathfrak{p}}_{t,V}$를 $\mathcal{O}^\mathfrak{p}_V$의 유한차원 모듈러의 세르 부분카테고리로 국소화한, 차수 $t$인 모듈러의 전체 부분카테고리로 정의한다.
• 제한 함자 $\widehat{Res}_{t,N}: \widehat{\mathcal{O}}^{\mathfrak{p}_N}_{t,\mathbb{C}^N} \to \widehat{\mathcal{O}}^{\mathfrak{p}_{N-1}}_{t,\mathbb{C}^{N-1}}$를 사용하여 역계산계를 구성하고, $\widehat{\mathcal{O}}^{\mathfrak{p}_N}_{t,\mathbb{C}^N}$ 카테고리들의 필터링된 역극한을 정의한다.
• $SW_{t,\mathbb{C}^N}$의 스쿠어-베일러 함자들이 $\underline{Rep}^{ab}(S_t)$와 $\widehat{\mathcal{O}}^{\mathfrak{p}_N}_{t,\mathbb{C}^N}$ 카테고리들의 필터링된 역극한 사이에 반대함수적 등기호를 유도함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 델레인 카테고리의 맥락에서 정수 차수에서의 스쿠어-베일러 이중성을 복소수 차수로 일반화할 수 있는가?
• RQ2 복소수 $ t \in \mathbb{C} $에서 $\underline{Rep}(S_t)$ 내에서 $V^{\otimes n}$의 올바른 유사체는 무엇이며, 이는 어떻게 $\mathfrak{gl}(V)$-작용을 지닌다?
• RQ3 복소수 차수에서 $\mathfrak{gl}(V)$의 아벨 환경 $\underline{Rep}^{ab}(S_t)$와 파라불릭 카테고리 $\mathcal{O}^\mathfrak{p}_V$ 사이의 정확한 관계는 무엇인가?
• RQ4 $\underline{Rep}^{ab}(S_t)$의 구조에 기반하여 스쿠어-베일러 함자 $\widehat{SW}_t$의 핵은 어떻게 기술되는가?
• RQ5 제한 함자들을 통해 이중성은 유한차원 극한으로 확장될 수 있으며, 그로 인해 유도되는 카테고리는 무엇인가?

주요 결과

• 단위 벡터 공간 $(V, \mathbbm{1})$의 복소수 텐서 거듭제곱은 $\underline{Rep}(S_t)$ 내의 $\mathrm{Ind}$-객체로서 정의되며, 자연스러운 $\mathfrak{gl}(V)$-작용을 지닌다. 이는 $t = n \in \mathbb{Z}_{>0}$일 때 표준적 $V^{\otimes n}$을 일반화한다.
• $\widehat{SW}_t: \underline{Rep}^{ab}(S_t) \to \widehat{\mathcal{O}}^{\mathfrak{p}}_{t,V}$는 반대함수적 정확한 함자이며, $\widehat{\mathcal{O}}^{\mathfrak{p}}_{t,V}$는 $\mathcal{O}^\mathfrak{p}_V$의 유한차원 모듈러 부분카테고리로 국소화된 세르 몫이다.
• $\widehat{SW}_t$는 $\underline{Rep}^{ab}(S_t)$와 $\widehat{\mathcal{O}}^{\mathfrak{p}}_{t,V}$ 사이의 아벨 카테고리에 대한 반대등기호를 유도하며, $\widehat{SW}_t$의 핵은 유한차원 모듈러로 매핑되는 객체의 전체 부분카테고리로 명시적으로 기술된다.
• 이중성은 역극한 체계로 확장된다: $\underline{Rep}^{ab}(S_t)$는 $\widehat{\mathcal{O}}^{\mathfrak{p}_N}_{t,\mathbb{C}^N}$ 카테고리들의 필터링된 역극한과 반대등기호를 이룬다. 이 필터링은 객체의 길이의 안정화에 의해 정의된다.
• $\widehat{SW}_t$는 쌍대성과 호환된다: 자연스러운 동형사상 $\widehat{SW}_\nu((\cdot)^*) \cong \hat{\pi}(SW_\nu(\cdot)^\vee)$가 존재하여, 양쪽의 쌍대함수적 함자와의 호환성을 보여준다.