[論文レビュー] Distinguishing every finitely generated field of characteristic eq2 by a single field axiom

Florian Pop|arXiv (Cornell University)|Sep 3, 2018

Algebraic Geometry and Number Theory参考文献 20被引用数 5

ひとこと要約

この論文は、特性 ≠ 2 である任意の有限生成体が、体の言語における単一の一階文によって、同型を除いて一意に決定されることを確立している。定義可能価値、ガロアコホノロジー、および整閉部分環の一様定義可能性に言及するモデル理論的技法を用いて、$L \cong K$ であるための必要十分条件を満たす明示的な公理 $\varphi_K$ を構成した。これにより、この設定における強い初等同等対同型問題（EEIP）が解決された。

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 である有限生成体に対する強い初等同等対同型問題（EEIP）を解決すること。
• 任意のこのような体 $K$ の同型型を一意に特徴付ける、体の言語における単一の第一階文 $\varphi_K$ を構成すること。
• Rumely, Poonen, および Scanlon の先行結果を拡張し、特性 ≠ 2 におけるすべての有限生成体に対して一様的かつ明示的な公理化を提供すること。
• 体 $K$ の同型型が、単一の文によってその初等理論に符号化されていることを示し、単なる初等同等を超えて、同型型の決定を可能にすること。

提案手法

• ベース体 $k_0$、超越基底、および体拡張を定義する多項式 $f_K$ を符号化する文 $\varphi_K$ を構成する。
• Rumelyの結果を用いて、有限生成集合を捉える文 $\varphi_{k_0,\Sigma}$ を用いて、グローバル体 $k_0$ の同型型を定義する。
• 関数体 $k = k_0(\mathbf{t}_e)$ が $K$ において相対的に代数的に閉じている、すなわち $k = \overline{k} \cap K$ であることを保証する文 $\varphi_{k_0,\mathbf{t}_e}$ を用いる。
• $\varphi_K$ を、(a) 次元が 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$ の間の体同型写像が誘導される。拡張次数も一致する。
• 特性 ≠ 2 における整閉部分環の一様第一階定義可能性に関する Aschenbrenner らの結果を活用し、重要な部分構造の定義可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特性 $\neq 2$ である任意の有限生成体 $K$ の同型型が、体の言語における単一の第一階文によって記述可能か？
• RQ2 強い初等同等対同型問題（EEIP）は、特性 $\neq 2$ であるすべての有限生成体に対して肯定的に解決可能か？
• RQ3 定義可能価値、ガロアコホノロジー、およびミルナー 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$ に同型な部分体 $l_0$、超越基底 $\mathbf{t}'_e, t'$、および $[L:l(u')] = \deg_U(f_K)$ を満たす元 $u'$ を含むことが示され、$L$ が $K$ に同型であることが強制される。
• モデル理論的像の消去の全パワーに依存せず、定義可能な部分環とコホノロジー的道具を用いることで、一様な第一階定義可能性を達成した。
• この結果は Rumely のグローバル体に関する先行研究を一般化し、Poonen および Scanlon の結果を特性 $\neq 2$ におけるすべての有限生成体に拡張し、算術と双解釈可能であることを確立した。