Manifold classification from the descriptive viewpoint
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914228618657792 |
|---|---|
| author | Bergfalk, Jeffrey Smythe, Iian B. |
| author_facet | Bergfalk, Jeffrey Smythe, Iian B. |
| contents | We consider classification problems for manifolds and discrete subgroups of Lie groups from a descriptive set-theoretic point of view. This work is largely foundational in conception and character, recording both a framework for general study and Borel complexity computations for some of the most fundamental classes of manifolds. We show, for example, that for all $n\geq 0$, the homeomorphism problem for compact topological $n$-manifolds is Borel equivalent to the relation $=_{\mathbb{N}}$ of equality on the natural numbers, while the homeomorphism problem for noncompact topological $2$-manifolds is of maximal complexity among equivalence relations classifiable by countable structures. A nontrivial step in the latter consists of proving Borel measurable formulations of the Jordan--Schoenflies and surface triangulation theorems. Turning our attention to groups and geometric structures, we show, strengthening results of Stuck--Zimmer and Andretta--Camerlo--Hjorth, that the conjugacy relation on discrete subgroups of any noncompact semisimple Lie group is essentially countable universal. So too, as a corollary, is the isometry relation for complete hyperbolic $n$-manifolds for any $n\geq 2$, generalizing a result of Hjorth--Kechris. We then show that the isometry relation for complete hyperbolic $n$-manifolds with finitely generated fundamental group is, in contrast, Borel equivalent to the equality relation $=_{\mathbb{R}}$ on the real numbers when $n=2$, but that it is not concretely classifiable when $n=3$; thus there exists no Borel assignment of numerical complete invariants to finitely generated Kleinian groups up to conjugacy. We close with a survey of the most immediate open questions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_24996 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Manifold classification from the descriptive viewpoint Bergfalk, Jeffrey Smythe, Iian B. Logic Differential Geometry Geometric Topology Primary 03E15, 58H05, 57K20, 57K32, 22E40, Secondary 22E46, 20H10, 30F40, 57M99 We consider classification problems for manifolds and discrete subgroups of Lie groups from a descriptive set-theoretic point of view. This work is largely foundational in conception and character, recording both a framework for general study and Borel complexity computations for some of the most fundamental classes of manifolds. We show, for example, that for all $n\geq 0$, the homeomorphism problem for compact topological $n$-manifolds is Borel equivalent to the relation $=_{\mathbb{N}}$ of equality on the natural numbers, while the homeomorphism problem for noncompact topological $2$-manifolds is of maximal complexity among equivalence relations classifiable by countable structures. A nontrivial step in the latter consists of proving Borel measurable formulations of the Jordan--Schoenflies and surface triangulation theorems. Turning our attention to groups and geometric structures, we show, strengthening results of Stuck--Zimmer and Andretta--Camerlo--Hjorth, that the conjugacy relation on discrete subgroups of any noncompact semisimple Lie group is essentially countable universal. So too, as a corollary, is the isometry relation for complete hyperbolic $n$-manifolds for any $n\geq 2$, generalizing a result of Hjorth--Kechris. We then show that the isometry relation for complete hyperbolic $n$-manifolds with finitely generated fundamental group is, in contrast, Borel equivalent to the equality relation $=_{\mathbb{R}}$ on the real numbers when $n=2$, but that it is not concretely classifiable when $n=3$; thus there exists no Borel assignment of numerical complete invariants to finitely generated Kleinian groups up to conjugacy. We close with a survey of the most immediate open questions. |
| title | Manifold classification from the descriptive viewpoint |
| topic | Logic Differential Geometry Geometric Topology Primary 03E15, 58H05, 57K20, 57K32, 22E40, Secondary 22E46, 20H10, 30F40, 57M99 |
| url | https://arxiv.org/abs/2512.24996 |