[论文解读] 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秩一致有界。通过证明对每个极限序数α，具有Hjorth秩小于α的元素集合是Borel的，证实了Hjorth的猜想，并证明了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秩有界性原理是否类似于Scott秩成立的开放问题。
• 证明对每个极限序数α，集合{x : δ(x) < α}是Borel的，从而证实Hjorth的猜想。
• 为Hjorth秩建立Nadel定理，证明对所有x在波兰G-空间中，δ(x) ≤ ω₁^ck(x)。
• 分析秩比较的Borel复杂度，如{(x,y) : δ(x) ≤ δ(y)}和{(x,y) : δ(x) < δ(y)}。
• 使用新的Hjorth分析框架重新证明Becker-Kechris定理。

提出的方法

• 通过在X中的x与G的开子集U之间定义非对称、传递的关系≤_α，构造一列递减的Borel、G-不变等价关系≡_α。
• 将Hjorth秩δ(x)定义为最小序数α，使得对所有y，x ≡_α+ω y 蕴含轨道等价。
• 利用Vaught变换和Borel决定性，证明形如U·x的集合是Borel的，且其复杂度接近于轨道G·x的复杂度。
• 应用来回论证，证明Hjorth分析下的Scott同构定理：x ≡_{δ(x)+ω} y ⇒ x与y轨道等价。
• 采用递归序数分析，通过相对于x_G（即x的G-轨道信息）的最小非递归序数ω₁^ck(x)来界定δ(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)}为Π₁¹，此复杂度为最优。
• 在Vaught猜想的反例中，存在一个非第一纲轨道，且所有G_δ轨道的并集为余第一纲。
• 在Vaught猜想的反例中，至少一个G_δ轨道不是F_σ，表明轨道空间中存在结构性复杂度。