[论文解读] Stabilizers, groups with f-generics in NTP2 and PRC fields

Samaria Montenegro, Alf Onshuus+1 more|arXiv (Cornell University)|Oct 11, 2016

Advanced Topology and Set Theory参考文献 4被引用 7

一句话总结

本文為NTP2理論發展了一個穩定子定理，並應用於研究具有f-通用類型的有界PRC域中的可定義群。結果表明，此類群同構於多胞單元上具有代數群運算的無量詞可定義子群的有限指數子群，推廣了偽有限與實閉域中的相關結果。

ABSTRACT

In this paper we develop three different subjects. We study and prove alternative versions of Hrushovski's "Stabilizer Theorem", we generalize part of the basic theory of definably amenable NIP groups to NTP2 theories, and finally, we use all this machinery to study groups with f-generic types definable in bounded PRC fields.

研究动机与目标

• 將赫魯索夫斯基的穩定子定理推廣至NTP2理論，並在S1理想上使用較弱假設。
• 將可定義殆阿貝爾NIP群理論推廣至NTP2設定，特別關注f-通用類型。
• 在假設f-通用類型的前提下，分析有界PRC域中的可定義群，以實現結構分類。
• 確立此類群同構於無量詞可定義群的有限指數子群，且其運算在多胞單元上為代數運算。
• 證明類型定義子群的拓撲閉包模該子群的商群為緊致豪斯多夫群（即為投影群）。

提出的方法

• 在模型論語境中引入並分析S1理想，特別是定義群上不變理想的情境。
• 證明赫魯索夫斯基穩定子定理的兩個新版本：一個具備更簡潔假設（定理2.12），另一個則弱化S1條件（定理2.15）。
• 應用定理2.19（一個代數群片段定理）以證明實閉域中無扭群與代數群的R-點半代數同構。
• 使用謝拉希擴展技術，證明將有界PRC域擴展至所有無量詞外部可定義集合後，可實現量化符消去。
• 利用閉包與可定義性技術，構造一個群在多胞單元上的可定義覆蓋，使得群運算在這些單元上為代數運算。
• 將赫魯索夫斯基-皮拉的（1994）證明方法適應至有界PRC設定，利用穩定子定理與拓撲閉包論證。

实验结果

研究问题

• RQ1 赫魯索夫斯基的穩定子定理能否在S1理想假設更弱的NTP2理論中推廣？
• RQ2 可定義殆阿貝爾NIP群理論在具有f-通用類型的NTP2理論中能推廣到何種程度？
• RQ3 在有界PRC域中，具有f-通用類型的群具有何種結構性質？
• RQ4 有界PRC域中每一個具有f-通用類型的群是否同構於一個無量詞可定義群的有限指數子群，且其運算在多胞單元上為代數運算？
• RQ5 在此背景下，類型定義子群的拓撲閉包模該子群的商群具有何種性質？

主要发现

• 本文證明了一個新的赫魯索夫斯基穩定子定理版本（定理2.12），其假設更為簡潔，且證明框架更自然。
• 確立了一個幾何理論中的代數群片段定理（定理2.19），表明每一個在實閉域中可定義的無扭群，均與某個代數群的R-點半代數同構。
• 對於有界PRC域中具有f-通用類型的任意群，該群同構於一個無量詞可定義群的有限指數子群，且其運算在多胞單元上為代數運算。
• 代數群中類型定義子群 $ K $ 的拓撲閉包模 $ K $ 為緊致豪斯多夫群，即 $ \overline{K}/K $ 是投影群。
• 將有界PRC域擴展至所有無量詞外部可定義集合後，可實現量化符消去。
• 證明技術適應了赫魯索夫斯基-皮拉在偽有限與實閉域中的方法，將其結果推廣至NTP2設定下的更廣泛類別——有界PRC域。