A de Rham weight part of Serre's conjecture and generalized mod $p$ BGG decompositions

기술적 요약: Serre 추측의 de Rham 가중치 부분 및 일반화된 mod $p$ BGG 분해

문제 제기
본 논문은 Shimura variety에 대한 "Serre 추측의 가중치 부분(weight part)"을 다루며, 특히 étale 코호몰로지와 Serre 가중치를 사용하는 고전적 정식화와 동등한 de Rham 코호몰로지 관점에서의 정식화를 모색한다.

• 고전적 정식화: Shimura variety $Sh$와 Hecke 대수의 극대 이데알 $\mathfrak{m}$에 대하여, 모듈러 Serre 가중치 $W(\mathfrak{m})$의 집합은 $G(\mathbb{F}_p)$의 기약 $\mathbb{F}_p$-표현 $F(\lambda)$ 중 $H^\bullet_{\text{ét}}(Sh_{\overline{\mathbb{Q}}_p}, F(\lambda))_\mathfrak{m}$에 나타나는 것들로 구성된다.
• 공백(The Gap): Coherent cohomology(오토모픽 형식)는 가교 역할을 하지만, 준단순 랭크(semisimple rank)가 2 이상인 그룹(예: $GL_3, GSp_4$)의 경우, 기약 표현 $F(\lambda)$가 dual Weyl module $V(\lambda)_{\mathbb{F}_p}$의 제한(restriction)과 항상 동형인 것은 아니다. 따라서, $H^0(Sh^{\text{tor}}, \omega(\lambda+\eta))_\mathfrak{m}$의 degree 0 coherent cohomology의 비소멸성만으로는 어떤 Jordan-Hölder factor가 모듈러(modular)인지 구별하기에 불충분하다.
• 제안된 접근법: 저자는 기약 대수적 표현 $L(\lambda)$의 de Rham 코호몰로지 $H^\bullet_{\text{dR}}(Sh^{\text{tor}}, L(\lambda))_\mathfrak{m}$를 연구할 것을 제안한다. 핵심적인 추측은 de Rham 가중치의 집합 $W_{\text{dR}}(\mathfrak{m})$이 모듈러 Serre 가중치 $W(\mathfrak{m})$의 집합과 일치한다는 것이다.

방법론
본 논문은 de Rham 실현 함자(realization functor)와 표수 $p$에서의 명시적 표현론을 결에는 기하학적 접근법을 사용한다.

1. De Rham 실현 함자: 저자는 동행 논문 [Ort26]에서 구축된, parabolic Verma module을 vector bundle로 매핑하고 이들 사이의 사상을 미분 연산자(구체적으로 theta linkage maps)로 매핑하는 함자 $\Psi: D^b(\mathcal{O}_{P, \mathbb{F}_p}) \to D^b(C_{Sh/\mathbb{F}_p})$를 활용한다.
2. 일반화된 mod $p$ BGG 분해: 핵심적인 기술적 작업은 mod $p$ parabolic category $\mathcal{O}_{P, \mathbb{F}_p}$의 단순 모듈 $L(\lambda)$에 대한 명시적인 "일반화된 mod $p$ BGG resolution"을 구축하는 것이다.
   • Lowest alcove의 경우 BGG resolution이 Verma module의 직합인 것과 달리, 저자는 이러한 resolution의 **여과(filtration)**를 구축한다.
   • 이 여과의 graded piece들은 비자명한 사상들에 의해 연결된 Verma module(또는 irreducible $M$-representation)들의 복합체(complexes)이다.
   • 이 구축은 $GL_3$ 및 $GSp_4$의 $p$-restricted alcove, linkage order $\uparrow$, 그리고 $L(\lambda)$의 formal character에 의존한다.
3. 코호몰로지 분석: $\Psi$를 이 resolution들에 적용하여 $L(\lambda)$의 de Rham complex에 대한 여과를 얻는다. 저자는 다음을 사용하여 graded piece들의 코호몰로지를 분석한다:
   • 오토모픽 vector bundle의 higher coherent cohomology에 대한 소멸 결과([Yan25], [GK18a]).
   • theta linkage map의 단사성(injectivity) 성질([Ort26]).
   • Serre duality 및 flag Shimura variety의 Ekedahl-Oort stratification.
   • higher cohomology group을 분석하기 위한 "p-translating lowest alcove BGG complex"라는 새로운 기법.

주요 기여 및 결과

1. 동치성 및 집중성에 관한 추측

• 추측 1.1: $W_{\text{dR}}(\mathfrak{m}) = W(\mathfrak{m})$ (강한 형태)와, generic하지 않은 non-Eisenstein $\mathfrak{m}$에 대해 generic subset들이 일치한다는 것(약한 형태)을 제안한다.
• 추측 1.2: generic한 $\lambda$에 대하여, de Rham 코호몰로지 $H^\bullet_{\text{dR}}(Sh^{\text{tor}}, L(\lambda))_\mathfrak{m}$가 middle degree에 집중되어 있다고 제안한다. 저자는 étale cohomology가 middle degree에 집중되어 있다면(많은 경우 알려져 있음), 추측 1.2가 추측 1.1을 함의함을 증명한다.

2. $GL_3$에 대한 명시적 BGG 분해

• 정리 1.3 / 명제 3.7: $G_{\mathbb{Q}_p} = GL_3 \times \mathbb{G}_m$인 compact unitary Shimura variety에 대하여, 저자는 upper alcove에 있는 $\lambda_1$에 대한 $L(\lambda_1)$의 3-step filtration을 구축한다.
• Graded piece들은 다음을 포함한다:
  • 복합체 $[0 \to \text{Ver}_P W(\lambda_0) \xrightarrow{\phi} \text{Ver}_P W(\lambda_1)]$ (여기서 $\phi$는 비영(non-zero) 사상임).
  • $LM(\mu_1)$을 포함하는 항.
  • $\nu_0, \nu_1$을 포함하는 dual complex.
• 결과: 이는 upper alcove의 generic한 가중치들에 대해 de Rham 코호몰로지가 middle degree에 집중된다는 증명으로 이어진다(정리 4.4). 이는 모듈러 형식과 Serre 가중치 사이의 관계를 정교화하며, non-lowest-alcove 가중치들이 theta linkage map의 cokernel을 통해 탐지될 수 있음을 보여준다.

3. $GSp_4$에 대한 명시적 BGG 분해

• 명제 3.9 & 3.10: 저자는 Siegel threefold ($GSp_4$)의 $C_1$ 및 $C_2$ alcove에 있는 $L(\lambda)$에 대한 4-step filtration을 구축한다.
• 새로운 소멸 결과: $C_2$ alcove를 다루기 위해, 저자는 Ekedahl-Oort stratification과 weight elimination을 사용하여 non-dominant 가중치에 대한 degree 2에서의 coherent cohomology에 대한 새로운 소멸 결과를 증명한다(명제 4.10, 4.12).
• Higher Theta Map의 단사성: "$p$-translated lowest alcove BGG complex"와 Deligne-Illusie [DI87]의 결과를 사용하여, 특정 theta linkage map이 cohomological degree 1에서 단사임을 증명한다(명제 4.16). 이는 기존에는 도달할 수 없었던 영역이었다.

4. $GSp_4$에 대한 Generic Entailment

• 정리 1.6 / 정리 4.17: 본 논문은 [Ort24]의 "weak entailment"를 $GSp_4$에 대한 완전한 "generic entailment"로 업그레이드한다.
• 구체적으로, generic한 $\lambda_0 \in C_0$와 non-Eisenstein $\mathfrak{m}$에 대하여:
  $$F(\lambda_0) \in W(\mathfrak{m}) \implies F(\lambda_2) \in W(\mathfrak{m})$$
  여기서 $\lambda_2$는 $\lambda_0$의 특정 affine Weyl reflection이다.
• 이 결과는 Taylor-Wiles 방법을 사용하지 않고, 오로지 BGG 분해의 구조와 graded piece들의 코호몰로지적 성질로부터 유도된다.

의의 및 주장

• 코호몰로지의 가교: 본 논문은 de Rham 코호몰로지(coherent cohomology와 theta map을 통해 계산 가능)와 Serre 가중치의 모듈러성 사이의 구체적인 연결 고리를 확립한다. 이는 de Rham 프레임워크가 (고차 랭크에서 직접 합 분해가 결여되어 있기 때문에) étale 코호몰로지만으로는 포착할 수 없는 Serre 가중치에 대한 정보를 포착하며, degree 0 coherent cohomology보다 더 정교하다는 것을 보여준다.
• 명시적 계산: 상위 alcove(lowest alcove 너머)의 가중치들에 대한 BGG resolution의 명시적 구축은 주요한 기여이다. 이러한 resolution은 모듈러 성격을 결정하는 서로 다른 가중치들 사이의 비자명한 상호작용(theta linkage maps를 통한)을 드러낸다.
• 방법론적 발전: "$p$-translated BGG complex"의 도입과 higher cohomological degree에서의 theta map의 단사성 증명은 mod $p$ 오토모픽 형식을 연구하기 위한 새로운 도구를 제공한다.
• 겸허한 태도: 저자는 $GL_3$와 $GSp_4$의 특정 사례에 대해 de Rham 코호몰로지의 generic concentration이 증명되었으나, 현재의 방법으로는 모든 $GSp_4$ 가중치에 대해 이를 증명하는 것이 여전히 어렵다는 점을 언급한다. 또한, 본 논문은 강한 형태의 추측이 임의의 dominant 가중치에 대해서는 실패할 수 있음을 명시하며(예시 2.3), $p$-restricted 가중치 또는 국소 갈루아 표현에 대한 특정 genericity 조건이 있는 가중치로 그 범위를 제한한다.

요약하자면, 본 논문은 명시적인 mod $p$ BGG 분해를 활용하여 de Rham 버전의 Serre 추측을 정식화하고 부분적으로 증명하는 기하학적 및 표현론적 프레임워크를 제공하며, 이를 통해 고차 랭크 그룹의 모듈러 Serre 가중치를 밝혀낸다.