[論文レビュー] Some Positivstellens\"atze in real closed valued fields

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

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

ひとこと要約

この論文は、実閉付値体における定義可能集合上で非負である多項式および有理関数について、モデル理論的道具と標準的付値を用いて、古典的な正性結果を付値項を含む構造へと一般化した一般化されたポジティブステルンサッツを確立する。主な貢献は、この文脈における定義可能関数の非負性の論理的特徴付けである。

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.

研究の動機と目的

• 実閉付値体における付値項を含む定義可能集合へ、古典的なポジティブステルンサッツを拡張すること。
• 付値条件によって定義される定義可能部分集合上で非負である多項式および有理関数を特徴付けること。
• モデル理論的手法を用いて、付値体における正性の論理的枠組みを構築すること。
• 構造的付値体における非負性の論理的分析および意思決定手順の基礎を確立すること。

提案手法

• 実閉付値体における定義可能集合、特に付値項を含むものについて、モデル理論を用いて分析すること。
• 標準的付値の存在を活用して、正性分析のための一様な枠組みを構築すること。
• 有理関数が定義可能集合上で非負となる論理的条件を定式化すること。
• 実閉付値体の理論における量化記号除去技術を適用して、特徴付けを導出すること。
• 論理式を通じて付値論的制約を正性の主張に統合すること。
• 実閉付値体のモデル理論的構造を用いて、古典的な実代数幾何学の結果を一般化すること。

実験結果

リサーチクエスチョン

• RQ1 実閉付値体における定義可能集合上で、付値制約を含む有理関数が非負であるための論理的条件は何か？
• RQ2 古典的なポジティブステルンサッツは、定義のドメインに付値項を含める形でどのように拡張できるか？
• RQ3 このような体における非負有理関数の特徴付けにおいて、標準的付値は果たす役割は何か？
• RQ4 モデル理論的アプローチは、この文脈における非負性の完全な論理的特徴付けを提供できるか？
• RQ5 このような一般化を支える、実閉付値体における定義可能集合の論理的および代数的性質は何か？

主な発見

• 実閉付値体における定義可能集合（付値項を含むものも含む）上で非負である有理関数について、完全な論理的特徴付けが確立された。
• 標準的付値の存在により、異なる定義可能ドメインにわたる正性の均一な取り扱いが可能になった。
• 論理的枠組みに付値論的条件を組み込むことで、古典的なポジティブステルンサッツが一般化された。
• 結果は、主に実閉付値体理論における量化記号除去を活用したモデル理論的道具を用いて導出された。
• この枠組みにより、このクラスの体における定義可能集合上での有理関数の非負性の論理的意思決定が可能になった。