Finite length for unramified $\mathrm{GL}_2$: beyond multiplicity one, non-semisimple case

기술 요약: 비분기(unramified) $GL_2$에 대한 유한 길이: 다중도 1을 넘어, 비반단순(non-semisimple) 사례

문제 정의
본 논문은 $K$가 $\mathbb{Q}_p$의 유한 비분기 확장일 때, $GL_2(K)$의 매끄러운 mod $p$ 표현의 구조를 조사한다. 구체적으로, 전역 갈루아 표현 $r$과 관련된 시무라 곡선(Shimura curves)의 코호몰리로부터 발생하는 표현 $\pi(V^v)$에 초점을 맞춘다. 핵심적인 문제는 $r$에 대한 "생성성(genericity)" 가정이 있을 때, 이 표현들이 $GL_2(K)$-모듈로서 **유한 길이(finite length)**를 가짐을 입증하는 것이나, 결정적으로 "다중도 1(multiplicity one)" 성질을 가정하지 않고(즉, 다중도 $r \ge 1$을 허용하며), 또한 국소적 제한 $r|_{Gal(F_v/F_v)}$가 **반단단수(semisimple)**라고 가정하지 않고 수행된다는 점이다.

이전 연구들(Calegari, Emerton 및 기타 [10])은 다중도가 1인 "최소 사례(minimal case)"($r=1$)에서 유한 길이를 확립했다. 동반 논문 [2]는 더 높은 다중도($r \ge 1$)로 이러한 결과들을 확장했으나, 국소 갈루아 표현이 반단단수라는 가정을 유지했다. 본 논문은 더 어려운 사례인, 비반단수(non-semisimple) 국소 갈루아 표현과 임의의 다중도 $r \ge 1$의 경우를 다룬다.

방법론
저자들은 국소적 문제를 네 가지 특정 가설(섹션 2.3)을 만족하는 국소 표현의 연구로 환원하는 국소-전역 전략(local-global strategy)을 채택한다. 방법론은 다음 사이의 상호작용에 크게 의존한다:

1. 다이어그램 이론(Diagram Theory): 갈루아 표현 $\rho = r^\vee|_{Gal(K/K)}$와 연관된 다이어그램 $D(\rho)$를 활용한다. 본 논문은 특히 $K_1$- 및 $I_1$-불변량을 분석함으로써, $\pi$의 부분 표현의 구조를 이 다이어그램들을 통해 일반화한다.
2. $(\phi, \Gamma)$-모듈: 표현들에 순환적 $(\phi, \Gamma)$-모듈을 연관시키는 함자(functor) $D^\vee_\xi$를 사용한다. 이 모듈들의 계수(rank)는 핵심적인 수치적 불변량 역할을 한다.
3. 가환 대수학(Commutative Algebra): 완비 군 대수 $\Lambda = \mathbb{F}[[I_1/Z_1]]$ 상의 모듈로서 듀얼 표현 $\pi^\vee$의 구조를 분석한다. 저자들은 이 모듈들의 코헨-마코레이(Cohen-Macaulay) 성질과 그레이드(grade)를 조사한다.
4. [27]의 확장: 기술적 작업의 상당 부분은 Paškūnas [27]의 결과(그는 $r=1$인 경우를 다룸)를 $r \ge 1$인 경우로 확장하는 것을 포함한다. 이는 "혼합 항(mixed terms)"에 대한 세심한 관리가 필요하며, 벡터 공간 $V = \mathbb{F}^r$(다중도를 나타냄)를 포함하는 구성들이 다이어그램 구조와 호환되도록 보장하는 작업을 요구한다.

주요 기여 및 결과

1. 유한 길이 정리 (Theorem 1.1.1):
   주요 결과는 생성적 갈루아 표현 $r$(기본 문자의 지수에 대한 특정 경계 조건을 만족하는)에 대해, 표현 $\pi(V^v)$가 $GL_2(K)$-표현으로서 유한 길이를 가짐을 증명한다. 이는 다중도 $r$이나 prime-to-$v$ 레벨에 관계없이 성립한다.

2. 부표현의 구조 (Theorem 1.1.2):
   본 논문은 표현 $\pi$(및 그 부표현 $\pi(V^v, \sigma^v_p)$)의 정밀한 구조를 기술한다. $\pi$가 다음과 같은 완전열(exact sequence)에 포함됨을 보인다:
   $$0 \to V \otimes \pi_0 \to \pi \to \pi' \to 0$$
   여기서 $\pi_0$와 $\pi_f$는 주 시리즈(principal series) 표현이며, $\pi'$는 모든 조던-횔더(Jordan-Hölder) 구성 성분이 초특이(supersingular)인 부분 표현이다. $\pi'$의 길이는 $r \cdot (f-1)$에 의해 상계된다.

3. 코헨-마코레이 성질 (Theorem 1.1.3 & Proposition 4.1.9):
   저자들은 임의의 0이 아닌 부분 표현 $\pi_1 \subseteq \pi$에 대하여, 선형 듀얼 $\pi_1^\vee$가 그레이드가 $2f$인 코헨-마코레이 $\Lambda$-모듈임을 증명한다. 이는 반단수, 고다중도 설정으로 이전의 결과들을 일반화한 것이다.

4. $(\phi, \Gamma)$-모듈의 계수 공식 (Theorem 3.2.13 & Corollary 3.2.15):
   기술적으로 중요한 성취는 부표현 $\pi_1$과 연관된 $(\phi, \Gamma)$-모듈 $D^\vee_\xi(\pi_1)$의 계수를 계산하는 것이다. 계수는 다음과 같은 공식으로 주어진다:
   $$\text{rk}_A D_A(\pi_1) = \sum_{\ell=0}^f r(\pi_1, \ell) \binom{f}{\ell}$$
   여기서 $r(\pi_1, \ell)$은 $\pi_1$과 연관된 다이어그램의 여과(filtration)로부터 유도된 수치적 불변량이다. 이 공식은 [27, Theorem 9.2]를 $r \ge 1$로 일반화한다.

5. 부표현의 특징 (Theorem 4.2.1):
   본 논문은 부표현 $\pi_1 \subseteq \pi_0$의 포함 관계가 전적으로 $K_1$-불변량 수준에서(또는 동치로서, 벡터 부분 공간의 포함 $V(\pi_1, \ell) \subseteq V(\pi_0, \ell)$를 통해) 감지될 수 있음을 확립한다. 이를 통해 부표현 격자(lattice of subrepresentations)에 대한 조합론적 제어가 가능하다.

의의 및 주장
저자들은 본 연구가 [10]의 기초적 결과들을 이전에 도달할 수 없었던 "고다중도" 및 "비반단수" 영역으로 확장한다고 주장한다.

• 일반화: 결과들은 최소 사례($r=1$, 반단수)에서 일반적인 경우($r \ge 1$, 비반단수)로 유한 길이 성질과 듀얼의 코헨-마코레이성을 일반화한다.
• 기술적 장벽: 저자들은 비반단수 사례가 자연스러운 단사(injection) $\pi_1^{K_1}/\pi_0^{K_1} \to (\pi_1/\pi_0)^{K_1}$가 일반적으로 전사(surjective)가 아니라는 점과 같은 독특한 어려움을 도입한다고 명시적으로 언급한다. 저자들은 이러한 장애물을 극적으로 극복하기 위해 새로운 메커니즘(특히 $r \ge 1$에 적응된 "weight cycling" 논증과 [27]의 확장)을 개발하였다.
• 한계: 저자들은 "중간" 부분인 $\pi'$의 정밀한 구조에 대해 겸허한 태도를 취한다. 그들은 $\pi'$의 길이에 대한 상계($r(f-1)$)를 제공하고 그 구성 성분들이 초특기임을 증명하지만, 기약 구성 성분의 정확한 다중도(이상적으로는 $r$)를 밝히는 것은 "현재로서는 도달하기 어려워 보인다"고 기술한다. 마찬가지로, 계수 공식(3)이 부표현 $\pi_2$에 대해서도 성립할 것으로 기대하지만, 집필 당시에는 일반적인 비반단수 사례에 대한 증명이 부족하다.

요약하자면, 본 논문은 현재 접근 가능한 가장 일반적인 설정에서 $GL_2(K)$의 mod $p$ 표현의 유한 길이와 구조적 성질을 이해하기 위한 엄밀한 프레임워크를 제공하며, 최소 사례와 복잡한 비반단수 고다중도 시나리오 사이의 간극을 메운다.