Non-admissibility of some universal supersingular representations

기술적 요약: 일부 보편적 초특이 표현의 비허용성

문제 제기
본 논문은 $p$-adic 재약군, 특히 $K/\mathbb{Q}_p$가 차수 $f$인 비분기 확장일 때 $G = \mathrm{GL}_n(K)$의 mod $p$ 표현의 구조를 다룬다. mod $p$ 국소 Langlands 대응은 $\mathrm{GL}_2(\mathbb{Q}_p)$의 경우 잘 이해되어 있으나, $n \ge 3$이거나 $K \neq \mathbb{Q}_p$인 경우 훨씬 더 복잡한 양상을 보인다. 연구의 핵심 대상은 $\mathrm{GL}_n(k)$ (여기서 $k$는 $K$의 잉여류체) 의 기약 Serre 가중치 $\sigma$에 연관된 보편적 초특이 표현 $SS(\sigma)$이다. 이는 Hecke 연산자 $T_1, \dots, T_{n-1}$에 의해 생성된 아이디얼로 나눈 콤팩트 유도 표현 $c\text{-}\mathrm{Ind}_{KZ}^G \sigma$의 몫으로 정의되며, $SS(\sigma)$는 초특이 표현을 분류할 것으로 기대된다.

이전 연구는 $n=2$이고 $K \neq \mathbb{Q}_p$인 경우 $SS(\sigma)$가 비허용성 (non-admissible) 이며 무한한 길이를 가진다는 것을 확립했다. 그러나 비허용성을 증명하는 기존 방법 (다이어그램 이론이나 명시적인 pro-$p$ Iwahori 불변량 계산을 의존) 은 $n=2$로 제한되었다. 열린 문제는 $n \ge 3$에 대해 $SS(\sigma)$의 허용성과 길이를 결정하는 것이었다.

방법론
저자들은 이전의 다이어그램 기반 접근법과 구별되는 방법을 개발하여, 가중치 순환 (weight cycling) 논증과 전역화 기법, 그리고 Emerton–Gee 스택의 기하학을 결합했다.

1. 가중치 순환: 저자들은 Buzzard가 제안하고 Emerton–Gee–Herzig에 의해 일반화된 가중치 순환 논증의 일반형을 활용한다. Serre 가중치 $\sigma$와 기본 반우세 코특이 $\mu$에 대해, 저자들은 $KZ$의 매끄러운 표현$C_\mu(\sigma)$와 전사 사상:
   $$\mathrm{cyc}_\mu: c\text{-}\mathrm{Ind}_{KZ}^G C_\mu(\sigma) \twoheadrightarrow c\text{-}\mathrm{Ind}_{KZ}^G \sigma / (T_\mu).$$
   를 구성한다. $c\text{-}\mathrm{Ind}_{KZ}^G \sigma / (T_\mu)$가 $SS(\sigma)$로 전사되므로, $c\text{-}\mathrm{Ind}_{KZ}^G C_\mu(\sigma)$의 특정 부분몫이 비허용성임을 증명하면 $SS(\sigma)$에 대해서도 동일하게 성립한다. 여기서의 어려움은 $C_\mu(\sigma)$의 Jordan–Hölder 인자들을 식별하고 가중치 순환 사상 하에서의 그들의 이미지를 이해하는 데 있다.

2. 전역화와 갈루아 표현: 관련 부분몫을 식별하는 어려움을 해결하기 위해 저자들은 전역적 방법을 사용한다. 그들은 연속 갈루아 표현 $\rho: G_K \to \mathrm{GL}_n(\mathbb{F}_p)$를 구성하고, mod $p$ 국소 Langlands 대응의 후보를 통해 $G$의 허용성 매끄러운 표현 $\pi$를 이에 부착한다. $\sigma$가 "모듈러 가중치"가 되도록 $\rho$를 신중하게 선택함으로써, 그들은 $C_\mu(\sigma)$에서 $\pi|_{KZ}$로의 0 이 아닌 사상을 확립한다. 이는 $C_\mu(\sigma)$의 특정 Jordan–Hölder 인자 $\sigma' \in \mathrm{JH}(C_\mu(\sigma))$가 $\pi|_{KZ}$의 소코 (socle) 에 나타나도록 강제한다.

3. 국소 모델 이론과 Emerton–Gee 스택: 적절한 $\rho$의 존재는 mod $p$ 갈루아 표현의 모듈라이 공간인 축소된 Emerton–Gee 스택 $X_{n, \mathrm{red}}$의 기하학을 연구함으로써 보장된다. 저자들은 $\sigma$와 $\sigma'$에 해당하는 기약 성분 $C_\sigma$와 $C_{\sigma'}$의 교집합을 분석한다.

   • 그들은 [LLHM+24] 에서 개발된 잠재적 결정적 (potentially crystalline) 스택에 대한 명시적 국소 차트를 활용한다.
   • 그들은 $\sigma$의 최고 가중치를 포함하는 $p$-alcove 에 "특별 (special)" 조건을 정의한다.
   • 그들은 "특별" 가중치에 대해, $\sigma$의 초특이 locus, 성분 $C_{\sigma'}$, 그리고 $\sigma'$의 보통 (ordinary) locus 의 교집합이 공집합이 아님을 증명한다. 이는 $\sigma$에 대해서는 초특이적이지만 $\sigma'$에 대해서는 보통인 $\rho$의 존재를 보장한다.

4. 비허용성 논증: 그러한 $\rho$에 대해, $c\text{-}\mathrm{Ind}_{KZ}^G \sigma'$의 $\pi$ 내의 이미지는 주급 (principal series) 표현을 통해 인수분해된다. $\rho$의 대각 성분을 무한히 많은 비분기 가중치로 꼬임 (twisting) 을 주어, 저자들은 이미지의 몫으로서 무한히 많은 비동형 주급 표현들을 생성한다. 보조정리 2.11 에 따라, 무한히 많은 비동형 기약 몫을 허용하는 표현은 비허용성이다.

주요 기여 및 결과

• 정리 1.1 (정리 5.1): $K/\mathbb{Q}_p$가 차수 $f \ge 1$인 비분기 확장이라고 하자. 만약 $n \ge 3$이고 $\sigma$가 $p$-제한 최고 가중치가 "특별" $p$-제한 $p$-alcove 에 있는 충분히 깊은 (sufficiently deep) Serre 가중치라면, 보편적 초특이 표현 $SS(\sigma)$는 비허용성이며 무한한 길이를 가진다.
• 일반화: 이 결과는 $n=2$이고 $K \neq \mathbb{Q}_p$인 경우의 알려진 비허용성을 더 높은 랭크 ($n \ge 3$) 로 일반화한다.
• 기하학적 통찰: 본 논문은 특별 가중치에 대해 Emerton–Gee 스택의 기약 성분 $C_\sigma$ 내의 초특이 locus 의 코차원이 1 임을 확립한다 (계 3.28). 이는 초특이 locus 가 더 자명한 최저 alcove 경우와 대조된다.
• 방법론적 전환: 본 논문은 갈루아 표현이 $p$-adic 군의 mod $p$ 표현론을 이끌 수 있음을 보여주며, 특히 보편적 표현의 구조를 통제하기 위해 Emerton–Gee 스택의 기하학을 사용한다.

의의 및 한계
저자들은 그들의 방법이 현재 $n \ge 3$에 대해 사용 불가능한 다이어그램 이론의 한계를 넘어 $p$-adic 군의 mod $p$ 표현을 연구하는 새로운 경로를 제공한다고 주장한다. 이 결과는 $n \ge 3$인 $\mathrm{GL}_n(K)$에서 관찰된 "놀라울 정도로 복잡한 양상"이 일반적인 조건 하에서 보편적 초특이 표현의 비허용성을 포함함을 확인시켜 준다.

논문은 명시적으로 다음과 같은 한계를 지적한다:

• 이 결과는 $\sigma$가 "충분히 깊어야" 하며, 그 최고 가중치가 "특별" $p$-alcove 에 있어야 한다. 그러한 alcove 의 비율은 $1 - (\frac{n-2}{n-1})^f$이다.
• $n \ge 3$에 대한 증명은 국소 차트의 교집합의 특정 기하학에 의존한다; 저자들은 비특별 가중치 (예: 기본 $p$-alcove 내) 의 경우 가중치 순환 논증에 필요한 교집합이 공집합일 수 있어 문제가 훨씬 더 어려워질 수 있음을 지적한다.
• 논증은 $n=2$이고 $f \ge 2$인 경우의 비허용성을 보이기 위해 적응될 수 있지만, 주요 초점은 이전 방법들이 실패했던 $n \ge 3$ 사례에 맞춰져 있다.

본 논문은 확립된 비허용성 결과와 Emerton–Gee 스택의 기하학적 성질의 범위를 넘어 새로운 실험적 응용이나 미래 가설을 제안하지는 않는다.