[논문 리뷰] Wadge-like degrees of Borel bqo-valued functions

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

Advanced Topology and Set Theory참고 문헌 19인용 수 5

한 줄 요약

이 논문은 {0,1}-값을 가진 집합에서 Q-값을 가진 함수로의 일반화와 더 복잡한 함수(연속 함수를 초월한)를 통한 환원 가능성이라는 고전 Wadge 이론의 두 확장들을 통합하는 바에 있다. 보다 나은 준순서(better quasiorder, bqo)를 값으로 가지는 Borel 함수에 대해 Wadge 환원 가능성을 일반화한다. 핵심 결과는 Δ₀^{α+γ}-측정 가능한 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}-값 집합에서 better quasiorder Q를 값으로 가지는 Q-값 함수로의 확장.
• bqo Q에 대해 Δ₀^{α+γ}-측정 가능한 Q-값 함수의 Δ₀^α-도수의 구조를 규명하기 위해.
• 이 도수들 사이의 구조적 동형사상을 γ번째 반복된 Q-라벨링된 산림의 일반화된 호모모르피 순서와 설정하기 위해.
• 특히 비-Borel 설정에서 고전적인 {0,1}-값 사례를 넘어서 숨겨진 Wadge 도수의 구조를 이해하기 위한 프레임워크를 제공하기 위해.

제안 방법

• Δ₀^α-환원 가능성을 Wadge 환원 가능성의 일반화로 도입하며, reducing map으로 Δ₀^α-함수를 사용한다.
• Baire 공간 위의 Q-값 함수로 Q-분할을 정의하고, 공간의 Q-라벨링된 분할과 일치시킨다.
• 반복된 Q-라벨링된 산림을 구성하고, 환원 가능성의 구조를 모델링하기 위해 호모모르피 준순서 ≤_h를 부여한다.
• 산림 위에 정의된 사상 r_ξ^*와 s_ξ^*를 도입하여 호모모르피 순서를 유지하고, 서로 다른 복잡도 수준 간의 관계를 설정한다.
• μ와 r_ξ^*를 통한 내적 사상과 재접합을 이용해 Borel 계층에서 서로 다른 수준의 도수 구조 간의 동형사상을 수립한다.
• van Engelen-Miller-Steel 등의 bqo-구조에 대한 기존 결과를 적용하여, Borel Q-분할의 Wadge 도수들이 bqo를 이룬다는 것을 보인다.

실험 결과

연구 질문

• RQ1 다른 α와 γ에 대해 Δ₀^{α+γ}-측정 가능한 Q-값 함수의 Δ₀^α-도수들은 어떻게 상호 관련되어 있는가?
• RQ2 반복된 라벨링된 산림 같은 조합론적 구조를 통해 Q-값 함수의 Wadge 도수의 구조를 특성화할 수 있는가?
• RQ3 고정된 γ에 대해 varying α에 대해 Δ₀^α-도수와 γ번째 반복된 Q-라벨링된 산림의 호모모르피 순서 사이에 통일된 동형사상이 존재하는가?
• RQ4 Q가 better quasiorder일 때, 고전적인 {0,1}-값 함수의 Wadge 이론이 Q-값 함수로 얼마나 일반화될 수 있는가?
• RQ5 bqo-값 함수의 맥락에서 Borel 계층의 서로 다른 수준 간에 유지되는 구조적 불변성은 무엇인가?

주요 결과

• 모든 α, β < ω₁에 대해 Δ₀^{α+γ}-측정 가능한 Q-값 함수의 Δ₀^α-도수의 구조는 Δ₀^{β+γ}-측정 가능한 Q-값 함수의 Δ₀^β-도수의 구조와 동형이다.
• 이 도수 구조들은 γ번째 반복된 Q-라벨링된 산림의 일반화된 호모모르피 순서와 동형이다.
• 이 동형사상은 Wadge 도수 구조를 Borel 계층의 서로 다른 수준 간에 유지하는 재접합 쌍 (s_ξ^*, r_ξ^*)에 의해 유도된다.
• 사상 r_ξ^*는 산림 구조 위의 내적 사상이며, Wadge 도수 위에 유도된 사상은 재접합이 되어 단면-재접합 쌍을 형성한다.
• 이 결과는 γ가 고정되어 있을 때 복잡도 수준 α가 도수의 본질적 구조에 영향을 주지 않음을 시사하며, Borel 계층 전반에 걸친 깊은 불변성을 드러낸다.
• 이 프레임워크는 비-Borel Wadge 도수를 분석하기 위한 새로운 도구를 제공하며, 특히 결정성과 같은 집합론적 가정 하에서 이를 조합론적 산림 구조로 환원함으로써 비-Borel 설정에서의 분석을 가능하게 한다.