Descriptive complexity of topological invariants - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2023

Descriptive complexity of topological invariants


In this article, we investigate the descriptive complexity of topological invariants. Our main goal is to understand the expressive power of low complexity invariants, by investigating which spaces they can distinguish. We study the invariants in the first two levels of the Borel hierarchy. We develop techniques to establish whether two spaces can be separated by invariants in these levels. We show that they are sufficient to separate finite topological graphs. We finally identify the complexity of recognizing the line segment.
Fichier principal
Vignette du fichier
preprint.pdf (365.67 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04222391 , version 1 (29-09-2023)




  • HAL Id : hal-04222391 , version 1


Djamel Eddine Amir, Mathieu Hoyrup. Descriptive complexity of topological invariants. 2023. ⟨hal-04222391⟩
54 View
47 Download


Gmail Facebook X LinkedIn More