[论文解读] Wadge-like degrees of Borel bqo-valued functions

Takayuki Kihara, Victor Selivanov|arXiv (Cornell University)|Sep 24, 2019

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

一句话总结

本文将 Wadge 可约性推广至取值于更好准序（bqo）的 Borel 函数，统一了经典 Wadge 理论的两个扩展：使用更复杂函数（超出连续函数）的可约性，以及从 {0,1}-值集合到 Q-值函数的推广。关键结果揭示了 Δ₀^α-度（对应于 Δ₀^{α+γ}-可测的 Q-值函数）与 γ-重 Q-标记森林上的广义同态序之间存在同构关系，展现出不同复杂度层级之间的深层结构不变性。

ABSTRACT

We unite two well known generalisations of the Wadge theory. The first one considers more general reducing functions than the continuous functions in the classical case, and the second one extends Wadge reducibility from sets (i.e., $\{0,1\}$-valued functions) to $Q$-valued functions, for a better quasiorder $Q$. In this article, we consider more general reducibilities on the $Q$-valued functions and generalise some results of L. Motto Ros in the first direction and of T. Kihara and A. Montalbán in the second direction: Our main result states that the structure of the $\mathbfΔ^0_α$-degrees of $\mathbfΔ^0_{α+γ}$-measurable $Q$-valued functions is isomorphic to the $\mathbfΔ^0_β$-degrees of $\mathbfΔ^0_{β+γ}$-measurable $Q$-valued functions, and these are isomorphic to the generalized homomorphism order on the $γ$-th iterated $Q$-labeled forests.

研究动机与目标

• 统一 Wadge 理论的两个主要扩展：使用更复杂函数（如 Δ₀^α-映射）的可约性，以及从 {0,1}-值集合到更好准序 Q 上的 Q-值函数的推广。
• 刻画 Δ₀^{α+γ}-可测 Q-值函数的 Δ₀^α-度的结构。
• 在这些度与 γ-重 Q-标记森林上的广义同态序之间建立结构同构。
• 为理解经典 {0,1}-值情形之外的隐藏 Wadge 度结构（尤其是非 Borel 设置下）提供一个框架。

提出的方法

• 引入 Δ₀^α-可约性，作为 Wadge 可约性的推广，使用 Δ₀^α-函数作为约化映射。
• 将 Q-划分定义为 Baire 空间上的 Q-值函数，并将其与空间的 Q-标记划分等同。
• 构造迭代的 Q-标记森林，并为其配备一个同态准序 ≤_h，以建模可约性结构。
• 引入森林上的映射 r_ξ^* 和 s_ξ^*，它们保持同态序，并关联不同复杂度层级。
• 利用自同态与收缩（通过 μ 和 r_ξ^*）在 Borel 层次的不同层级之间建立度结构之间的同构。
• 应用已知的 bqo-结构结果（如 van Engelen-Miller-Steel）证明 Borel Q-划分的 Wadge 度构成一个 bqo。

实验结果

研究问题

• RQ1 Δ₀^{α+γ}-可测 Q-值函数的 Δ₀^α-度在不同 α 与 γ 下如何相互关联？
• RQ2 Wadge 度的结构能否通过如迭代标记森林等组合对象来刻画？
• RQ3 对于固定的 γ 但变化的 α，是否存在 Δ₀^α-度与 γ-重 Q-标记森林同态序之间的统一同构？
• RQ4 当 Q 为更好准序时，经典 Wadge 理论在 {0,1}-值函数情形下能在多大程度上推广至 Q-值函数？
• RQ5 在 bqo-值函数的背景下，不同 Borel 层次中哪些结构不变量得以保持？

主要发现

• 对于任意 α, β < ω₁，Δ₀^{α+γ}-可测 Q-值函数的 Δ₀^α-度结构同构于 Δ₀^{β+γ}-可测 Q-值函数的 Δ₀^β-度结构。
• 这些度结构同构于 γ-重 Q-标记森林上的广义同态序。
• 该同构由一对收缩对 (s_ξ^*, r_ξ^*) 诱导，该对在 Borel 层次的不同层级之间保持 Wadge 度结构。
• 映射 r_ξ^* 是森林结构上的自同态，其在 Wadge 度上诱导的映射为收缩，从而构成一个截面-收缩对。
• 该结果表明，当 γ 固定时，复杂度层级 α 并不影响度的内在结构，揭示了 Borel 层次中的深层不变性。
• 该框架为分析非 Borel Wadge 度（尤其在决定性等集合论假设下）提供了新工具，通过将其约化为组合森林结构来实现。