[논문 리뷰] The Weyl extension algebra of $GL_2(\bar{\mathbb{F}}_p)$

Vanessa Miemietz, Will Turner|arXiv (Cornell University)|2011. 06. 28.

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

한 줄 요약

이 논문은 일반화된 Koszul 쌍대성 프레임워크를 사용하여 양의 특성 $ p $ 를 가진 대수적으로 닫힌 체 위에서 $ GL_2 $ 의 Weyl 모듈러스의 Yoneda 확장 대수를 계산한다. 핵심 결과는 무한 차원 다면체 내의 격자점으로 색인화된 확장 대수 $ \mathbf{w} $ 에 대한 명시적인 단항기저를 제공하는 것으로, 이는 Koszul 쌍대 대수 위의 텐서 대수와 유도된 연산자 구성에 의해 실현된다.

ABSTRACT

We compute the Yoneda extension algebra of the collection of Weyl modules for $GL_2$ over an algebraically closed field of positive characteristic p by developing a theory of generalised Koszul duality for certain 2-functors, one of which controls the rational representation theory of $GL_2$ over such a field.

연구 동기 및 목표

• 특성 $ p > 0 $ 인 $ \overline{\mathbb{F}}_p $ 위에서 $ GL_2 $ 의 주 블록 내 Weyl 모듈러스의 Yoneda 확장 대수 $ \mathbf{w} $ 를 계산하는 것.
• 합리적 표현 이론에서 비음수 등급과 $ 2 $-함수적 구조를 가진 설정으로 Koszul 쌍대성 기법을 확장하는 것.
• 무한 차원 격자 다면체의 원소로 색인화된 $ \mathbf{w} $ 에 대한 명시적인 단항기저를 제공하는 것.
• 확장 대수 $ \mathbf{w} $ 를 $ F[z,z^{-1}] $ 에 작용하는 반복 연산자들의 극한으로서의 조합론적 기술을 수립하는 것.
• 특히 이중 모듈러스 호몰로지와 다면체 기저의 색인 매개변수 처리에서 이전의 쌍대성 구성에 대한 수정과 정밀화를 수행하는 것.

제안 방법

• GL_2 의 합리적 표현을 제어하는 $ 2 $-함수적 구조를 위한 일반화된 Koszul 쌍대성 이론을 개발한다.
• 반복된 텐서곱을 통해 호몰로지 자료를 코딩하기 위해 대수적 연산자 $ \mathfrak{O}_\Upsilon $ 과 $ \mathbb{H}\mathbb{K}\mathbb{T}_A(M) $ 를 도입한다.
• Koszul 쌍대 대수 $ {\boldsymbol{d}} $ 와 이중 모듈러스 $ {}_{{\boldsymbol{d}}}M_{{\boldsymbol{d}}} $ 위의 텐서 대수로 $ \Upsilon = \mathbb{HT}_{\boldsymbol{d}}(\underline{\boldsymbol{u}}) $ 를 구성한다.
• 다음과 같은 삼중 등급 구조를 가진 $ \Upsilon $ 를 사용하며, 다면체 내 격자점으로 색인화된 단항기저를 가지며, 곱셈은 $ \pm $ 다른 기저 원소 또는 0 이다.
• 호몰로지 쌍대성 연산자 $ \mathcal{K} $ 와 $ \mathbb{K} $ 를 적용하여 $ \mathbf{w} $ 와 $ F[z,z^{-1}] $ 를 반복된 $ \mathfrak{O} $-작용을 통해 연결한다.
• 호몰로지 내 이중 모듈러스 구조를 보장하기 위해 매개변수 $ a $ 와 $ b $ 에 대한 조건을 조정함으로써 다면체 기저의 색인을 수정한다.

실험 결과

연구 질문

• RQ1 특성 $ p > 0 $ 인 $ GL_2 $ 의 Weyl 모듈러스의 Yoneda 확장 대수는 어떻게 명시적으로 기술할 수 있는가?
• RQ2 일반화된 Koszul 쌍대성이 $ 2 $-함수적 구조를 통해 $ GL_2 $ 의 합리적 표현 이론을 어떻게 코딩하는가?
• RQ3 확장 대수 $ \mathbf{w} $ 는 어떻게 무한 차원 다면체 내 격자점으로 색인화된 단항기저를 갖는가?
• RQ4 다면체 기저에서 곱셈이 올바르게 작동하도록 하기 위해 이중 모듈러스 호몰로지 구조에 어떤 수정이 필요한가?
• RQ5 반복된 대수적 연산자 $ \mathfrak{O}^q_{\mathbb{H}\mathbb{T}_{\mathcal{K}(\mathbf{a})}(\mathcal{K}(\underline{m}))} $ 는 $ F[z,z^{-1}] $ 에서 어떻게 확장 대수를 재구성하는가?

주요 결과

• 주 블록 내 $ GL_2(\overline{\mathbb{F}}_p) $ 의 Weyl 모듈러스의 Yoneda 확장 대수 $ \mathbf{w} $ 는 $ \lim_q \mathfrak{O}_\Upsilon^q(F[z,z^{-1}]) $ 와 동형이며, 이는 단항기저를 가진 삼중 등급 대수 $ \Upsilon $ 이다.
• 대수 $ \Upsilon $ 는 Koszul 쌍대 대수 $ {\boldsymbol{d}} $ 와 이중 모듈러스 $ {}_{{\boldsymbol{d}}}M_{{\boldsymbol{d}}} $ 위의 텐서 대수 $ \mathbb{HT}_{\boldsymbol{d}}(\underline{\boldsymbol{u}}) $ 로 실현된다.
• 확장 대수 $ \mathbf{w} $ 의 단항기저는 무한 차원 다면체 내 격자점으로 색인화되며, 곱셈은 $ \pm $ 다른 기저 원소 또는 0 이다.
• 기저 원소의 색인에 대한 수정이 확인되었다: $ s=2,\dots,p-1 $ 에 대해 원소 $ (p-s,0,0,a,b,s+1) $ 는 $ a=b-1 $ 을 만족하고, $ s=1 $ 에 대해 $ (p-1,0,0,a,b,2) $ 는 $ a=b+1 $ 을 만족한다.
• 확장 대수 $ \mathbf{w} $ 는 자연스러운 $ \mathbb{Z} $-삼중 등급을 가지며, $ k $-등급은 $ \operatorname{Ext} $ 내 코homological degree 와 대응된다.
• 이 구성은 $ \mathbf{w} $ 를 $ F[z,z^{-1}] $ 에 대한 반복된 $ \mathfrak{O} $-작용의 극한으로 실현하는 준동형 연산자들을 얻으며, 최종 동형 $ \mathbb{H}\mathcal{K}(A) \cong \mathfrak{O}_F \mathfrak{O}^q_{\mathbb{H}\mathbb{T}_{\mathcal{K}(\mathbf{a})}(\mathcal{K}(\underline{m}))} F[z,z^{-1}] $ 이 성립한다.