[Paper Review] Point degree spectra of represented spaces

Takayuki Kihara, Arno Pauly|arXiv (Cornell University)|May 27, 2014

Advanced Topology and Set Theory4 citations

TL;DR

This paper introduces the point degree spectrum of a represented space as a new framework in computability theory that unifies Turing, enumeration, and continuous degrees within the Medvedev degrees. By linking this concept to infinite-dimensional topology and descriptive set theory, the authors construct continuum-many infinite-dimensional Cantor manifolds with property $C$ whose Borel structures at any finite rank are non-isomorphic, yielding new examples of Banach algebras of Baire class two functions and strengthening results in infinite-dimensional topology.

ABSTRACT

We introduce the point degree spectrum of a represented space as a substructure of the Medvedev degrees, which integrates the notion of Turing degrees, enumeration degrees, continuous degrees, and so on. The notion of point degree spectrum creates a connection among various areas of mathematics including computability theory, descriptive set theory, infinite dimensional topology and Banach space theory. Through this new connection, for instance, we construct a family of continuum many infinite dimensional Cantor manifolds with property $C$ whose Borel structures at an arbitrary finite rank are mutually non-isomorphic. This provides new examples of Banach algebras of real valued Baire class two functions on metrizable compacta, and strengthen various theorems in infinite dimensional topology such as Pol's solution to Alexandrov's old problem.

Motivation & Objective

• To develop a unified theory of degrees of unsolvability for points in arbitrary represented spaces, extending classical notions like Turing and enumeration degrees.
• To establish a connection between computability-theoretic complexity and topological invariants such as small inductive dimension and metrizability.
• To solve restricted Borel isomorphism problems in descriptive set theory by leveraging the point degree spectrum as a new structural invariant.
• To construct new examples of Banach algebras of real-valued Baire class two functions on metrizable compacta with non-isomorphic Borel structures at finite ranks.

Proposed method

• The point degree spectrum is defined as a substructure of the Medvedev degrees associated with a represented space, capturing the degrees of unsolvability of its points.
• The framework integrates classical degree structures—Turing, enumeration, continuous, and functionals—within a single Medvedev-based hierarchy.
• A key technical tool is the use of trees of partial functions with controlled computability relative to oracle sequences, enabling quasi-minimality arguments.
• The construction involves inductively building a partial function $\Phi$ via a priority-style strategy over stages, ensuring that $\Phi$ is quasi-minimal above a given sequence of oracles.
• The method applies to Polish spaces and uses $\sigma$-homeomorphism as a topological equivalence relation to characterize second-level Borel isomorphism.
• The proof relies on a careful analysis of consistent and inconsistent computations on trees, using strong extension and pruning techniques to control oracle dependencies.

Experimental results

Research questions

• RQ1 Can a unified framework be developed to classify the degrees of unsolvability of points in arbitrary represented spaces, beyond classical Turing degrees?
• RQ2 How do point degree spectra relate to topological invariants such as small inductive dimension or metrizability in Polish spaces?
• RQ3 Are there uncountably many infinite-dimensional Cantor manifolds with property $C$ whose Borel structures at finite ranks are pairwise non-isomorphic?
• RQ4 Can the second-level Borel isomorphism problem be resolved by constructing spaces with non-isomorphic $\mathcal{B}_n^*$-algebras?
• RQ5 What is the role of the point degree spectrum in distinguishing Borel isomorphism types in Banach algebras of Baire class functions?

Key findings

• The paper constructs a family of continuum-many infinite-dimensional Cantor manifolds with property $C$ whose Borel structures at any finite rank are mutually non-isomorphic.
• This construction yields new examples of Banach algebras of real-valued Baire class two functions on metrizable compacta.
• The point degree spectrum provides a new effective invariant that distinguishes spaces not detectable by classical topological invariants alone.
• The authors show that all points in a Polish space have Turing degrees if and only if its small transfinite inductive dimension exists.
• The framework confirms that two uncountable Polish spaces are second-level Borel isomorphic if and only if they are $\sigma$-homeomorphic, resolving a key case of the second-level Borel isomorphism problem.