[論文レビュー] Existential rank and essential dimension of diophantine sets

Nicolas Daans, Philip Dittmann+1 more|arXiv (Cornell University)|Feb 13, 2021

Algebraic Geometry and Number Theory参考文献 40被引用数 4

ひとこと要約

本稿では、体上のディオファントス集合に対して、存在的ランク、正値存在的ランク、および本質的ファイバー次元という3つの複雑さの尺度を導入・分析し、これらの尺度と函手の本質的次元との間の関係を確立する。主な貢献として、有限生成体上の2つのディオファントス集合の共通部分集合の存在的ランクは、それぞれのランクの和から1を引いた値以下であるという、量化子を節約する境界が得られる。これは定義可能性に構造的制約を与え、数体や関数体におけるヒルベルトの10番目の問題を調査するための新たな道具を提供する。

ABSTRACT

We study the minimal number of existential quantifiers needed to define a diophantine set over a field and relate this number to the essential dimension of the functor of points associated to such a definition.

研究の動機と目的

• 体上のディオファントス集合に対して、存在的ランク、正値存在的ランク、および本質的ファイバー次元という新しい複雑さの尺度を定義・分析すること。
• これらの尺度と、特に代数幾何学および算術幾何学と関連する函手の本質的次元の概念との間の相互作用を調査すること。
• 特にグローバル体上のヒルベルトの10番目の問題の文脈において、ディオファントス定義可能性に構造的制約を与えること。
• ℤ ⊂ ℚ や 𝔽ₚ[t] ⊂ 𝔽ₚ(t) といった基本的集合がディオファントス的であるかどうかを、これらの複雑さの尺度を道具として用いて調査すること。

提案手法

• 存在的ランク、正値存在的ランク、本質的ファイバー次元という3つの複雑さの尺度を導入し、それぞれがディオファントス定義の異なる側面を捉えるようにする。
• カルペンコ、メルクジェフ、トタロの二次形式およびセベリ＝ブラウアー多様体に関する結果を活用した、函手の本質的次元の枠組みを用いる。
• 正標数における境界を証明するために、[Jeo97] の算術的結果を適用し、特に共通部分集合の境界に焦点を当てる。
• 環とその分数体における定義可能性を結びつけるために、モデル理論的技法（特に量化子除去と環の言語における解釈）を用いる。
• ガロア拡大における平方和やノーマル群といった集合の存在的ランクに対する境界を構成するために理論を適用する。
• 補題8.20および系5.11を用いた再帰的構成により、ℚの存在的ランクをℤまたはℤ≥₀のそれの関数として有界化する。

実験結果

リサーチクエスチョン

• RQ1 ディオファントス集合の存在的ランクは、本質的ファイバー次元を通じて、その幾何学的・算術的構造によって有界化可能か？
• RQ2 有限生成体上の2つのディオファントス集合の共通部分集合の存在的ランクは、常にそれぞれのランクの和から1を引いた値以下か？
• RQ3 ℚ や ℱₚ(t) の存在的ランクは、0, 1, ∞ とは異なり、1より大きく無限大未満の値を取るのか、それとも常に 0, 1, ∞ のいずれかか？
• RQ4 ガロア拡大における m 個の平方和やノーマル群といった集合の存在的ランクを正確に特定可能か？
• RQ5 存在的ランクが無限大であることを示すことで、ℤ が ℚ においてディオファントス的でないことを証明可能か？

主な発見

• 有限生成体上の2つのディオファントス集合の共通部分集合について、rk∃(D₁ ∩ D₂) ≤ rk∃(D₁) + rk∃(D₂) − 1 が成り立ち、自明な境界に比べて1つの量化子を節約する。
• 標識0の任意の体 K と任意の m > 0 に対して、K における m 個の平方和の集合の存在的ランクが正確に m に等しいような体 K が存在する。
• ディオファントス集合の本質的ファイバー次元は、その存在的定義の複雑さを制御し、この相互作用が主な境界を生み出す根拠である。
• 正標数において、𝔽ₚ(t) における p 乗数の集合の存在的ランクは 1 であるが、その完備化 𝔽ₚ((t)) では n に等しくなるため、定義可能性における重要な相違が示される。
• ℚ の存在的ランクが無限大であり、かつ ℚ×ℚ から ℚ への単射多項式写像が存在するならば、ℤ は ℚ においてディオファントス的でない。
• ℚ の存在的ランクは少なくとも 2 であり、これまでに計算されたすべての体について、その存在的ランクは {0, 1, ∞} に属する。これにより、1 より大きく有限であるような存在的ランクを持つ体が存在するかという疑問が生じる。