RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2021 Volume 62, Number 5, Pages 1091–1108 (Mi smj7617)

This article is cited in 3 papers

New degree spectra of Polish spaces

A. G. Mel'nikovab

a School of Mathematics and Statistics, Victoria University of Wellington, Wellington, New Zealand
b Sobolev Institute of Mathematics, Novosibirsk, Russia

Abstract: The main result is as follows: Fix an arbitrary prime $q$. A $q$-divisible torsion-free (discrete, countable) abelian group $G$ has a $\Delta^0_2$-presentation if, and only if, its connected Pontryagin–van Kampen Polish dual $\widehat{G}$ admits a computable complete metrization (in which we do not require the operations to be computable). We use this jump-inversion/duality theorem to transfer the results on the degree spectra of torsion-free abelian groups to the results about the degree spectra of Polish spaces up to homeomorphism. For instance, it follows that for every computable ordinal $\alpha>1$ and each $=\mathbf{a} > 0^{(\alpha)}$ there is a connected compact Polish space having proper $\alpha^{th}$ jump degree $\mathbf{a}$ (up to homeomorphism). Also, for every computable ordinal $\beta$ of the form $1+\delta + 2n +1$, where $\delta$ is zero or is a limit ordinal and $n \in \omega$, there is a connected Polish space having an $X$-computable copy if and only if $X$ is $non$-$low_{\beta}$. In particular, there is a connected Polish space having exactly the $non$-$low_{2}$ complete metrizations. The case when $\beta=2$ is an unexpected consequence of the main result of the author's M.Sc. Thesis written under the supervision of Sergey S. Goncharov.

Keywords: computable analysis, constructive group, decidability, connected space.

UDC: 510.5

MSC: 35R30

Received: 26.05.2021
Revised: 27.06.2021
Accepted: 11.08.2021

DOI: 10.33048/smzh.2021.62.511


 English version:
Siberian Mathematical Journal, 2021, 62:5, 882–894

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025