[논문 리뷰] Cellular bases of generalized q-Schur algebras

Stephen Doty, Anthony Giaquinto|arXiv (Cornell University)|2010. 12. 29.

Algebraic structures and combinatorial models참고 문헌 34인용 수 3

한 줄 요약

이 논문은 정의 아이디포텐셜을 통해 셀 모듈과 그 쌍대의 기저를 접합하여 일반화된 $q$-Schur 대수의 셀 기저를 구성한다. 이는 $\mathbb{Q}(v)$ 위에서 자가 포함적인 방법이며, 캐논컬 기저를 사용하여 임의의 기초 환으로 확장된다. 주요 기여는 셀 구조를 구성하는 데 있어 새로운 일반적인 절차를 제공하며, 아이디포텐셜 분해를 통한 프로젝티브 모듈의 필터링에의 적용을 포함한다.

ABSTRACT

We show that cellular bases of generalized $q$-Schur algebras can be constructed by gluing arbitrary bases of the cell modules and their dual basis (with respect to the anti-involution giving the cell structure) along defining idempotents. For the rational form, over the field $\mathbb{Q}(v)$ of rational functions in an indeterminate $v$, our proof of this fact is self-contained and independent of the theory of quantum groups. In the general case, over a commutative ring $\Bbbk$ regarded as a $\mathbb{Z}[v,v^{-1}]$-algebra via specialization $v \mapsto q$ for some chosen invertible $q \in \Bbbk$, our argument depends on the existence of the canonical basis.

연구 동기 및 목표

• 일반화된 $q$-Schur 대수의 유리형 $\mathbf{S}(\pi)$에 대해 양자군 이론에 의존하지 않고 셀 기저의 자가 포함적인 구성 방법을 제공하는 것.
• 특수화 $v \mapsto q$를 통해 $\Bbbk$-형 $\mathbf{S}_q(\pi)$로 이 구성 방법을 확장하는 것. 이는 캐논컬 기저의 존재를 이용한다.
• 셀 기저 구성이 정규 표현의 아이디포텐셜 분해를 통해 프로젝티브 모듈의 명시적 필터링을 어떻게 도출하는지 보여주는 것.
• 고전적 $q$-Schur 대수와 Donkin의 일반화된 Schur 대수에 대한 기존 결과를 임의의 유한형 루트 체계로 일반화하는 것.
• 특히 A형에서조차도 기존의 것과 새로운 것으로서의 셀 기저가 도출됨을 보여주는 것, 특히 고전적 $q$-Schur 대수에 대해서도 그렇다.

제안 방법

• 유리형 $\mathbf{S}(\pi)$의 아이디포텐셜 표현으로부터 출발하여 이전 연구에서 얻은 정의 관계를 사용한다.
• 각 근본 무게 $\lambda$에 대해, 셀 모듈 $\Delta(\lambda)$의 기저와 그 항등적 호환에 대한 쌍대 기저를 아이디포텐셜 $1_\lambda$를 따라 접합하여 셀 기저를 구성한다.
• 이 구성은 $\mathbb{Q}(v)$ 위에서 자가 포함적이며, 오직 Weyl의 정리와 단순 리 대수의 기본 표현 이론에 의존한다.
• $\Bbbk$-형 $\mathbf{S}_q(\pi)$의 경우, 수정된 양자 보어 대수의 $\mathcal{A}$-형에서 캐논컬 기저의 존재에 의존한다.
• 몫 사상 $p_{\pi,\pi'}$의 핵은 $\pi$의 최대 무게인 $\lambda_1$에 대해 $\Delta_q(\lambda_1)$의 복수 개의 직합과 동형인 등형 부분모듈로 식별된다.
• 최대 무게를 감소하는 순서로 차례로 핵을 몫으로 나누는 인덕티브 절차를 사용하여 프로젝티브 모듈 $\mathbf{S}_q1_\lambda$의 필터링을 구성한다.

실험 결과

연구 질문

• RQ1 양자군 이론에 의존하지 않고, 아이디포텐셜 표현과 기본 표현 이론만을 사용하여 일반화된 $q$-Schur 대수의 셀 기저를 구성할 수 있는가?
• RQ2 특수화 $v \mapsto q$를 통해 $\mathbf{S}(\pi)$의 셀 기저 구성 방법을 $\mathbf{S}_q(\pi)$의 $\Bbbk$-형으로 어떻게 확장할 수 있는가?
• RQ3 $\mathbf{S}_q(\pi)$에서 $\mathbf{S}_q(\pi')$로의 몫 사상 $p_{\pi,\pi'}$의 핵의 구조는 무엇이며, 이는 셀 모듈 구조와 어떻게 관련이 있는가?
• RQ4 프로젝티브 모듈 $\mathbf{S}_q1_\lambda$는 $\pi$의 무게의 지배 순서를 반영하는 방식으로 필터링될 수 있는가?
• RQ5 이러한 필터링의 각 연속 몫에서 $\Delta_q(\lambda_j)$의 중복도는 얼마인가?

주요 결과

• 셀 기저 $\mathbf{S}(\pi)$는 $1_\lambda$를 따라 셀 모듈 $\Delta(\lambda)$의 기저와 그 항등적 호환에 대한 쌍대 기저를 접합함으로써 양자군 이론에 의존하지 않고 구성된다.
• 이 구성은 $\mathbb{Q}(v)$ 위에서 자가 포함적이며, 아이디포텐셜 표현과 Weyl의 정리에만 의존한다.
• $\mathbf{S}_q(\pi)$의 경우 캐논컬 기저를 통해 확장되며, $p_{\pi,\pi'}$의 핵은 $\Delta_q(\lambda_1)$ 모듈의 직합으로 식별된다.
• $\mathbf{S}_q1_\lambda$의 필터링에서 $j$-번째 몫에서 $\Delta_q(\lambda_j)$의 중복도는 $\Bbb{k}$ 위에서 $\Delta_q(\lambda_j)$의 $\lambda$-중량 공간의 랭크와 같다.
• $\mathbf{S}_q1_\lambda$의 필터링은 최대 무게를 감소하는 순서로 차례로 핵을 몫으로 나누는 인덕티브 절차로 구성된다.
• 결과로 얻어진 필터링은 등형이며, 각 몫 $P_j/P_{j-1}$은 $\Delta_q(\lambda_j)$의 복수 개의 직합으로 이루어져 있으며, Donkin의 필터링 결과에 대한 $q$-해석을 제공한다.