Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

기술적 요약: 파라호릭 수준에서의 준-정준형 AFL 및 산술 전이 추측

문제 제기
본 논문은 분기 (ramification) 가 존재하는 상황에서 산술 전이 (AT) 추측의 정립과 검증을 다룬다. 산술 전이 추측은 산술 기본 보조정리 (AFL) 추측의 변형이다. 고전적인 AFL 추측은 장 (Zhang), 미하츠-장 (Mihatsch–Zhang), Z. 장 (Z. Zhang) 에 의해 정립되었으며, 구형 헤케 대수에서 단위 원소의 궤적 적분 (orbital integral) 의 도함수와 $p$-가분군에 대한 라포포르트 - 진크 (RZ) 형식 모듈 공간 위의 산술 교차수 사이의 관계를 다룬다. 이러한 고전적 설정은 비분기 2 차 확대 $F/F_0$, 단위 길이의 특수 벡터, 그리고 초특수 (hyperspecial) 수준 구조를 요구한다.

저자들은 "비분기성" 가정을 완화한 시나리오, 구체적으로 비초특수 파라호릭 수준 구조를 고려하는 상황을 조사한다. 이는 문제 내에 분기를 도입한다. 이러한 맥락에서 AT 추측을 정립하는 데 있어 주요한 장애물은 기하학적 측면이다: 세르 교차 중복도 (Serre intersection multiplicities) 를 정의하기 위해서는 주변 RZ 공간이 정칙 (regular) 이어야 한다. 수준 구조가 비초특수일 때, 자연스러운 곱 공간들은 종종 정칙성을 잃게 되므로, 새로운 적분 모델을 구성하고 특이점을 해결할 필요가 있다.

방법론
본 논문은 산술 기하학, 변형 이론, 조화 분석을 결합하여 두 개의 독립적인 부분으로 나뉜다.

1. 기하학적 구성 및 분석 (제 2 부):

   • 저자들은 비준분할 (non-quasisplit) 단위군 내의 비파라호릭 부분군에 해당하는 RZ 타워의 한 구성원에 대한 적분 모델인 공간 $\widetilde{\mathcal{N}}_n^{[1]}$에 초점을 맞춘다. 이 공간은 수준 $r=1$인 $\mathcal{N}_n^{[1]}$과 초특수 수준인 $\mathcal{N}_{n+1}^{[0]}$을 연결하는 섬유 곱 (fiber product) 으로 나타난다.
   • 디에도네 이론과 그로텐디크 - 메싱 변형 이론을 사용하여 저자들은 $\widetilde{\mathcal{N}}_n^{[1]}$의 $\bar{k}$-점과 국소 구조, 그리고 valuation 1 인 특수 벡터에 연관된 특수 약자 $Z(u)$를 분석한다.
   • 그들은 $\widetilde{\mathcal{N}}_n^{[1]}$이 차원 $n$인 정칙 공간임을 증명한다. 사상 $\pi_1: \widetilde{\mathcal{N}}_n^{[1]} \to \mathcal{N}_n^{[1]}$은 차수 $q+1$인 유한 평탄 사상임을 보이며, "풍선 영역 (balloon locus)"을 제외하고 에탈 (étale) 이고 이를 따라 완전히 분기됨을 보인다. 사상 $\pi_2: \widetilde{\mathcal{N}}_n^{[1]} \to Z(u)$는 0 차원 부분 스킴을 따라 수행된 블로우업 (blow-up) 이다.
   • $Z(u)$의 특수 섬유는 0 차원 닫힌 집합을 제외하고 정칙임이 보이며, 특이점은 특정 유형 (준 - 정준형) 을 가진다.

2. 산술 전이 추측 및 증명 (제 1 부):

   • 저자들은 위에서 구성된 정칙 공간들, 구체적으로 $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}^{[0]}$과 그 "그래프 버전"인 $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}$과 같은 곱 공간 위에서 산술 교차수를 정의한다.
   • 그들은 이러한 교차수를 헤케 대수 간의 기저 변경 준동형과 원자 헤케 함수를 사용하여 구성된 특정 테스트 함수들의 궤적 적분 도함수와 연관시키는 AT 추측을 정립한다.
   • 그래프 버전: 저자들은 AT 추측의 "그래프 버전"을 증명한다. 사상 $\pi_2$의 그래프 위의 교차수를 특수 약자 $Z(u)$ 위의 교차수와 연관시킴으로써, 그들은 문제를 알려진 AFL(짝수 $r$의 경우) 과 새로 확립된 "준 - 정준형 AFL"(홀수 $r$의 경우) 로 환원한다.
   • 준 - 정준형 AFL: 핵심적인 결과는 valuation 1(수준 1) 인 특수 벡터가 있는 경우를 다루는 준 - 정준형 AFL 의 증명이다. 이는 헤케 대수 내의 특정 비단위 원소에 대한 전이 정리를 확립하고, 준 - 정준형 약자 $Z(u)$ 위의 교차수에 대한 대응하는 항등식을 증명하는 것을 포함한다.
   • 알려진 경우로 환원: $r$이 짝수인 경우, 저자들은 필요한 전이 함수가 존재한다면 전체 헤케 대수에 대한 AFL(참고문헌 [14] 의 추측 9.2.3) 로부터 AT 추측이 따름을 보인다. 특정 작은 경우 (예: $n=r=1$) 에서는 추측을 명시적으로 검증한다.

주요 기여 및 결과

• $\widetilde{\mathcal{N}}_n^{[1]}$의 구조: 본 논문은 신비로운 공간 \widetilde\mathcal{N}_n^{[1]}에 대한 완전한 구조적 기술을 제공하여 그 정칙성을 증명하고 사상 $\pi_1$과 $\pi_2$의 기하학을 상세히 기술한다. 이는 쿠들라와 라포포르트의 거의 자기 쌍대 (almost self-dual) RZ 타워의 기하학에 관한 추측들을 확인한다.
• 준 - 정준형 AFL: 저자들은 준 - 정준형 AFL(정리 7.2.1) 을 확립한다. 이는 valuation 1 인 준 - 정준형 약자 $Z(u)$ 위의 교차수를 특정 전이 함수의 궤적 적분 도함수와 연관시킨다. 이는 분기된 설정에 대한 AFL 이론의 공백을 메운다.
• AT 추측의 그래프 버전: 본 논문은 유형 $(r, 0)$에 대한 AT 추측의 그래프 버전을 증명한다(정리 1.0.2). 이 결과는 "상당히 완전"하여, $r$이 짝수인 경우 (AFL 로 환원) 와 $r$이 홀수인 경우 (준 - 정준형 AFL 로 환원) 를 모두 포괄한다.
• 명시적 AT 추측: 저자들은 다양한 유형 $(r, 0)$과 $(0, r)$에 대한 명시적 AT 추측을 정립하고, 기저 변경 준동형을 통해 후보 테스트 함수들을 식별한다.
  • $r$이 짝수인 경우, 추측은 전체 헤케 대수에 대한 AFL 와 연결된다.
  • $r=n$인 홀수인 경우, 특정 추측이 정립되었으며 $n=1$에 대해 증명되었다.
  • 다른 홀수 $r$의 경우, 전이 함수의 존재가 가정되지만 모든 경우에 명시적 후보가 제공되지는 않는다.
• 간단한 경우에서의 검증: 본 논문은 특히 $n=1$과 $r=1$인 특정 간단한 경우에 추측들을 증명하며, $r$이 짝수인 경우 전체 헤케 대수에 대한 AFL 로부터 일반 추측들이 어떻게 따르는지 보여준다.

의의 및 범위
본 논문은 자연스러운 제약 하에서 AT 추측의 가능한 모든 경우를 소진했다고 주장한다: 주변 공간은 최대 파라호릭 수준의 RZ 공간들의 곱이어야 하며 정칙이어야 하고, 사이클은 예외적 특수 약자 (Z-약자 또는 Y-약자) 들의 당김 (pull-back) 이어야 한다.

의의는 비분기, 초특수 설정을 넘어 AFL 프레임워크를 확장하는 데 있다. 저자들은 필요한 적분 모델의 정칙성을 증명하고 준 - 정준형 AFL 를 확립함으로써, 파라호릭 수준 구조가 존재하는 상황에서 AT 추측을 정립하고 부분적으로 증명하는 데 필요한 기하학적 기초를 제공한다. 이 결과는 특정 경우에 AT 추측의 그래프 버전의 가설들을 검증하며, 명시적 테스트 함수가 아직 알려지지 않은 나머지 경우에 대한 향후 연구의 로드맵을 제시한다. 저자들은 명시적으로, 나머지 모든 경우에 대한 추측을 정립했지만, $r=n=1$을 넘어선 일반적인 홀수 $r$의 경우 테스트 함수에 대한 명시적 후보를 가지고 있지 않으며 이는 향후 연구에 맡긴다고 밝힌다.