Pith. sign in

REVIEW 3 minor 2 cited by

No scattered compact space has the two-disjoint-copies property and ZFC yields perfect counterexamples.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-29 01:23 UTC pith:TWN26MDY

load-bearing objection The paper cleanly separates 2DCP from scattered compacta in ZFC and gives explicit perfect counterexamples, which settles the metric case via Cantor-Bendixson.

arxiv 2606.27568 v1 pith:TWN26MDY submitted 2026-06-25 math.GN

The two-disjoint-copies property for compact spaces, homogeneity and connection with C_p-theory

Jerzy K\k{a}kol , Ond\v{r}ej Kurka , Wies{\l}aw \'Sliwa This is my paper
classification math.GN
keywords two-disjoint-copies propertycompact spacesscattered spacesperfect spacesC_p-theoryEfimov problemhomogeneous spaceszero-dimensional spaces
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper examines the two-disjoint-copies property on Tychonoff spaces, defined via a sequence of nonempty compact sets where each splits into two disjoint homeomorphic copies of the next. It proves that scattered compact spaces never satisfy this property. It also gives ZFC constructions of compact perfect spaces that fail the property. These facts together show that the property holds for a compact metric space exactly when the space is uncountable. The work further identifies sufficient conditions such as local homogeneity and supplies positive examples among certain zero-dimensional Efimov-type spaces while connecting the property to questions about metrizable quotients of C_p(X).

Core claim

No scattered compact space has 2DCP and there exist in ZFC compact perfect spaces without 2DCP. This implies that for compact metric spaces X the 2DCP is equivalent to uncountability of X. There exist explicit uncountable separable compact spaces failing 2DCP, for example the Isbell-Mrówka compacta. Positive classes among zero-dimensional compact spaces include the Brech as well as the Sobota-Zdomskyy compact spaces of Efimov type, which have 2DCP. Locally homogeneous compact spaces and spaces containing a copy of βω or 2^ω also have 2DCP, though compact h-homogeneous spaces with 2DCP that contain neither such copy exist in ZFC.

What carries the argument

The two-disjoint-copies property (2DCP), the existence of a sequence (K_n) of nonempty compact subsets of X such that each K_n contains two disjoint subsets homeomorphic to K_{n+1}.

Load-bearing premise

The earlier result that 2DCP produces an infinite-dimensional metrizable quotient of C_p(X) continues to hold for the spaces considered here.

What would settle it

An explicit construction of a scattered compact space that admits a sequence of nonempty compact subsets each containing two disjoint homeomorphic copies of the next one would falsify the claim that no scattered compact space has 2DCP.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • Scattered compact spaces fail to have 2DCP.
  • Compact perfect spaces without 2DCP exist in ZFC.
  • For compact metric spaces, 2DCP holds precisely when the space is uncountable.
  • Locally homogeneous compact spaces have 2DCP.
  • Compact spaces containing a copy of βω or 2^ω have 2DCP.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Because 2DCP is sufficient but not necessary for all infinite compact spaces to produce the desired C_p(X) quotient, the open question whether every infinite compact X yields an infinite-dimensional metrizable quotient of C_p(X) remains unresolved by these examples.
  • The Isbell-Mrówka compacta supply concrete separable uncountable test spaces that can be checked directly for the presence or absence of infinite-dimensional metrizable quotients of their C_p spaces.
  • The existence of h-homogeneous compact spaces with 2DCP but without copies of βω or 2^ω shows that standard copies are sufficient but not required for the property.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper defines the two-disjoint-copies property (2DCP) for Tychonoff spaces: a space X has 2DCP if there is a sequence (K_n) of nonempty compact subsets such that each K_n contains two disjoint subsets homeomorphic to K_{n+1}. It proves that no scattered compact space has 2DCP, constructs explicit ZFC examples of perfect compacta without 2DCP (including Isbell-Mrówka compacta), shows that for compact metric spaces 2DCP is equivalent to uncountability, identifies classes that satisfy 2DCP (locally homogeneous spaces, spaces containing βω or 2^ω, Brech spaces, Sobota-Zdomskyy Efimov-type spaces) and classes that do not, and discusses the link to infinite-dimensional metrizable quotients of C_p(X) and Efimov's problem.

Significance. The results supply ZFC counterexamples to 2DCP among perfect compacta and a clean characterization for the metric case via the Cantor-Bendixson theorem. The explicit constructions (Isbell-Mrówka spaces) and positive results for specific zero-dimensional classes are concrete contributions that separate 2DCP from the mere presence of 2^ω copies and advance the motivating question about C_p(X) quotients.

minor comments (3)
  1. [Definition section] §1 (or wherever the definition of 2DCP is formalized): the recursive clause 'each K_n contains two disjoint subsets homeomorphic to K_{n+1}' should be stated with an explicit quantifier over the two subsets to avoid any ambiguity about whether the homeomorphisms are required to be onto the whole K_{n+1}.
  2. [Abstract / introduction] The statement that 'compact h-homogeneous spaces with 2DCP without such copies exist in ZFC' is asserted without a reference or section pointer in the abstract; ensure the construction is cross-referenced to the relevant theorem number in the body.
  3. [Examples section] Table or list of examples (if present): the Isbell-Mrówka compacta are cited as failing 2DCP; confirm that the argument uses only the standard properties of these spaces and does not rely on additional set-theoretic assumptions beyond ZFC.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript, the clear summary of its contributions, and the recommendation to accept. We are pleased that the results on the two-disjoint-copies property, the ZFC examples, the metric characterization, and the connections to C_p-theory and Efimov's problem were viewed as concrete advances.

Circularity Check

0 steps flagged

No significant circularity; central claims are independent new results

full rationale

The paper's core theorems (no scattered compact has 2DCP; explicit ZFC perfect compacta without 2DCP; equivalence for compact metric spaces via Cantor-Bendixson) rely on standard topological facts and new arguments, not on any self-citation or fitted input. The Banakh-Kąkol-Śliwa citation appears only in the abstract for motivational context about C_p(X) quotients and is explicitly not invoked in the new proofs. No equations, self-definitions, or load-bearing reductions exist. This is a normal non-circular case.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works inside ZFC and standard topology; the abstract introduces the 2DCP definition but invokes no new free parameters or invented entities.

axioms (1)
  • standard math ZFC set theory
    The paper states existence and non-existence results that hold in ZFC.

pith-pipeline@v0.9.1-grok · 5864 in / 1368 out tokens · 56946 ms · 2026-06-29T01:23:04.591900+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of The two-disjoint-copies property for compact spaces, homogeneity and connection with $C_p$-theory." pith.science (2026). https://pith.science/paper/TWN26MDY

@misc{pith2026260627568,
  author       = {Pith},
  title        = {Pith review of: The two-disjoint-copies property for compact spaces, homogeneity and connection with $C_p$-theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TWN26MDY}},
  note         = {Machine review of arXiv:2606.27568}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

A Tychonoff space $X$ has the two-disjoint-copies property (2DCP) if there exists a sequence $(K_n)_{n\in\omega}$ of non-empty compact subsets of $X$ such that each $K_n$ contains two disjoint subsets homeomorphic to $K_{n+1}$. Banakh, K\k{a}kol and \'Sliwa showed that 2DCP yields an infinite-dimensional metrizable quotient of $C_p(X)$, while it is still a long-standing open question whether $C_p(X)$ has such a quotient for any infinite compact space $X$. The above concept as well as the last problem are closely related to Efimov's problem that has remained open for 40 years. We will discuss a number of conditions that imply 2DCP. For example, every locally homogeneous compact space, every space containing a copy of $\beta\omega$ or $2^\omega$ has 2DCP although compact $h$-homogeneous spaces with 2DCP without such copies exist in ZFC. We prove that no scattered compact space has 2DCP and there exist in ZFC compact perfect spaces without 2DCP. This implies that for compact metric spaces $X$ the 2DCP is equivalent to uncountability of $X$. There exist explicit uncountable separable compact spaces failing 2DCP, for example the Isbell-Mr\'owka compacta. We give positive classes among zero-dimensional compact spaces; for example, the Brech, as well as the Sobota-Zdomskyy compact spaces of Efimov type have 2DCP. Open questions are included.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Talagrand compacta, 2DCP, and pointwise quotients

    math.GN 2026-07 accept novelty 7.0

    Diamond-guided Talagrand compacta can fail 2DCP and local homogeneity while remaining Grothendieck Efimov spaces, and no Talagrand compactum admits classical pointwise sequence quotients.

  2. Talagrand compacta, 2DCP, and pointwise quotients

    math.GN 2026-07 conditional novelty 6.5

    A diamond-guided Talagrand compactum fails 2DCP and local homogeneity while preserving Grothendieck and Efimov properties, and Talagrand Cp-spaces admit no classical pointwise sequence quotients.

Reference graph

Works this paper leans on

39 extracted references · 1 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Agostini, A

    C. Agostini, A. Medini, L. Zdomskyy,Countable dense homogeneity and topo- logical groups, Topology and its Applications373(2025). 109537

    2025

  2. [2]

    A. V. Arkhangel’skii,Topological Function Spaces, Mathematics and Its Appli- cations, vol. 78, Kluwer Academic Publishers, Dordrecht, 1992

    1992

  3. [3]

    A. V. Arkhangel’skii and J. van Mill,Topological homogeneity, In:Recent Progress in General Topology III(K. P. Hart, J. van Mill, P. Simon, eds.), Atlantis Press, Paris, 2014, pp. 1–68

    2014

  4. [4]

    Banakh, J

    T. Banakh, J. K¸ akol, W. ´Sliwa,Metrizable quotients ofC p-spaces, Topology Appl.249(2018), 95–102

    2018

  5. [5]

    Banakh, J

    T. Banakh, J. K¸ akol, W. ´Sliwa,Josefson–Nissenzweig property forC p-spaces Rev. Real Acad. Cienc. Exactas Fis. Nat.113(2019), 3015–3030

    2019

  6. [6]

    Brech,On the density of Banach spacesC(K)with the Grothendieck prop- erty, Proc

    C. Brech,On the density of Banach spacesC(K)with the Grothendieck prop- erty, Proc. Amer. Math. Soc.134(2006), 3653–3663

    2006

  7. [7]

    Brech, P

    C. Brech, P. Koszmider,On biorthogonal systems whose functionals are finitely supported, Fundamenta Math.213(2011), 43–66

    2011

  8. [8]

    W. R. Brian, A. W. Miller,Partitions of2 ω and completely ultrametrizable spaces, Topology Appl.184(2015), 61–71. 18 J. KA ¸ KOL, O. KURKA, AND W. ´SLIWA

    2015

  9. [9]

    Carroy, A

    R. Carroy, A. Medini, S. M¨ uller,Every zero-dimensional homogeneous space is strongly homogeneous under determinacy, J. Math. Log.20(2020), no. 3, 2050015

    2020

  10. [10]

    Cauty,Sur l’invariance de la dimension infinie forte par t-´ equivalence, Fund

    R. Cauty,Sur l’invariance de la dimension infinie forte par t-´ equivalence, Fund. Math.160(1999), 95–100

    1999

  11. [11]

    Cembranos,C(K, E)contains a complemented copy ofc 0

    P. Cembranos,C(K, E)contains a complemented copy ofc 0. Proc. Amer. Math. Soc.91(1984), 556–558

    1984

  12. [12]

    J. J. Charatonik, W. J. Charatonik,On self-homeomorphic spaces, Topology Appl.55(1994), 215–238

    1994

  13. [13]

    De la Vega,Basic homegeneity in the class of zero-dimensional compact spaces, Topology Appl.155(2008), 225–232

    R. De la Vega,Basic homegeneity in the class of zero-dimensional compact spaces, Topology Appl.155(2008), 225–232

    2008

  14. [14]

    Dˇ zamonja and G

    M. Dˇ zamonja and G. Plebanek,On Efimov spaces and Radon measures, Topol- ogy Appl.154(2007), 2063–2072

    2007

  15. [15]

    Engelking,General Topology, Heldermann Verlag, Berlin, 1989

    R. Engelking,General Topology, Heldermann Verlag, Berlin, 1989

    1989

  16. [16]

    Fabian, P

    M. Fabian, P. Habala, P. H´ ajek, V. Montesinos, V. Zizler,Functional Analysis and Infinite-Dimensional Geometry, CMS Books in Mathematics, Springer, New York, 2001

    2001

  17. [17]

    K.P. Hart, J. van Mill,A method for constructing ordered continua, Topology Appl.21(1985), 275–283

    1985

  18. [18]

    K. P. Hart,Efimov’s problem, In:Open Problems in Topology II(E. Pearl, ed.), Elsevier 2007. 171–177

    2007

  19. [19]

    Hernandez-Hernandez, M

    F. Hernandez-Hernandez, M. Hruˇ s´ ak,Topology of Mr´ owka-Isbell spaces, Pseu- docompact topological spaces, Dev. Math.,55, Springer (2018), 253–289

    2018

  20. [20]

    K¸ akol, A

    J. K¸ akol, A. Molto,Witnessing the lack of the Grothendieck property inC(K)- spaces via convergent sequences, Revista de la Real Academia de Ciencias Ex- actas, F´ ısicas y Naturales. Serie114, Paper No. 179, 7, (2020)

    2020

  21. [21]

    K¸ akol, D

    J. K¸ akol, D. Sobota, L. Zdomskyy,GrothendieckC(K)-spaces and the Josefson–Nissenzweig theorem, Fund. Math.263(2023), 105–131

    2023

  22. [22]

    K¸ akol, W.´Sliwa,Efimov spaces and the separable quotient problem for spaces Cp(K), J

    J. K¸ akol, W.´Sliwa,Efimov spaces and the separable quotient problem for spaces Cp(K), J. Math. Anal. Appl.457(2018), 104–113

    2018

  23. [23]

    A. S. Kechris,Classical Descriptive Set Theory, Graduate Texts in Mathemat- ics, Springer Verlag 1995

    1995

  24. [24]

    P. S. Kenderov, W. B. Moors, S. Sciffer,A weak Asplund space whose dual is not weak∗ fragmentable, Proc. Amer. Math. Soc.129(2001), 3741—3747

    2001

  25. [25]

    Leiderman, M

    A. Leiderman, M. Tkachenko,Metrizable quotients of free topological groups, RACSAM (2020) 114:124

    2020

  26. [26]

    A small Banach space $C(K)$ without nice renormings

    T. Manev, D. Sobota, L. Zdomskyy,A small Banach spaceC(K)without nice renormings, arXiv:2606.13294

    work page internal anchor Pith review Pith/arXiv arXiv

  27. [27]

    Medini,Products andh-homogeneity, Topology Appl.158(2011), 2350– 2361

    A. Medini,Products andh-homogeneity, Topology Appl.158(2011), 2350– 2361

    2011

  28. [28]

    Medini,On the infinite power of large zero-dimensional metrizable spaces, Topology Proceedings67(2026), 73–79

    A. Medini,On the infinite power of large zero-dimensional metrizable spaces, Topology Proceedings67(2026), 73–79

    2026

  29. [29]

    S. V. Medvedev,Homogeneity andh-homogeneity, Topology Appl.160(2013), 2523–2530

    2013

  30. [30]

    Mujica,Separable quotients of Banach spaces, Rev

    J. Mujica,Separable quotients of Banach spaces, Rev. Mat. Complut.10 (1997), 299–330

    1997

  31. [31]

    Namioka, R

    I. Namioka, R. R. Phelps,Banach spaces which are Asplund spaces, Duke Math. J.42(1968), 735–750. TWO DISJOINT COPIES IN COMPACTA 19

    1968

  32. [32]

    H. P. Rosenthal,On quasicomplemented subspaces of Banach spaces with an appendix on compactness of operators fromL p(µ)toL r(ν), J. Funct. Anal.41 (1969), 176–214

    1969

  33. [33]

    Semadeni,Banach Spaces of Continuous Functions

    Z. Semadeni,Banach Spaces of Continuous Functions. Vol. I, PWN–Polish Scientific Publishers, Warszawa, 1971

    1971

  34. [34]

    Sobota and L

    D. Sobota and L. Zdomskyy,The Nikodym property in the Sacks model, Topol- ogy Appl.230(2017), 24–34

    2017

  35. [35]

    Talagrand,Un nouveauC(K)qui poss` ede la propri´ et´ e de Grothendieck, Israel J

    M. Talagrand,Un nouveauC(K)qui poss` ede la propri´ et´ e de Grothendieck, Israel J. Math.37(1980), 181–191

    1980

  36. [36]

    Terada,Spaces whose all nonempty clopen subsets are homeomorphic, Yoko- hama Math

    T. Terada,Spaces whose all nonempty clopen subsets are homeomorphic, Yoko- hama Math. J.40(1993), 87–93

    1993

  37. [37]

    van Douwen,A Compact Space with a Measure That Knows Which Sets Are Homeomorphic, Advances in Mathematics,52(1984), 1–33

    E. van Douwen,A Compact Space with a Measure That Knows Which Sets Are Homeomorphic, Advances in Mathematics,52(1984), 1–33

    1984

  38. [38]

    A. J. M. van Engelen,Homogeneous Zero-Dimensional Absolute Borel Sets, CWI Tract, vol. 27, Stichting Mathematisch Centrum, Amsterdam, 1986

    1986

  39. [39]

    van Mill,The Infinite-Dimensional Topology of Functions Spaces, North- Holland Math

    J. van Mill,The Infinite-Dimensional Topology of Functions Spaces, North- Holland Math. Library 2002. Faculty of Mathematics and Informatics, Adam Mickiewicz Univer- sity in Pozna´n, 61-614 Pozna´n, Poland Email address:kakol@amu.edu.pl Institute of Mathematics, Czech Academy of Sciences, ˇZitn´a 25, 115 67 Praha 1, Czech Republic Email address:kurka.ondr...

    2002