Arithmetic level raising for certain quaternionic unitary Shimura variety

제목: 특정 사분수단위 쉐마 다양체 위의 산술적 레벨 상승
저자: Haining Wang

1. 문제 제기 및 배경

본 논문은 분기된 경우 (ramified case) 에서 4 차 대칭군 $GSp_4$에 대한 **산술적 레벨 상승 정리 (arithmetic level raising theorem)**를 확립하는 문제를 다룬다. 이 연구는 직교군과 관련된 랭킨 - 셀버그 모티브에 대한 베일린슨 - 블로흐 - 카토 (BBK) 추측의 더 넓은 틀, 특히 간 - 그로스 - 프라다 (GGP) 추측의 맥락에서 위치한다.

레벨 상승 정리는 $GL_2$에 대해서는 리벳 (Ribet) 의 작업을 통해 잘 이해되어 왔으며, 특정 단위 쉐마 다양체 (예: 류, 테일러 등) 로 확장되어 왔으나, $GSp_4$와 같은 고차 군으로 이러한 결과를 확장하는 것은 기하학적 및 표현론적 도전을 수반한다. 구체적으로, 저자는 $GSp_4(\mathbb{A}_\mathbb{Q})$의尖 (cuspidal) 자동형 표현 $\pi$가 소수 $p$에서 특정 합동 조건 (레벨 상승 조건) 을 만족할 때, 동일한 잔류 갈루아 표현을 공유하는 더 높은 레벨 ( $p$에서 분기된) 의 새로운 자동형 표현 $\Pi$를 구성할 수 있음을 증명하는 것을 목표로 한다.

2. 방법론

증명은 산술 기하학, 쉐마 다양체 이론, 그리고 자케 - 랭랜즈 대응의 조합에 의존한다. 핵심 방법론은 다음과 같다:

• 기하학적 설정: 저자는 $p$와 다른 소수 $q$에서 분기된 부정적 사분수 대수 $B$에 연관된 3 차원 사분수단위 쉐마 다양체 $Sh(B, K_{Pa})$를 활용한다. 이 다양체의 정수 모델 $X_{Pa}(B)$는 특수 섬유에서 고립된 일반 2 차 특이점을 갖는다.
• 초특이점 궤적 분석: 중요한 단계는 특수 섬유의 **초특이점 궤적 (supersingular locus)**에 대한 상세한 기술이다. 저자는 라포포르 - 진크 (Rapoport–Zink) 균일화 정리를 사용하여 이 궤적을 라포포르 - 진크 공간과 연관시킨다. 이 궤적의 구조는 브루하 - 티츠 (Bruhat–Tits) 층화를 사용하여 분석되며, 그 기약 성분들은 쉐마 집합 (결정적 사분수단위 군) 에 의해 매개변수화되고 델리뉴 - 루스치트 (Deligne–Lusztig) 다양체와 동형임을 보인다.
• 모노드로미와 코호몰로지: 증명은 특수 섬유의 코호몰로지에 대한 모노드로미 작용을 계산하기 위해 피카르 - 레프셰츠 (Picard–Lefschetz) 공식을 중점적으로 활용한다. 저자는 이 공식을 정제하여 모노드로미 필터의 등급 조각을 특정 교차 코호몰로지 군과 동일시한다. 이를 통해 근접 주기 코호몰로지에 대한 모노드로미 연산자 $N$의 작용을 계산할 수 있다.
• 레벨 상승 행렬: 저자는 레벨 상승 행렬 ($T_{lr}$) 과 초특이점 행렬 ($T_{ss}$) 을 구성한다. 이러한 행렬들은 쉐마 다양체의 코호몰로지를 쉐마 집합 (초특이점 궤적에 해당) 의 코호몰로지와 연결한다. 이러한 행렬의 성분은 특이 섬유에서의 헤케 연산자와 교차 수를 사용하여 계산된다.
• 갈루아 변형 이론: 토포스 문제를 처리하고 자유성 결과를 확립하기 위해, 논문은 테일러 - 윌스 (Taylor–Wiles) 의 작업과 LTXZZ 의 최근 진전을 따르는 갈루아 변형 링 기법을 활용한다. 이는 관련 코호몰로지 군이 보편적 변형 링 위에서 자유임을 증명하는 데 사용되며, 이는 레벨 상승 형태의 존재성을 추론하는 데 필수적이다.

3. 주요 기여 및 결과

A. $GSp_4$에 대한 산술적 레벨 상승 정리 (정리 1.4 및 9.4)
주요 결과는 쉐마 다양체의 근접 주기에 대한 갈루아 코호몰로지의 특이 몫과 쉐마 집합 ( "오래된" 형태) 의 코호몰로지 사이의 동형사상을 확립한다:
$$H^1_{sing}(\mathbb{Q}_{p^2}, H^3_c(Sh(B, K_{Pa}), \mathcal{O}_\lambda/\lambda^m(2))_{\mathfrak{m}}) \xrightarrow{\sim} \mathcal{O}_\lambda/\lambda^m[Sh(B, K_H)]_{\mathfrak{m}}$$
여기서 $\mathfrak{m}$은 잔류 갈루아 표현 $\rho_{\pi, \lambda}$에 대응하는 극대 아이디얼이다. 이 동형사상은 나쁜 감소를 갖는 쉐마 다양체에 대한 이하라 (Ihara) 보조정리의 유사체로 작용한다.

B. 자동형 표현에 대한 레벨 상승 (정리 1.6 및 9.11)
직접적인 적용으로서, 논문은 $p$에서 레벨 상승 조건을 만족하는 "일반적 유형" (비엔도스픽, 비-CAP) 의 $GSp_4(\mathbb{A})$에 대한尖 자동형 표현 $\pi$가 존재할 때, 다음을 만족하는 새로운 자동형 표현 $\Pi$가 존재함을 증명한다:

1. $\Pi$ 또한 일반적 유형이다.
2. 국소 성분 $\Pi_p$는 유형 IIa (분기된 표현) 이다.
3. 잔류 갈루아 표현은 동형이다: $\rho_{\pi, \lambda} \cong \rho_{\Pi, \lambda}$.

C. 초특이점 궤적에 대한 기하학적 결과

• 저자는 일반적 극대 아이디얼에서 국소화한 특수 섬유의 교차 코호몰로지가 초특이점 궤적에서 유래한 테이트 순환에 의해 생성됨을 증명한다 (정리 1.5).
• 논문은 쉐마 다양체의 특정 내부 코호몰로지 군에 대한 가중치 - 모노드로미 추측을 확립한다 (계 5.19).
• 일반적 극대 아이디얼에서 국소화한 후 특수 섬유의 코호몰로지가 **토포스-프리 (torsion-free)**임을 보인다 (계 9.7, 9.8, 9.10). 이 결과는 갈루아 변형 이론의 방법을 적응시켜 달성되었다.

D. 행렬 계산
논문은 헤케 연산자 ($T_{p,0}, T_{p,1}, T_{p,2}$) 와 그 행렬식을 사용하여 레벨 상승 행렬과 초특이점 행렬의 명시적 계산을 제공한다. 이러한 계산들은 일반적 레벨 상승 조건 하에서 관련 사상이 동형사상임을 검증하는 데 결정적이다.

4. 의의 및 주장

본 논문은 GGP 프레임워크 내에서 직교군 ($SO_4 \times SO_5$) 과 관련된 특정 랭킨 - 셀버그 모티브에 대한 베일린슨 - 블로흐 - 카토 추측을 향한 핵심 단계라고 주장한다.

• 이하라 보조정리의 유사체: 주요 정리는 $p$에서 분기된 쉐마 곡선에 대한 이하라 보조정리의 고차 유사체로 제시되며, 레벨 상승 기법의 범위를 $GL_2$와 단위 군을 넘어 확장한다.
• BBK 로의 연결: 저자는 후속 논문에서 이 결과가 특정 주기 적분의 비소멸이 특정 블로흐 - 카토 셀머 군의 소멸을 함의함을 보여, 랭크 0 및 랭크 1 사례에서 BBK 추측의 한 방향을 확립하는 데 사용될 것이라고 언급한다.
• 레벨 하강: 이 결과는 $GSp_4$에 대한 레벨 하강 정리의 증명을 용이하게 하도록 의도되어 있으며 (동반 논문 [Wang22b] 참조), 이는 완전한 산술적 GGP 추측에 필요한 구성 요소이다.

저자는 명시적으로 $\mathbb{Q}$ (완전 실수체가 아닌) 위의 $GSp_4$로 제한된 이유는 연구된 특정 쉐마 다양체에 대한 라포포르 - 진크 균일화 정리의 현재 한계 때문이라고 밝히지만, 초특이점 궤적의 기하학적 기술은 일반화될 것이라고 믿는다. 논문은 완전한 BBK 추측을 해결한다고 주장하지는 않지만, 특정 사례를 공격하기 위해 필요한 산술적 레벨 상승 기계를 제공한다.