Pro-$p$ Iwahori-Hecke modules in semisimple rank one and singularity categories

이 논문은 비아르키메데스 국소체 위의 $\mathrm{GL}_2, \mathrm{SL}_2, \mathrm{PGL}_2$ 군에 대한 프로-$p$ 이와호리-헤케 대수 모듈의 호모토피 범주가 명시적 스킴의 특이점 범주와 동치임을 증명하고, 이를 통해 Grosse-Klönne의 mod-$p$ 랭글랜즈 대응을 복원하며 $\mathrm{SL}_2$ 및 $\mathrm{PGL}_2$ 경우에 대해 완전한 명시적 기술을 제시합니다.

핵심

1. 이야기의 배경: 두 개의 다른 세계

이 논문의 주인공은 두 가지 서로 다른 세계입니다.

• 세계 A (대수학의 세계): 여기에는 **'Hecke 대수 (Hecke Algebra)'**라는 복잡한 규칙을 가진 블록들이 있습니다. 이 블록들은 수학적 연산을 수행하는 도구인데, 특히 'p-진수 (p-adic numbers)'라는 특수한 숫자 체계에서 작동합니다. 이 블록들을 어떻게 쌓고 조합할지 연구하는 것이 이 세계의 일입니다.
• 세계 B (기하학의 세계): 여기에는 **'갈루아 표현 (Galois Representations)'**이라는 것이 있습니다. 이는 소수 (prime numbers) 와 기하학적 도형 사이의 깊은 관계를 나타내는 '지도' 같은 것입니다. 수학자들은 이 지도를 통해 소수의 비밀을 해독하려 합니다.

핵심 질문: "이 두 가지 완전히 다른 세계 (A 와 B) 사이에 어떤 연결고리가 있을까?"

2. 문제: 너무 복잡해서 그림을 그릴 수 없다

수학자들은 오랫동안 이 두 세계가 서로 연결되어 있다는 것을 알고 있었습니다 (이를 'Langlands 대응'이라고 부릅니다). 하지만 문제는 A 세계의 블록들이 너무 복잡하고 꼬여 있어서, 이를 B 세계의 단순한 도형으로 직접 그리기가 매우 어렵다는 점입니다.

특히, 이 논문이 다루는 GL2, SL2, PGL2라는 세 가지 그룹은 수학적으로 '1 차원'에 가까운 간단한 구조를 가지고 있지만, 여전히 그 안에는 풀기 어려운 '매듭 (singularities)'들이 숨어 있었습니다.

3. 해결책: '특이점 카테고리 (Singularity Category)'라는 안경

저자는 이 문제를 해결하기 위해 **'특이점 카테고리 (Singularity Category)'**라는 특별한 안경을 썼습니다.

• 비유: imagine you have a tangled ball of yarn (a complex algebraic structure). Trying to untangle it directly is impossible. But if you look at it through a special pair of glasses that only highlights the knots and ignores the loose threads, the structure becomes clear.
• 설명: 이 안경은 수학적 구조에서 '유한한 복잡도'를 가진 부분은 무시하고, 오직 **영원히 풀리지 않는 매듭 (무한한 복잡도)**만 집중해서 봅니다. 이렇게 하면 복잡한 수식들이 사라지고, 그 뒤에 숨겨진 **기하학적 도형 (Scheme)**이 드러납니다.

4. 주요 발견: 블록을 도형으로 바꾸는 마법

저자는 이 안경을 쓰고 보니 놀라운 일이 일어났습니다.

1. GL2 (가장 일반적인 경우):

   • 복잡한 Hecke 블록들의 세계가, **연결된 구슬 (Projective Lines)**로 이루어진 기하학적 도형과 정확히 일치한다는 것을 발견했습니다.
   • 마치 복잡한 레고 블록 세트를 해체해보니, 그 아래에 구슬로 만든 목걸이가 숨어 있었던 것과 같습니다.
   • 이 도형의 '구멍'이나 '매듭' 부분 (특이점) 을 보면, 소수 (Galois representation) 와 관련된 중요한 정보가 그대로 나타납니다.

2. PGL2 (약간 다른 경우):

   • 이 경우에도 도형으로 변환할 수 있었지만, GL2 보다 조금 더 단순한 구조를 가졌습니다.

3. SL2 (가장 까다로운 경우):

   • 이 경우는 조금 다릅니다. 블록들의 세계가 도형으로 변환될 때, 도형의 끝부분에 새로운 구슬 하나가 더 붙는 현상이 일어났습니다.
   • 기존에 알려진 도형 (Ardakov-Schneider 가 만든 도형) 에는 이 끝부분이 빠져 있었는데, 저자는 "아, 이 끝부분이 바로 매듭을 풀 수 있는 열쇠였다!"라고 발견했습니다. 이 끝부분을 포함해야만 모든 수학적 블록이 완벽하게 도형으로 설명됩니다.

5. 결과: 'Langlands 대응'의 재발견

이 연구를 통해 저자는 다음과 같은 놀라운 결론을 얻었습니다.

• 일대일 대응: 복잡한 수학적 블록 (Supersingular Modules) 과 기하학적 도형 위의 점 (Galois Representations) 이 완벽하게 짝을 이룬다는 것을 증명했습니다.
• 기존 이론의 확장: 과거 Große-Klönne 라는 수학자가 발견한 규칙을, 저자는 이 '도형'을 통해 더 넓고 깊은 차원에서 재해석했습니다. 마치 지도를 2 차원에서 3 차원으로 입체화한 것과 같습니다.
• SL2 의 비밀: SL2 그룹의 경우, 기존에는 설명되지 않았던 '부호 (Sign)'라는 요소가 도형의 끝부분에 숨어 있었다는 것을 밝혀냈습니다.

6. 요약: 이 논문이 왜 중요한가?

이 논문은 수학의 두 거대한 분야 (대수학과 기하학) 를 연결하는 새로운 지도를 그렸습니다.

• 비유하자면: 수학자들은 오랫동안 "이 복잡한 기계 (Hecke Algebra) 가 어떻게 작동하는지"를 연구해 왔습니다. 하지만 저자는 "이 기계의 내부 구조를 보면, 사실은 **아름다운 조각상 (Geometric Scheme)**이 숨어 있었다!"라고 외친 것입니다.
• 의미: 이제 수학자들은 복잡한 수식 대신 도형을 연구함으로써, 소수와 관련된 깊은 비밀 (Langlands Program) 을 더 쉽게 풀 수 있게 되었습니다. 특히 SL2 라는 까다로운 그룹에서도 이 방법이 통한다는 것을 보여줌으로써, 수학의 지평을 넓혔습니다.

한 줄 요약:

"복잡하게 꼬인 수학적 블록들을 '특이점 카테고리'라는 안경으로 보니, 그 안에 숨겨진 아름다운 기하학적 도형이 나타났고, 이를 통해 소수의 비밀을 푸는 새로운 지도를 완성했다."

기술 요약

이 논문은 비아르키메데스 국소체 $F$ (잔여 표수 $p$) 위의 $GL_2(F)$, $SL_2(F)$, $PGL_2(F)$ 군에 대한 프로-$p$ 이와호리-헤케 대수 (pro-p Iwahori-Hecke algebra) $H_G$ 의 모듈 범주에서 유도된 호모토피 범주 (homotopy category) $Ho(H_G)$ 를 연구하고, 이를 갈루아 표현을 매개변수화하는 특이성 범주 (singularity category) 와 연결하는 것을 목표로 합니다. 저자 Nicolas Dupré 는 $G$ 의 반단순 랭크 (semisimple rank) 가 1 인 경우, 이 호모토피 범주를 명시적으로 기술하고 mod-$p$ Langlands 대응과의 관계를 규명합니다.

다음은 논문의 기술적 요약입니다.

---

1. 연구 문제 및 배경 (Problem & Background)

• 배경: mod-$p$ Langlands 프로그램에서 $H_G$ (프로-$p$ 이와호리-헤케 대수) 의 단순 초특이 (simple supersingular) 모듈과 갈루아 군의 표현 사이의 대응은 Große-Klönne 등에 의해 연구되었습니다. 특히 $G=GL_2$ 인 경우, Dotto-Emerton-Gee 와 Pépin-Schmidt 는 갈루아 표현을 매개변수화하는 기하학적 스킴 $X_{q,G}$ 를 구성했습니다.
• 문제점: $H_G$ 는 일반적으로 Gorenstein 환이며, 이에 따라 모듈 범주 $Mod(H_G)$ 에 Hovey 의 Gorenstein projective 모델 구조가 존재합니다. 이 구조에 대한 호모토피 범주 $Ho(H_G)$ 는 유한 사영 차원을 갖는 모듈들을 자명화 (trivialise) 한 국소화입니다. 기존 연구에서는 $Ho(H_G)$ 가 단순 초특이 모듈들을 어떻게 다루는지 일부 알려져 있었으나, $G=SL_2$ 나 $PGL_2$ 에 대한 완전한 기술이나, 이를 갈루아 표현의 기하학적 객체 (특이성 범주) 와 어떻게 연결할지에 대한 체계적인 이해는 부족했습니다.
• 목표: $G=GL_2, SL_2, PGL_2$ 에 대해 $Ho(H_G)$ 를 명시적으로 기술하고, 이를 갈루아 표현을 매개변수화하는 스킴 $X_{q,G}$ 의 특이성 범주 (Singularity Category, $Sing(X_{q,G})$) 와 동치 (equivalence) 또는 강한 관련성을 갖는지를 규명하는 것입니다.

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구와 전략을 사용합니다:

1. Gorenstein 모델 구조와 호모토피 범주: Hovey 의 Gorenstein projective/injective 모델 구조를 사용하여 $Mod(H_G)$ 에서 $Ho(H_G)$ 를 정의합니다.
2. Bruhat-Tits 건물 (Building) 과 Ollivier-Schneider 분해: $H_G$ 모듈에 대한 Ollivier-Schneider 분해 (resolution) 를 활용하여 $Ho(H_G)$ 를 더 작은 유한 헤케 대수 (finite Hecke algebras) $H_{x_0}$ (최대 콤팩트 부분군에 대응) 의 호모토피 범주로 축소합니다.
3. 블록 분해 (Block Decomposition): 헤케 대수의 중심 $Z(H_G)$ 와 관련된 멱등원 (idempotents) 을 사용하여 대수를 블록으로 분해하고, 각 블록별 호모토피 범주를 분석합니다.
4. 구체적 대수 구조 분석:
   • $G=GL_2, PGL_2$ 의 경우, 헤케 대수의 블록이 중심 위의 행렬 대수 (matrix algebras) 로 표현됨을 보입니다.
   • $G=SL_2$ 의 경우, 중심이 블록 전체를 포착하지 못하므로, 더 큰 중심 부분 대수 $\tilde{Z}$ 를 도입하여 분석합니다.
5. 특이성 범주 (Singularity Category) 와의 연결: Krause 와 Orlov 의 정의를 바탕으로, $Ho(H_G)$ 와 기하학적 스킴 $X_{q,G}$ 의 $Sing(X_{q,G})$ 사이의 Quillen 동치 (Quillen equivalence) 를 구성합니다.
6. DG 대수 (DGA) 와 생성자: $G=GL_2$ 인 경우, $Ho(H_G)$ 가 명시적인 DG 대수 (Differential Graded Algebra) 의 유도 범주 (derived category) 와 동치임을 보이기 위해 생성자 (generator) 를 구성합니다.

3. 주요 결과 (Key Results)

A. 호모토피 범주의 명시적 기술 (Theorem A)

$G$ 가 반단순 랭크 1 일 때, $Ho(H_G)$ 는 다음과 같이 분해됩니다:

• $G=SL_2$ ($p>2$):
  $$Ho(H_{SL_2}) \simeq C \times \prod_{\gamma \in \text{regular}} (Mod(k^2) \times Mod(k^2))$$
  여기서 $C = Mod(k) \times Mod(k)$ 이며, 이는 '부호 (sign)' 캐릭터 $\sigma$ 에 해당하는 추가 성분을 나타냅니다. $p=2$ 일 때는 $C=0$ 입니다.
• $G=PGL_2$ ($p>2$):
  $$Ho(H_{PGL_2}) \simeq \prod_{\gamma \in \text{regular}} Mod(k^2)$$
• 의미: 각 정규 (regular) Weyl 군 궤도 $\gamma$ 에 대해, 호모토피 범주는 두 개의 단순 모듈로 구성된 $k^2$ 의 모듈 범주의 곱과 동치입니다. 이는 $Ho(H_G)$ 가 매우 단순한 삼각형 범주 (triangulated category) 구조를 가짐을 의미합니다.

B. 갈루아 표현과의 연결 및 특이성 범주 (Theorem B)

저자는 $Ho(H_G)$ 와 갈루아 표현을 매개변수화하는 스킴 $X_{q,G}$ 의 특이성 범주 $Sing(X_{q,G})$ 사이의 관계를 규명합니다.

• $G=GL_2, PGL_2$:
  $$Ho(H_G) \simeq Sing(X_{q,G})$$
  이는 동치 (equivalence) 입니다. 특히 $G=GL_2$ 인 경우, Dotto-Emerton-Gee 와 Pépin-Schmidt 가 구성한 스킴 $X_{q,GL_2}$ (연결 성분이 사영 직선들의 사슬로 이루어진 스킴) 와 정확히 일치합니다.
• $G=SL_2$:
  $H_{SL_2}$ 의 중심은 $SL_2$ 의 모든 특이점을 포착하지 못하므로, 저자는 $H_{GL_2, aff}$ 의 특정 중심 부분 대수 $\tilde{Z}$ 를 사용하여 스킴 $X_{q,SL_2}$ 를 구성합니다.
  $$Ho(H_{SL_2}) \to Sing(X_{q,SL_2})$$
  이 사상 (functor) 은 동치가 아닙니다. 이는 $SL_2$ 의 경우 mod-$p$ Langlands 대응이 전단사 (bijection) 가 아닌 것과 유사합니다.
• 단순 초특이 모듈과 특이점의 대응:
  • $G=GL_2, PGL_2$: 무한 사영 차원을 갖는 단순 초특이 모듈의 동치류와 $X_{q,G}$ 의 특이 $F_p$-점 (singular points) 사이에 전단사가 성립하며, 이는 Große-Klönne 의 대응과 일치합니다.
  • $G=SL_2$: 대응은 전사 (surjective) 이지만 단사는 아닙니다. 피버 (fiber) 는 [22] 에서 정의된 L-패킷 (L-packets) 과 일치합니다. 즉, 여러 개의 초특이 모듈이 하나의 기하학적 점 (특이점) 에 대응됩니다.

C. 추가 계산 및 DGA 기술 (Section 5)

• $G=GL_2$ 의 경우: $Ho(H_{GL_2})$ 가 명시적인 DG 대수 $\tilde{A}$ 의 유도 범주 $D(\tilde{A})$ 와 동치임을 보입니다. 여기서 $\tilde{A}$ 는 '구면 모듈 (spherical module)'과 관련된 생성자로부터 유도됩니다.
• 엔드모피즘 링: $Ho(H_{GL_2})$ 내의 단순 초특이 모듈 $M_{\gamma, \lambda}$ 의 엔드모피즘 링은 유한 헤케 대수 $H_{x_0}$ 의 정규 성분과 동형임을 증명합니다.

4. 의의 및 기여 (Significance & Contributions)

1. 기하학적 Langlands 프로그램의 확장: mod-$p$ Langlands 프로그램에서 헤케 대수 모듈의 호모토피 범주가 갈루아 표현의 기하학적 객체 (특이성 범주) 와 직접적으로 연결됨을 보였습니다. 이는 기존에 대수적/표현론적 방법으로만 접근하던 문제들을 기하학적 관점에서 재해석할 수 있는 토대를 마련했습니다.
2. $SL_2$ 의 새로운 통찰: $SL_2$ 의 경우 $H_{SL_2}$ 의 중심만으로는 호모토피 범주를 완전히 기술할 수 없음을 보였습니다. 이를 위해 더 큰 대수 $\tilde{Z}$ 와 새로운 스킴 $X_{q,SL_2}$ 를 구성하여, $SL_2$ 의 L-패킷 현상이 기하학적으로 어떻게 나타나는지 (스킴의 끝점에 추가적인 $P^1$ 을 붙이는 것) 설명했습니다.
3. Große-Klönne 대응의 기하학적 재구성: $G=GL_2$ 인 경우, 기존에 알려진 Große-Klönne 의 대응을 기하학적 동치 (equivalence of singularity categories) 를 통해 자연스럽게 유도하고 재구성했습니다.
4. 구체적 계산: $Ho(H_G)$ 를 $Mod(k^2)$ 와 같은 매우 구체적인 범주로 기술함으로써, 추상적인 호모토피 범주 이론을 명시적인 대수적 구조로 환원시켰습니다. 이는 향후 고차원 (higher rank) 군에 대한 연구에 중요한 실마리를 제공합니다.

5. 결론

이 논문은 반단순 랭크 1 인 군에 대한 프로-$p$ 이와호리-헤케 대수의 호모토피 범주를 완전히 분류하고, 이를 갈루아 표현의 기하학적 스킴의 특이성 범주와 연결하는 획기적인 결과를 제시했습니다. 특히 $SL_2$ 의 경우 기존 이론의 한계를 지적하고 새로운 기하학적 모델을 제시함으로써, mod-$p$ Langlands 프로그램의 미해결 문제들을 해결하는 데 중요한 진전을 이루었습니다.