[論文レビュー] Hjorth Analysis of General Polish Group Actions

Ohad Drucker|arXiv (Cornell University)|Dec 20, 2015

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

ひとこと要約

この論文は一般のポーランド群作用におけるHjorthのランクの有界性原理を確立し、軌道同値関係がBorelであるための必要十分条件としてHjorthランクが一様に有界であること（すなわち、すべてのx ∈ Xに対してδ(x) ≤ αを満たすα < ω₁が存在すること）を示している。Hjorthの予想を裏付けるものとして、任意の極限順序数αに対して、Hjorthランクがα未塔である要素の集合{x : δ(x) < α}がBorelであることを証明し、HjorthランクにおけるNadelの定理を示している：δ(x) ≤ ω₁^ck(x)。

ABSTRACT

Hjorth has introduced a Scott analysis for general Polish group actions, and has asked whether his notion of rank satisfies a boundedness principle similar to the one of Scott rank - namely, the orbit equivalence relation is Borel if and only if Hjorth ranks are bounded. We present the principles of Hjorth analysis and Hjorth rank, and answer Hjorth's question positively. From that we get a positive answer to a conjecture due to Hjorth - for every limit ordinal $α$ , the set of elements whose orbit is of complexity less than $α$ is a Borel set. We then show Nadel's theorem for Hjorth rank - the rank of $x$ is no more than $ω_{1}^{ck(x)}$.

研究の動機と目的

• Hjorthのランクの有界性原理がスコットランクと同様に成り立つかどうか、Hjorthの未解決問題を解消すること。
• 任意の極限順序数αに対して、集合{x : δ(x) < α}がBorelであることを証明し、Hjorthの予想を裏付けること。
• HjorthランクにおけるNadelの定理を確立し、すべてのx ∈ ポーランドG空間に対してδ(x) ≤ ω₁^ck(x)であることを示すこと。
• δ(x) ≤ δ(y) や δ(x) < δ(y) といったランク比較のBorel複雑度を分析すること。
• 新しいHjorth分析フレームワークを用いて、論理的作用に関するBecker-Kechrisの定理を再証明すること。

提案手法

• x ∈ X および U ⊆ G が開集合であるような対(x,U)の間の非対称的かつ推移的な関係≤_αを用いて、BorelかつG-不変な同値関係の減少列≡_αを構成する。
• Hjorthランクδ(x)を、すべてのyに対してx ≡_α+ω y ならば軌道同値であるような最小の順序数αとして定義する。
• Vaught変換とBorel決定性を用いて、U·x の形をした集合がBorelであり、軌道G·x と同程度の複雑度を持つことを示す。
• 前後反復法を用いて、Hjorth分析におけるスコットの同型定理を証明する：x ≡_{δ(x)+ω} y ならば、x と y は軌道同値である。
• 再帰的順序数解析を用いて、δ(x) を x_G（x のG軌道情報）に相対的な非再帰的順序数ω₁^ck(x) で有界化する。
• 強制法に基づく議論をVaught変換の用語に翻訳することで、強制法の知識が不要なままアクセス性を保つ。

実験結果

リサーチクエスチョン

• RQ1 Hjorthランクの有界性原理は成り立つか：E_G^X がBorelであることは、Hjorthランクが一様に有界であることと同値か？
• RQ2 任意の極限順序数αに対して、集合{x : δ(x) < α}はBorelか？
• RQ3 Nadelの定理はHjorthランクに拡張可能か：すべてのxに対してδ(x) ≤ ω₁^ck(x)か？
• RQ4 関係{(x,y) : δ(x) ≤ δ(y)}のBorel複雑度は何か？
• RQ5 Hjorth分析フレームワークを用いて、論理的作用に関するBecker-Kechrisの定理を再証明できるか？

主な発見

• 有界性原理が成立する：E_G^X がBorelであることは、すべてのx ∈ Xに対してδ(x) ≤ αを満たすα < ω₁ が存在することと同値である。
• 任意の極限順序数αに対して、集合{x : δ(x) < α}がBorelであることが確認され、Hjorthの予想が裏付けられた。
• HjorthランクにおけるNadelの定理が証明された：すべてのx ∈ Xに対してδ(x) ≤ ω₁^ck(x)である。
• 関係{(x,y) : δ(x) ≤ δ(y)}は解析的であり、{(x,y) : δ(x) < δ(y)}はΠ₁¹である。これは最良の複雑度である。
• ヴァウトの予想の反例において、非劣微な軌道が存在し、すべてのG_δ軌道の和集合は余劣微である。
• ヴァウトの予想の反例において、少なくとも1つのG_δ軌道はF_σでないことが示され、軌道空間における構造的複雑性が裏付けられた。