Greenberg's $\mu=0$ conjecture for lisse sheaves over global function fields

기술적 요약: 전역 함수체 위 Lisse Sheaf에 대한 Greenberg의 $\mu = 0$ 추측

문제 정의
본 논문은 $p > 0$인 표수 $p$를 가진 전역 함수체 $K$ 위의 lisse $\mathbb{Z}_\ell$-sheaf와 관련된 셀머 군(Selmer group)의 구조를 다룬다. 구체적으로, 유일한 상수 $\mathbb{Z}_\ell$-확장 $K_\infty/K$에 대한 이들 셀mer 군의 이와사와 이론(Iwasawa theory)을 조사한다. 핵심 문제는 셀머 군의 폰트랴긴 쌍대(Pontryagin dual)가 이와사와 대수 $\Lambda = \mathbb{Z}_\ell[[\Gamma]]$ 상의 유한 생성 비틀림 모듈(finitely generated torsion module)인지 여부이며, 결정적으로 그 $\mu$-불변량(invariant)이 $0$인지 여부이다. 이는 수체(number field)의 사이클로토믹 $\mathbb{Z}_\ell$-확장 상의 타원 곡선 및 기타 갈루아 표현에 대해 $\mu = 0$을 예측하는 Greenberg의 $\mu = 0$ 추측에 대한 양의 표수(positive-characteristic) 유사체이다.

방법론
저자는 에탈 코호몰로지(étale cohomology), 전역 함수체를 위한 류 이론(class field theory), 그리고 변형 이론(deformation theory)의 조합을 활용한다.

1. 기하학적 설정: 본 연구는 유한체 $k = \mathbb{F}_q$ 위의 매끄러운, 사영적이고, 기하학적으로 정역인 곡선 $X$의 기하학적 틀 안에서 이루어진다. 전역 함수체는 $K = k(X)$이다. 확장 $K_\infty$는 상수 확장 $K \cdot k_\infty$로 정의되며, 여기서 $k_\infty$는 $k$의 유일한 $\mathbb{Z}_\ell$-확장이다.
2. Sheaf 이론: 연구는 개 열린 아핀 부분 스킴 $U \subseteq X$ 위의 lisse $\mathbb{Z}_\ell$-sheaf $T$에 집중한다. 연관된 이산 sheaf $W = T \otimes_{\mathbb{Z}_\ell} \mathbb{Q}_\ell/\mathbb{Z}_\ell$와 잔여 sheaf $M = T/\ell T$는 전역 코호몰로지 군 $H^1_{\text{et}}(U, \cdot)$ 및 $S = X \setminus U$에 있는 장소(places)에서의 국소 조건들을 통해 셀머 군을 정의하는 데 사용된다.
3. Cartesian 조건: 셀머 구조가 $\ell$에 의한 곱셈에 대해 "cartesian"이라는 기술적 가정은 $W$와 $M$의 셀머 군 사이의 호환성을 보장하며, 이를 통해 잔여 셀머 군의 유한성이 전체 셀머 군의 구조적 성질을 함의할 수 있게 한다.
4. 코호몰로지 소멸: 증명은 양의 표수 환경의 아핀 곡선 위의 구성 가능 sheaf(constructable sheaves)에 대한 고차 코호몰로지 군의 소멸에 크게 의존한다. 특히 저자는 상수 확장의 갈루아 군 $G_{k_\infty}$가 pro-prime-to-$\ell$ 군이라는 사실을 이용하여, 유한 $\ell$-primary 모듈 $N$과 $a > 0$에 대해 $H^a(G_{k_\infty}, N) = 0$임을 활용한다.
5. 변형 이론: 저자는 이러한 코호몰로지 결과들을 잔여 갈루아 표현 $\bar{r}$의 변형 이론에 적용한다. 인접 표현(adjoint representation) $\text{Ad}\bar{r}$를 구성 가능한 sheaf로서 분석함으로써, 저자는 $H^2$의 소멸을 비방해적(unobstructedness)인 변형 범함수(deformation functors)와 연결시킨다.

주요 기여 및 결과

• 정리 1.1 ( $\mu$의 소멸): 주요 결과는 $U$ 위의 lisse $\mathbb{Z}_\ell$-sheaf $T$에 대하여, 셀머 군 $\text{Sel}_\mathcal{F}(W/K_\infty)^\vee$의 폰트랴긴 쌍대가 $\mu$-불변량이 $0$인$\Lambda$ 상의 유한 생성 비틀림 모듈임을 확립한다. 이는 수체 환경에서 흔히 요구되는 기약성(irreducibility) 가설 없이도 성립한다.
• 정리 1.2 (약한 Leopoldt 추측): 본 논문은 lisse sheaf에 대한 약한 Leopoldt 추측의 유사체를 증명하여, $H^2(G_S(K_\infty), W) = 0$임을 보여준다. 이 소멸은 기하학적 기저 변경 $U_{\bar{k}}$ 상에서의 코호몰로지 군의 유한성과 상수 확장에서의 코호몰로지 소멸로부터 도출된다.
• 정리 1.3 (변형 환): 저자는 잔여 표현 $\bar{r}_\infty$ (제한된 $G_S(K_\infty)$에 대하여)의 framed 변형 범함수가 Witt 벡터의 링 $O = W(\mathbb{F})$ 상에서 형식적으로 매끄럽다는 것을 증명한다. 결과적으로, framed 변형 환은 형식적 멱급수 환 $O[[x_1, \dots, x_m]]$와 동형이다. 만약 잔여 표현이 비스칼라 엔도모피즘(non-scalar endomorphisms)을 갖지 않는다면 ($\text{End}(V_{\bar{r}}) = \mathbb{F}$), unframed 변형 환 또한 형식적 멱급수 환이 된다.
• 잔여 셀머 군의 유한성: 중요한 중간 단계로서, 잔여 셀머 군 $\text{Sel}_\mathcal{F}(M/K_\infty)$가 유한함을 증명하는 과정이 포함된다. 이는 Hochschild-Serre 스펙트럴 시퀀스와 상수 확장에 대한 코호몰로지 소멸을 활용하여 $H^1_{\text{et}}(U_\infty, M)$이 유한함을 보임으로써 달성된다.

의의 및 주장
본 논문은 전역 함수체의 상수 $\mathbb{Z}_\ell$-확장 상의 lisse sheaf에 대해 Greenberg의 $\mu = 0$ 추측에 대한 결정적인 양의 표수, prime-to-$p$ 유사체를 제공한다고 주장한다. Mazur의 예시에서 볼 수 있듯이, 양의 $\mu$-불변량을 방지하기 위해 잔여 표현의 기약성이 필수적인 수체 사례와 달리, 이 결과는 전역 함수체의 상수 $\mathbb{Z}_\ell$-확장 상의 lisse sheaf에 대해 일반적으로 성립한다.

저자는 이 작업이 함수체 상의 타원 곡선 및 아벨 다양체에 대한 셀머 군에 관한 Bandini, Longhi 등의 기존 기초 연구를 확장하는 것이라고 언급한다. 주요 기여는 임의의 lisse $\mathbb{Z}_\ell$-sheaf로의 일반화와 더 넓은 맥락에서 $\mu = 0$ 성질에 대한 명시적 증명이다.

나아가, 본 논문은 이러한 결과들이 함수체 환경에서의 변형 환에 대한 강력한 구조적 정보를 제공함을 강조한다. 구체적으로, 변형 환 자체에 대한 Noetherian 가설이나 인접 표현에 대한 별도의 $\mu = 0$ 가설을 요구하지 않고도 framed 변형 환이 형식적 멱급수 환임을 증명한다. 관련 코호몰로지 군 $H^2$의 소멸은 곡선의 기하학적 성질과 상수 확장의 특성으로부터 직접 도출된다. 이는 이 함수체들의 사이클로토믹 극한에서 ordinary 변형들이 방해받지 않음(unobstructed)을 확립한다.