[논문 리뷰] Ramification in Iwasawa modules

Chandrashekhar Khare, Jean-Pierre Wintenberger|arXiv (Cornell University)|2010. 11. 29.

Algebraic structures and combinatorial models참고 문헌 8인용 수 3

한 줄 요약

이 논문은 수체의 환류군과 유한체 위의 곡선의 양자군 사이의 아이와사의 유사성에 기반한 상호성 추측을 제안하며, 일반화된 환류군과 아이와사 모듈러스 내의 분기화를 도입한다. 이는 Leopoldt의 추측과 동치인 분할 추측이 특정 p진 L함수의 영이 되지 않음을 보여주며, Q의 완전 실수 갈루아 확장에 대해 Leopoldt의 결함이 1일 수 없다는 것을 증명한다.

ABSTRACT

We study properties of ramification in Iwasawa modules.

연구 동기 및 목표

• 수체의 환류군과 곡선의 양자군 사이의 아이와사의 유사성을 일반화된 환류군과 분기된 아이와사 모듈러스로 확장한다.
• 대수기하학에서의 Ext-클래스 공식과 유사한, 아이와사 모듈러스 내의 분기화에 대한 상호성 추측을 수립한다.
• 이 상호성 프레임워크에서 Leopoldt의 추측과 동치인 분할 추측이 자연스럽게 유도됨을 보여준다.
• 완전 실수 갈루아 확장 F/Q에 대해 Leopoldt의 결함 δF,p 가 1일 수 없다는 것을 증명한다.
• 와일즈의 주 추측 증명과 히다의 Λ-적 힐베르트 모듈러 형식 이론을 활용하여 Leopoldt의 추측을 평가할 수 있는 기준을 제공한다.

제안 방법

• 아이와사 이론에서 차수 0의 분할에 해당하는 일반화된 환류군과 일반화된 양자군을 도입한다.
• 아이와사가 잘 알려준 페어링을 이용해 보조 소수에서의 분기화를 아이와사 모듈러스 내에 정의한다.
• 갈루아 군 내의 프로베니우스 원소에 지지된 차수 0 분할의 유사체를 구성한다.
• 아이와사 페어링을 사용하여 갈루아 코hom로지의 확장 클래스를 분기 데이터와 연결한다.
• 일반화된 양자군의 기하학적 Ext-클래스 공식을 아이와사 모듈러스로 확장하는 상호성 추측(추측 5.5)을 수립한다.
• 코hom로지적 및 갈루아 이론적 기법을 사용하여, 분할 추측(추측 5.6)이 Leopoldt의 추측과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 아이와사의 수체의 환류군과 곡선의 양자군 사이의 유사성은 일반화된 환류군과 분기된 아이와사 모듈러스로 확장될 수 있는가?
• RQ2 일반화된 양자군에 대한 기하학적 Ext-클래스 공식과 유사한 아이와사 이론 내의 상호성 법칙이 존재하는가?
• RQ3 추측된 상호성은 Leopoldt의 추측과 동치인 분할 조건을 함의하는가?
• RQ4 완전 실수 갈루아 확장 F/Q와 홀수 소수 p에 대해 Leopoldt의 결함 δF,p 가 1일 수 있는가?
• RQ5 와일즈의 주 추측 증명과 히다의 Λ-적 힐베르트 모듈러 형식 이론을 이 프레임워크를 통해 Leopoldt의 추측을 접근하는 데 사용할 수 있는가?

주요 결과

• 상호성 추측(추측 5.5)은 일반화된 양자군의 Ext-클래스 공식을 아이와사 모듈러스로 확장한 형태로 제안된다.
• 분할 추측(추측 5.6)은 Leopoldt의 추측과 동치임이 증명되었으며(정리 6.5),
• 논문은 어떤 완전 실수 갈루아 확장 F/Q와 홀수 소수 p에 대해서도 Leopoldt의 결함 δF,p 가 1일 수 없다는 것을 증명한다(논문 10.1조).
• 이 증명은 갈루아 코hom로지와 Zp-모듈러스의 랭크 2 자유 모듈러스의 구조를 기반으로 한다.
• Leopoldt의 추측이 차수 ≥2인 비아벨 표현 χ에 대해 실패한다면, p진 L함수 LQ,p(1,χ)는 반드시 0이 되어야 한다는 것이 밝혀졌다.
• 코hom로지적 추론은 H2에서의 제약 사상의 단사성과 미탈레프러의 성질을 활용하여, 시라우프 부분군 내의 코hom로지 클래스를 자명화한다.