[논문 리뷰] On the Bertrandias-Payan module in a p-extension -- capitulation kernel

Georges Gras|arXiv (Cornell University)|2015. 10. 18.

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

한 줄 요약

이 논문은 레오피oldt 추측 하에 수체의 p-확장 내에서 버트란디아–페이얀 모듈러스의 이상류의 자포르트 핵을 조사한다. 전이 사상이 특정한 경우를 제외하고는 단사임을 증명하며, 그 경우는 쿠머 확장이지만 전지적으로 순환적이지 않고 p에서 국소적으로 순환적인 경우이다. 이는 국소체 이론과 이와사와 이론을 통해 모듈러스의 구조를 완전히 특성화한다.

ABSTRACT

For a number field K and a prime number p we denote by BP\_K the compositum of the cyclic p-extensions of K embeddable in a cyclic p-extension of arbitrary large degree. Then BP\_K is p-ramified (= unramified outside p) and is a finite extension of the compositum K~ of the Z\_p-extensions of K.We study the transfer map j\_(L/K) (as a capitulation map of ideal classes) for the Bertrandias-Payan module bp\_K:=Gal(BP\_K/K~) in a p-extension L/K (p extgreater{}2, assuming the Leopoldt conjecture). In the cyclic case of degree p, j\_(L/K) is injective except if L/K is kummerian, p-ramified, non globally cyclotomic but locally cyclotomic at p (Theorem 3.1). We then intend to characterize the condition \#bp\_K divides \#bp\_L^G (fixed points). So we study bp\_L^G when j\_(L/K) is not injective and show that it depends on the Galois group (over K~) of the maximal Abelian p-ramified pro-p-extension of K.We give complete proofs in an elementary way using ideal approach of global class field theory.

연구 동기 및 목표

• p-확장 내 버트란디아–페이얀 모듈러스의 구조를 특성화하는 것.
• 전이 사상 jL/K 를 통해 이상류의 자포르트 핵을 분석하는 것.
• G = Gal(L/K) 일 때 |BPK| 가 |BPLG| 를 나누는 조건을 규명하는 것.
• 이상류 이론, p-진 클래스체 이론, 갈루아 코hom로지의 세 가지 서로 다른 접근법을 하나의 프레임워크 안에서 통합하는 것.
• 고도로 발전된 코호몰로지 기법을 피하고 전지적 클래스체 이론을 기반으로 종합적이고 기본적인 증명을 제공하는 것.

제안 방법

• eK 는 K 의 모든 Zp-확장을 합성한 것일 때, BPK := Gal(BPK/ eK) 를 버트란디아–페이얀 모듈러스로 사용한다.
• p-확장 L/K 에서 이상류의 자포르트를 전이 사상 jL/K 로 간주한다.
• 전지적 클래스체 이론의 이상수 이론적 접근을 통해 분할과 단위의 구조를 분석한다.
• WK 과 TK 에 관여하는 토르션 부분군 포함관계의 타당성을 확보하기 위해 레오피oldt 추측을 적용한다.
• 세 가지 서로 다른 방법론—이상류 군, p-진 클래스체 이론, 갈루아 코호몰로지—를 각각 독립적으로 형식화하여 비교한다.
• 최대 아벨 p-분할 프로-p 확장을 통해 BPG_L 의 구조를 분석하며, jL/K 가 단사가 아닐 경우를 다룬다.

실험 결과

연구 질문

• RQ1 p-확장 L/K 에서 전이 사상 jL/K 가 언제 단사인가?
• RQ2 G = Gal(L/K) 일 때, 버트란디아–페이얀 모듈러스 BPK 의 순서가 BPLG 의 순서를 나누는 조건은 무엇인가?
• RQ3 BPG_L 의 구조는 K 의 최대 아벨 p-분할 프로-p 확장의 갈루와 군에 어떻게 의존하는가?
• RQ4 p 에서 국소적으로 순환적인 행동이 jL/K 의 비단사성에 어떤 역할을 하는가?
• RQ5 세 가지 서로 다른 접근—이상류, p-진, 코호몰로지—는 이 맥락에서 어떻게 동일한 결과를 도출하는가?

주요 결과

• 전이 사상 jL/K 는 L/K 가 순환적 p-확장이지만, L/K 가 쿠머 확장이면서 p-분할적이며, p 에서 국소적으로 순환적이나 전지적으로 순환적이지 않은 경우를 제외하고는 항상 단사이다.
• 예외적인 경우, jL/K 의 비단사성은 K 의 최대 아벨 p-분할 프로-p 확장의 갈루와 군의 산술적 구조에 의해 완전히 특성화된다.
• 모듈러스 BPG_L 가 자명함과 동시에 확장 L/K 가 위에서 기술한 예외 조건을 만족할 때이고 뿐이다.
• 논문은 고도로 발전된 코호몰로지 도구를 피하고 전지적 클래스체 이론의 이상수 이론적 방법 뿐만으로 자포르트 핵의 구조를 완전하고 기본적으로 증명한다.
• 세 가지 독립된 접근—이상류 군, p-진, 코호몰로지—는 동일한 결과를 도출하며, 서로 다른 프레임워크 간의 일관성을 확인한다.
• 본 연구는 p-분할 이론에서 서로 다른 형식화 방식 간의 결과 비교 문제를 해결한다.