Recognition: no theorem link
On Weakly Contractible Non-Contractible Finite Topological Spaces of Ten Points
Pith reviewed 2026-05-12 04:40 UTC · model grok-4.3
The pith
Exactly ten homeomorphism classes of ten-point finite T0-spaces are weakly contractible but not contractible.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Homotopically trivial non-contractible finite T0-spaces with exactly ten points exist precisely when the number of middle elements is three or four. With three middle elements there are six such spaces up to homeomorphism, consisting of three explicit types and their order-duals. With four middle elements there are four such spaces. All ten spaces have contractible order complexes: seven explicit elementary collapse sequences are given for Types I through VII, while the three order-duals inherit contractibility because the simplicial complex of X^op coincides with that of X and any collapse sequence works for both.
What carries the argument
Enumeration of middle-element configurations in the poset of the T0-space, combined with beat-point arguments and forced naked edges to rule out cases, together with explicit elementary collapses on the order complex to establish contractibility.
If this is right
- No such spaces exist when the number of middle elements is one or two.
- Six spaces arise for three middle elements as three types and their order-duals.
- Four spaces arise for four middle elements.
- All ten spaces possess contractible order complexes.
- The ten-point case is fully classified.
Where Pith is reading between the lines
- The pattern of counts (none, none, six, four) may continue or change for eleven or more points.
- The order-dual construction preserves the order complex setwise, so contractibility is symmetric under reversal.
- These ten explicit examples can serve as test cases for algorithms that decide contractibility of finite posets.
- The gap between nine and ten points indicates that the minimal size of such spaces is now fully settled up to ten.
Load-bearing premise
That complete enumeration of all configurations of middle elements together with the beat-point and naked-edge arguments captures every possible space without omissions.
What would settle it
Exhibiting a ten-point T0-space that is homotopically trivial and non-contractible but not homeomorphic to any of the ten listed spaces, or exhibiting an order complex among the ten that admits no elementary collapse sequence to a point.
read the original abstract
Cianci and Ottina proved that a homotopically trivial non-contractible finite $T_0$-space cannot have fewer than nine points and classified all such spaces with exactly nine points. The present paper completes the classification for spaces with exactly ten points. No such space exists when the number of middle elements is one or two; this is established by Euler-characteristic arithmetic, beat-point arguments, and an analysis of forced naked edges. For exactly three middle elements there are precisely six spaces up to homeomorphism, forming three explicit types and their order-duals; for exactly four middle elements there are precisely four such spaces. The ten valid spaces are each shown to have a contractible order complex: seven explicit elementary collapse sequences are given, one for each of Types~I through~VII, and the three remaining spaces, the order-duals of Types~I, II, and~III, inherit contractibility from the identity $\mathcal{K}(X^{\mathrm{op}})=\mathcal{K}(X)$ of simplicial complexes, since chains in $X$ and $X^{\mathrm{op}}$ coincide as sets and any collapse sequence for $\mathcal{K}(X)$ is simultaneously one for $\mathcal{K}(X^{\mathrm{op}})$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper completes the classification of weakly contractible non-contractible finite T0-spaces with exactly ten points begun by Cianci and Ottina for nine points. No such spaces exist with one or two middle elements, established via Euler-characteristic arithmetic, beat-point arguments, and analysis of forced naked edges. For three middle elements there are precisely six spaces up to homeomorphism (three explicit types and their order-duals); for four middle elements there are precisely four. All ten spaces are shown to have contractible order complexes, with seven explicit elementary collapse sequences given for Types I–VII and the three order-duals inheriting contractibility from the identity K(X^op) = K(X).
Significance. This work supplies the complete list of the smallest examples beyond the nine-point case, together with explicit collapse sequences that directly verify contractibility of the order complexes. The constructive approach and use of standard tools (beat points, naked edges, Euler characteristic) make the results verifiable and potentially useful for further study of minimal non-contractible spaces in algebraic topology.
major comments (2)
- [Sections on three- and four-middle-element cases] The sections classifying configurations with three and four middle elements: the precise counts of six and four spaces rest on exhaustive case analysis via beat points and forced naked edges. To confirm no configurations were omitted, the manuscript should include an explicit enumeration or decision tree of all possible T0-poset structures on the middle elements (including their relations to minimal and maximal elements) before applying the ruling-out arguments; without this, the completeness of the classification cannot be independently verified from the given case divisions.
- [Section presenting collapse sequences for Types I–VII] The explicit collapse sequences for Types I–VII: while the sequences are claimed to be elementary collapses reducing each order complex to a point, the manuscript should verify at each step that the removed simplex is a free face (i.e., contained in exactly one maximal simplex) and that the sequence respects the poset order; any ambiguity in the listed collapses would undermine the contractibility claim for the seven spaces.
minor comments (2)
- [Abstract and introduction] The abstract states there are seven explicit sequences for Types I–VII yet only six spaces for three middle elements plus four for four; a short table or diagram clarifying which types correspond to the three-middle and four-middle cases (and which are the duals) would improve readability.
- [Preliminaries] Notation for order-duals and the identity K(X^op) = K(X) is used without a preliminary reminder of the definition of the order complex; adding a one-sentence recall in the preliminaries would aid readers unfamiliar with the exact correspondence between chains in X and X^op.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments, which will help improve the clarity and verifiability of the classification and contractibility proofs. We address each major comment point by point below.
read point-by-point responses
-
Referee: [Sections on three- and four-middle-element cases] The sections classifying configurations with three and four middle elements: the precise counts of six and four spaces rest on exhaustive case analysis via beat points and forced naked edges. To confirm no configurations were omitted, the manuscript should include an explicit enumeration or decision tree of all possible T0-poset structures on the middle elements (including their relations to minimal and maximal elements) before applying the ruling-out arguments; without this, the completeness of the classification cannot be independently verified from the given case divisions.
Authors: The classification in these sections proceeds via exhaustive enumeration of all possible T0-poset structures on the middle elements (accounting for all admissible relations to the fixed minimal and maximal elements), followed by systematic application of beat-point removal and forced naked-edge arguments to eliminate invalid cases. This yields the stated counts of six and four spaces up to homeomorphism. To address the concern about independent verification, we will insert an explicit decision tree (or enumerated list of all admissible middle-element posets) at the beginning of each section before the ruling-out arguments. revision: yes
-
Referee: [Section presenting collapse sequences for Types I–VII] The explicit collapse sequences for Types I–VII: while the sequences are claimed to be elementary collapses reducing each order complex to a point, the manuscript should verify at each step that the removed simplex is a free face (i.e., contained in exactly one maximal simplex) and that the sequence respects the poset order; any ambiguity in the listed collapses would undermine the contractibility claim for the seven spaces.
Authors: Each listed sequence is an elementary collapse sequence in the order complex, constructed to respect the poset order (i.e., only removing simplices corresponding to chains that remain free faces at each stage). To eliminate any potential ambiguity, we will augment the presentation of the seven sequences with an explicit check at every step confirming that the removed simplex is contained in precisely one maximal simplex and that the removal preserves the remaining poset structure. revision: yes
Circularity Check
No circularity: classification rests on exhaustive case analysis and explicit constructions
full rationale
The derivation proceeds by partitioning on the number of middle elements (0-4), applying Euler-characteristic constraints, beat-point removal, and forced naked-edge analysis to rule out or enumerate T0-posets on 10 points. For the surviving cases (exactly 3 or 4 middle elements) the paper lists the six and four spaces up to homeomorphism, then supplies explicit elementary collapse sequences for seven of them and invokes the standard identity K(X^op)=K(X) for the duals. None of these steps reduces a claimed result to a fitted parameter, a self-defining equation, or a load-bearing self-citation; the Cianci-Ottina reference is external and concerns only the 9-point case. The completeness of the case division is an ordinary enumeration claim, not a circular reduction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of finite T0-spaces and their order complexes, including Euler characteristic for simplicial complexes.
- domain assumption Existence and properties of beat points in posets.
Reference graph
Works this paper leans on
-
[1]
J. H. C. Whitehead,Combinatorial homotopy. I, Bull. Amer. Math. Soc.55(1949), 213–245
work page 1949
-
[2]
Alexandroff,Diskrete Räume, Mat
P. Alexandroff,Diskrete Räume, Mat. Sb.2(1937), 501–519
work page 1937
-
[3]
J. A. Barmak and E. G. Minian,Minimal finite models, J. Homotopy Relat. Struct.2(2007), 127–140
work page 2007
-
[4]
J. A. Barmak and E. G. Minian,Strong homotopy types, nerves and collapses, Discrete Comput. Geom.47(2012), 301–328
work page 2012
-
[5]
J. A. Barmak,Algebraic Topology of Finite Topological Spaces and Applications, Lecture Notes in Math., vol. 2032, Springer, 2011
work page 2032
-
[6]
N. Cianci and M. Ottina,Poset splitting and minimality of finite models, J. Combin. Theory Ser. A157(2018), 120–161
work page 2018
-
[7]
N. Cianci and M. Ottina,Smallest weakly contractible non-contractible topological spaces, Proc. Edinb. Math. Soc. 63(2020), 263–274
work page 2020
-
[8]
J. P. May,Finite spaces and larger contexts, unpublished notes, Univ. of Chicago, 2003
work page 2003
-
[9]
M. C. McCord,Singular homology groups and homotopy groups of finite topological spaces, Duke Math. J.33 (1966), 465–474
work page 1966
-
[10]
R. E. Stong,Finite topological spaces, Trans. Amer. Math. Soc.123(1966), 325–340
work page 1966
-
[11]
The Sage Developers,SageMath(v9.2), 2020. WEAKLY CONTRACTIBLE NON-CONTRACTIBLE SPACES OF TEN POINTS 41 Department of Mathematics, North-Eastern Hill University, Shillong 793022, India Email address:ponaki.das20@gmail.com Department of Basic Sciences and Social Sciences, North-Eastern Hill University, Shillong 793022, India Email address:skupar@gmail.com
work page 2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.