[논문 리뷰] Fitting invariants in equivariant Iwasawa theory

Takenori Kataoka|arXiv (Cornell University)|2020. 06. 08.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 5

한 줄 요약

이 논문은 비아벨 Iwasawa 이론과 이중변수 설정에서 Iwasawa 모듈러의 Fitting 이상수를 계산하기 위한 일반화된 대수적 프레임워크—'Fitting 이상수의 이동'(shifts of Fitting invariants)—를 개발한다. 이는 Greither와 Kurihara의 아벨 Iwasawa 이론에 대한 작업을 확장한 것으로, 핵심 기여는 비아벨 및 이중변수 설정에서 그들의 주요 추측을 일반화한 것으로, 정확한 수열과 프로젝티브 차원 제어를 통해 Fitting 이상수와 등변 p-진 L함수 사이의 정밀한 연결을 제공한다.

ABSTRACT

The main conjectures in Iwasawa theory predict the relationship between the Iwasawa modules and the $p$-adic $L$-functions. Using a certain proved formulation of the main conjecture, Greither and Kurihara described explicitly the (initial) Fitting ideals of the Iwasawa modules for the cyclotomic $\mathbb{Z}_p$-extensions of finite abelian extensions of totally real fields. In this paper, we generalize the algebraic theory behind their work by developing the theory of ``shifts of Fitting invariants.'' As applications to Iwasawa theory, we obtain a noncommutative version and a two-variable version of the work of Greither and Kurihara.

연구 동기 및 목표

• Greither와 Kurihara가 아벨 등변 Iwasawa 이론에서 Fitting 이상수를 계산하는 데 배경이 되는 대수적 이론을 일반화하기 위해.
• 비아벨 Iwasawa 이론과 이중변수 Iwasawa 이론에서 Fitting 이상수를 계산하기 위한 프레임워크를 개발하기 위해.
• 아벨 사례를 초월하여 Iwasawa 모듈러의 Fitting 이상수와 등변 p-진 L함수 사이의 정밀한 연결을 확립하기 위해.
• 프로젝티브 차원 제어와 모듈러의 정확한 수열을 사용하여 Fitting 이상수를 체계적으로 계산하는 방법을 제공하기 위해.

제안 방법

• 모듈러 확장과 프로젝티브 차원 이동에 대한 Fitting 이상수의 행동을 일반화하기 위해 'Fitting 이상수의 이동' 개념을 도입한다.
• 프로젝티브 차원 ≤ 1인 $P_1, P_2$를 가진 형태의 정확한 수열 $0 \to X_{\Sigma_0}(L) \to P_1 \to P_2 \to \mathbb{Z}_p \to 0$을 사용하여 Fitting 이상수를 제어한다.
• $R = \mathbb{Z}_p[[G]]$ 위에서 유한한 프로젝티브 차원을 가진 모듈러의 집합 $\mathcal{C}$와 프로젝티브 차원 ≤ 1인 모듈러의 집합 $\mathcal{P}$를 정의하여 Fitting 이상수가 잘 행동함을 보장한다.
• 모듈러의 구조를 코딩하고 Fitting 이상수와 연결하기 위해 $K_0(\mathcal{P})$ 내에서 $\Phi_{L/K,\Sigma_0} = [P_1] - [P_2]$ 를 구성한다.
• $\Sigma$-분할 Iwasawa 모듈러 $X_{\Sigma_0}(L)$ 와 지역 단위군 $\mathcal{U}_v(L)$ 의 구조를 적용하여 분할된 자리에서의 기여를 계산한다.
• $\mathcal{F}(X_{\Sigma_0}(L)) = \mathcal{F}(\Phi_{L/K,\Sigma_0}) \cdot \mathcal{F}^{\langle 2\rangle}(\mathbb{Z}_p)$ 를 증명하여 아벨 사례를 일반화한다.

실험 결과

연구 질문

• RQ1 비아벨 등변 Iwasawa 이론에서 Iwasawa 모듈러의 Fitting 이상수는 어떻게 체계적으로 계산할 수 있는가?
• RQ2 아벨 사례를 초월하여 Fitting 이상수와 등변 p-진 L함수 사이의 관계를 뒷받침하는 대수적 구조는 무엇인가?
• RQ3 프로젝티브 차원이 제어된 모듈러의 정확한 수열에서 유도된 '이동된' 불변량을 통해 Iwasawa 모듈러의 Fitting 이상수를 표현할 수 있는가?
• RQ4 다중 분할 소수의 존재가 이중변수 Iwasawa 이론에서 Fitting 이상수 계산에 어떻게 영향을 미치는가?
• RQ5 $\mu$-이nic이 사라지는 가정이 Fitting 이상수 공식의 타당성을 보장하는 데 정확히 어떤 역할을 하는가?

주요 결과

• 논문은 Greither와 Kurihara의 주요 추측의 비아벨 판정을 확립하여 $\mathcal{F}(X_{\Sigma_0}(L)) = \mathcal{F}(\Phi_{L/K,\Sigma_0}) \cdot \mathcal{F}^{\langle 2\rangle}(\mathbb{Z}_p)$ 를 보여주며, 여기서 $\Phi_{L/K,\Sigma_0}$ 는 프로젝티브 분해에서 유도된 $K_0$-클래스이다.
• 모든 준-Fitting 불변량 $\mathcal{F}$ 에 대해, 이동된 Fitting 불변량은 $\mathcal{F}^{\langle n\rangle}(X_{\Sigma_0}(L)) = \mathcal{F}(\Phi_{L/K,\Sigma_0})^{(-1)^n} \cdot \mathcal{F}^{\langle n+2\rangle}(\mathbb{Z}_p)$ 를 만족하며, 이는 Fitting 이상수의 이동에 따른 행동을 일반화한다.
• 분할된 자리에서의 지역 단위군 $\mathcal{U}_v(L)$ 의 구조는 $\mathcal{F}^{\langle -1 \rangle}\left(\bigoplus_{v \in \Sigma_0 \setminus \Sigma_0'} \mathcal{U}_v(L)\right)$ 를 통해 Fitting 이상수에 명시적으로 기여함이 입증되었으며, 이는 노름 원소와 Frobenius 연산자를 포함한 공식을 수반한다.
• $R = \mathbb{Z}_p[[G]]$ 위에서 $X_{\Sigma_0}(L)$ 의 프로젝티브 차원이 최대 1임을 보여, Fitting 이상수가 가역적이고 계산 가능함을 보장한다.
• 이론은 정확한 수열을 사용하여 $X_{\Sigma_0}(L)$ 과 프로젝티브 차원 ≤ 1인 모듈러를 포함하는 방식으로 이중변수 Iwasawa 이론에 적용되며, 비아벨 설정에서 Fitting 이상수의 계산을 가능하게 한다.
• 메서드는 $R \simeq \mathbb{Z}_p[[T]][\Delta]$ 의 $\mathbb{Z}_p[[T]]$-모듈러 구조를 사용하고 $\mathbb{Z}_p[\Delta]$ 위의 복합체의 코어널러 $B_\Delta$ 를 분석함으로써 아벨 사례를 성공적으로 일반화한다.