[논문 리뷰] Polynomial representations and categorifications of Fock Space

Jiuzu Hong, Oded Yacobi|arXiv (Cornell University)|2011. 01. 12.

Algebraic structures and combinatorial models참고 문헌 8인용 수 6

한 줄 요약

이 논문은 $GL_n(\mathbb{F})$의 다항식 표현의 카테고리들의 역극한을 취하여, 아핀 리 대수 $\widehat{\mathfrak{sl}}_p$ (또는 $\mathfrak{sl}_\infty$)의 보존 파동 공간 표현의 분류화를 구축한다. 이로 인해 얻어진 카테고리 $\mathcal{M}$는 루오퀴에르의 의미에서 아핀 리 대수의 그레디에이션 작용을 지니며, 그로텐디에크 군 실현과 열악한 아핀 히브르 대수 작용을 통해 파동 공간이 분류화됨을 보여준다.

ABSTRACT

The rings of symmetric polynomials form an inverse system whose limit, the ring of symmetric functions, is the model for the bosonic Fock space representation of the affine Lie algebra. We categorify this construction by considering an inverse limit of categories of polynomial representation of general linear groups. We show that this limit naturally carries an action of the affine Lie algebra (in the sense of Rouquier), thereby obtaining a famiy of categorifications of the bosonic Fock space representation.

연구 동기 및 목표

• 아핀 리 대수 $\widehat{\mathfrak{sl}}_p$ 또는 $\mathfrak{sl}_\infty$의 보존 파동 공간 표현의 분류화를 카테고리 이론적 극한을 통해 구축한다.
• 유한성 조건을 갖춘 $GL_n(\mathbb{F})$의 다항식 표현 카테고리 $\mathcal{M}_n$의 역극한으로서의 극한 카테고리 $\mathcal{M}$를 정의한다.
• 그로텐디에크 군 $K(\mathcal{M})$가 대칭 함수의 링 $B$와 자연스럽게 동형임을 보여, 파동 공간 표현을 분류화한다.
• 루오퀴에르의 의미에서 아핀 리 대수 $\mathfrak{g}$의 작용을 $\mathcal{M}$에 실현하여, 파동 공간에 작용하는 표준적 작용을 상승시킨다.
• 추상 등가를 통해 $\mathcal{M}$의 블록들 사이의 유도 동치를 확립하고, 브룬단-클레쉬체프 결과를 통해 파동 공간 크리스탈을 복원한다.

제안 방법

• 다항식 표현의 카테고리 $\mathcal{M}_n$의 역계단계를 구성하고, 포함관계 $GL_{n-1} \subset GL_n$에 의해 유도되는 $V \mapsto V^{GL_1}$ 구조 함자를 사용한다.
• 유한성 조건을 만족하는 역계단 시스템의 전체 부분카테고리로서 극한 카테고리 $\mathcal{M} = \varprojlim \mathcal{M}_n$를 정의한다.
• 그로텐디에크 군 $K(\mathcal{M})$가 무한 변수의 대칭 함수의 링 $B$와 자연스럽게 동형임을 보인다.
• 카테고리화된 체바일 생성자를 분류화하는 엔도함수의 가닥을 구성하고, 이들이 $\mathfrak{g}$의 적분 표현을 이룬다.
• 루오퀴에르의 분류화 양자군 프레임워크에 따라, 분류화된 체바일 생성자들의 직합에 열악한 아핀 히브르 대수 작용을 부여한다.
• 함수 $T \mapsto (T(\mathbb{F}^n), \alpha_n)$를 통해 카테고리 $\mathcal{M}$과 엄격한 다항함수 카테고리 $\mathcal{P}$ 사이의 동치를 설정하고, 차수별 등장사슬을 통해 이 동치를 증명한다.

실험 결과

연구 질문

• RQ1 다항식 표현의 $GL_n(\mathbb{F})$에 대한 역극한 구조를 통해 대칭 함수의 링의 역극한을 카테고리 수준으로 올릴 수 있는가? 이는 파동 공간 표현의 분류화를 얻는다.
• RQ2 다항식 표현의 $GL_n(\mathbb{F})$의 극한 카테고리 $\mathcal{M}$은 아핀 리 대수 $\mathfrak{g} = \widehat{\mathfrak{sl}}_p$ 또는 $\mathfrak{sl}_\infty$의 자연스러운 작용을 지닐 수 있는가?
• RQ3 카테고리 $\mathcal{M}$의 그로텐디에크 군은 고전적 파동 공간과 어떻게 관련되어 있으며, 표준 파동 공간 작용은 $\mathcal{M}$의 함수로 상승시킬 수 있는가?
• RQ4 브룬단-클레쉬체프 이론이 예측한 바에 따라, 파동 공간의 크리스탈 구조는 $\mathcal{M}$의 단순 대상들로부터 복원될 수 있는가?
• RQ5 분류화된 파동 공간과 엄격한 다항함수 카테고리 사이의 관계는 무엇이며, 이 동치는 구축에 어떻게 기여하는가?

주요 결과

• 그로텐디에크 군 $K(\mathcal{M})$는 대칭 함수의 링 $B$와 기하학적 동형이며, 이는 고전적 파동 공간을 텐서 카테고리의 그로텐디에크 군으로 실현한다.
• $\mathcal{M}$은 루오퀴에르의 의미에서 아핀 리 대수 $\mathfrak{g}$의 잘 정의된 작용을 지니며, 표준 파동 공간 표현을 상승시킨다.
• 분류화된 작용은 직합에 대한 열악한 아핀 히브르 대수 작용을 포함하며, 강력한 분류화를 위한 요구 조건을 충족한다.
• 카테고리화된 리 대수 작용으로부터 추상 등가 이론을 통해 $\mathcal{M}$의 블록들 사이의 유도 동치를 확립한다.
• 파동 공간의 크리스탈 그래프는 $\mathcal{M}$의 단순 대상들로부터 복원되며, 정점은 단순 표현에 대응하고 간선은 내림 연산자의 작용에 대응한다.
• $\mathcal{M}$은 함수 $T \mapsto (T(\mathbb{F}^n), \alpha_n)$에 의해 엄격한 다항함수 카테고리 $\mathcal{P}$와 동치이며, 등장사슬 $\alpha_n$은 사영 $\pi_n: \mathbb{F}^{n+1} \to \mathbb{F}^n$에 의해 유도된다.