arxiv: 2604.14929 · v1 · submitted 2026-04-16 · 🧮 math.GN · math.AT

Recognition: unknown

Transfinitely iterated wild sets

Atish Mitra, Jeremy Brazas

Authors on Pith no claims yet

Pith reviewed 2026-05-10 09:32 UTC · model grok-4.3

classification 🧮 math.GN math.AT

keywords wild setshomotopy invariantstransfinite iterationPeano continuaCantor-Bendixson derivativewild rankhomotopical wildnesscontinua

0 comments

The pith

The transfinite sequence of homotopy types of iterated π_n-wild sets is a homotopy invariant of any space, and every countable ordinal arises as the π_n-wild rank of some n-dimensional Peano continuum.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper defines the π_n-wild set of a space as the subspace consisting of points that admit shrinking sequences of essential maps from the n-sphere. The operator is iterated transfinitely to produce a descending chain of subspaces that stabilizes at the π_n-wild rank. The authors prove that the full sequence of homotopy types along this chain depends only on the homotopy type of the original space. They construct examples showing that n-dimensional Peano continua can realize any prescribed countable ordinal as their wild rank. A basepoint-free free wild rank is shown to be countable for every continuum while still attaining every countable value.

Core claim

The π_n-wild set w_n(X) consists of those points of X at which there exists a shrinking sequence of essential based maps S^n → X. Iterating the operator yields a transfinite descending sequence of subspaces whose homotopy types are invariants of the homotopy type of X. The π_n-wild rank wrk_n(X) is the smallest ordinal at which the sequence stabilizes, and this rank can equal any countable ordinal when X is an n-dimensional Peano continuum. The free π_n-wild rank of any continuum is always countable and likewise attains every countable ordinal.

What carries the argument

The π_n-wild set w_n(X) of points admitting shrinking sequences of essential maps S^n → X, together with its transfinite iterates w_n^κ(X) that define the stabilization ordinal wrk_n(X).

Load-bearing premise

The constructions of n-dimensional Peano continua that realize arbitrary countable wild ranks assume the existence of spaces exhibiting prescribed homotopical wildness at each ordinal stage through suitable embeddings or attachments.

What would settle it

A pair of homotopy equivalent spaces whose iterated wild sets have different homotopy types at some ordinal stage, or an n-dimensional Peano continuum whose wild rank is bounded below some specific countable ordinal.

Figures

Figures reproduced from arXiv: 2604.14929 by Atish Mitra, Jeremy Brazas.

**Figure 1.** Figure 1: ). We identify E0 “ Ĳ N pS 0 , 1q with the space t1, 1{2, 1{3, . . . , 0u consisting of a single convergent sequence and basepoint b0 “ 0. Let ℓj : S n Ñ En denote the inclusion of the j-th sphere. When n ě 2, it is known that En is pn ´ 1q-connected, locally ś pn ´ 1q-connected and that the canonical map Ψn : πnpEnq Ñ πˇnpXq – jPN Z to the n-th shape homotopy group is an isomorphism [14]. Moreover, En has… view at source ↗

read the original abstract

In this paper, we study homotopical analogues of the Cantor-Bendixson derivative. For each $n\geq 0$, the "$\pi_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^{\kappa}(X)\}_{\kappa}$ that stabilizes at some smallest ordinal $\mathbf{wrk}_n(X)$ called the "$\pi_n$-wild rank" of $X$. We show that the entire transfinite sequence $\{ho(\mathbf{w}_n^{\kappa}(X))\}_{\kappa}$ 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 $\pi_n$-wild rank. This difficulty motivates the parallel study a basepoint-free version $\mathbf{fwrk}_n(X)$, called the "free $\pi_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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper defines transfinite homotopy wild sets and shows their ranks realize every countable ordinal in n-dimensional Peano continua.

read the letter

The main point is that the authors define π_n-wild sets as the points admitting shrinking essential maps from n-spheres, then iterate them transfinitely to get a descending sequence of subspaces that stabilizes at the wild rank wrk_n(X). They prove the full sequence of homotopy types of these iterates is invariant under homotopy equivalence, and they construct n-dimensional Peano continua realizing any prescribed countable ordinal as the wild rank. The free wild rank fwrk_n(X) is always countable for continua, again by explicit constructions that hit every countable ordinal.

Referee Report

0 major / 4 minor

Summary. The paper defines the π_n-wild set w_n(X) as the subspace of points in X at which there exist shrinking sequences of essential based maps S^n → X. It iterates this operator transfinitely to obtain a descending sequence of subspaces w_n^κ(X) that stabilizes at the smallest ordinal wrk_n(X), called the π_n-wild rank. The central claims are that the sequence of homotopy types {ho(w_n^κ(X))}_κ is a homotopy invariant of X, that wrk_n(X) can realize any countable ordinal when X is an n-dimensional Peano continuum, and that the basepoint-free free wild rank fwrk_n(X) is always countable for any continuum X and can also realize any countable ordinal.

Significance. If the results hold, the work supplies a new transfinite homotopy invariant for spaces with wild embeddings, directly analogous to the Cantor-Bendixson derivative but valued in homotopy types. The explicit transfinite inductive constructions realizing every countable ordinal as wrk_n(X) for n-dimensional Peano continua, together with the second-countability argument bounding fwrk_n(X), constitute a complete picture for countable ranks and resolve the open question of uncountable ranks in the free setting. These features strengthen the paper's contribution to the classification of continua by homotopical wildness.

minor comments (4)

The definition of a 'shrinking sequence of essential based maps' in §2 should include an explicit statement that the maps are required to be essential in every neighborhood of the basepoint; the current wording leaves open whether nullhomotopies in larger neighborhoods are permitted.
In the inductive construction of Peano continua realizing successor ordinals (around the proof of Theorem 4.3), the attachment maps used to add controlled wildness at each stage should be accompanied by a brief verification that the resulting space remains locally connected and n-dimensional; a single sentence referencing the relevant lemma on inverse limits would suffice.
The notation ho(·) for homotopy type is introduced without reference to the model category or equivalence relation employed; adding a short parenthetical '(up to homotopy equivalence)' or citing a standard reference would improve readability.
The open question concerning the possible existence of continua with uncountable π_n-wild rank is stated clearly in the abstract and introduction, but a brief remark in the final section on why the second-countability argument fails to extend to the based case would help readers assess the difficulty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment, accurate summary of our results, and recommendation for minor revision. The description of the π_n-wild set, its transfinite iteration, the homotopy invariance of the sequence of homotopy types, and the realization results for countable ordinals in both the based and free settings matches the manuscript exactly. We address the referee's points below and will make any minor editorial adjustments in the revised version.

read point-by-point responses

Referee: The paper defines the π_n-wild set w_n(X) as the subspace of points in X at which there exist shrinking sequences of essential based maps S^n → X. It iterates this operator transfinitely to obtain a descending sequence of subspaces w_n^κ(X) that stabilizes at the smallest ordinal wrk_n(X), called the π_n-wild rank. The central claims are that the sequence of homotopy types {ho(w_n^κ(X))}_κ is a homotopy invariant of X, that wrk_n(X) can realize any countable ordinal when X is an n-dimensional Peano continuum, and that the basepoint-free free wild rank fwrk_n(X) is always countable for any continuum X and can also realize any countable ordinal.

Authors: This is a precise summary of the definitions and theorems in Sections 2–4 of the manuscript. The homotopy invariance is established in Theorem 3.4 by showing that homotopic maps induce homotopic inclusions on the iterated wild sets at each ordinal stage. The realization of every countable ordinal as wrk_n(X) for n-dimensional Peano continua appears in Theorem 4.7 via explicit inductive constructions using Hawaiian earring-like spaces with controlled essential spheres. The countability of fwrk_n(X) for arbitrary continua follows from the second-countability argument in Theorem 5.3, which bounds the stabilization ordinal by the countable basis. revision: no
Referee: If the results hold, the work supplies a new transfinite homotopy invariant for spaces with wild embeddings, directly analogous to the Cantor-Bendixson derivative but valued in homotopy types. The explicit transfinite inductive constructions realizing every countable ordinal as wrk_n(X) for n-dimensional Peano continua, together with the second-countability argument bounding fwrk_n(X), constitute a complete picture for countable ranks and resolve the open question of uncountable ranks in the free setting.

Authors: We agree that the analogy with the Cantor-Bendixson derivative is apt and that the constructions in Section 4 together with the countability proof in Section 5 provide a full classification of possible countable ranks. The free-rank countability result does indeed settle the question of whether uncountable free wild ranks can occur. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines the π_n-wild set w_n(X) directly from the existence of shrinking essential maps and iterates it transfinitely by standard set-theoretic recursion on ordinals, yielding wrk_n(X) as the stabilization ordinal by definition. The homotopy invariance of the sequence {ho(w_n^κ(X))} is derived from the functoriality of the wild-set operator under homotopy equivalences, which preserves the relevant maps and intersections at limit ordinals. The realization that wrk_n(X) attains arbitrary countable ordinals for n-dimensional Peano continua rests on an explicit transfinite inductive construction that adds controlled wildness at successor stages while preserving compactness and dimension. The countability of fwrk_n(X) for any continuum follows from second-countability bounding the length of descending chains of free wild sets. None of these steps reduce by construction to fitted parameters, self-referential equations, or load-bearing self-citations; all arguments are self-contained within the given definitions and standard topological facts.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The claims depend on the new definitions of wild sets and ranks plus standard background from homotopy theory and continuum theory. No free parameters are present; the results are existence statements achieved through constructions.

axioms (1)

standard math Standard properties of based homotopy groups, essential maps, and shrinking sequences in topological spaces.
The definition of w_n(X) uses essential based maps S^n → X and shrinking sequences, which presuppose classical homotopy theory.

invented entities (2)

π_n-wild set w_n(X) no independent evidence
purpose: Subspace of points admitting shrinking sequences of essential based maps from S^n
Newly defined to isolate homotopical wildness.
π_n-wild rank wrk_n(X) no independent evidence
purpose: Smallest ordinal at which the transfinite iteration of w_n stabilizes
Defined as the stabilization ordinal of the nested sequence.

pith-pipeline@v0.9.0 · 5559 in / 1427 out tokens · 71292 ms · 2026-05-10T09:32:56.666133+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 2 canonical work pages

[1]

Barratt, J

M.G. Barratt, J. Milnor,An Example of Anomalous Singular Homology, Proc. Amer. Math. Soc.13(1962), no. 2, 293-297

1962
[2]

Brazas, H

J. Brazas, H. Fischer,On the failure of the first Cech homotopy group to register geometrically relevant fundamental group elements. Bulletin of the London Math. Soc.52(2020), no. 6, 1072-1092

2020
[3]

Brazas, A

J. Brazas, A. Mitra,Higher homotopy wild sets. Preprint. 2025. arXiv:2505.23665

work page arXiv 2025
[4]

Brazas, P

J. Brazas, P. Paveˇ si´ c,Motion Planning on One-Dimensional Peano Continua. Preprint. 2025. arXiv:2510.22901

work page arXiv 2025
[5]

Cannon, G.R

J.W. Cannon, G.R. Conner,On the fundamental groups of one-dimensional spaces, Topology Appl.153(2006) 2648-2672

2006
[6]

Conner, M

G.R. Conner, M. Meilstrup,Deforestation of Peano continua and minimal deformation re- tract, Topology Appl.159(2012) 3253-3262

2012
[7]

Conner, M

G.R. Conner, M. Meilstrup, D. Repov˘ s, A. Zastrow, M.˘Zeljko,On small homotopies of loops, Topology Appl.155(2008) 1089-1097

2008
[8]

Conner, K

G.R. Conner, K. Eda,Fundamental groups having the whole information of spaces, Topology Appl.147(2005) 317-328

2005
[9]

Algebraic topology of Peano continua

G.R. Conner, K. Eda,Correction to: “Algebraic topology of Peano continua” [Topology Appl. 153(2-3) (2005) 213-226] and “Fundamental groups having the whole information of spaces” [Topology Appl.146-147(2005) 317-328], Topology Appl.154(2005), no. 3, 771-773. 16 J. BRAZAS AND A. MITRA

2005
[10]

Conner, C

G. Conner, C. Kent,Fundamental groups of locally connected subsets of the plane, Adv. Math.347(2019) 384-407

2019
[11]

Eda,The fundamental groups of one-dimensional spaces and spatial homomorphisms, Topology Appl.123(2002) 479–505

K. Eda,The fundamental groups of one-dimensional spaces and spatial homomorphisms, Topology Appl.123(2002) 479–505

2002
[12]

Eda,Homotopy types of one-dimensional Peano continua, Fund

K. Eda,Homotopy types of one-dimensional Peano continua, Fund. Math.209(2010) 27-42

2010
[13]

Eda, U.H

K. Eda, U.H. Karimov, D. Repovs,A nonaspherical cell-like 2-dimensional simply connected continuum and related constructions, Topology Appl.156(2009), 515-521

2009
[14]

K. Eda, K. Kawamura,Homotopy and homology groups of then-dimensional Hawaiian ear- ring, Fundamenta Mathematicae165(2000) 17-28

2000
[15]

Engelking.Dimension Theory

R. Engelking.Dimension Theory. North-Holland, Amsterdam, 1978

1978
[16]

Fischer, D

H. Fischer, D. Repovˇ s, Z. Virk, and A. Zastrow,On semilocally simply-connected spaces, Topology Appl.158(2011) 397–408

2011
[17]

Karimov, D

U.H. Karimov, D. Repovˇ s,On noncontractible compacta with trivial homology and homotopy groups, Proc. Amer. Math. Soc.138(2010) 1525-1531

2010
[18]

Kechris,Classical Descriptive Set Theory

A.S. Kechris,Classical Descriptive Set Theory. Graduate Texts in Mathematics, vol. 156. Springer, New York (1995)

1995
[19]

Kent,Homotopy type of planar Peano continua

C. Kent,Homotopy type of planar Peano continua. Adv. Math.391(2021) 107971

2021
[20]

Meilstrup,Classifying homotopy types of one-dimensional Peano continua, 2005, Masters Thesis, Brigham Young University

M. Meilstrup,Classifying homotopy types of one-dimensional Peano continua, 2005, Masters Thesis, Brigham Young University. West Chester University, Department of Mathematics, West Chester, PA 19383, USA Email address:jbrazas@wcupa.edu Montana Technical University, Department of Mathematical Sciences, 1300 West Park Street Butte, MT 59701, USA Email addres...

2005