arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2410.03033math.NTmath.AGmath.LO
收藏

数域中Darmon点的一阶可定义性

First-order definability of Darmon points in number fields

The Ohio State University(俄亥俄州立大学)

Juan Pablo De Rasis, Hunter Handley

AI总结:

本文研究了数域中Darmon点的一阶可定义性,通过全称存在全称公式描述,并在特定情况下改进为全称存在定义,同时展示了公式的统一性和多项式次数的界。

摘要:

对于给定的数域K,我们给出了affine Darmon点在P^1_K上的∀∃∀-一阶描述,并展示这种描述可以在某些特别情况下改进为∀∃-定义。Darmon点是一种几何上的完美幂泛化,构成一个非线性的集合论过滤,介于K和其S-整数环之间,后者可以用全称公式定义,这已被Koenigsmann、Park以及Eisenträger与Morrison逐步证明。我们还展示我们的公式对所有可能的S具有统一性,具有参数自由的统一性,并计算了量词的数量和定义多项式的次数界。

英文摘要:

For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case. Darmon points, which are a geometric generalization of perfect powers, constitute a non-linear set-theoretical filtration between $K$ and its ring of $S$-integers, the latter of which can be defined with universal formulas, as has been progressively proven by Koenigsmann, Park, and Eisenträger & Morrison. We also show that our formulas are uniform with respect to all possible $S$, with a parameter-free uniformity, and we compute the number of quantifiers and a bound for the degree of the defining polynomial.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑