[論文レビュー] 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-generic型を備えた有界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.

研究の動機と目的

• S1イデアルに関する弱い仮定の下で、ハルシュォフスキーの安定化子定理をNTP2理論へ一般化すること。
• 定義可能にアメニタリーなNIP群の理論を、特にf-ジェネリック型に注目して、NTP2設定へ拡張すること。
• f-ジェネリック型を仮定したもとで、有界PRC体における定義可能群の構造的分類を目的として分析すること。
• このような群が、多変数セル上で代数的演算をもつ量化子なしに定義可能な群の有限指数部分群と同種であることを確立すること。
• 型定義可能部分群の位相的閉包をその部分群で割った商がプロファイントであることを示すこと。

提案手法

• モデル理論的文脈、特に定義可能群上の不変イデアルにおけるS1イデアルを導入・分析する。
• ハルシュォフスキーの安定化子定理の2つの新しい版を証明する：1つは単純化された仮定（定理2.12）、もう1つは弱くされたS1条件（定理2.15）。
• 定理2.19（代数的群の断片定理）を適用し、実閉体におけるねじれのない群が代数的群のR-点と半代数的に同型であることを示す。
• シェラの拡張技法を用いて、有界PRC体にすべての量化子なしに外部的に定義可能な集合を拡張すると、量化子消去が成り立つことを示す。
• 閉包と定義可能性の技法を用いて、群の多変数セルへの定義可能被覆を構成し、群演算が代数的になるようにする。
• ハルシュォフスキー＝ピレイ（1994）の証明を、安定化子定理と位相的閉包の議論を活用して、有界PRC設定へ適応する。

実験結果

リサーチクエスチョン

• RQ1 ハルシュォフスキーの安定化子定理は、S1イデアルに関する弱い仮定の下でNTP2理論へ一般化可能か？
• RQ2 定義可能にアメニタリーなNIP群の理論は、f-ジェネリック型を備えたNTP2理論へどの程度まで拡張可能か？
• RQ3 f-ジェネリック型を備えた群は、有界PRC体においてどのような構造的性質を持つか？
• RQ4 有界PRC体におけるf-ジェネリックを備えたすべての群は、多変数セル上で代数的演算をもつ量化子なしに定義可能な群の有限指数部分群と同種か？
• RQ5 この文脈において、型定義可能部分群 $ K $ の位相的閉包を $ K $ で割った商の性質は何か？

主な発見

• 本稿は、より単純な仮定とより自然な証明枠組みを備えたハルシュォフスキーの安定化子定理の新版（定理2.12）を証明する。
• 幾何的理論における代数的群の断片定理（定理2.19）を確立し、これは実閉体に定義可能なすべてのねじれのない群が代数的群のR-点と半代数的に同型であることを示唆する。
• 有界PRC体におけるf-ジェネリックを備えた任意の群は、多変数セル上で代数的演算をもつ量化子なしに定義可能な群の有限指数部分群と同種である。
• 代数的群の型定義可能部分群 $ K $ の位相的閉包を $ K $ で割った商 $ \overline{K}/K $ はプロファイントである、すなわち $ \overline{K}/K $ はプロファイントである。
• 有界PRC体にすべての量化子なしに外部的に定義可能な集合を拡張すると、量化子消去が成り立つ。
• 証明技法は、擬有限体および実閉体におけるハルシュォフスキー＝ピレイの手法を、有界PRC体のより広いクラスへ適応し、彼らの結果をNTP2設定へ拡張する。