[논문 리뷰] A higher rank Euler system for the multiplicative group over a totally real field

Ryotaro Sakamoto|arXiv (Cornell University)|2020. 02. 12.

Advanced Algebra and Geometry참고 문헌 27인용 수 9

한 줄 요약

이 논문은 와일스가 증명한 완전 실수 체에 대한 아이와사와 주요 추측을 이용하여, 완전 실수 체 위의 곱셈군에 대한 고차수 오일러 체계를 구성한다. 특성 이상의 개념을 일반화하고 외적 이중성을 활용하여, 특정 기술적 조건 하에서 $p$-분할 Iwasawa 모듈러의 모든 고차수 피팅 이상은 스티클베르거 원소와 관련된 해석적 불변량에 의해 기술됨을 보인다.

ABSTRACT

In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the characteristic ideal. Under certain technical assumptions, we prove that all higher Fitting ideals of a certain $p$-ramified Iwasawa module are described by analytic invariants canonically associated with Stickelberger elements.

연구 동기 및 목표

• 완전 실수 체 위의 곱셈군에 대한 고차수 오일러 체계를 구성하여, 기존의 랭크 하나의 프레임워크를 초월한다.
• 아이와사와 이론의 고차수 구조를 다룰 수 있도록 특성 이상의 개념을 일반화한다.
• $p$-분할 Iwasawa 모듈러의 고차수 피팅 이상과 스티클베르거 원소에서 유도된 해석적 불변량 사이의 정밀한 연결 고리를 확립한다.
• 외적 이중성을 통한 새로운 정의를 제시하여 페리에-루아의 원래 외적 거듭제곱을 이용한 구성과 다름을 밝힌다.
• 적절한 코homological 조건 하에서 고차수 피팅 이상이 표준 해석적 불변량에 의해 생성됨을 증명함으로써 산술적 대상과 해석적 대상 간의 연결을 맺는다.

제안 방법

• 외적 이중성 구조를 통해 아이와사와 모듈러의 고차수 구조를 수용할 수 있도록 특성 이상의 개념을 일반화한다.
• 완전 실수 체에 대한 아이와사와 주요 추측(와일스에 의해 증명됨)을 기초 도구로 활용하여 산술 모듈러와 $p$-진 $L$-함수 사이의 관계를 설정한다.
• 코리바진 도함수와 조절형환을 활용하여 랭크 하나의 체계에서 고차수 오일러 체계를 구성한다.
• 코homological 극한과 아이와사와 대수 위의 자유 모듈러 사이의 표준 동형을 고정하여, $\mathrm{ES}_r(T)$ 에서 $\mathrm{ES}_0(T)$ 로의 랭크 감소 형환을 정의한다.
• 아이와사와 모듈러의 쌍대의 외적 이중성을 활용하여 고차수 오일러 체계를 정의함으로써 아이와사와 대수 위의 모듈러 구조와의 호환성을 확보한다.
• 갈루아 군이 최대 $p$-분할 확장의 갈루아 군 위에 작용함을 이용하여 모듈러 $X_K^\chi$ 에 $\Lambda_K = \mathcal{O}[[\mathrm{Gal}(k_\infty K/k)]]$ 위의 구조를 부여한다.

실험 결과

연구 질문

• RQ1 아이와사와 주요 추측을 이용하여 완전 실수 체 위의 곱셈군에 대한 고차수 오일러 체계를 구성할 수 있는가?
• RQ2 $p$-분할 Iwasawa 모듈러의 고차수 피팅 이상은 스티클베르거 원소에서 유도된 해석적 불변량과 어떻게 관련이 있는가?
• RQ3 외적 이중성 구조와 고차수 오일러 체계 이론의 고전적 이론 사이의 정밀한 관계는 무엇인가?
• RQ4 $\mathrm{ES}_r(T)$ 에서 $\mathrm{ES}_0(T)$ 로의 랭크 감소 형환은 어떤 코homological 조건 하에서 단사적이고 잘 정의되는가?
• RQ5 고차수 설정에서 아이와사와 모듈러의 특성 이상은 얼마나 정확히 해석적 불변량으로 기술될 수 있는가?

주요 결과

• 논문은 아이와사와 주요 추측과 일반화된 특성 이상의 개념을 이용하여 완전 실수 체 위의 곱셈군에 대한 고차수 오일러 체계를 구성한다.
• 주어진 기술적 조건 하에서 $p$-분할 Iwasawa 모듈러 $X_K^\chi$ 의 모든 고차수 피팅 이상은 스티클베르거 원소와 표준적으로 관련된 해석적 불변량에 의해 생성됨을 보였다.
• 이 구성은 아이와사와 모듈러의 쌍대의 외적 이중성에 기반하며, 페리에-루아의 고차수 오일러 체계 정의를 일반화한다.
• 코homological 극한과 아이와사와 대수 위의 자유 모듈러 사이의 고정된 동형을 통해 랭크 감소 형환 $\mathrm{ES}_r(T) \hookrightarrow \mathrm{ES}_0(T)$ 이 확립된다.
• 핵심적으로 $\left(\bigwedge^{r+s}_{R}X^{*}\right)^{***} \to \bigcap^{r+s}_{R}X$ 의 표준 형환은 동형임을 보였으며, 이는 특성 이상과 해석적 불변량을 연결하는 데 필수적이다.
• 핵심 결과는 $\mathrm{char}_R(M) \subseteq \mathrm{char}_R(N)$ 이며, 이는 고차수 피팅 이상이 스티클베르거 원소에서 유도된 해석적 불변량에 의해 제어됨을 의미한다.