On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

기술적 요약: 아벨형의 호지-뉴턴 가환성(local Shimura data)에 대한 해리스-비만(Harris–Viehmann) 추측에 관하여

문제 제기
본 논문은 비기본(non-basic) 국소 심우라 데이터에 연관된 국소 심우라 다양체의 $\ell$-adic 코호몰로지와 관련된 해리스-비만 추측의 특정 사례를 다룬다. 이 추측은 이러한 코호몰로지 군에 대한 파라볼릭 유도 공식을 제시한다. 구체적으로, 파라볼릭 부분군 $P$와 레비 인자 $L$에 관해 호지-뉴턴 가환성(Hodge–Newton reducible)을 갖는 비기본 국소 심우라 데이터 $(G, [b], \{\mu\})$에 대해, 연관된 라포포르트-친크 (RZ) 공간 $RZ_G$의 코호몰로지는 레비 부분군에 연관된 RZ 공간 $RZ_L$의 코호몰로지에서 유도된다는 것을 주장한다. 이 추측의 중요한 귀결은 심우라 다양체의 코호몰로지에 나타나는 모든 초특수 표현 (supercuspidal representations) 이 기본 궤적 (basic locus) 을 따라 집중된다는 것이다. 이 추측은 PEL 형 데이터 (Mantovan), 호지 형 데이터 (Hong), 그리고 $GL_n$과 같은 특정 사례 (Hansen) 에 대해서는 입증되었으나, 호지-뉴턴 가환성 하의 아벨형 (abelian type) 비분지 국소 심우라 데이터에 대한 일반적인 증명은 여전히 열려 있었다.

방법론
저자들인 산드라 나이르 (Sandra Nair) 와 신위 주 (Xinyu Zhou) 는 신 (Shen) 의 아벨형 라포포르트-친크 공간 구성을 활용하여 해리스-비만 추측의 증명을 아벨형 설정으로 확장한다. 그들의 방법론은 다음과 같은 주요 단계들을 포함한다:

1. 호지 형으로의 축소: 저자들은 아벨형 데이터의 정의를 활용하는데, 이는 $G$의 접대 (adjoint) 국소 심우라 데이터와 보조 호지 형 데이터 $(H, [b_H], \{\mu_H\})$의 접대 국소 심우라 데이터 사이의 동형사상을 요구한다. 그들은 $(G, [b_G], \{\mu_G\})$가 호지-뉴턴 가환성을 갖는다면, 호지-뉴턴 가환성을 갖는 연관된 호지 형 데이터가 존재함을 입증한다 (Lemma 7.1).
2. 기하학적 대응: 핵심 전략은 아벨형 RZ 공간 $RZ_G$의 기하학을 호지 형 RZ 공간 $RZ_H$의 기하학과 관련시키는 것이다. 저자들은 아벨형과 호지형 모두에 대해 파라볼릭 $P$와 레비 $L$의 RZ 공간을 포함하는 대응 다이어그램을 구성한다.
3. 바일 강하 데이터 (Weil Descent Data): 중요한 기술적 요소는 아벨형 RZ 공간에 대한 웨일 강하 데이터의 엄밀한 구성이다. 저자들은 반사체 (reflex field) 의 유한 확대 $E_{opt}$에 상대적인 강하 데이터 $\Phi_{Shen}$을 정의하여, 호지 형에 대한 알려진 강하 데이터 (김 (Kim) 의 구성을 통해) 와 $p$-adic 국소 슈투카의 모듈라이 (파파스-라포포르트 (Pappas–Rapoport) 를 통해) 와의 호환성을 보장한다. 그들은 이러한 구성들이 일치함을 증명한다 (Theorem 6.3, Corollary 6.5).
4. 함자성과 몫 (Quotients): 저자들은 국소 심우라 데이터의 사상 하에서 RZ 공간의 함자성을 분석한다. 그들은 $Gad$를 통한 접대 몫을 경유하여 호지 형 데이터$H$에서 아벨형 데이터$G$로 넘어가는 과정을 신중하게 다룬다. 여기에는 기본군 ($\pi_1$) 에 대한 사상들의 핵을 관리하고, 특정 군 작용에 대한 형식 스킴$RZ_G$, $RZ_{Gad}$ 및 그들의 호지 대응물 사이의 동형사상을 확립하는 작업이 포함된다 (Lemma 5.1, Lemma 10.4).
5. 코호몰로지 비교: 아벨형과 호지형 공간의 "플러스" 성분 ($RZ^+$) 의 코호몰로지 사이의 동형사상을 확립하고, 호지형에 대한 알려진 결과 (특히 홍 (Hong) 과 만토반 (Mantovan) 의 작업) 를 활용함으로써, 저자들은 파라볼릭 유도 성질을 호지 설정에서 아벨 설정으로 이전한다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.1): 파라볼릭 $P$와 레비 $L$에 관해 호지-뉴턴 가환성을 갖는 아벨형의 비분지 국소 심우라 데이터 $(G, [b], \{\mu\})$와 $J_b(\mathbb{Q}_p)$의 임의의 허용 가능한 $\ell$-adic 표현 $\rho$에 대해, 다음 등식이 $G(\mathbb{Q}_p) \times W_{E_{opt}}$의 가상 표현으로서 성립함을 증명한다:
  $$H^\bullet(RZ^\infty_G)_\rho = \text{Ind}_{P(\mathbb{Q}_p)}^{G(\mathbb{Q}_p)} H^\bullet(RZ^\infty_L)_\rho$$
  여기서 $E_{opt}$는 Theorem 6.3 에서 구성된 반사체의 특정 유한 확대이다.
• 웨일 강하의 구성: 저자들은 보조 호지 데이터에 대한 의존성과 관련된 잠재적 모호성을 해결하는 아벨형 RZ 공간에 대한 웨일 강하 데이터의 완전하고 자기 완결적인 구성을 제공한다 (Lemma 6.4).
• RZ 공간의 함자성: 본 논문은 아벨형 RZ 공간의 형성이 국소 심우라 데이터의 곱과 닫힌 임베딩을 존중함을 확립하여 (Proposition 8.2), 호지 형에 대해 알려진 이전 결과들을 일반화한다.
• 접대 사례로 축소: 증명은 $\pi_1(H)^\Gamma \to \pi_1(H^{ad})^\Gamma$ 사상의 전사성 (이는 $GL_n$ 및 $GSp_{2n}$과 같은 유사군에 의해 만족되는 조건) 을 활용하여 아벨형 데이터에 대한 문제를 접대 사례로 효과적으로 축소한다.

의의
본 논문은 해리스-비만 추측의 유효성을 호지 형 데이터의 클래스를 엄격하게 포함하는 아벨형의 비분지 데이터와 같은 더 넓은 범위의 국소 심우라 데이터로 확장한다고 주장한다. 이 설정에서 파라볼릭 유도 공식을 확인함으로써, 이 작업은 심우라 다양체의 코호몰로지에 대한 구조적 이해를 강화한다. 서론에서 언급된 바와 같이, 이 결과는 랭글랜즈 프로그램 내에서 초특수 표현이 기본 궤적을 따라 집중된다는 더 넓은 기대를 지지한다. 저자들은 모든 국소 심우라 데이터 (예: 비가환성 또는 비비분지 사례) 에 대한 추측을 해결했다고 주장하지는 않지만, 만토반, 홍, 신의 기초 작업 위에 구축하여 아벨형에 대한 호지-뉴턴 가환성 사례를 구체적으로 대상으로 한다.