[논문 리뷰] Algebraic extensions of global fields admitting one-dimensional local class field theory

Ivan D. Chipchakov|arXiv (Cornell University)|2005. 04. 01.

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

한 줄 요약

이 논문은 전역체의 대수적 확장체가 일차원 국소 클래스체론(LCFT)을 갖는 조건을 비율 이론적 기준을 통해 기술한다: 이러한 체 $E$가 LCFT를 갖는 것은 유일한 비자명한 절대값 체계 $\{v(p)\}_{p \in P(E)}$ 가 존재하여 $E(p) \otimes_E E_{v(p)}$ 가 체가 되는 것과 동치이다. 주요 기여는 유한 확장의 노름군에 대한 완전한 기술과 브라우어 군 $\text{Br}(E)$ 의 구조 기술, 특히 노름 형식에 대한 하세 원리의 타당성이다.

ABSTRACT

Let $E$ be an algebraic extension of a global field $E_{0}$ with a nontrivial Brauer group Br$(E)$, and let $P(E)$ be the set of those prime numbers $p$, for which $E$ does not equal its maximal $p$-extension $E(p)$. This paper shows that $E$ admits one-dimensional local class field theory if and only if there exists a system $V(E) = \{v(p)\colon \ p \in P(E)\}$ of (nontrivial) absolute values, such that $E(p) \otimes_{E} E_{v(p)}$ is a field, where $E_{v(p)}$ is the completion of $E$ with respect to $v(p)$. When this occurs, we determine by $V(E)$ the norm groups of finite extensions of $E$, and the structure of Br$(E)$. It is also proved that if $P$ is a nonempty set of prime numbers and $\{w(p)\colon \ p \in P\}$ is a system of absolute values of $E_{0}$, then one can find a field $K$ algebraic over $E_{0}$ with such a theory, so that $P(K) = P$ and the element $κ(p) \in V(K)$ extends $w(p)$, for each $p \in P$.

연구 동기 및 목표

• 전역체의 대수적 확장체 $E$ 중에서 일차원 국소 클래스체론(LCFT)을 갖는 체를 기술하는 것.
• 그러한 체에 대해 브라우어 군 $\text{Br}(E)$ 의 구조를 규명하는 것.
• 모든 유한 확장 $R/E$ 에 대해 노름군 $N(R/E)$ 를 절대값의 특성 체계로 기술하는 것.
• 브라우어 군 $\text{Br}(E) \neq \{0\}$ 인 경우 노름 형식 다항식에 대해 하세 원리가 성립하는 조건을 밝혀내는 것.

제안 방법

• 논문은 비자명한 절대값 체계 $\{v(p)\}_{p \in P(E)}$ 가 존재하여 $E(p) \otimes_E E_{v(p)}$ 가 체가 되는 조건을 근거로 한 기준을 수립한다.
• 국소-전역 접근법을 사용하여 각 $v(p)$ 에서의 확장의 국소적 행동을 분석하고 이를 전역 노름군과 연결한다.
• 노름군 $N(R/E)$ 는 국소적 행동이 각 $v(p)$ 에서 결정하는 유일한 유한 아벨 확장 $\Phi(R)/E$ 에 대해 $N(\Phi(R)/E)$ 와 같음을 보인다.
• 브라우어 군 $\text{Br}(E)$ 의 구조는 $E$ 가 엄격히 주로 준국소적이라는 조건 하에 $p$-성분 $\text{Br}(E)_p$ 가 비자명하고 $E$ 가 $p$-준국소적이라는 조건을 통해 결정된다.
• 논문은 갈루아 이론과 알버트-하우크시لد 정리를 응용하여 확장의 탑재 맵과 노름 맵을 분석한다.
• 유리수체 위의 다항식을 이용한 구체적 예시를 구성하고, $p$-진 완비화에서의 분할 행동을 분석하여 $N_{\text{loc}}(R/E)$ 가 비자명하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 전역체의 대수적 확장체 $E$ 가 일차원 국소 클래스체론을 갖는 조건은 무엇인가?
• RQ2 그러한 체 $E$ 에 대해 브라우어 군 $\text{Br}(E)$ 의 구조는 어떻게 되는가?
• RQ3 유한 확장 $R/E$ 의 노름군 $N(R/E)$ 는 국소 데이터로 어떻게 기술할 수 있는가?
• RQ4 노름 형식 다항식에 대해 하세 원리가 성립하는 조건은 무엇인가?
• RQ5 전역체 $E_0$ 에 대수적인 체 $K$ 를 어떻게 구성할 수 있으며, $P(K) = P$ 이고 국소 행동이 사전에 정의된 조건을 만족하는가?

주요 결과

• 체 $E$ 가 일차원 국소 클래스체론을 갖는 것은 비자명한 절대값 체계 $\{v(p)\}_{p \in P(E)}$ 가 존재하여 $E(p) \otimes_E E_{v(p)}$ 가 체가 되는 것과 동치이다.
• 모든 유한 확장 $R/E$ 에 대해 노름군 $N(R/E)$ 는 고유하게 결정되는 유한 아벨 확장 $\Phi(R)/E$ 에 대해 $N(\Phi(R)/E)$ 와 같다. 이는 고전적 국소 상호법칙을 만족한다.
• 몫군 $E^* / N(\Phi(R)/E)$ 는 갈루아 군 $\mathcal{G}(\Phi(R)/E)$ 와 동형이며, 이는 국소 상호법칙이 성립함을 확인한다.
• 브라우어 군 $\text{Br}(E)$ 는 각각 비자명한 $p$-성분 $\text{Br}(E)_p$ 들의 직합과 동형이며, 각 $p \in P(E)$ 에 대해 $E$ 는 $p$-준국소적이다.
• 모든 비어 있지 않은 소수 집합 $P$ 와 전역체 $E_0$ 에서의 절대값 체계 $\{w(p)\}_{p \in P}$ 에 대해, $P(K) = P$ 이고 각 $p \in P$ 에 대해 $\kappa(p) \in V(K)$ 가 $w(p)$ 를 확장하는 체 $K$ 가 $E_0$ 에 대수적으로 존재한다.
• 명시적인 예시를 통해 $N_{\text{loc}}(R/E) \subsetneq N(R/E)$ 임을 보여준다: $R = E(\alpha)$ 이고 $\alpha$ 가 다항식 $X^4 + 8X^2 + 256X - 20$ 의 근일 때, $E^* / N_{\text{loc}}(R/E)$ 는 순서 12의 비순환 군이며 $-20 \notin N_{\text{loc}}(R/E)$ 이다.