[논문 리뷰] The Bernstein center of the category of smooth $W(k)[GL_n(F)]$-modules

David Helm|arXiv (Cornell University)|2012. 01. 09.

Advanced Algebra and Geometry참고 문헌 17인용 수 28

한 줄 요약

이 논문은 $F$가 $p$-진 수체이고 $k$가 특성 $ olimits \ell \neq p$인 대수적으로 닫힌 체일 때, 매끄러운 $W(k)[\operatorname{GL}_n(F)]$-모듈의 범주에 대한 버누이 분해를 수립한다. 각 블록의 중심이 $W(k)$-대수로서 분해 가능하고 $\ell$- torsion-free이며 유한형임을 증명하고, $k$-점들이 초초급 지지의 쌍과 일대일 대응됨을 보이며, 대칭 다항식과 불변 부분환을 통해 중심의 명시적 기술을 제공한다.

ABSTRACT

We consider the category of smooth $W(k)[GL_n(F)]$-modules, where F is a p-adic field and k is an algebraically closed field of characteristic l different from p. We describe a factorization of this category into blocks, and show that the center of each block is a reduced, finite type, l-torsion free W(k)-algebra. Moreover, the k-points of the center of each block are in bijection with the possible "supercuspidal supports" of the smooth $k[GL_n(F)]$-modules that lie in the block. Finally, we describe a large, explicit subalgebra of the center of each block and give a description of the action of this subalgebra on the simple objects of the block, in terms of the description of the classical "characteristic zero" Bernstein center.

연구 동기 및 목표

• 복소수 표현에서의 버누이 중심 이론을 $W(k)$, 즉 $\ell$-진 수체의 윌트 벡터의 환으로부터의 매끄러운 표현으로 확장한다.
• $W(k)[\mathrm{GL}_n(F)]$-모듈에 대해 모듈로 $\ell$의 관점에서의 관성 초초급 지지의 개념을 정의하여 고전적 개념을 정수적 설정으로 일반화한다.
• 매끄러운 $W(k)[\mathrm{GL}_n(F)]$-모듈의 범주를 초초급 쌍 $(L,\pi)$의 관성 동치류로 색인된 블록들로 분해한다.
• 각 블록의 중심을 분해 가능하고 $\ell$-torsion-free이며 유한형 $W(k)$-대수로 묘사한다.
• 특수한 경우에 대해 중심의 명시적 표현을 대칭 다항식과 불변 부분환의 언어로 기술하고, 그 작용이 고전적 버누이 중심의 구조와 어떻게 관련되는지 기술한다.

제안 방법

• 단순 객체들인 $\operatorname{Rep}_{W(k)}(\mathrm{GL}_n(F))$에 대해 모듈로 $\ell$의 관성 초초급 지지를 위한 새로운 개념을 도입하여, 고전적 개념을 정수 표현으로 확장한다.
• $W(k)$-범주와 $\overline{\mathcal{K}}$ 상에서의 고전적 버누이 분해를 연결하기 위해, $\overline{\mathcal{K}}$로의 기저 변경 함자를 사용한다. 여기서 $\overline{\mathcal{K}}$는 $W(k)$의 분수체의 대수적 폐쇄이다.
• 기저 변경과 정수 조건에 대한 호환성을 이용하여, $\overline{\mathcal{K}}$ 상에서의 버누이-델레인 중심 기술을 $W(k)$로 올리는 데 적용한다.
• 각 블록의 중심 $A_{[L,\pi]}$를 히드라-유사 대수 $E_{\nu_j}$의 텐서곱의 부분환으로 구성하며, 와일 군 작용에 대한 불변성을 통해 정의한다.
• G-덮개 이론과 포물선 유도의 정수 모델 이론을 활용하여 중심의 구조와 단순 객체 위에서의 작용을 분석한다.
• 와일 군 작용에 대한 불변성과 쿠스피달 아이디얼의 구조를 이용하여 특정 경우에 중심의 표현을 유도한다.

실험 결과

연구 질문

• RQ1 어떻게 복소수 표현에서의 버누이 분해를 특성 $\ell \neq p$인 유한체의 윌트 벡터 환 $W(k)$ 상의 매끄러운 표현으로 확장할 수 있는가?
• RQ2 매끄러운 $W(k)[\mathrm{GL}_n(F)]$-모듈의 각 블록 중심의 구조는 무엇이며, 고전적 버누이 중심 $\overline{\mathcal{K}}$ 상에서의 그것과 어떻게 관련되는가?
• RQ3 특수한 경우, 예를 들어 $\ell > m$ 또는 $e_{q^f} \leq m < 2e_{q^f}$일 때 중심을 대칭 다항식 또는 불변 부분환의 언어로 명시적으로 묘사할 수 있는가?
• RQ4 블록 내 단순 객체 위에서 중심의 작용은 특성 0에서의 고전적 작용과 어떻게 관련되는가?
• RQ5 모듈로 $\ell$의 관성 초초급 지지의 역할은 블록과 그 중심을 분류하는 데 어떤 기여를 하는가?

주요 결과

• 매끄러운 $W(k)[\mathrm{GL}_n(F)]$-모듈의 범주는 초초급 쌍 $(L,\pi)$의 관성 동치류로 색인된 블록들로 분해되며, 복소수 상에서의 버누이 분해를 일반화한다.
• 각 블록의 중심 $A_{[L,\pi]}$는 분해 가능하고 $\ell$-torsion-free이며 유한형 $W(k)$-대수이다.
• $A_{[L,\pi]}$의 $k$-점들은 블록 내 단순 객체들의 가능한 모듈로 $\ell$의 관성 초초급 지지와 일대일 대응된다.
• $e_{q^f} > m$ 또는 $\ell > m$ 이면서 $q^f \equiv 1 \pmod{\ell}$인 경우, 중심 $A_{[L,\pi]}$는 $W(k)$ 위에서 $m$개 변수의 대칭 다항식의 환 또는 그 몫과 동형이다.
• 더 복잡한 분할 $\nu$에 대해서는 중심이 히드라 대수 $E_{\nu_j}$의 텐서곱을 특정 쿠스피달 아이디얼로 몫을 취한 것으로 묘사되며, 생성자는 $\Theta_j$이고 관계는 와일 군 불변성을 포함한다.
• 블록 내 단순 객체 위에서 중심의 작용은 고전적 버누이 중심 $\overline{\mathcal{K}}$ 상의 작용과 호환되며, 중심은 고전 중심의 기저 변경에 포함된다.