[论文解读] 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

一句话总结

本文引入并分析了三个复杂度度量——存在性秩、正存在性秩与本质纤维维数——用于域上的丢番图集，建立了这些度量与函子本质维数之间的联系。关键贡献在于一个量化节省界限：在有限生成域上，两个丢番图集的交集的存在性秩至多为其秩之和减一，这为可定义性提供了结构约束，并为研究数域与函数域上的希尔伯特第十问题提供了新工具。

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.

研究动机与目标

• 定义并分析域上丢番图集的新复杂度度量——存在性秩、正存在性秩与本质纤维维数。
• 探讨这些度量与函子本质维数概念之间的相互作用，尤其在代数几何与算术几何中的关系。
• 为丢番图可定义性提供结构约束，特别是在整体域上希尔伯特第十问题的背景下。
• 利用这些复杂度度量作为工具，探究某些基本集合（如ℚ中的ℤ或𝔽ₚ(t)中的𝔽ₚ[t]）是否为丢番图集。

提出的方法

• 引入三种复杂度度量：存在性秩、正存在性秩与本质纤维维数，各自捕捉丢番图定义的不同方面。
• 采用函子本质维数的框架，借鉴Karpenko、Merkurjev与Totaro关于二次曲面与Severi-Brauer簇的结果。
• 应用[Jeo97]中的算术结果，证明正特征情况下的界限，特别是交集界限。
• 运用模型论技术，包括环语言中的量化消除与解释，将环上的可定义性与其分式域上的可定义性联系起来。
• 将该理论应用于构造如平方和与伽罗瓦扩张中范数群的存在性秩的界限。
• 通过引理8.20与推论5.11的递归构造，以ℤ或ℤ≥₀的存在性秩为基准，界定ℚ的存在性秩。

实验结果

研究问题

• RQ1 能否根据其几何与算术结构（特别是通过本质纤维维数）以某种方式界定丢番图集的存在性秩？
• RQ2 在有限生成域上，两个丢番图集的交集的存在性秩是否总是至多为其各自秩之和减一？
• RQ3 ℚ或ℱₚ(t)的存在性秩是否严格介于1与∞之间，还是恒为0、1或∞？
• RQ4 能否精确确定如m个平方和或伽罗瓦扩张中范数群等集合的存在性秩？
• RQ5 能否通过证明ℤ的存在性秩为无穷大，来证明ℤ在ℚ中不是丢番图集？

主要发现

• 在有限生成域上，两个丢番图集交集的存在性秩满足 rk∃(D₁ ∩ D₂) ≤ rk∃(D₁) + rk∃(D₂) − 1，相较于平凡界限节省了一个存在量词。
• 对任意特征为零的域K及任意m > 0，存在一个域K，使得K中m个平方和的集合的存在性秩恰好为m。
• 丢番图集的本质纤维维数控制其存在性定义的复杂度，这种相互作用构成了主要界限的基础。
• 在正特征情况下，𝔽ₚ(t)中p次幂集合的存在性秩为1，尽管在完备化𝔽ₚ((t))中为n，显示出可定义性中的关键差异。
• 若ℚ的存在性秩为无穷大，且存在一个从ℚ×ℚ到ℚ的单射多项式映射，则ℤ在ℚ中不是丢番图集。
• ℚ的存在性秩至少为2，且对所有已计算其存在性秩的域，其值均属于{0, 1, ∞}，这引发了关于是否存在有限存在性秩严格大于1的域的问题。