[논문 리뷰] On a noncommutative Iwasawa main conjecture for varieties over finite fields

Malte Witte|University of Regensburg Publication Server (University of Regensburg)|2010. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 유한체 위의 다양체에 대한 $ι$-adic 리 군 확장을 다루는 비가환 Iwasawa 주요 추측을 제시하고 증명하며, 고전적 Iwasawa 이론을 산술 스킴으로 일반화한다. $K$-이론적 $\mathcal{L}$-불변량과 $L$-함수 사이의 정밀한 연결고리를 기하적 프로베니우스를 통해 확립함으로써, 양의 특성 기하학으로의 비가환 Iwasawa 이론을 확장한다.

ABSTRACT

In 2005 Coates, Fukaya, Kato, Sujatha, and Venjakob formulated a noncommutative Iwasawa main conjecture for l-adic Lie extensions of number fields. To provide evidence for this main conjecture we formulate and prove an analogous statement for l-adic Lie extensions of separated schemes of finite type over a finite field of characteristic prime to l.

연구 동기 및 목표

• 수체에서의 비가환 Iwasawa 이론을 유한체 위의 산술 스킴으로 확장하기 위해.
• 분리된 유한형 스킴 $\mathbb{F}_q$ 위의 $ι$-adic 리 군 확장을 다루는 Iwasawa 주요 추측을 일반화하기 위해.
• 기하적 프로베니우스를 통해 특수값을 보간하는 $K$-이론적 $\mathcal{L}$-불변량을 설정하기 위해.
• 기하학적으로 연결된 스킴을 초월하여 보다 일반적인 스칼라 환으로의 추측 확장을 위해, 특히 아디크 $\mathbb{Z}_\ell$-대수를 포함한다.
• 완전 복합체와 Iwasawa 대수의 국소화를 통해 추측의 $K$-이론적 측면과 $L$-함수 이론적 측면을 통합하기 위해.

제안 방법

• 비가환 Iwasawa 주요 추측을 $G \cong H \rtimes \Gamma$ 형태의 Iwasawa 대수 $\mathbb{Z}_\ell[[G]]$ 를 사용하여 제안하며, 여기서 $H$ 는 컴acts $\ell$-adic 리 군이고 $\Gamma \cong \mathbb{Z}_\ell$ 이다.
• Venjakob의 표준 Ore 집합 $S$ 를 도입하고 $\mathbb{Z}_\ell[[G]]$ 를 $\mathbb{Z}_\ell[[G]]_S$ 로 국소화하여 $S$- torsion 코hom로 처리한다.
• 기하군 $\pi_1(X)$ 의 대조 작용을 통해 $X$ 위에 $\mathbb{Z}_\ell[[G]]$-층 $\mathcal{M}(G)$ 를 구축한다.
• 콤��� 코호모로지 복합체 $\operatorname{R}\Gamma_c(X, \mathcal{M}(G) \otimes_{\mathbb{Z}_\ell} \mathcal{F})$ 를 사용하여 $\mathcal{L}$-불변량을 $\operatorname{K}_1(\mathbb{Z}_\ell[[G]]_S)$ 에 정의한다.
• Grothendieck 추적 공식을 적용하여 $L$-함수와 기하적 프로베니우스 $\mathfrak{F}_{\mathbb{F}_q}$ 가 코호모로지 위에 작용하는 것과의 관계를 설정한다.
• 호모모르피즘 $\rho(\mathcal{L}_G) = L(\mathcal{M}(\rho) \otimes \mathcal{F}, [\mathfrak{F}_{\mathbb{F}_q}]^{-1})$ 를 통해 보간 성질을 확립하며, 이는 $Q(\mathbb{Z}_\ell[[\Gamma]])^\times$ 에서 성립한다.

실험 결과

연구 질문

• RQ1 비가환 Iwasawa 주요 추측은 수체에서 유한체 위의 산술 스킴으로 어떻게 일반화될 수 있는가?
• RQ2 $\ell$-adic 리 군 확장을 다루는 $\mathbb{F}_q$ 위의 스킴에서의 $\ell$-adic Lie 확장의 맥락에서 $K$-이론적 $\mathcal{L}$-불변량의 정밀한 표현은 무엇인가?
• RQ3 양의 특성에서 $\mathcal{L}$-불변량은 특수값을 보간하는 $L$-함수와 어떻게 관련이 있는가?
• RQ4 추측은 기하학적으로 연결된 스킴을 초월하여 더 일반적인 계수 환으로 확장될 수 있는가?
• RQ5 기하적 프로베니우스는 이 비가환 설정에서 $K$-이론과 $L$-함수를 어떻게 연결하는가?

주요 결과

• 복합체 $\operatorname{R}\Gamma_c(X, \mathcal{M}(G) \otimes_{\mathbb{Z}_\ell} \mathcal{F})$ 는 $S$-torsion 코호모로지와 함께 $\mathbb{Z}_\ell[[G]]$-모듈러의 완전 복합체이며, $\mathcal{L}$-불변량이 정의되기 위한 조건을 만족한다.
• 복합체 $\operatorname{R}\Gamma_c(\overline{X}, \mathcal{M}(G)_S \otimes_{\mathbb{Z}_\ell} \mathcal{F})$ 에서의 자기사상 $\mathrm{id} - \mathfrak{F}_{\mathbb{F}_q}$ 는 준동치이며, 이로 인해 $\mathcal{L}_G(X/\mathbb{F}_q, \mathcal{F}) \in \operatorname{K}_1(\mathbb{Z}_\ell[[G]]_S)$ 의 원소를 유도한다.
• 경계 호모모르피즘 $d$ 는 $d(\mathcal{L}_G) = [\operatorname{R}\Gamma_c(X, \mathcal{M}(G) \otimes_{\mathbb{Z}_\ell} \mathcal{F})]^{-1}$ 를 만족하여, $K$-이론과 코호모로지 사이의 연결고리를 형성한다.
• 모든 연속적인 $\mathbb{Z}_\ell$-표현 $\rho$ 에 대해, $\rho(\mathcal{L}_G)$ 는 $Q(\mathbb{Z}_\ell[[\Gamma]])^\times$ 에서 $L$-함수 $L(\mathcal{M}(\rho) \otimes_{\mathbb{Z}_\ell} \mathcal{F}, [\mathfrak{F}_{\mathbb{F}_q}]^{-1})$ 와 일치한다.
• 보간 성질이 성립한다: $[\mathfrak{F}_{\mathbb{F}_q}]^{-1} \mapsto X+1$ 의 동형사상 하에서, $\epsilon_\infty^n \rho(\mathcal{L}_G)$ 의 주항은 $L(\mathcal{M}(\epsilon_f^{-n}\rho) \otimes_{\mathbb{Z}_\ell} \mathcal{F}, q^{-n}T)$ 의 $T=1$ 에서의 주항과 일치한다.
• 추측은 가상의 프로-$\ell$-군, 아디크 $\mathbb{Z}_\ell$-대수, 완전 복합체로 일반화되었으며, 원래의 기하학적으로 연결된 스킴과 $\ell$-adic 리 군의 가정을 초월하여 확장되었다.