The Abel--Jacobi map over the twistor-$\mathbb{P}^1$ and real local class field theory

기술적 요약: 트위스터-$\mathbb{P}^1$ 상의 아벨-자코비 사상과 실 국소 류체론(Real Local Class Field Theory)

문제 정의
본 논문은 [Sch24]에서 피터 숄체(Peter Scholle)가 구축한 프레임워크를 바탕으로, 아르키메데스 국소 체($E = \mathbb{R}$ 또는 $\mathbb{C}$)에 대한 국소 랭글랜즈 대응(local Langlands correspondence)의 기하학적 구조화를 다룬다. 비아르키메데스 설정에서 파그(Fargues)는 파그-폰토인 곡선(Fargues–Fontaine curve)의 기하학을 연구함으로써 국소 랭글랜즈 대응을 회복할 수 있음을 보여주었다. 구체적으로, 그는 차수 1인 디바이저 스택($\text{Div}^1_{\text{FF}}$) 상의 계수 1인 $\ell$-적(adic) 국소 계가 아벨-자코비 사상(Abel–Jacobi map)을 통해 선다발(line bundle)의 스택($\text{Pic}^1_{\text{FF}}$)으로부터 풀백(pullback)된다는 것을 보였다.

저자들은 이와 유사한 결과를 아르키메데스 체에서도 성립시키기 위해, 파그의 폰토인 곡선을 대체하는 숄체의 "트위스터-$\mathbb{P}^1$" ($X_E$)를 기하학적 대상으로 사용하여 달성하고자 한다. 핵심적인 과제는 아벨-자코비 사상 $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$를 따른 풀백이 매핑 아니마(mapping anima)를 곱셈군(multiplicative group)의 분류 스택으로 보내는 동형 사상을 유도하여, 이 기하학적 맥락에서 국소 류체론($W_E^{\text{ab}} \cong E^\times$)을 회복하는 것임을 증명하는 것이다.

방법론 및 장애물
저자들은 $\text{Sym}^d \text{Div}^1_{\text{FF}} \cong \text{Div}^d_{\text{FF}}$ 이상성과 $d \geq 2$일 때 아벨-자코비 사상의 단순 연결성을 이용한 파그의 전략을 적응시키려 시도한다. 그러나 그들은 아르키메데스 설정에서 두 가지 근본적인 장애물을 확인하였다:

1. 대칭 거듭제곱 이상의 실패: 파그-폰토인 곡선과 달리, 자연스러운 사상 $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$는 전사적이지만 이상은 아니다. 스택 $\text{Div}^d_E$는 $\text{Div}^1_E$의 $d$차 대칭 거듭제곱과 동형이 아니다.
2. 내려오기(Descent) 문제: 저자들은 $\ell$-적 층(sheaf) 대신 준코히어런트 층(quasi-coherent sheaves, 즉 선다발)을 다룬다. 아벨-자코비 사상을 따른 선다발의 내려오기를 위해서는, 섬유(fiber)가 단순히 연결된 것을 넘어 "수축 가능(contractible)"해야 한다. 유한 차수 아벨-자코비 사상 $AJ_d$는 $(d-1)$-연결성만을 가지며, 이는 요구되는 내려오기에 불충분하다.

이러한 문제를 해결하기 위해 저자들은 다음과 같은 기술적 전략을 사용한다:

• 로커스 $\text{Div}^d_{\text{HT}\leq 1}$: 저자들은 특이점 $0$과$\infty$에서의 소멸 차수가 최대 1인 디바이저들을 매개변수화하는 열린 서브스택$\text{Div}^d_{\text{HT}\leq 1} \subset \text{Div}^d_E$를 도입한다. 이 로커스 위에서 사상$\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$가 동형이 됨을 증명한다.
• 선다발의 유일한 확장: 저자들은 $\text{Div}^d_{\text{HT}\leq 1}$로부터 전체 스택 $\text{Div}^d_E$로 선다발이 유일하게 확장됨을 보인다. 이는 이 스택들의 차트(해석적 공간과 베티 스택을 포함하는 명시적 몫)를 분석하고, "코차원 2"의 여집합이 피카르 군사(Picard groupoid)에 영향을 미치지 않음을 보임으로써 달성된다.
• 무한 레벨 극한(Infinite Level Limit): 연결성 문제를 해결하기 위해, 저자들은 "무한 레벨" 아벨-자코비 사상으로 넘어간다. 그들은 특정 차수 1 디바이저와의 곱에 의해 유도되는 전이 사상들을 통해 차수 $d$의 사상들을 하나의 사상으로 조립한다. 이 극한이 수축 가능한 섬버(구체적으로는 수축 가능한 공간의 몫)를 가진 스택을 생성함을 보임으로써 선다발의 내려오기를 허용한다.

주요 기여 및 결과
본 논문은 다음과 같은 주요 결과를 확립한다:

1. 정리 1.1 (정리 5.2): 아르키메데스 국소 체 $E$에 대하여, 아벨-자코비 사상 $\text{AJ}: \text{Div}^1_E \to \text{Pic}^1_E$를 따른 풀백은 매핑 아니마의 동형을 유도한다:
   $$\text{Map}(\text{Pic}^1_E, \ast/G^{\text{an}}_m) \xrightarrow{\sim} \text{Map}(\text{Div}^1_E, \ast/G^{\text{an}}_m)$$
   결과적으로, $\text{Div}^1_E$ 상의 모든 선다발은 $\text{Pic}^1_E$로부터 풀백된다.

2. 따름정리 1.2 (국소 류체론): 저자들은 $\text{Div}^1_E$ 상의 선다발과 바일 군 $W_E$의 캐릭터 사이의 동일시, 그리고 $\text{Pic}^1_E$와 $E^\times$의 분류 스택 사이의 동일시를 결합하여 아르키메데스 체에 대한 정준 동형 $W_E^{\text{ab}} \cong E^\times$를 도출한다.

3. $\text{Div}^d_E$의 기하학적 분석: 본 논문은 다음을 포함하여 차수 $d$ 디바이저 스택의 상세한 구조적 분석을 제공한다:

   • $\text{Sym}^d \text{Div}^1_E \to \text{Div}^d_E$가 전사적이지만 단사적이지 않음을 증명함 (예시 4.13).
   • 해석적 드 람 스택(analytic de Rham stack) 또는 열린 로커스 $\text{Div}^d_{\text{HT}\leq 1}$로 제한했을 때 이 사상이 동형이 됨을 확립함 (명제 4.9, 명제 4.17).
   • $\text{Div}^d_{\text{HT}\leq 1}$에서 $\text{Div}^d_E$로 벡터 번들의 유일한 확장을 증명함 (명제 4.19).

의의 및 주장
저자들은 이 연구를 아르키메데스 분야의 범주적 국소 랭글랜즈 프로그램을 위한 결정적인 단계로 위치시키며, 이는 비아르키메데스에서의 파그의 성공을 반영한다. 이 연구의 의의는 다음과 같다:

• 기하학적 실현: 이는 델린(Deligne)의 전역 류체론의 기하학적 증명을 모방하면서도, 숄체의 트위스터 기하학을 통해 국소 설정에 적응시킨 아르키메데스 국소 류체론의 기하학적 증명을 제공한다.
• 방법론적 적응: $\text{HT}\leq 1$ 로커스를 도입하고 무한 레벨 극한을 활용함으로써, 아르키메데스 설정의 특수한 어려움들( $\ell$-적 층의 부재, 다른 연결성 속성 등)을 헤쳐나가는 방법을 보여준다.
• 기초적 프레임워크: 이 논문은 "가스상(gaseous)" 해석적 환 구조와 [Sch24]에서 개발된 해석적 스택 이론에 크게 의존하며, 이는 고전적인 수론적 결과를 회복하는 데 있어 해당 프레임워크의 효용성을 보여주는 구체적인 적용이자 검증이다.

저자들은 "코차원"이나 "수축 가능성"에 관한 자신들의 논의가 아직 완전히 확립되지 않은 해석적 스택 설정 내에서의 엄밀한 정의라기보다는 직관적인 가이드라는 점을 주의시킨다. 증명은 순수하게 형식적인 위상적 논증보다는 명시적인 차트 분석과 내려오기 성질에 의존한다.