[논문 리뷰] Congruences between abelian pseudomeasures, II

Jürgen Ritter, Alfred Weiss|arXiv (Cornell University)|2010. 01. 13.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 6

한 줄 요약

이 논문은 아벨 허수측도 간의 합동을 완전 실수 수체에 대해 일반화하며, 이전 결과에서 p-거듭제곱 순서를 가진 갈루아 군으로부터 임의의 p-군으로 확장한다. 모듈라 형식과 q-전개 원리를 사용하여, 이전에 전달된 허수측도의 무거운 무게 합이 완비화된 군환의 추적 이상에 속함을 증명함으로써, 등변 이와사와 이론에 핵심적인 합동을 제공한다.

ABSTRACT

We extend the main result of [Math. Res. Lett. 15 (2008), 715-725] to Galois extensions L/K of totally real number fields of arbitrary odd prime power degree, thereby offering support for the validity of the 'main conjecture' of equivariant Iwasawa theory.

연구 동기 및 목표

• 이전 결과에서 [RW7]의 주요 합동 결과를 p-거듭제곱 순서를 가진 갈루아 군에서 임의의 유한한 p-군으로 확장하는 것.
• 등변 이와사와 이론의 주요 추측을 뒷받침하는 허수측도 합동을 확립하는 것.
• 에이젠슈타인 유형의 힐베르트 모듈라 형식의 상수항을 통해 합동에 대한 모듈라 형식 이론적 기반을 제공하는 것.
• 이전 작업의 격차를 메우기 위해 '특수 쌍곡점'을 도입하여 q-전개 계수의 문제적 비교를 피하는 것.
• 합동 조건이 추적 이상에 모odulo로 성립함을 확인함으로써, 이와사와 모듈러 이론에의 적용을 가능하게 하는 것.

제안 방법

• p-군 Σ의 부분군 격자 위에서 무거운 함수를 사용하여 중간 체를 넘는 허수측도의 전달을 가중치화한다.
• 델리뉴와 리베트의 q-전개 원리를 이용하여 에이젠슈타인 유형의 힐베르트 모듈라 형식의 상수항을 분석한다.
• 정리 4의 (4⋆) 합동을 두 쌍곡점에서의 q-전개 상수항의 차이로 식별한다.
• 노름 사상과 갈루아 군 간의 전달 사상들을 사용하여 확장 간의 허수측도를 연결한다.
• 순환 Zp-확장을 포함한 군의 구조와 갈루아 군의 작용을 이용하여 관련된 허수측도를 정의한다.
• 완비화된 군환 Zp[[H_S^+]]의 추적 이상을 사용하여 합동 조건을 수립함으로써 등변 이와사와 이론과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 p-군의 순서가 p인 경우에 성립하는 허수측도 합동이 등변 이와사와 이론의 맥락에서 임의의 유한한 p-군으로 일반화되는가?
• RQ2 에이젠슈타인 유형의 힐베르트 모듈라 형식의 상수항을 사용하여 전달된 허수측도 간의 합동을 검증할 수 있는가?
• RQ3 완전한 모듈라성이 없는 상황에서 특수 쌍곡점은 q-전개 계수 비교를 어떻게 단순화하는가?
• RQ4 부분군 격자 위의 무거운 함수는 필요한 합동을 구성하는 데 어떤 역할을 하는가?
• RQ5 전달 사상 아래에서 가중치가 부여된 허수측도의 합이 완비화된 군환의 추적 이상에 포함되는가?

주요 결과

• 주요 정리에서는 Zp[[H_S^+]]의 추적 이상에 속하는, 전달된 허수측도의 무거운 가중치 합이 존재함을 증명한다.
• 모든 g ∈ G_S에 대해 g_F가 F의 순환 Zp-확장의 갈루아 군으로 비자명하게 사상하는 경우 합동이 성립한다.
• 힐베르트 모듈라 형식의 두 q-전개 상수항의 차이의 상수항이 |St_Σ(ε_L)|Z_(p)에 속함을 보여, 필요한 합동을 유도한다.
• 증명은 레마 10을 통해 E_γ의 상수항이 외부 부분 제타 함수와 노름의 합으로 표현됨을 식별함에 기반한다.
• 모호스 계수 성질을 [HIÖ]에서 인용하여 정리 4의 가정을 검증함으로써 합동 조건이 성립함을 보장한다.
• 결과는 등변 이와사와 이론의 주요 추측을 p-원소 군에 대해 검증하는 데 핵심적인 단계를 확인한다.