[논문 리뷰] Selmer groups over Z d p -extensions

Ki-Seng Tan|arXiv (Cornell University)|2014. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 9

한 줄 요약

이 논문은 Z_p^d-확장의 Z^d-피라미드 내부의 엄격한 중간 Z^e-확장들에서 이중 p-primary Selmer 군 X_L의 특성 이상수의 변화를 조사한다. 비노에테리안 Iwasawa 대수 위에서의 Iwasawa 이론을 사용하여, 서로 다른 계층에서 Selmer 군의 특성 이상수 사이의 정확한 관계를 확립하며, 이상수의 구조가 Iwasawa 대수 Z_p((Γ))의 구조와 제약 및 유도에 따른 Selmer 군의 행동에 의해 결정됨을 보여준다.

ABSTRACT

Consider an abelian variety A defined over a global field K and let L/K be a Z d -extension, unramified outside a finite set of places of K, with Gal(L/K ) = � . Let �(�) := Z p((� )) denote the Iwasawa algebra. In this paper, we study how the characteristic ideal of the �(�) -module X L, the dual p-primary Selmer group, varies when L/K is replaced by a strict intermediate Z e-extension.

연구 동기 및 목표

• Z^d-확장에서 Z^e-중간 확장으로 갈 때 이중 p-primary Selmer 군 X_L의 특성 이상수가 어떻게 변화하는지 이해하는 것.
• Γ ≅ Z_p^d 형태의 비노에테리안 Iwasawa 대수 Z_p((Γ))에 대해 Iwasawa 이론적 방법을 확장하는 것.
• 특히 제약 및 유도의 상호작용을 중심으로 하여 Z_p^d-확장의 계층에서 Selmer 군의 구조를 분석하는 것.
• Iwasawa 대수와 갈루아 작용을 바탕으로 X_L의 특성 이상수에 대한 정확한 공식 또는 관계를 수립하는 것.
• 고전적 Z_p-확장에서의 특성 이상수 결과를 고차원 Z_p^d-확장으로 일반화하는 것.

제안 방법

• Γ ≅ Z_p^d 이며 Λ = Z_p((Γ))인 Iwasawa 대수를 사용하여 Z^d-확장에서 Selmer 군의 갈루아 작용을 모델링한다.
• 비노에테리안 환 위에서 Iwasawa 모듈에 대한 이중성 이론을 적용하여 이중 Selmer 군 X_L의 구조를 분석한다.
• Γ의 서로 다른 부분군 위에서의 Iwasawa 모듈 간 제약 및 유도 함자(functor)를 활용하여 중간 확장 간의 Selmer 군을 연결한다.
• Iwasawa 대수의 구조를 이용하여 X_L의 특성 이상수를 모듈의 표현 및 그 소거자(annihilator)로 기술한다.
• Λ가 차원 d+1인 정규환(regular ring)임을 이용하여 유한 생성 Λ-모듈의 피팅 이상수(Fitting ideals) 및 특성 이상수를 분석한다.
• Iwasawa 모듈에서의 의사등장(pseudo-isomorphism) 이론을 적용하여 Z^d-확장 계층의 서로 다른 계층에서의 Selmer 군을 비교한다.

실험 결과

연구 질문

• RQ1 L/K 가 엄격한 중간 Z^e-확장으로 대체될 때 이중 p-primary Selmer 군 X_L의 특성 이상수가 어떻게 변화하는가?
• RQ2 Γ ≅ Z_p^d의 서로 다른 부분군 위에서 Selmer 군의 맥락에서 Iwasawa 모듈 간의 정확한 관계는 무엇인가?
• RQ3 Iwasawa 대수 Z_p((Γ))를 사용하여 고차원 Z_p^d-확장에서의 특성 이상수의 구조를 묘사할 수 있는가?
• RQ4 비노에테리안 Iwasawa 대수의 맥락에서 제약 및 유도 함자가 Selmer 군에 어떻게 작용하는가?
• RQ5 Z^d-확장 계층 전반에서 Selmer 군의 어떤 불변량(invariant)이 안정되거나 예측 가능하게 변하는가?

주요 결과

• Z^e-확장에서 이중 Selmer 군 X_L의 특성 이상수는 Iwasawa 대수 Λ에서의 제약 사상에 의한 이미지에 의해 결정된다.
• Iwasawa 대수 Z_p((Γ))의 구조는 X_L의 특성 이상수를 모듈의 피팅 이상수로 정확하게 묘사할 수 있도록 한다.
• 적절한 이중성 하에 엄격한 중간 Z^e-확장에서 Selmer 군 X_L는 해당 부분군에서 유도된 모듈과 의사등장(pseudo-isomorphic)이다.
• Z^e-확장에서 X_L의 특성 이상수는 Iwasawa 대수의 노름 사상(norm map)을 통해 원래 Z^d-확장에서의 이상수와 관련된다.
• 계층 간 특성 이상수의 변화는 Iwasawa 대수의 구조와 Selmer 군의 갈루아 모듈 구조에 의해 지배된다.
• 결과는 고전적 Z_p-확장에서의 결과를 고차원 Z_p^d-확장으로 일반화하며, 특성 이상수가 부분확장으로의 제약 하에서 예측 가능하게 행동함을 보여준다.