[论文解读] Some Positivstellens\"atze in real closed valued fields

Noa Lavi|arXiv (Cornell University)|Jan 31, 2011

Advanced Topology and Set Theory参考文献 5被引用 1

一句话总结

本文利用模型论工具和典范赋值，通过在实闭赋值域的可定义集上引入赋值项，将经典非负性结果推广至包含赋值项的结构，建立了多项式与有理函数在实闭赋值域中非负性的广义正定理（positivstellensatz）。其主要贡献在于该情境下可定义非负函数的逻辑表征。

ABSTRACT

The purpose of this paper is to give a characterization for polynomials and rational functions which admit only non-negative values on definable sets in real closed valued fields. That is, generalizing the relative positivstellensatze for sets defined also by valuation terms. For this, we use model theoretic tools, together with existence of canonical valuations.

研究动机与目标

• 将经典的正定定理（positivstellens"atze）推广至包含赋值项的实闭赋值域。
• 表征在通过赋值条件定义的可定义子集上非负的多项式与有理函数。
• 利用模型论方法，为赋值域中的非负性建立逻辑框架。
• 为结构化赋值域中非负性的判定程序与逻辑分析奠定基础。

提出的方法

• 利用模型论分析实闭赋值域中的可定义集，特别是涉及赋值项的集合。
• 利用典范赋值的存在性，构建非负性分析的统一框架。
• 制定有理函数在可定义集上非负的逻辑条件。
• 在实闭赋值域理论中应用量化消除技术，推导出该表征。
• 通过逻辑公式将赋值理论约束整合到非负性陈述中。
• 利用实闭赋值域的模型论结构，推广经典实代数几何结果。

实验结果

研究问题

• RQ1 在包含赋值约束的实闭赋值域中，有理函数在可定义集上非负的逻辑条件是什么？
• RQ2 经典正定定理（positivstellens"atze）如何扩展至在定义域中包含赋值项的情形？
• RQ3 典范赋值在表征此类域中有理函数非负性方面起到什么作用？
• RQ4 模型论方法能否提供该情境下非负性完整的逻辑表征？
• RQ5 实闭赋值域中支持此类推广的可定义集的逻辑与代数性质是什么？

主要发现

• 本文为实闭赋值域中在可定义集（包括使用赋值项定义的集合）上非负的有理函数建立了完整的逻辑表征。
• 典范赋值的存在使得不同可定义域上的非负性可统一处理。
• 本文通过将赋值理论条件整合进逻辑框架，推广了经典正定定理（positivstellens"atze）。
• 研究结果基于模型论工具，特别是实闭赋值域理论中的量化消除技术推导得出。
• 该框架使得可在该类赋值域中对可定义集上非负性进行逻辑判定。