[논문 리뷰] One-dimensional abstract local class field theory

Ivan D. Chipchakov|arXiv (Cornell University)|2005. 06. 24.

Algebraic Geometry and Number Theory참고 문헌 36인용 수 5

한 줄 요약

이 논문은 특정 브라우어 군 조건을 만족하는 체 E에 대해 일차원 추상 국소 클래스 체계 이론을 수립한다: E가 그 최대 p-확장에 진부분으로 포함될 때 Br(E)의 비자명한 p-성분이 존재하고, 모든 순환 p-확장 L/E에 대해 Br(L/E)가 Br(E)의 최대 p-지표 부분군과 일치한다. 이는 E의 유한 아벨 확장이 노름군에 의해 유일하게 결정됨을 증명하며, 기본 대응, 국소 상호법칙 법칙, 하세 기호의 유사체를 일반화하여 고전적 국소 클래스 체계 이론을 추상적 맥락에서 일반화한다.

ABSTRACT

Abstract. Let E be a field satisfying the following conditions: (i) the p-component of the Brauer group Br(E) is nontrivial whenever p is a prime number for which E is properly included in its maximal p-extension; (ii) the relative Brauer group Br(L/E) equals the maximal subgroup of Br(E) of exponent p, for every cyclic extension L/E of degree p. The paper proves that finite abelian extensions of E are uniquely determined by their norm groups and related essentially as in the classical local class field theory. This includes analogues to the fundamental correspondence, the local reciprocity law and the local Hasse symbol.

연구 동기 및 목표

• 브라우어 군 조건을 사용하여 일차원 설정에서 국소 클래스 체계의 추상적 프레임워크를 개발하기.
• 국소 체 가정을 코homological 및 군론적 공리로 대체하여 고전적 국소 클래스 체계를 일반화하기.
• 주어진 브라우어 군 제약 조건 하에서 E의 유한 아벨 확장이 노름군에 의해 유일하게 결정됨을 증명하기.
• 이 추상적 맥락에서 기본 대응, 국소 상호법칙 법칙, 하세 기호의 유사체를 수립하기.
• 순환 p-확장에서의 상대 브라우어 군의 구조를 절대 브라우어 군의 최대 p- torsion 부분군으로 특성화하기.

제안 방법

• 모든 소수 p에 대해, E가 그 최대 p-확장의 진부분이면 Br(E)의 p-성분이 비자명하다는 가정을 한다.
• 모든 차수 p의 순환 확장 L/E에 대해 상대 브라우어 군 Br(L/E)가 Br(E)의 지수 p의 최대 부분군이 되도록 조건을 설정한다.
• 이 공리를 사용하여 E의 유한 아벨 확장의 노름군 성질을 유도한다.
• 브라우어 군의 구조와 갈루아 코hom로의 관계를 연결하기 위해 코homological 기법을 적용한다.
• 노름군을 통한 E의 유한 아벨 확장과 절대 갈루아 군 Gal(E^s/E)의 유한지수인 열린 부분군 사이의 전단사 대응을 수립한다.
• 국소 상호법칙 사상과 하세 기호를 고전적 국소 클래스 체계의 불변량의 추상적 유사체로 구성한다.

실험 결과

연구 질문

• RQ1 어떤 브라우어 군 조건 하에서 E의 유한 아벨 확장의 노름군이 그 확장을 유일하게 결정하는가?
• RQ2 E가 국소 체가 아니라는 가정 하에 고전적 국소 상호법칙 법칙을 추상적 맥락에서 어떻게 재구성할 수 있는가?
• RQ3 순환 p-확장 L/E에 대한 상대 브라우어 군 Br(L/E)가 Br(E)의 구조를 어느 정도 반영하는가?
• RQ4 기본 대응과 하세 기호는 브라우어 군에 대한 코homological 공리만을 만족하는 체로 일반화 가능한가?
• RQ5 Br(E)에 어떤 추상적 조건이 성립하면 아벨 확장의 노름군이 확장을 완전히 분류하는가?

주요 결과

• 주어진 브라우어 군 공리 하에서 E의 유한 아벨 확장은 노름군에 의해 유일하게 결정된다.
• 국소 상호법칙 사상이 존재하며, E의 곱셈군의 프로프로폰트 완비화에서 E의 절대 갈루아 군의 아벨화로의 동형사상이다.
• 하세 기호가 잘 정의되며, Br(E)의 p- torsion 부분군에 값을 취한다. 이는 고전적 국소 기호를 일반화한다.
• 모든 차수 p의 순환 확장 L/E에 대해 상대 브라우어 군 Br(L/E)는 Br(E)의 지수 p의 최대 부분군과 동형이다.
• 노름군을 통한 E의 유한 아벨 확장과 Gal(E^s/E)의 유한지수 열린 부분군 사이의 기본 대응이 성립한다.
• E가 국소 체일 경우 이 이론은 고전적 국소 클래스 체계를 복원하므로, 공리들이 고전적 경우와 일致함을 보여준다.