Transfinitely iterated wild sets
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908970353950720 |
|---|---|
| author | Brazas, Jeremy Mitra, Atish |
| author_facet | Brazas, Jeremy Mitra, Atish |
| contents | In this paper, we study homotopical analogues of the Cantor-Bendixson derivative. For each $n\geq 0$, the "$π_n$-wild set" $\mathbf{w}_n(X)$ of a topological space $X$ is the subspace of $X$ consisting of the points at which there exists a shrinking sequence of essential based maps $S^n\to X$. Since the operator $\mathbf{w}_n$ permits iteration, every given space $X$ yields a descending transfinite sequence of nested subspaces $\{\mathbf{w}_n^κ(X)\}_κ$ that stabilizes at some smallest ordinal $\mathbf{wrk}_n(X)$ called the "$π_n$-wild rank" of $X$. We show that the entire transfinite sequence $\{ho(\mathbf{w}_n^κ(X))\}_κ$ of homotopy types is a homotopy invariant of $X$ and that $\mathbf{wrk}_n(X)$ can be an arbitrary countable ordinal when $X$ is an $n$-dimensional Peano continuum. It remains open if there exists a continuum $X$ with uncountable $π_n$-wild rank. This difficulty motivates the parallel study a basepoint-free version $\mathbf{fwrk}_n(X)$, called the "free $π_n$-wild rank" of $X$. We show that for every continuum $X$, $\mathbf{fwrk}_n(X)$ is always countable and can be any countable ordinal. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_14929 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Transfinitely iterated wild sets Brazas, Jeremy Mitra, Atish General Topology Algebraic Topology 54F15, 55Q52, 03E15 In this paper, we study homotopical analogues of the Cantor-Bendixson derivative. For each $n\geq 0$, the "$π_n$-wild set" $\mathbf{w}_n(X)$ of a topological space $X$ is the subspace of $X$ consisting of the points at which there exists a shrinking sequence of essential based maps $S^n\to X$. Since the operator $\mathbf{w}_n$ permits iteration, every given space $X$ yields a descending transfinite sequence of nested subspaces $\{\mathbf{w}_n^κ(X)\}_κ$ that stabilizes at some smallest ordinal $\mathbf{wrk}_n(X)$ called the "$π_n$-wild rank" of $X$. We show that the entire transfinite sequence $\{ho(\mathbf{w}_n^κ(X))\}_κ$ of homotopy types is a homotopy invariant of $X$ and that $\mathbf{wrk}_n(X)$ can be an arbitrary countable ordinal when $X$ is an $n$-dimensional Peano continuum. It remains open if there exists a continuum $X$ with uncountable $π_n$-wild rank. This difficulty motivates the parallel study a basepoint-free version $\mathbf{fwrk}_n(X)$, called the "free $π_n$-wild rank" of $X$. We show that for every continuum $X$, $\mathbf{fwrk}_n(X)$ is always countable and can be any countable ordinal. |
| title | Transfinitely iterated wild sets |
| topic | General Topology Algebraic Topology 54F15, 55Q52, 03E15 |
| url | https://arxiv.org/abs/2604.14929 |