Emerton--Gee stacks, Serre weights, and Breuil--Mézard conjectures for $\mathrm{GSp}_4$

기술 요약: Emerton–Gee 스택, Serre 무게, 그리고 $GSp_4$에 대한 Breuil–Mézard 추측

1. 문제 제기 및 배경
본 논문은 mod $p$ 랭글랜즈 프로그램과 Serre 추측의 무게 부분을 일반 선형 군 $GL_n$에서 심플렉틱 유사 군(symplectic similitude group) $GSp_4$로 확장하는 문제를 다룬다. Emerton–Gee 스택(mod $p$ 랭글랜스 파라미터의 모듈라이 스택)과 잠재적 결정적(potentially crystalline) 변형 환(deformation rings)을 위한 로컬 모델의 이론은 $GL_n$에 대해서는 이미 확립되어 있으나(Le, Le Hung, Levin, Morra 등에 의해), $GSp_4$의 경우 중대한 구조적 난제를 제시한다. 구체적으로, $GSp_4$는 Klingen 파라볼릭 부분군 내에 비가환 유니포턴트 근(non-abelian unipotent radical)을 가지고 있어, 확장(extensions)의 가계(families)를 구축하고 변형 환을 분석하는 과정을 복잡하게 만든다. 주요 목표는 $GSp_4$를 위한 Emerton–Gee 스택을 구축하고, 잠재적 결정적 부분 스택(substacks)을 위한 로컬 모델 이론을 개발하며, 이러한 기하학적 도구들을 사용하여 $GSp_4$ 값을 갖는 전역 갈루아 표현에 대한 Breuil–Mézard 추측과 Serre 추측의 무게 부분을 증명하는 것이다.

2. 방법론
저자는 $p$-아데닉 호지 이론(p-adic Hodge theory), 대수 기하학, 그리고 전역 패칭(global patching) 논법을 결합하여 사용한다:

• 심플렉틱 Emerton–Gee 스택의 구축: 본 논문은 계수 4인 심플렉틱 사영 에탈 $(\phi, \Gamma)$-모듈의 모듈라이 스택 $X_{Sym, K}$를 정의한다. 이 스택은 연속 표현 $\rho: G_K \to GSp_4(A)$를 대수적으로 보간한다. 이 구축은 $GL_4 \times GL_1$에 대한 Emerton과 Gee의 결과를 심플렉틱 설정으로 일반화하는 것에 의존하며, 심플렉틱 모듈과 $GSp_4$ 값 표현 사이의 동치성을 활용한다.
• 로컬 모델 및 기하학: 잠재적 결정적 부분 스택의 기하학을 연구하기 위해, 저자는 $GL_n$을 위해 개발된 로컬 모델 이론을 적응시킨다. 이 모델들은 $Res_{K/\mathbb{Q}_p} GSp_4$와 연관된 Pappas–Zhu 로컬 모델 내의 닫힌 부분 다양체로서 구축된다. 핵심적인 단계는 이 로컬 모델들의 토러스 고정점(torus-fixed points)에서 **단일 분지 성질(unibranch property)**을 증명하는 것이다. 이는 혼합 특성(mixed characteristic)에서의 소박한(naive) 로컬 모델의 특수 층(special fiber)을 분석하고, 확장된 아핀 바일 군(extended affine Weyl group)과 관련된 조합론적 데이터를 통해 이를 세르 무게(Serre weights)와 일치시키는 과정을 포함한다.
• Inertial Local Langlands 대응: $GSp_4$를 위한 inertial local Langlands 대응을 구축하는 것이 핵심적인 기술적 요소이다. 저자는 타임(tame) inertial $L$-파라미터 $\tau$에 대해 타임 타입 $\sigma(\tau)$($GSp_4(k)$의 기약 표현)를 연관시킨다. 이는 Deligne–Lusztig 표현의 명시적 기술과 파라볼릭 유도(Siegel 및 Klingen 파라볼릭) 및 세타 대응(theta correspondences) 하에서의 거동을 활용한다.
• 전역 패칭 및 리프팅: 저자는 약한 패칭 함자(weak patching functors)를 구축하기 위해 패칭 논법(Taylor–Wiles 및 Calegari–Geraghty를 따름)을 활용한다. 중요한 요소 중 하나는 $G_K \to GSp_4(\mathbb{F})$로 가는 연속 표현의 결정적 리프트(crystalline lifts) 존재성을 증명하는 것이다. 이는 환원 가능 군(reductive groups)을 위한 Lin이 개발한 장애 이론(obstruction theory)에 의존하며, Klingen 파라볼릭에서 발생하는 비가환 코호몰로지 문제를 처리한다.

3. 주요 기여 및 결과

• $X_{Sym, K}$의 기하학적 성질:

  • 스택 $X_{Sym, K}$는 노테리안 형식 대수적 스택(Noetherian formal algebraic stack)임이 증명되었다.
  • Hodge 타입 $\lambda$와 inertial 타입 $\tau$를 갖는 잠재적 결정적 표현을 매개하는 닫힌 부분 스택 $X^{\lambda, \tau}_{Sym, K}$가 구축되었으며, 이들은 $\mathcal{O}$ 위에서 평평한(flat) $p$-아데닉 형식 대수적 스택임이 밝혀졌다.
  • 기저가 되는 축소된(reduced) 부분 스택 $X_{Sym, K, red}$는 $4[K:\mathbb{Q}_p]$ 차원의 등차원(equidimensional)이며, 그 기약 성분들은 세르 무게에 의해 자연스럽게 라벨링된다.

• 로컬 모델 이론 및 단일 분지 성질:

  • 정규 Hodge 타입 $\lambda$와 충분히 일반적인 tame inertial 타입 $\tau$에 대하여, 로컬 모델 $M(\lambda, \nabla^a_\tau)$는 임의의 토러스 고정점에서 **단일 분지(unibranch)**임이 증명되었다.
  • 따르는 정리(Corollary): 이 기하학적 결과는 tame $\rho$에 대하여 잠재적 결정적 변형 환 $R^{\lambda, \tau}_\rho$가 (0이 아니라면) 정역(domain)임을 함의한다. 이는 패칭 논법을 위한 핵심적인 결과로, 패칭된 모듈의 지지집합(support)이 변형 환의 전체 스펙트럼임을 보장한다.

• $GSp_4$를 위한 Inertial Local Langlands:

  • 정리 2.4.1은 만약 smooth representation $\pi$ of $GSp_4(K)$가 특정 tame type $\sigma(\tau)$를 포함한다면, $L$-파라미터의 inertia로의 제한이 $\tau$와 동형임을 확립한다. 이 결과는 로컬 변형 환을 전역 오토모픽 형식과 연결하는 데 필수적이다.

• 추측들에 대한 적용:

  • Breuil–Mézard 추측: 기하학적 Breuil–Mézard 추측이 genericity 조건 하에서 tame하게 잠재적 결정적 변형 환에 대해 정식화되고 증명되었다. 특수 층에서의 세르 무게 $\sigma$의 다중도는 로컬 모델 기하학을 포함하는 cycle intersection number로 표현된다.
  • Serre 추측의 무게 부분: Taylor–Wiles 조건을 만족하고 $p$에서 tame genericity를 갖는 전역 갈루아 표현 $r: G_F \to GSp_4(\mathbb{F})$에 대하여, 모듈러 세르 무게 $W(r)$의 집합은 조합론적으로 정의된 집합 $W^?(\rho|_{I_F})$와 같음이 증명되었다.
  • Modularity Lifting: 정규 Hodge 타입과 충분히 일반적인 inertial type을 갖는 tame하게 잠재적 결정적 표현에 대한 modularity lifting 정리가 증명되었다. 만약 표현 $r'$가 오토모픽이고 $r$과 modulo $p$에서 합동이라면, $r$ 또한 오토모픽이다.

4. 의의 및 주장
본 논문은 Emerton–Gee 스택과 로컬 모델의 기초적인 프레임워크를 $GL_n$에서 $GSp_4$로 일반화할 것을 주장하며, 이는 심플렉틱 군을 위한 mod $p$ 랭글랜스 프로그램을 진전시키기 위해 필요한 단계이다. 그 의의는 다음과 같다:

1. 비가환적 장애 극복: Klingen 파라볼릭의 비가환 유니포턴트 근을 성공적으로 다룸으로써 확장의 가계를 구축하고 결정적 리프트의 존재성을 증명하였는데, 이는 이전에 $GSp_4$에 대해 미해결이었던 난제였다.
2. 기하학적 엄밀성: $GSp_4$를 위한 로컬 모델의 단일 분지 성질을 확립하였으며, 이는 변형 환이 정역임을 도출하는 데 필요한 비자명한 기하학적 성질이다. 이를 통해 기존에 $GL_n$에 국한되었던 패칭 기법을 적용할 수 있게 하였다.
3. 추측의 검증: genericity 가정을 바탕으로 $GSp_4$에 대한 Breuil–Mézard 추측과 Serre 추측의 무게 부분을 최초로 증명함으로써, 이 깊은 수론적 결과들의 범위를 일반 선형 군 너머로 확장하였다.

이 연구는 기하학적 및 조합론적 논증이 성립하기 위해 명시적으로 필요하다고 언급된, $p$에 대한 inertial type 및 Hodge weight의 "genericity"에 크게 의존한다. 결과들은 특정 전역 오토모픽 리프트의 존재성과 Taylor–Wiles 조건의 타당성에 조건부로 제시되며, 이는 현재의 modularity lifting 분야의 최신 상태와 일치한다.