[논문 리뷰] Modules universels de GL(3) sur un corps p-adique en caractéristique p

Rachel Ollivier, Vincent Sécherre|arXiv (Cornell University)|2011. 05. 15.

Advanced Algebra and Geometry참고 문헌 23인용 수 9

한 줄 요약

이 논문은 잔여체의 크기가 $p$인 $p$-진체 $F$에 대해 $\mathrm{GL}_3(F)$의 모드 $p$ 유니버설 모듈의 평탄성과 프로젝티브성을 조사한다. 아핀 브라하트-티츠 빌딩 위의 호모로지 계수 체계를 사용하고, 유 endo-군과 $p$-진 군에서의 헤크 모듈의 구조를 분석함으로써, 이글리-헤크 대수 위에서 이와하라 부분군에 대한 유니버설 모듈이 평탄하고 프로젝티브하다는 것을 증명한다. 반면, 프로-$p$ 이와하라 부분군에 대해서는 평탄성이 성립하는 것이 $p = 2$일 때에만 성립한다. 이는 $p$-진 군의 모드 $p$ 표현 이론에서 핵심적인 구조적 질문을 해결한다.

ABSTRACT

Let F be a p-adic field with residue class field k. We investigate the structure of certain mod p universal modules for GL(3,F) over the corresponding Hecke algebras. To this end, we first study the structure of some mod p universal modules for the finite group GL(n,k) as modules over the corresponding Hecke algebras. We then relate this finite case to the p-adic one by using homological coefficient systems on the the affine Bruhat-Tits building of GL(3). Suppose now that k has cardinality p. We prove that the mod p universal module of GL(3,F) relative to the Iwahori subroup is flat and projective over the Iwahori-Hecke algebra. When replacing the Iwahori subgroup of GL(3,F) by its pro-p-radical, we prove that the corresponding module is flat over the pro-p Iwahori-Hecke algebra if and only if p=2.

연구 동기 및 목표

• 특성 $p$에서 $\mathrm{GL}_3(F)$의 이와하라 및 프로-$p$ 이와하라 헤크 대수 위에서의 유니버설 모듈의 평탄성과 프로젝티브성을 결정하는 것.
• 유한체 $k$의 크기가 $p$인 $\mathrm{GL}_n(k)$에 대한 모드 $p$ 유니버설 모듈의 구조를 아핀 브라하트-티츠 빌딩 위의 호모로지 계수 체계를 통해 $p$-진 경우로 연결하는 것.
• 이와하라 부분군에 관련된 유니버설 모듈이 해당 헤크 대수 위에서 평탄하거나 프로젝티브가 되는 조건을 설정하는 것.
• 잔여체 크기 $q = p$가 특성 $p$에서 $\mathrm{GL}_3(F)$의 표현 이론에서 수행하는 역할을 명확히 하며, 특히 $p \neq 2$일 때 평탄성의 실패와의 관련성을 밝혀내는 것.

제안 방법

• 유한 헤크 대수 위에서 $\mathrm{GL}_n(k)$에 대한 모드 $p$ 유니버설 모듈의 구조를 범주론적 및 호모로지 도구를 사용하여 분석한다.
• 아핀 브라하트-티츠 빌딩 위에 호모로지 계수 체계를 구성하여, 유한군의 경우와 $p$-진 군의 경우를 연결한다.
• 프로-$p$ 불변량의 함자를 적용하여, 이와하라 부분군에 대해 불변인 $\mathrm{GL}_3(F)$ 위의 컴acts지지 함수 공간에 값이 $\overline{\mathbf{F}}_p$인 헤크 모듈의 구조를 유도한다.
• 평탄성 분석을 위해 $\mathcal{H}$-모듈의 복합체 $0 \to \mathrm{Im}\partial_1 \to \mathscr{F}_0(X,\mathcal{C}) \to \mathcal{C} \to 0$를 사용하며, 노에터 링에서의 단사성 및 평탄성 기준에 의존한다.
• 바스-파프 정리와 노에터 링 위의 프로젝티브 모듈 성질을 적용하여, 관련 모듈의 평탄성으로부터 평탄성과 프로젝티브성을 유도한다.
• 등급원소 $\boldsymbol{\varepsilon}_1$를 사용하여 $\mathcal{C}^\prime$ (몫 모듈)의 연구를 유한군의 경우로 환원하며, 헤크 대수 모듈에 대한 기존 결과를 활용한다.

실험 결과

연구 질문

• RQ1 이와하라 부분군에 대해 $\mathrm{GL}_3(F)$의 유니버설 모듈이 이와하라-헤크 대수 위에서 평탄해지는 조건은 무엇인가?
• RQ2 프로-$p$ 이와하라 부분군에 대해 유니버설 모듈이 프로-$p$ 이와하라-헤크 대수 위에서 평탄해지며, 만약 그렇다면 어떤 소수 $p$에 대해 성립하는가?
• RQ3 $k = \mathbf{F}_p$인 $\mathrm{GL}_3(k)$에 대한 헤크 모듈의 구조와 $F$가 $p$-진체인 $\mathrm{GL}_3(F)$에 대한 헤크 모듈의 구조 사이의 관계는 무엇인가?
• RQ4 유니버설 모듈 $\mathcal{C}$의 평탄성과 그 부분몫인 $\mathrm{Im}\partial_1$의 평탄성 사이의 정확한 관계는 무엇인가?
• RQ5 $p = 2$일 때, 프로-$p$ 이와하라 부분군에 대한 유니버설 모듈 $\mathcal{C}^\prime$이 프로젝티브가 되는가? 이는 $\mathrm{GL}_3(F)$의 표현 이론에서 어떤 의미를 갖는가?

주요 결과

• 이와하라 부분군에 대해 $\mathrm{GL}_3(F)$의 유니버설 모듈 $\mathcal{C}$는 이와하라-헤크 대수 위에서 평탄하고 프로젝티브하다. 이는 $\mathrm{Im}\partial_1$의 평탄성과 복합체 $0 \to \mathrm{Im}\partial_1 \to \mathscr{F}_0(X,\mathcal{C}) \to \mathcal{C} \to 0$의 정확성에 기반한다.
• 만약 $q = p \neq 2$이면 $\mathcal{H}$-모듈 $\mathcal{C}$는 평탄하지 않다. 왜냐하면 $\mathrm{Im}\partial_1$의 평탄성으로부터 $\mathscr{F}_0(X,\mathcal{C})$의 평탄성이 유도될 것이며, 이는 알려진 결과와 모순되기 때문이다.
• 프로-$p$ 이와하라-헤크 대수에 대해, 유니버설 모듈 $\mathcal{C}^\prime$은 $p = 2$일 때에만 평탄하다. 이는 이 조건 하에서 $\mathcal{C}^\prime$의 프로젝티브성에 의해 입증된다.
• $\mathcal{H}^\prime$-모듈 $\mathcal{C}^\prime$은 $q = p$일 때 프로젝티브하며, 특히 $p = 2$일 때는 이로 인해 $\mathcal{C}$가 이와하라-헤크 대수 위에서 프로젝티브가 된다는 것을 의미한다.
• $\mathcal{C}^{\mathrm{U}_{\sigma_1}}$가 평탄할 경우, $\mathcal{H}$-모듈 $\mathrm{Im}\partial_1$는 $\mathscr{F}_0(X,\mathcal{C})$의 직접합성분이 된다. 이는 $q = p$일 때 성립하며, 이로 인해 $\mathrm{Im}\partial_1$의 평탄성이 보장된다.
• $\mathcal{H}^\prime$-모듈 $\mathcal{C}^\prime$은 $\mathscr{F}_0(X,\mathcal{C}^\prime)$의 직접합성분이며, $\mathscr{F}_0(X,\mathcal{C}^\prime)$는 $\mathcal{C}^{\prime{\mathrm{U}_{\sigma_0}}}$의 복수 개의 복합체이므로, $q = p$일 때 $\mathcal{C}^{\prime{\mathrm{U}_{\sigma_0}}}$가 프로젝티브이므로 $\mathcal{C}^\prime$이 프로젝티브가 된다.