[논문 리뷰] A classification of Artin-Schreier defect extensions and a characterization of defectless fields

Franz‐Viktor Kuhlmann|arXiv (Cornell University)|2010. 03. 29.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 8

한 줄 요약

이 논문은 차수 p인 순수 비가역적 확장에서 유도된 생성자 ϑ를 사용하여 의존적 결함 확장을 존재시키기 위한 기준을 설정함으로써, 비어 있지 않은 결함을 가진 비가환체에서 아르틴-슈라이어 결함 확장을 분류한다. 핵심 결과는 그러한 결함 확장이 존재하는 것과 동시에 η가 K로부터의 거리와 b의 값매김을 포함하는 값매김 부등식이 성립하는 것과 동치임을 보여준다. 특히, ϑ가 K로부터의 거리는 v(b)와 dist(η, K)를 포함하는 공식에 정확히 의해 결정된다.

ABSTRACT

We classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive characteristic, a valued field is algebraically complete if and only if it has no proper immediate algebraic extension and every finite purely inseparable extension is defectless. This result is an important tool for the construction of algebraically complete fields. We also consider extremal fields (= fields for which the values of the elements in the images of arbitrary polynomials always assume a maximum). We characterize inseparably defectless, algebraically maximal and separable-algebraically maximal fields in terms of extremality, restricted to certain classes of polynomials. We give a second characterization of algebraically complete fields, in terms of their completion. Finally, a variety of examples for Artin-Schreier extensions of valued fields with non-trivial defect is presented.

연구 동기 및 목표

• 비어 있지 않은 결함을 가진 비가환체에서 아르틴-슈라이어 결함 확장을 분류하기 위해.
• 필드가 의존적 아르틴-슈라이어 결함 확장을 가질 수 있는 조건을 특성화하기 위해.
• 초기 원소 η가 K로부터의 거리와 유도된 아르틴-슈라이어 생성자 ϑ가 K로부터의 거리 사이의 정확한 관계를 설정하기 위해.
• 값매김 이론적 조건을 사용하여 이러한 결함 확장의 존재를 판단하는 기준을 제시하기 위해.

제안 방법

• 차수 p인 K(η)|K의 즉각적 순수 비가역적 확장에서 η ∉ K_c일 때, ε := dist(η, K)를 K의 대수적 폐쇄로부터의 η의 거리로 정의한다.
• 모든 b ∈ K×에 대해, (p−1)vb + vη > pε 조건을 고려하며, 이는 의존적 아르틴-슈라이어 결함 확장이 존재하는지 여부를 결정한다.
• ϑ^p − ϑ = (η/b)^p 를 만족시키는 생성자 ϑ를 구성함으로써, K 위에서 아르틴-슈라이어 확장을 생성하도록 보장한다.
• dist(ϑ, K) = dist(η, K) − vb 를 증명함으로써, 새로운 생성자 ϑ의 거리가 b의 값매김과 원래 거리에 어떻게 연결되는지 밝힌다.
• 값매김 이론적 도구를 사용하여 결함을 분석하고, 이러한 모든 확장이 의존적임을 보여준다.
• 비어 있지 않은 결함을 가진 비가환체의 맥락에서 즉각적 확장 이론과 아르틴-슈라이어 이론을 적용한다.

실험 결과

연구 질문

• RQ1 값매김이 비어 있지 않은 필드 K가 의존적 아르틴-슈라이어 결함 확장을 가질 수 있는 조건은 무엇인가?
• RQ2 기본 원소 η와 b의 값매김에 비례하여 아르틴-슈라이어 생성자 ϑ가 K로부터의 거리는 어떻게 관련되는가?
• RQ3 이러한 결함 확장의 존재를 특성화하는 값매김 부등식은 무엇인가?
• RQ4 이러한 방식으로 얻어진 모든 아르틴-슈라이어 결함 확장은 의존적임을 분류할 수 있는가?
• RQ5 즉각적 순수 비가역적 확장의 구조는 결함 확장의 구성과 어떻게 관련되는가?

주요 결과

• 의존적 아르틴-슈라이어 결함 확장 K(ϑ)|K가 존재하는 것은 어떤 b ∈ K×에 대해 부등식 (p−1)vb + vη > pε 가 성립하는 것과 동치이다.
• 아르틴-슈라이어 생성자 ϑ가 K로부터의 거리는 정확히 dist(ϑ, K) = dist(η, K) − vb 로 주어진다.
• 이러한 방식으로 구성된 모든 아르틴-슈라이어 결함 확장은 의존적이다. 즉, 확장 내에서 비자명한 결함이 발생한다.
• 이러한 결함 확장의 완전한 분류는 b의 값매김과 η가 K로부터의 거리에 의해 이루어진다.
• 결과적으로, 기초 필드의 값매김 이론적 성질과 결함 확장의 존재 사이에 정확한 연결 고리가 설정된다.
• 이 방법은 주어진 조건 하에서 이러한 결함 확장이 존재하지 않는다는 조건을 통해 결함이 없는 필드의 특성화 기준을 제공한다.