[논문 리뷰] Distinguishing every finitely generated field of characteristic eq2 by a single field axiom

Florian Pop|arXiv (Cornell University)|2018. 09. 03.

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

한 줄 요약

이 논문은 특성 ≠ 2인 모든 유한 생성 체가 체의 언어에서의 단일 일阶 문장에 의해 유일하게 결정됨을 증명한다. 정의 가능한 비율, 갈루아 코hom로지 및 정수적으로 닫힌 부분환의 통일된 정의 가능성에 관여하는 모델 이론 기법을 사용하여, $L \cong K$일 때이고 오직 그 때에만 $φ_K$가 $L$에서 참이 되는 명시적 공리 $\varphi_K$를 구성한다. 이는 이 설정에서 강한 원소 동치 대 이somorphism 문제를 해결한다.

ABSTRACT

We show that the isomorphy type of every finitely generated field $K$ with $\chr(K) eq2$ is encoded by a extit{ extbf{single\ha3explicit\ha3axiom}} $\istp K\!$ extit{ extbf{in\ha3the\ha3language\ha3of\ha3fields}}, i.e., for all finitely generated fields $L$ one has: $\istp K$ holds in $L$ if and only if $K\cong L$ as fields. This extends earlier results by mnm{\footnotesize\sc Julia Robinson, Rumely, Poonen, Scanlon}, the author, and others.

연구 동기 및 목표

• 특성 ≠ 2인 모든 유한 생성 체에 대해 강한 원소 동치 대 이somorphism 문제(EEIP)를 해결하기 위해.
• 모든 이러한 체 $K$의 이somorphism 유형을 유일하게 특징짓는 체의 언어에서의 단일 일阶 문장 $\varphi_K$를 구성하기 위해.
• Rumely, Poonen 및 Scanlon의 이전 결과를 확장하여 특성 ≠ 2인 모든 유한 생성 체에 대해 통일적이고 명시적인 공리화를 제공하기 위해.
• 체 $K$의 이somorphizm 유형이 단일 문장으로 그의 원소 이론에 암묵적으로 포함됨을 보여주어, 순수한 원소 동치를 넘어서기 위해.

제안 방법

• 기저 체 $k_0$, 초월 기저, 그리고 체 확장의 정의 다항식을 암시하는 문장 $\varphi_K$를 구성하기 위해.
• Rumely의 결과를 사용하여 유한 생성 집합을 포착하는 문장 $\varphi_{k_0,\Sigma}$를 통해 전역 체 $k_0$의 이somorphism 유형을 정의하기 위해.
• 함수체 $k = k_0(\mathbf{t}_e)$가 $K$에서 상대적으로 대수적으로 닫혀 있음을 보장하기 위해 문장 $\varphi_{k_0,\mathbf{t}_e}$를 사용하기 위해, 즉 $k = \overline{k} \cap K$.
• 다음 조건들을 충족시키는 공리들의 논리곱으로 $\varphi_K$를 정의하기 위해: (a) $\dim(k_0) = 1$인 전역 체 $k_0$의 존재, (b) $k = k_0(\mathbf{t}_e)$를 만족하고 $k = \overline{k} \cap K$인 초월 기저 $\mathbf{t}_e,t$의 존재, (c) $f_K$의 기약성 및 $U$-모닉성, (d) $u$에 대한 차수 조건 $[K:k(u)] = \deg_U(f_K)$.
• 모델 이론적 전이를 사용: $\varphi_K$가 유한 생성 체 $L$에서 참이면, $k_0$, $\mathbf{t}_e$, $t$, $u$로부터 유도된 자료를 통해 $L$이 $K$로의 체 이somorphism을 가짐을 보장한다. 확장 차수는 일치한다.
• 특성 ≠ 2에서 정수적으로 닫힌 부분환의 통일된 일阶 정의 가능성에 관한 Aschenbrenner 등에 의한 결과를 활용하여 핵심 부분 구조의 정의 가능성 보장하기 위해.

실험 결과

연구 질문

• RQ1 특성 $\neq 2$인 모든 유한 생성 체 $K$의 이somorphism 유형이 체의 언어에서의 단일 일阶 문장으로 암시될 수 있는가?
• RQ2 강한 원소 동치 대 이somorphism 문제는 특성 $\neq 2$인 모든 유한 생성 체에 대해 양의 해답을 가질 수 있는가?
• RQ3 유한 생성 체의 구조는 정의 가능한 비율, 갈루아 코hom로지 및 밀너 K-이론을 통해 어느 정도 첫째 단계 공리로 암시될 수 있는가?
• RQ4 모든 유한 생성 체 $L$에 대해 $L \models \varphi_K$일 때이고 오직 그 때에만 $L \cong K$인 문장 $\varphi_K$의 통일적이고 명시적인 구성이 가능한가?
• RQ5 특성 $\neq 2$에서 기하적 소의 정의 가능성과 정수적으로 닫힌 부분환의 정의 가능성은 강한 EEIP를 첫째 단계 논리로 환원하는 데 사용될 수 있는가?

주요 결과

• 특성 $\neq 2$인 모든 유한 생성 체 $K$에 대해, 체의 언어에서의 단일 일阶 문장 $\varphi_K$가 존재하여 $L \models \varphi_K$일 때이고 오직 그 때에만 $L \cong K$임을 보여준다.
• $\varphi_K$의 구성은 기저 전역 체 $k_0$, 초월 기저, 그리고 생성자 $u$에 대한 차수 조건을 통해 체 확장을 잘라내는 정의 다항식 $f_K$를 암시하는 데 의존한다.
• 문장 $\varphi_K$는 함수체 $k = k_0(\mathbf{t}_e)$가 $K$에서 상대적으로 대수적으로 닫혀 있음을 보장한다. 즉, $k = \overline{k} \cap K$이며, 이는 체의 구조를 통제하는 데 핵심적이다.
• 증명은 $\varphi_K$를 만족하는 임의의 체 $L$는 반드시 $k_0$와 이somorphic인 부분체 $l_0$, 초월 기저 $\mathbf{t}'_e, t'$, 그리고 $[L:l(u')] = \deg_U(f_K)$를 만족하는 원소 $u'$를 포함해야 하며, 이는 $L$이 $K$와 이somorphic임을 강제함을 보여준다.
• 모델 이론적 상상의 요소 제거의 전체 능력을 사용하지 않고도, 정의 가능한 부분환과 코hom로지 도구를 사용하여 통일된 일阶 정의 가능성을 달성함으로써 이 문제를 해결한다.
• 이 결과는 Rumely의 이전 전역 체 작업을 일반화하고, Poonen 및 Scanlon의 결과를 특성 $\neq 2$인 모든 유한 생성 체로 확장하여 산술과의 이해관계를 확립한다.