[논문 리뷰] On the good filtration dimension of Weyl modules for a linear algebraic group

Alison E. Parker|ArXiv.org|2005. 07. 27.

Advanced Algebra and Geometry참고 문헌 11인용 수 3

한 줄 요약

이 논문은 양의 특성에서 선형 대수적 군에 대한 Weyl 필터링 차원을 계산하며, 정규 가중치에 대해 $\operatorname{Ext}^i(\nabla(\lambda),\Delta(\mu))\cong k$일 때 $i = \operatorname{wfd}(\nabla(\lambda)) + \operatorname{wfd}(\nabla(\mu))$임을 규명한다. 이는 일반화된 슈어 대수에서 여야와 내재적 차원의 정확한 공식을 이끌어내며, $p>n$ 또는 $S(mp,p)$일 때 $S(n,r)$의 전반적 차원이 Weyl 필터링 차원의 두 배임을 보여준다.

ABSTRACT

Let G be a linear algebraic group over an algebraically closed field of characteristic p whose corresponding root system is irreducible. In this paper we calculate the Weyl filtration dimension of the induced G-modules, abla(λ) and the simple G-modules L(λ), for λa regular weight. We use this to calculate some Ext groups of the form Ext^*( abla(λ),Δ(μ)), Ext^*(L(λ),L(μ)), and Ext^*( abla(λ), abla(μ)), where λ, μare regular and Δ(μ) is the Weyl module of highest weight μ. We then deduce the projective dimensions and injective dimensions for L(λ), abla(λ) and Δ(λ) for λa regular weight in associated generalised Schur algebras. We also deduce the global dimension of the Schur algebras for GL_n, S(n,r), when p>n and for S(mp,p) with m an integer.

연구 동기 및 목표

• 특성 $p$인 대수적으로 닫힌 체 위의 선형 대수적 군 $G$에서 정규 가중치 $\lambda$에 대해 유도 모듈 $\nabla(\lambda)$와 단순 모듈 $L(\lambda)$의 Weyl 필터링 차원(wfd)을 계산하는 것.
• 정규 가중치 $\lambda, \mu$에 대해 $\operatorname{Ext}^*(\nabla(\lambda),\Delta(\mu))$, $\operatorname{Ext}^*(L(\lambda),L(\mu))$, 및 $\operatorname{Ext}^*(\nabla(\lambda),\nabla(\mu))$를 결정하는 것.
• 정규 가중치에 대해 일반화된 슈어 대수에서 $L(\lambda)$, $\nabla(\lambda)$, $\Delta(\lambda)$의 여야와 내재적 차원을 유도하는 것.
• 특성 $p>n$ 또는 $S(mp,p)$일 때 슈어 대수 $S(n,r)$의 전반적 차원을 계산하고, 결과를 양자 설정으로 확장하는 것.

제안 방법

• Jantzen가 도입한 번역 함수를 사용하여 정규 가중치에 대한 유도 모듈 $\nabla(\lambda)$와 Weyl 모듈 $\Delta(\mu)$의 구조를 분석하는 것.
• 정규 $\lambda, \mu$에 대해 $\operatorname{Ext}^i(\nabla(\lambda),\Delta(\mu))\cong k$이 되는 것은 $i = \operatorname{wfd}(\nabla(\lambda)) + \operatorname{wfd}(\nabla(\mu))$일 때 정확히 성립함을 증명하는 것.
• Weyl 모듈과 유도 모듈 간의 쌍대성 및 번역 함수의 성질을 활용하여 필터링 차원을 계산하는 것.
• Weyl 필터링 차원 결과를 활용하여 일반화된 슈어 대수에서 단순, 유도 및 Weyl 모듈의 여야와 내재적 차원을 결정하는 것.
• 특성 $p$를 $l$로 대체하고, $l$-알코프와 양자 번역 함수를 사용하여 결과를 양자 설정으로 확장하는 것.
• $\uparrow$-순서와 준-헤르드레기 대수의 구조를 활용하여 $q$-슈어 대수의 전반적 차원을 계산하는 것.

실험 결과

연구 질문

• RQ1 특성 $p$인 체 위의 선형 대수적 군에서 정규 가중치 $\lambda$에 대해 유도 모듈 $\nabla(\lambda)$의 Weyl 필터링 차원은 무엇인가요?
• RQ2 정규 가중치 $\lambda, \mu$에 대해 $\operatorname{Ext}^*(\nabla(\lambda),\Delta(\mu))$는 어떻게 행동합니까?
• RQ3 정규 $\lambda$에 대해 일반화된 슈어 대수에서 $L(\lambda)$, $\nabla(\lambda)$, $\Delta(\lambda)$의 여야와 내재적 차원은 무엇입니까?
• RQ4 $p>n$ 또는 $m\in\mathbb{N}$에 대해 $S(mp,p)$일 때 슈어 대수 $S(n,r)$의 전반적 차원은 무엇입니까?
• RQ5 Weyl 필터링 차원과 전반적 차원에 대한 결과는 양자 군 설정과 $q$-슈어 대수로 확장될 수 있습니까?

주요 결과

• $\mathrm{GL}_n$에서 $p>n$일 때, 정규 가중치 $\lambda$에 대해 $\nabla(\lambda)$의 Weyl 필터링 차원은 $\operatorname{wfd}(\nabla(\lambda)) = (n-1)\left\lfloor\frac{r}{p}\right\rfloor$이다.
• 정규 가중치 $\lambda, \mu$에 대해 $\operatorname{Ext}^i(\nabla(\lambda),\Delta(\mu))\cong k$이 되는 것은 $i = \operatorname{wfd}(\nabla(\lambda)) + \operatorname{wfd}(\nabla(\mu))$일 때 정확히 성립한다.
• 일반화된 슈어 대수에서 $L(\lambda)$의 여야는 $2\cdot\operatorname{wfd}(L(\lambda))$이며, 이는 내재적 차원에도 동일하게 적용된다.
• $p>n$일 때 $S(n,r)$의 전반적 차원은 $2(n-1)\left\lfloor\frac{r}{p}\right\rfloor$이며, $S(mp,p)$의 전반적 차원은 $l=p$일 때 $2(m)(l-1)$이다.
• $q$가 원시 $l$제곱 단위근이고 $l>n$일 때 $q$-슈어 대수 $S_q(n,r)$의 전반적 차원은 $2(n-1)\left\lfloor\frac{r}{l}\right\rfloor$이며, $S_q(l,ml)$의 전반적 차원은 $2(l-1)m$이다.
• 결과는 양자 설정으로 확장되며, $S_q(n,r)$의 Weyl 필터링 차원과 전반적 차원은 체의 특성과는 무관하게 $l$에만 의존한다.