[논문 리뷰] Polynomial functors and categorifications of Fock space

Jiuzu Hong, Antoine Touzé외 1명|arXiv (Cornell University)|2011. 11. 22.

Algebraic structures and combinatorial models참고 문헌 14인용 수 4

한 줄 요약

이 논문은 특성 $p$인 무한체 위에서 엄격 다항형수 functors의 범주 $π$에 대해 $χ$-행동을 구성하여, $χ$-카크-무디 대수($p=0$이면 $χ⁡_{ ext{∞}}$와 동형이고, $p>0$이면 $ ext{ŝl}_p$와 동형임)의 폭스 공간 표현을 고차원화한다. 고차원화는 추상적 구조를 갖춘 추상적 기법을 통해 이루어지며, 체앙-루이에르 함수를 통해 동일한 $p$-무게를 가진 블록들 사이의 도파일 등가를 확립하고, 단순 대상 위에서 소클 함수를 통해 미즈라-미와 크리스탈을 복원한다.

ABSTRACT

Fix an infinite field $k$ of characteristic $p$, and let $\g$ be the Kac-Moody algebra $\mathfrak{sl}_{\infty}$ if $p=0$ and $\hat{\mathfrak{sl}}_p$ otherwise. Let $\PP$ denote the category of strict polynomial functors defined over $k$. We describe a $\g$-action on $\PP$ (in the sense of Chuang and Rouquier) categorifying the Fock space representation of $\g$.

연구 동기 및 목표

• 엄격 다항형수의 범주 $π$를 이용하여 $χ$-폭스 공간 표현의 고차원화를 수립한다.
• 이전의 일반선형군 표현의 역극한을 포함한 구성과 비교해 더 자연스럽고 내재적인 $χ$-고차원화 설정을 제공한다.
• 동일한 $p$-무게를 가진 $π$의 블록들이 $χ$-고차원화 기법을 통해 도파일 등가임을 보여준다.
• 단순 대상 집합 위에서 소클 함수를 통해 정의된 카시와라 연산자 $\tilde{e}_i, \tilde{f}_i$를 이용해 $π$ 내 단순 대상 위의 미즈라-미와 크리스탈을 복원한다.

제안 방법

• 체바일 생성자에 대응하는 정확한 내부 함수 $E_i, F_i$를 $π$에 정의하여, 그로텐디크 군 위에서 $χ$-행동을 유도한다.
• 다항형수 함수의 자연스러운 변환과 텐서곱 구조를 이용해, $E_i, F_i$ 함수를 통해 $χ$-행동을 구성하고, 세르 관계를 만족시킨다.
• 특히 $|i-j|=1$인 경우 $[E_i, E_j]$에 대한 세르 관계를 함수 수준에서의 교환 관계를 검증함으로써 $χ$-행동의 정의 관계를 확인한다.
• 단순 대상 집합 위에서 소클 함수를 이용해 카시와라 연산자 $\tilde{e}_i, \tilde{f}_i$를 정의함으로써 크리스탈 구조를 복원한다.
• 체앙-루이에르 기법을 통해 $χ⁡_2$-고차원화에 기반하여, 동일한 $p$-무게를 가진 $π$의 블록들 사이의 도파일 등가를 고차원화 기법을 통해 유도한다.
• 이론을 적용하여, $π$의 범주가 이전의 구성에 의존하지 않고도 $χ$-고차원화를 갖는다는 것을 보이며, [HY]에서의 이전 결과들을 단순화하고 명확화한다.

실험 결과

연구 질문

• RQ1 카크-무디 대수 $χ$의 폭스 공간 표현은 엄격 다항형수의 범주 $π$를 통해 고차원화될 수 있는가?
• RQ2 $π$ 위의 $χ$-고차원화는 동일한 $p$-무게를 가진 블록들 사이의 도파일 등가를 유도하는가?
• RQ3 폭스 공간 위의 미즈라-미와 크리스탈은 $π$ 위의 $χ$-고차원화로부터 재구성될 수 있는가?
• RQ4 $π$ 위의 $χ$-고차원화는 일반선형군 표현의 역극한을 포함한 이전의 구성과 어떻게 비교되는가?
• RQ5 소클 함수는 $π$의 단순 대상 집합 위에서 카시와라 연산자를 어떻게 실현하는가?

주요 결과

• 엄격 다항형수의 범주 $π$는 추상적 기법을 통해 $χ$-행동을 갖는다. 이는 $χ$의 폭스 공간 표현을 고차원화한다.
• 동일한 $p$-무게를 가진 $π$의 블록들은 $χ$-고차원화와 체앙-루이에르 기법의 결과로 도파일 등가임을 보인다.
• 폭스 공간 위의 미즈라-미와 크리스탈은 카시와라 연산자를 단순 대상 위에서 체바일 함수와 소클 함수의 복합으로 정의함으로써 $χ$-고차원화로부터 복원된다.
• 이전의 일반선형군 표현의 역극한을 포함한 구성과 비교해, $π$ 위의 $χ$-고차원화는 더 자연스럽고 내재적인 프레임워크를 제공한다.
• $χ$의 작용은 직접적으로 $p \neq 2$에서의 벡터 공간의 텐서곱에서의 계산을 통해 확인되는 세르 관계를 만족하는 함수 $E_i, F_i$를 통해 명시적으로 실현된다.
• 이 구성은 $p \neq 2$에 대해 유효하며, $p=2$의 경우 뚜렷한 설명을 단순화하기 위해 제외되었지만, 결과는 $p=2$로도 확장된다.