On the excursion algebra

기술 요약: 익스커션 대수(Excursion Algebra)에 관하여

문제 정의
본 논문은 유한체 $\mathbb{F}_q$ 위의 매끄러운 대수적 다양체 $X$와 환원 군(reductive group) $G$와 연관된 익스커션 대수(denoted $\text{Exc}(X, G)$)의 구조적 성질을 조사한다. 이 대수는 함수체(function field)에서의 랭글랜즈 프로그램 맥락에서 V. Lafforgue에 의해 원래 정의되었으며, 오토모픽 함수(automorphic functions) 공간 위에 작용하고 "익스커션 연산자(excursion operators)"들에 의해 생성된다. Lafforgue의 구성은 이산적인 베일 군(discrete Weil group)과 오토모픽 형식에 대한 작용에 의존하지만, 본 논문은 $\text{LS}^{\text{arithm}}_G(X)$라는 산술적 $G$-로컬 시스템 스택(stack of arithmetic $G$-local systems) 상의 전역 함수들의 대수로서 $\text{Exc}(X, G)$를 추상적으로 연구한다. 주요 목표는 이 스택과 그 함수 대수의 근본적인 기하학적 및 대수적 성질을 확립하고, "$\ell$의 독립성($\text{independence of } \ell$)" 현상을 다루는 것이다.

방법론
저자들은 유도 대수 기하학(derived algebraic geometry), 베일 층(Weil sheaves) 이론, 그리고 범주적 수축(categorical contractions)의 결합을 활용한다. 핵심적인 방법론적 혁신은 관련 층(sheaves) 범주의 **수축(contraction)**을 구성하는 것이다.

1. 범주적 프레임워크: 본 논문은 로컬 시스템의 대칭 단성 범주(symmetric monoidal category)인 $\text{QLisse}(X)$를 활용한다. 저자들은 베일 구조를 갖는 로컬 시스템들에 의해 생성되는 부분 범주 $\text{QLisserelev}(X)$를 도입한다.
2. 프로-대수적 군(Pro-Algebraic Groups): 저자들은 등변화(equivariantization) 및 탈등변화(de-equivariantization)를 위한 대리인 역할을 할 프로-대수적 군 $\mathbb{Z}^{\text{alg}}$, $\mathbb{Z}^{\text{alg, wt}}$, $\mathbb{Z}^{\text{alg, 0}}$을 정의한다. 이 군들은 프로베니우스 고윳값(Frobenius eigenvalues)의 가중치(weights)와 연관된다.
3. 수축 메커니즘: 핵심적인 기술적 결과(정리 2.8.2)는 관련 베일 층의 범주 $\text{Shv}^{\text{relev}}(X)$가 모노이드 $\mathbb{A}^1$의 정준적인 작용을 가짐을 확립한다. 이 작용은 해당 범주를 가중치 0인 층들에 대응하는 "반단순 로커스(semi-simple locus)" $\text{Shv}^{\text{relev, 0}}(X)$로 수축시킨다.
4. 스택 이론적 적용: [AGKRRV]의 로컬 시스템 스택의 함자적 구성을 활용하여, 저자들은 로컬 시스템의 프리스택(prestack) $\text{LS}^{\text{restr, relev}}_G(X)$를 그 반단순 부분 스택 $\text{LS}^{\text{restr, relev, 0}}_G(X)$로 수축시키는 수축을 유도한다.
5. 산술적 하강(Arithmetic Descent): 기하적 프로베니우스가 익스커션 대수 상에서 자명하게 작용하므로, 기하적 스택 상의 수축은 산술적 스택 $\text{LS}^{\text{arithm}}_G(X)$ 상에서 동형 사상으로 하강한다.

주요 기여 및 결과

1. 반단순 로커스로의 동형 (정리 3.7.2):
   본 논문은 전체 산술적 스택 상의 전역 함수 대수로부터 반단순 로커스 상의 함수 대수로의 제한 사상이 동형임을 증명한다:
   $$\Gamma(\text{LS}^{\text{arithm}}_G(X), \mathcal{O}) \xrightarrow{\sim} \Gamma(\text{LS}^{\text{arithm, 0}}_G(X), \mathcal{O})$$
   이는 익스커션 대수가 전적으로 반단순 로컬 시스템들에 의해 결정됨을 의미한다.

2. $\text{Exc}(X, G)$의 구조적 성질:

   • 축약(Reduced) 및 노멀(Normal): $\text{Exc}(X, G)$의 각 연결 성분은 축약되고 노멀한 고전적 대수이다 (결론 3.7.3).
   • 명시적 기술: 이 대수는 $\mathcal{O}_{G'} // \text{Ad}_g(G')$ 형태의 대수들의 곱으로 표현된다. 여기서 $G'$은 $G$의 환원 부분군이고, $g \in G$는 $G'$을 정규화하며, $\text{Ad}_g$는 $g$-비틀린 공액(twisted conjugation)을 나타낸다.
   • 유한성: $\text{Exc}(X, G)$는 임의의 국소 헤케 대수 $H_x(G)$ 위에서 유한 생성 모듈이다 (정리 4.4.2(a)).
   • $GL_n$에 대한 전사성: $G = GL_n$인 경우, 전역 헤케 대수 $H_X(G)$에서 $\text{Exc}(X, G)$로의 사상은 전사적이다 (정리 4.4.2(b)).

3. $\ell$의 독립성 (정리 5.1.2):
   저자들은 $\text{Exc}(X, G)$가 $\mathbb{Q}$ 상의 정준적인 유리 구조(rational structure)를 가짐을 확립한다. 구체적으로, 임의의 $\ell \neq p$에 대해 $\mathbb{Q}_\ell \otimes_{\mathbb{Q}} \text{Exc}(X, G)_{\mathbb{Q}} \simeq \text{Exc}(X, G)$를 만족하는 $\mathbb{Q}$-대수 $\text{Exc}(X, G)_{\mathbb{Q}}$가 존재한다.

   • 이 결과는 베일 군의 프로-환원 몫(pro-reductive quotient)을 V. Drinfeld가 [Dr]에서 정의한 군과 동일시하는 것에 기반한다. 이 군은 Drinfeld의 프로-반단순 군 범주 내에서 유리 구조를 가진다.
   • 저자들은 이 유리 모델 상에서의 갈루아 작용의 연속성을 증명함으로써 $\ell$의 독립성을 보장한다.

4. Laffore의 정의와의 관계:
   본 논문은 이들의 스택 이론적 정의와 이산적인 베일 군을 사용하는 Laffore의 정의 사이의 관계를 명확히 한다. 저자들은 Laffore의 대수(이산 군을 통해 정의됨)에서 저자들의 대수로 가는 사상이 닫힌 임베딩(closed embedding)임을 보여주며, 그 상은 연속적인 반단순 호모모피즘들의 자리스키 폐쇄(Zariski closure)에 대응함을 보인다 (명제 4.2.9).

의의 및 주장
본 논문은 익스커션 대수에 대한 기초적인 연구로서, 랭글랜즈 프로그램의 더 넓은 추측들을 위한 필요한 기하학적 입력을 제공한다.

• 라마누잔-페테르손 추측 (Ramanujan-Petersson Conjecture): 저자들은 $\text{Exc}(X, G)$가 축약되고 노멀하다는 성질(성질 1)이 [Ras]를 인용하며, 함수체 상의 비라미파이드(unramified) 라마누잔-페테르손 추측을 증명하기 위한 "핵심 입력"이라고 기술한다.
• 아서 추측 (Arthur Conjectures): 비틀린 공액 몫들의 곱으로서의 대수의 구조적 기술(성질 2)은 더 야심 찬 프로젝트인 아서 추측을 증명하기 위한 입력으로 기능한다.
• $\ell$의 독립성: 유리 구조의 증명은 함수체 상의 랭글랜즈 대응에 대한 "$\ell$의 독립성"을 이해하기 위한 단계로 제시된다.
• 적용에 대한 겸손함: 저자들은 이론이 임의의 매끄러운 다양성에 대해 개발되었음에도 불구하고, 주요 적용 대상이 곡선(curves)의 경우임을 명시적으로 밝힌다. 일반적인 $G$에 대해, 유리 구조는 $GL_n$의 경우와 달리 헤케 대수에 의해 유일하게 특징지어지지 않음을 언급하며, 일반적인 결과를 헤케 사상의 전사성 정리가 없는 상태에서의 "이름뿐인 유리성(rationality in name only)"이라고 설명한다. 또한 저자들은 국소 랭글랜즈 기하학화(local Langlands geometrization)에서 사용된 모티빅 방법(motivic methods)을 전역 곡선 맥락으로 어떻게 확장할 수 있을지에 대해서는 알지 못한다고 명시한다.

요약하자면, 본 논문은 익스커션 대수에 대한 엄밀한 기하학적 및 범주적 토대를 제공하며, 이 대수가 고전적이고 축약되며 노멀한 대수임을, 그리고 정준적인 유리 구조를 가짐을 증명함으로써 함수체 랭글랜즈 프로그램의 진전을 위해 필요한 대수적 성질들을 분리해 낸다.