Exceptional supercuspidal representations in small residue characteristic

1. 연구 배경 및 문제 제기

• 배경: $p$가 충분히 큰 경우, Yu 의 구성 [Yu01] 은 모든 초특이 표현을 포괄하는 것으로 알려져 있습니다 (Fintzen [Fin21] 에 의해 $p$가 Weyl 군의 크기를 나누지 않을 때 성립). 그러나 $p=2$ 또는 $p=3$과 같이 잔류 특성이 작은 경우, Yu 의 구성이 모든 표현을 설명하지 못하며, 특히 예외군 (exceptional groups) 의 경우 새로운 구성이 필요합니다.
• 기존 연구: Reeder-Yu [RY14] 는 Moy-Prasad 필터링의 첫 번째 양의 인덱스 군 $G(k)_{x,+}$의 아벨화 (abelianisation) $G(k)_{x,+}/G(k)_{x,++}$ 위에서 정의된 '안정적인 (stable)' 선형 범함수를 사용하여 에피펠라직 표현을 구성했습니다. 이는 $p$가 클 때 유효하지만, 작은 $p$에서는 $G(k)_{x,+}$의 아벨화가 더 복잡해질 수 있어 기존 구성만으로는 부족합니다.
• 문제: 잔류 특성 $p=2, 3$에서 $G(k)_{x,+}$의 아벨화를 더 정밀하게 분석하고, 이를 통해 Reeder-Yu 의 구성을 넘어서는 새로운 초특이 표현을 구성할 수 있는가?

2. 방법론 (Methodology)

2.1. 아벨화 (Abelianisation) 의 정밀한 분석

• 핵심 도구: Moy-Prasad 필터링에서 $G(k)_{x,+}$의 아벨화 $V(x) = G(k)_{x,+}^{ab}$를 명시적으로 기술합니다.
• 차이점: $p>2$인 경우 아벨화는 $G(k)_{x,+}/G(k)_{x,++}$와 일치하지만, $p=2, 3$인 경우 $G(k)_{x,+}/G(k)_{x,1}$ (여기서 $1$은 다음 점프 지점) 까지 고려해야 하며, 이는$G(k){x,+}/G(k){x,++}$보다 더 큰 벡터 공간이 될 수 있습니다.
• 알고리즘: $x$가 건물의 면 (facet) 의 무게중심 (barycentre) 일 때, $G(k)_{x,+}/G(k)_{x,1}$의 아벨화 $V(x)$를 계산하는 알고리즘을 제시합니다. 이는 Chevalley 교환자 공식과 루트 시스템의 구조를 활용하여, $p=2, 3$에서 발생하는 추가적인 아벨 요소들을 식별합니다.
  • $V(x)$는 $\mathbb{F}_q$-벡터 공간 구조를 가지며, 그 기저는 아핀 루트들의 집합 $S(x)$에 의해 인덱싱됩니다.

2.2. $F_q$-안정성 ($F_q$-stability) 의 도입

• 기존 개념: Reeder-Yu 는 기하학적 불변량 이론 (GIT) 에 기반한 '안정성 (stability)'을 사용했습니다. 이는 모든 1-모수 부분군에 대해 힐베르트 - 무모드 (Hilbert-Mumford) 기준을 만족해야 함을 의미합니다.
• 새로운 개념: 저자는 $F_q$-안정성이라는 더 약한 조건을 정의합니다. 이는 $G_x$의 작용에 대해 $\mathbb{F}_q$ 위에서 정의된 모든 1-모수 부분군 ($\mathbb{G}_m \to G_x$) 에 대해서만 힐베르트 - 무모드 기준이 성립하면 충분하다는 조건입니다.
• 의미: $p$가 작을 때 (특히 $q=2$), GIT 안정성은 매우 드물지만, $F_q$-안정성은 더 많은 범함수 (functionals) 를 허용하여 새로운 표현을 생성할 수 있게 합니다.

2.3. 표현 구성

• $V(x)$ 위의 $F_q$-안정적인 범함수 $\lambda$를 선택하고, 이를 $G(k)_{x,+}$의 문자 (character) $\chi_\lambda$로 확장합니다.
• 이 문자를 컴팩트하게 유도 (compactly induced) 한 표현 $\pi_\lambda = \text{ind}_{G(k)_{x,+}}^{G(k)} \chi_\lambda$가 유한 개의 기약 초특이 표현의 직합으로 분해됨을 증명합니다.

3. 주요 결과 (Key Results)

3.1. 일반 정리 (Theorem 3.3.7)

• $V(x)$ 위의 임의의 $F_q$-안정적인 범함수 $\lambda$에 대해, 유도된 표현 $\pi_\lambda$는 $G(k)$의 기약 초특이 표현들의 유한 직합으로 분해됩니다. 이는 Reeder-Yu 의 정리를 $p=2, 3$의 고심도 경우로 확장한 것입니다.

3.2. 구체적인 예시 및 발견

1. $G=G_2$, $q=2$ (Section 4.1):

   • $x$를 아코브 (alcove) 의 무게중심으로 잡았을 때, 두 개의 새로운 기약 초특이 표현을 구성했습니다.
   • 이 표현들은 Reeder-Yu 의 다른 점 (building 내의 다른 점) 에서 얻은 에피펠라직 표현과 동형임이 확인되었습니다. 즉, 기존 구성과 겹치는 경우도 있음을 보였습니다.

2. $G=B_n$, $q=2$ (Section 4.2):

   • $n \ge 3$인 경우, 깊이 (depth) $1/2(n-1)$인 초특이 표현을 구성했습니다.
   • 핵심 발견: Reeder-Yu 의 구성으로 얻을 수 있는 표현들의 깊이는 $m/2n$ 형태 ($m|n$) 인 반면, 이 새로운 표현의 깊이는 $1/2(n-1)$로, $n \ge 3$일 때 Reeder-Yu 의 구성으로 얻을 수 없는 깊이입니다.
   • 이는 Reeder-Yu 의 구성에서 도출되지 않는 진정한 새로운 에피펠라직 표현의 존재를 입증합니다.

3. $G=G_2$, $p=3$ (Section 4.3):

   • 깊이 $1/2$인 에피펠라직 표현을 구성했습니다.
   • 형식적 차수 (Formal Degree) 를 통한 구별: Reeder-Yu 의 구성으로 얻은 표현들의 형식적 차수와 비교했을 때, 이 새로운 표현은 Reeder-Yu 의 구성에서 나올 수 없음을 증명했습니다.
   • 또한, 이 표현은 Langlands 매개변수 $\phi$에 대해 $SL_2$ 인자가 자명하고, 스완 컨덕터 (Swan conductor) 가 4 임을 추론했습니다.

4. 의의 및 기여 (Significance)

1. 작은 잔류 특성에서의 표현론 확장: $p=2, 3$과 같은 소수 특성에서 초특이 표현의 구성이 어떻게 달라지는지에 대한 체계적인 이해를 제공했습니다. 특히 $G(k)_{x,+}$의 아벨화 구조가 $p$에 따라 어떻게 변하는지를 명확히 했습니다.
2. 새로운 안정성 조건의 제안: 기하학적 불변량 이론의 강력한 '안정성' 조건을 완화한 '$F_q$-안정성'을 도입함으로써, 기존에 접근 불가능했던 표현 공간에 접근할 수 있는 새로운 통로를 열었습니다.
3. Yu 의 구성의 한계 극복: Reeder-Yu 의 구성이 모든 에피펠라직 표현을 포괄하지 않음을 구체적인 예시 ($B_n$과 $G_2$의 $p=3$ 경우) 를 통해 증명했습니다. 이는 소수 특성에서의 표현론이 Yu 의 구성보다 더 풍부할 수 있음을 시사합니다.
4. Langlands 대응에 대한 통찰: 구성된 표현들의 형식적 차수와 Langlands 매개변수 간의 관계를 분석하여, 향후 Langlands 프로그램의 소수 특성 버전 연구에 기여할 수 있는 기초 데이터를 제공했습니다.

결론

이 논문은 소수 잔류 특성 ($p=2, 3$) 에서 Reeder-Yu 의 에피펠라직 표현 구성을 $G(k)_{x,+}$의 더 정교한 아벨화 구조를 통해 확장하고, 이를 통해 기존 구성으로는 얻을 수 없는 새로운 초특이 표현들을 발견했습니다. 특히 $F_q$-안정성이라는 새로운 개념을 도입하여, 소수 특성에서의 표현론적 구조가 기존 이론보다 더 복잡하고 다양함을 보여주었습니다.