[论文解读] A counterexample concerning quantifier elimination in quasianalytic structures

Krzysztof Jan Nowak|arXiv (Cornell University)|Oct 4, 2013

Advanced Topology and Set Theory参考文献 16被引用 3

一句话总结

本文構造了一個反例，表明與經典的實解析結構 ℝ_an 不同，僅通過添加倒數函數 1/x，擬解析結構不具備量化詞消去性。利用項的直線化與 Denjoy–Carleman 類的不可延拓性定理，證明了某些可定義曲線無法以該語言表達，並進一步顯示 Łojasiewicz 對子解析曲線為半解析的定理在該設定下不成立。

ABSTRACT

This paper is a revised version of our preprints IMUJ Preprint 2012/04 and RAAG Preprint 343 from May 2012. It provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented by the reciprocal function. It also demonstrates that Lojasiewicz's theorem that every subanalytic curve is semianalytic is no longer true in quasianalytic structures. Our construction applies rectilinearization of terms, established in our earlier papers, as well as some theorems on power substitution for Denjoy-Carleman classes and on non-extendability of quasianalytic function germs. The last result relies on Grothendieck's factorization and open mapping theorems for (LF)-spaces.

研究动机与目标

• 解決早期研究中的一個開放問題：即擬解析結構在僅由受限擬解析函數與 1/x 擴充的語言下是否具有量化詞消去性。
• 證明與 ℝ_an 不同，此類擬解析結構在該語言下可能無法消去量化詞。
• 顯示 Łojasiewicz 定理——每個子解析曲線都是半解析的——在擬解析設定下不成立。
• 建立擬解析結構中某些可定義曲線無法僅用有理函數與受限擬解析函數參數化的事實。
• 利用 Grothendieck 對 (LF)-空間的定理，提供擬解析函數芽的不可延拓性結果。

提出的方法

• 透過擬解析結構中的爆破與冪代換實現項的直線化，延續 [18] 與 [19] 的先前結果。
• 應用 Denjoy–Carleman 類的冪代換定理，分析函數在奇點附近的局部行為。
• 使用對擬解析芽的不可延拓性定理，經 Thilliez 工作之精煉，依賴 Grothendieck 對 (LF)-空間的分解與開映射定理。
• 構造特定的擬解析類 𝒬_M，其中 M_n = (log log 3)^{-3} (log log(n+3))^{n+3}，確保其擬解析性與對微分的封閉性。
• 使用 Puiseux 型參數化導出矛盾：若該曲線在受限語言中可定義，則其參數化將意味其屬於更小的擬解析類。
• 應用直線化定理（定理 4.2）表明，該語言中任何可定義函數必來自爆破與冪代換的複合，若該函數不在預期類別中，則產生矛盾。

实验结果

研究问题

• RQ1 擬解析結構在僅由受限擬解析函數與倒數函數 1/x 擴充的語言下是否具有量化詞消去性？
• RQ2 擬解析結構中每個可定義曲線是否都能僅用有理函數與受限擬解析函數參數化？
• RQ3 Łojasiewicz 定理——所有維數 ≤1 的子解析集都是半解析的——在擬解析結構中是否成立？
• RQ4 是否存在無法以與結構中可定義函數相容的方式，甚至在局部範圍內延拓的擬解析函數芽？
• RQ5 當僅添加 1/x 時，透過爆破與冪代換的直線化是否能完全描述此類結構中的可定義集？

主要发现

• 存在一個擬解析結構，即 ℝ_𝒬_M，其中 M_n = (log log 3)^{-3} (log log(n+3))^{n+3}，其在添加 1/x 後的語言下不具備量化詞消去性。
• 反例為一條過原點的平面曲線，在 ℝ_𝒬_M 中可定義，但無法以受限 𝒬_M-函數與 1/x 的任何項定義。
• 此失敗原因在於該曲線在 0 點的芽屬於 𝒬_1(M)^+，但不屬於任何 ⋃_{p odd} 𝒬_1(M^{(p)})，與可定義性所需的參數化形式矛盾。
• 此結果意味著 Łojasiewicz 對子解析曲線為半解析的定理在擬解析結構中不成立。
• 利用 Grothendieck 對 (LF)-空間的定理，確立了某些擬解析芽的不可延拓性，顯示此類芽無法在受限語言中表示。
• 該構造確認，僅透過爆破（無有理冪）的直線化不足以描述擬解析結構中的所有可定義集，即使在維度 1 下亦然。