[논문 리뷰] Quiver Schur algebras and q-Fock space

Catharina Stroppel, Ben Webster|arXiv (Cornell University)|2011. 10. 05.

Algebraic structures and combinatorial models참고 문헌 83인용 수 76

한 줄 요약

이 논문은 퀼레 표현에서 유래하는 기하학적 컨볼루션 대수로서 계량화된 퀄레 슈어 대수를 도입하여 순환적 $q$-슈어 대수의 분류화된 프레임워크를 제공한다. 이는 고차원 $q$-포크 공간의 정규 기저와 순환적 $q$-슈어 대수 내 $q$-해석의 분해 수의 $q$-해석을 정확히 대응시키며, 계량화된 셀룰러 기저와 $ ext{sl}}_e$의 분류화된 작용을 통해 이루어진다. 주요 결과는 이 대응에서 불가분 프로젝티브 모듈이 정규 기저와 대응되며, 와일 모듈이 표준 기저와 대응됨을 규명한다.

ABSTRACT

We develop a graded version of the theory of cyclotomic q-Schur algebras, in the spirit of the work of Brundan-Kleshchev on Hecke algebras and of Ariki on q-Schur algebras. As an application, we identify the coefficients of the canonical basis on a higher level Fock space with q-analogues of the decomposition numbers of cyclotomic q-Schur algebras. We present cyclotomic q-Schur algebras as a quotient of a convolution algebra arising in the geometry of quivers; hence we call these quiver Schur algebras. These algebras are also presented diagrammatically, similar in flavor to a recent construction of Khovanov and Lauda. They are also manifestly graded and so equip the cyclotomic q-Schur algebra with a non-obvious grading. On the way we construct a graded cellular basis of this algebra, resembling the constructions for cyclotomic Hecke algebras by Mathas, Hu, Brundan and the first author. The quiver Schur algebra is also interesting from the perspective of higher representation theory. The sum of Grothendieck groups of certain cyclotomic quotients is known to agree with a higher level Fock space. We show that our graded version defines a higher q-Fock space (defined as a tensor product of level 1 q-deformed Fock spaces). Under this identification, the indecomposable projective modules are identified with the canonical basis and the Weyl modules with the standard basis. This allows us to prove the already described relation between decomposition numbers and canonical bases.

연구 동기 및 목표

• 기하학적 및 다이어그램적 방법을 사용하여 순환적 $q$-슈어 대수의 계량화된 버전을 구성하는 것.
• 고차원 $q$-포크 공간의 정규 기저와 순환적 $q$-슈어 대수 내 $q$-해석의 분해 수의 $q$-해석 간 정확한 대응을 확립하는 것.
• 퀴버 슈어 대수의 쿠르트렌지 그룹을 통해 $q$-포크 공간 위의 $\widehat{\mathfrak{sl}}_e$-작용의 분류화된 실현을 제공하는 것.
• 퀴버 슈어 대수 내 불가분 프로젝티브 모듈이 $q$-포크 공간의 정규 기저와 대응되며, 와일 모듈이 표준 기저와 대응됨을 보여주는 것.

제안 방법

• 퀄레 슈어 대수를 퀄레 표현의 스타인베르크 다양체 위의 컨볼루션 대수의 몫으로 구성하는 것.
• 크호반노프-로우키-루케르 대수에서 영감을 얻은 다이어그램 기반 접근을 통해 계량화된 구조를 명시적으로 확보하는 대수의 정의.
• 순환적 $q$-슈어 대수에 대해 계량화된 셀룰러 기저를 도입하며, 순환적 헤이크 대수에서의 구성과 유사하게 한다.
• 데마즈 유도자와 다중 구성의 조합론을 사용하여 $q$-포크 공간 위의 작용을 정의하는 것.
• 일부 순환적 몫의 쿠르트렌지 그룹을 고차원 $q$-데오프 공간과 동형으로 간주하며, 수준 1 $q$-포크 공간의 텐서곱으로 표현하는 것.
• 정규 기저가 $q$-포크 공간 내에서 불가분 프로젝티브 모듈의 클래스와 대응됨을 증명하는 것.

실험 결과

연구 질문

• RQ1 기하학적 및 다이어그램적 방법을 사용하여 순환적 $q$-슈어 대수의 계량화된 버전을 구성할 수 있는가?
• RQ2 순환적 $q$-슈어 대수 내 $q$-해석의 분해 수는 고차원 $q$-포크 공간의 정규 기저와 어떻게 관련이 있는가?
• RQ3 큐버 슈어 대수의 쿠르트렌지 그룹을 통해 $q$-포크 공간 위에 $\widehat{\mathfrak{sl}}_e$의 분류화된 작용이 실현되는가?
• RQ4 큐버 슈어 대수 내 불가분 프로젝티브 모듈은 $q$-포크 공간 내 정규 기저 벡터와 대응되는가?
• RQ5 $q$-포크 공간의 표준 기저는 순환적 $q$-슈어 대수 내 와일 모듈의 클래스로 실현될 수 있는가?

주요 결과

• 큐버 슈어 대수는 퀄레 표현의 스타인베르크 다양체 위의 컨볼루션 대수의 몫으로 구성되며, 이는 순환적 $q$-슈어 대수의 기하학적 실현을 제공한다.
• 이 대수는 계량화된 셀룰러 기저를 갖는다. 이는 명시적으로 구성되며, 그레이딩을 유지하여 분해 수의 분류화된 연구를 가능하게 한다.
• 큐버 슈어 대수의 일부 순환적 몫의 쿠르트렌지 그룹은 고차원 $q$-데오프 공간과 동형이며, 수준 1 $q$-포크 공간의 텐서곱으로 실현된다.
• 이 대수 내 불가분 프로젝티브 모듈은 쿠르트렌지 그룹의 대응에서 정확히 $q$-포크 공간의 정규 기저 벡터와 대응된다.
• 와일 모듈은 $q$-포크 공간의 표준 기저 벡터와 대응되며, 단순 모듈의 클래스는 불가분 프로젝티브의 클래스와 쌍대가 된다.
• 순환적 $q$-슈어 대수의 $q$-해석의 분해 수는 $q$-포크 공간 내 표준 기저에서 정규 기저로의 전이 행렬로 주어지며, 이는 정리 7.21과 추론 7.23에 의해 규명된다.