Tempered vs generic automorphic functions and the canonical filtration on automorphic functions

이 논문은 Dennis Gaitsgory, Vincent Lafforgue, Sam Raskin에 의해 작성된 것으로, 함수체 (function field) 의 everywhere unramified 상황에서 자모틱 함수 (automorphic functions) 공간에 대한 새로운 필터링 (filtration) 을 도입하고 연구합니다. 이 필터링은 고전적인 랭글랜즈 추측의 스펙트럼 측 (spectral side) 에서 유도된 **일관된 특이 지지 (coherent singular support)**에 기반한 필터링을 기하학적 측 (geometric side) 으로 이전 (transfer) 한 것입니다.

주요 내용은 다음과 같습니다.

1. 연구 배경 및 문제 제기

• 기하학적 랭글랜즈 추측 (Geometric Langlands Conjecture): [GR] 에서 증명된 바와 같이, $Shv_{Nilp}(Bun_G)$ (특이 지지 (singular support) 가 멱영 원뿔 (nilpotent cone) 에 포함된 층의 범주) 와 $IndCoh_{Nilp}(^L LS^{restr}_{\check{G}})$ (스펙트럼 측의 일관된 층) 사이의 동치 관계가 존재합니다.
• 고전적 랭글랜즈 추측으로의 전환: 위 동치 관계에 Frobenius 작용의 대수적 흔적 (trace) 을 취하면, $F_q$-점에서의 자모틱 함수 공간 $Funct_c(Bun_G(F_q), \mathbb{Q}_\ell)$ 과 스펙트럼 측의 글로벌 단면 공간 $\Gamma_{IndCoh}(^L LS^{arithm}_{\check{G}}, \omega)$ 사이의 동형사상 $L_G$가 얻어집니다.
• 핵심 문제: 스펙트럼 측의 멱영 원뿔 내의 닫힌 Ad-불변 부분집합 $Y$에 대응하는 부분 범주 $IndCoh_Y$를 통해 스펙트럼 측에 자연스러운 필터링이 존재합니다. 이 필터링을 $L_G$를 통해 자모틱 함수 공간으로 이전했을 때, 그 구조와 성질 (특히 유리수 구조와 람마주 - 아서 추측과의 관계) 을 규명하는 것이 본 논문의 목표입니다.

2. 주요 방법론

• 필터링의 이전 (Transfer of Filtration): 스펙트럼 측의 멱영 원뿔의 닫힌 부분집합 $Y$에 대해 정의된 부분 공간 $Tr(Frob, IndCoh_Y)$를 자모틱 함수 공간 $Funct_c(Bun_G(F_q), \mathbb{Q}_\ell)$의 부분 공간 $Funct_c(Bun_G(F_q), \mathbb{Q}_\ell)_Y$로 매핑합니다.
• 베이린슨 사영자 (Beilinson Projector) 와 컴팩트성: $PoincVac_!$ (바닥 Poincaré 함수 또는 기본 Whittaker 함수) 는 원래 $Shv(Bun_G)$에는 속하지만 $ShvNilp(Bun_G)$에는 속하지 않습니다. 이를 해결하기 위해 저자들은 대수적 서브스택 $Z_a \subset LS^{restr}_{\check{G}}$에 대한 베이린슨 사영자 $P_a$를 적용하여 $PoincVac_!$를 $ShvNilp(Bun_G)$의 컴팩트 객체로 변환하는 기법을 사용합니다.
• 스펙트럼 작용 (Spectral Action): $Exc(X, \check{G})$ (여정 algebra) 의 작용을 통해 자모틱 함수 공간의 구조를 분석합니다.
• 유리수 구조 (Rationality): $\mathbb{Q}_\ell$-벡터 공간이 갖는 자연스러운 $\mathbb{Q}$-구조를 고려하여, 필터링과 그 관련 작용들이 $\mathbb{Q}$ 위에서 정의되는지 여부를 탐구합니다.

3. 주요 결과 및 기여

A. 바닥 Poincaré 함수의 이미지 규명 (Theorem 1.3.10)

• 결과: 자모틱 함수 공간의 비퇴화 부분 공간 (non-degenerate subspace), 즉 $Exc(X, \check{G})$의 작용 아래 $poincVac_!$에 의해 생성된 부분 공간은, 스펙트럼 측의 필터링에서 **영점 (0-orbit, $Y=\{0\}$)**에 대응하는 부분 공간과 정확히 일치합니다.
• 의미: 이는 $L_G$ 동형사상 하에서 $poincVac_!$가 스펙트럼 측의 구조층 $O$의 단위 원소 (1) 의 이미지와 대응됨을 의미합니다. 이 결과는 $ShvNilp(Bun_G)$에 속하지 않는 객체를 다루기 위해 개발된 기술적 도구 (Theorem 1.5.2) 를 통해 증명되었습니다.

B. 필터링의 성질 및 유리수 구조 추측

• 필터링의 정의: 저자들은 멱영 궤적 (nilpotent orbits) 에 의해 인덱스된 필터링을 제안합니다.
• 유리수 구조 추측 (Conjecture 2.7.3): 이 필터링은 $\mathbb{Q}$ 위에서 정의됩니다 (즉, $\mathbb{Q}$-벡터 공간의 필터링으로 볼 수 있음).
• 비퇴화 부분 공간의 유리수성: $poincVac_!$는 $\mathbb{Q}$-계수를 가지므로, 이에 의해 생성된 비퇴화 부분 공간 $Funct_c(Bun_G(F_q), \mathbb{Q}_\ell)_{temp}$ 또한 $\mathbb{Q}$ 위에서 정의됩니다 (Conjecture 2.7.6).

C. 람마주 - 아서 추측 (Ramanujan-Arthur Conjecture) 과의 연결

• 스펙트럼 지지: 저자들은 자모틱 함수 공간의 분해가 멱영 궤적 $O$에 따라 이루어지며, 각 성분은 Hecke 연산자의 고유값이 특정 가중치 (weight) 의 Weil 수 (또는 mock Weil 수) 에 의해 결정된다고 추측합니다 (Conjecture 3.4.6).
• Arthur 매개변수: 필터링의 각 단계가 Arthur 매개변수 (Arthur parameters) 의 $SL_2$ 성분에 대응된다는 더 정교한 추측 (Conjecture 3.6.5) 을 제시합니다. 이는 현재 진행 중인 작업 [GaLaRa] 의 주제입니다.
• 논리적 함의: 이 추측들은 서로 긴밀하게 연결되어 있으며, 가장 강한 추측 (Conjecture 3.6.5) 이 증명되면 람마주 - 아서 추측을 포함한 다른 많은 추측들이 자동으로 성립하게 됩니다.

4. 논문의 의의 및 중요성

1. 랭글랜즈 프로그램의 심화: 기하학적 랭글랜즈 동치 관계를 고전적 (수론적) 인 자모틱 함수의 공간으로 구체적으로 연결하고, 그 내부 구조 (필터링) 를 멱영 원뿔의 기하학과 연관지음으로써 랭글랜즈 프로그램의 새로운 지평을 엽니다.
2. 비퇴화 함수의 특성화: 바닥 Poincaré 함수가 생성하는 공간이 스펙트럼 측의 '가장 단순한' 부분 (영점 지지) 에 해당함을 증명함으로써, 자모틱 함수의 비퇴화성과 스펙트럼 지지 사이의 깊은 관계를 규명했습니다.
3. 유리수 구조의 중요성 강조: 자모틱 함수 공간의 필터링이 $\mathbb{Q}$ 위에서 정의된다는 추측은 수론적 성질 (유리수 계수) 과 기하학적 구조 (모티브, motives) 를 연결하는 핵심 고리로 작용하며, 이는 향후 모티브 랭글랜즈 프로그램 연구의 기초가 됩니다.
4. Arthur 추측에 대한 새로운 접근: 기존의 아서 추측 (Arthur's conjecture) 을 기하학적 필터링과 스펙트럼 지지의 관점에서 재해석하고, 이를 통해 람마주 추측의 $\ell$-adic 버전 및 유리수 버전을 체계적으로 정리했습니다.

5. 결론

이 논문은 자모틱 함수 공간에 대한 새로운 필터링을 도입하고, 이것이 스펙트럼 측의 기하학적 구조 (멱영 원뿔) 와 어떻게 대응되는지를 체계적으로 분석했습니다. 특히, 바닥 Poincaré 함수의 이미지를 정확히 규명하고, 이 필터링이 람마주 - 아서 추측 및 유리수 구조와 어떻게 조화되는지에 대한 일련의 강력한 추측들을 제시함으로써, 함수체 위의 랭글랜즈 프로그램 연구에 중요한 이론적 틀을 제공했습니다.