Pith. sign in

REVIEW 5 minor 17 references

Under diamond, a Talagrand compactum can be built so that no two disjoint non-metrisable closed pieces are homeomorphic, so it fails 2DCP while keeping the Grothendieck and no-βω conclusions.

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.5

2026-07-13 06:48 UTC pith:ZLZHQAQM

load-bearing objection Diamond-guided Talagrand compactum that kills all disjoint non-metrisable homeomorphic pairs, so fails 2DCP while keeping Grothendieck and no βω; plus a clean ZFC 2DCP example and a general ℓp-to-JNP fact for Cp.

arxiv 2607.06808 v2 pith:ZLZHQAQM submitted 2026-07-07 math.GN

Talagrand compacta, 2DCP, and pointwise quotients

Tomasz Kania , Jerzy K\k{a}kol This is my paper
classification math.GN MSC 54D3046E1554C3503E3546A0346B2046B26
keywords Talagrand compactumtwo-disjoint-copies property2DCPGrothendieck spaceJosefson–Nissenzweig propertypointwise topologyC_p(X)Efimov compactum
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 asks whether Talagrand’s classic CH compactum, a standard Efimov-type test object, can be made to fail the two-disjoint-copies property (2DCP). 2DCP is a topological self-similarity condition that forces C_p(X) to have an infinite-dimensional metrisable quotient; recent work left open whether Talagrand’s space has it. Assuming diamond on a stationary co-stationary subset of ω₁, the authors insert a persistent Boolean anti-extension into Talagrand’s inverse-limit bookkeeping. The resulting compactum T still makes C(T) Grothendieck and keeps the weak-star ball free of βω, yet no two disjoint non-metrisable closed subspaces of T are homeomorphic, so T fails 2DCP and is not locally homogeneous. A separate ZFC construction shows that 2DCP itself need not imply local homogeneity. Independently of diamond, any continuous linear surjection from C_p(X) onto (ℓ_p)_p forces the Josefson–Nissenzweig property and therefore a (c_0)_p quotient; combined with Talagrand’s Banach-space conclusions this rules out all classical pointwise sequence quotients for any Talagrand compactum. The full metrisable-quotient question for these C_p-spaces remains open.

Core claim

Assuming ♢(S) for a stationary co-stationary S ⊆ ω₁, there exists a realisation T of Talagrand’s inverse-limit construction such that no two disjoint non-metrisable closed subspaces of T are homeomorphic. Consequently T fails 2DCP, is not locally homogeneous, yet C(T) remains Grothendieck and the weak-star unit ball of C(T)* contains no copy of βω.

What carries the argument

The persistent Boolean anti-extension (Theorem D / Proposition 5.4): at a diamond stage a homeomorphism between disjoint infinite closed sets in K_α is killed by pairing a source Dirac sequence with a target sequence that receives a parity split from condition (G); condition (F) then forbids any final clopen from alternating on the source sequence, so the obstruction cannot be repaired by later coordinates.

Load-bearing premise

That the diamond-guided successor step preserves every one of Talagrand’s induction conditions (A)–(G) at every later stage, so the original Banach-space conclusions still apply to the finished compactum.

What would settle it

Exhibit either a realisation of Talagrand’s scheme (under diamond or under CH alone) that does possess two disjoint non-metrisable homeomorphic closed subspaces, or a concrete continuous linear surjection from C_p(T) onto some infinite-dimensional metrisable space other than the classical sequence spaces already ruled out.

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

Share X Bluesky LinkedIn Reddit HN

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 / 5 minor

Summary. Assuming ♢(S) for a stationary co-stationary S ⊆ ω₁, the authors realise Talagrand’s inverse-limit construction with diamond-guided diagonalisation so that the final compactum T has no two disjoint non-metrisable closed subspaces homeomorphic. Consequently T fails 2DCP and is not locally homogeneous, while C(T) remains Grothendieck and M₁(T) contains no copy of βω (Theorems A–B, Corollaries 1.1–1.2). A separate ZFC example (Proposition 1.3) gives a perfect compactum with 2DCP that is not locally homogeneous and contains neither βω nor 2^ω. Independently, Theorem C shows that a continuous linear surjection C_p(X) → (ℓ_p)_p forces the Josefson–Nissenzweig property (hence a quotient isomorphic to (c_0)_p); combined with closed-graph and Talagrand’s Banach-space conclusions this rules out classical pointwise sequence quotients for any Talagrand compactum (Corollary 1.4). The full metrisable-quotient problem for these C_p-spaces is left open.

Significance. The paper answers, in a relative-consistency sense, the explicit question of Kąkol–Kurka–Śliwa whether Talagrand’s compactum has 2DCP, and does so while preserving the original Grothendieck and no-βω conclusions. The persistent Boolean anti-extension (Proposition 5.4) is a clean technical contribution: it couples Talagrand’s non-ultrafilter filters (F) with the parity split (G) so that a guessed homeomorphism cannot be repaired by later coordinates. The ZFC example of Proposition 1.3 cleanly separates 2DCP from local homogeneity. Theorem C is of independent interest for C_p-theory and immediately yields the exclusion of classical sequence quotients. The manuscript is careful about what is and is not claimed (realisation-dependent, not every Talagrand compactum) and leaves three well-posed open problems.

minor comments (5)
  1. In the abstract and the opening of §1 the phrase “Talagrand’s CH compactum” is used; later the text correctly stresses that the object is a scheme, not a unique space. A single clarifying sentence early on would prevent a casual reader from misreading Theorems A–B as applying to every realisation.
  2. Section 4’s compatibility table is helpful; a one-line pointer in the introduction to “the audit of (A)–(G) appears in §4” would make the organisation clearer for readers coming from C_p-theory rather than set-theoretic topology.
  3. Lemma 2.1 (the splitter) is used only for Corollary 2.3 and background; its four-step proof is long relative to its later role. A brief remark that the lemma is included for completeness and for the reader’s convenience would set expectations.
  4. In Proposition 1.3 the double-arrow summand D is taken from [10, Example 26]; a one-sentence reminder of why D is h-homogeneous (or a pointer to the precise statement in [10]) would make the argument self-contained.
  5. Typographical: the arXiv header and title page use “T ALAGRAND COMP ACT A” with spaces; this is an artifact of the source and should be corrected in the final version. Occasional spacing around “C_p” and “(ℓ_p)_p” is inconsistent.

Circularity Check

0 steps flagged

No significant circularity: diamond-guided anti-extension derives failure of 2DCP while re-verifying Talagrand conditions (A)–(G) independently; self-citations supply only definitions/background.

full rationale

The derivation chain is self-contained. Diamond guesses (Lemma 3.3) supply candidate homeomorphisms of projected closed sets; the successor step (Lemmas 5.1–5.3, Proposition 5.4) kills their final extensions by forcing a 0-1 sequence with no F_α-limit, using only the non-ultrafilter property from (B)–(D) and the weak-star limit from (F). Compatibility with Talagrand’s induction is audited explicitly (Section 4 table, Proposition 6.1) rather than assumed by citation, so Theorems A–B and the Grothendieck/no-βω conclusions are re-derived, not imported. Theorem C is a general Cp-argument (finite-support dual + Banakh–Gabriyelyan support lemma) independent of the construction. Self-citations ([2,3,10]) define 2DCP/JNP and supply the ZFC example’s summands; they are not load-bearing uniqueness theorems that force the main claims. No fitted parameters, self-definitional identities, or ansatz smuggling appear. Residual bookkeeping risk is acknowledged by the paper itself and does not create circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The paper works in ZFC + ♢(S) for a stationary co-stationary S ⊆ ω1. All other ingredients are standard set-theoretic topology, Talagrand’s original induction scheme, and known characterisations of JNP for Cp-spaces. No free parameters are fitted; the only non-standard axiom is the diamond hypothesis used for the main consistency result.

axioms (3)
  • domain assumption ♢(S) for some stationary co-stationary S ⊆ ω1
    Hypothesis of Theorems A–B and the predicted construction in §6; used to guess reflected homeomorphisms stationarily often.
  • ad hoc to paper Talagrand’s induction conditions (A)–(G) and the finite successor requirements (a)–(h) can be maintained while inserting the diagonal source sequence
    Verified by the compatibility table in §4 and Lemmas 5.1–5.3; load-bearing for the claim that T remains a genuine Talagrand compactum.
  • standard math Standard facts on inverse limits of compacta, reflection of continuous maps on 2^ω1, and the characterisation of JNP for Cp-spaces via weak-star null norm-one finitely supported measures
    Used throughout §§2–3 and §7; drawn from the cited literature.
invented entities (1)
  • Diamond-guided Talagrand compactum T with persistent Boolean anti-extension at guessed stages no independent evidence
    purpose: Realise Talagrand’s scheme so that every final homeomorphism between disjoint non-metrisable closed sets is killed at a single successor stage
    Constructed in §§5–6; the entity is the object whose existence is proved, not an extra postulate.

pith-pipeline@v1.1.0-grok45 · 24293 in / 2683 out tokens · 32857 ms · 2026-07-13T06:48:16.528407+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Talagrand compacta, 2DCP, and pointwise quotients." pith.science (2026). https://pith.science/paper/ZLZHQAQM

@misc{pith2026260706808,
  author       = {Pith},
  title        = {Pith review of: Talagrand compacta, 2DCP, and pointwise quotients},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZLZHQAQM}},
  note         = {Machine review of arXiv:2607.06808}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We revisit Talagrand's CH compactum as a test object for the two-disjoint-copies property and for pointwise quotient questions. The two-disjoint-copies property, or 2DCP, is a topological sufficient condition for the existence of infinite-dimensional metrisable quotients of spaces $C_{\operatorname{p}}(X)$; recent work asks whether Talagrand's compactum has this property. Assuming $\diamondsuit(S)$ for a stationary co-stationary $S\subseteq\omega_1$, we carry out Talagrand's inverse-limit construction with additional diagonalisation. The resulting compactum $T$ keeps Talagrand's conclusions: $C(T)$ is Grothendieck, the weak-star compact ball $M_1(T)$ contains no copy of $\beta\omega$, and $T$ has no non-trivial convergent sequences. At the same time, no two disjoint non-metrisable closed subspaces of $T$ are homeomorphic; hence $T$ has no 2DCP and is not locally homogeneous. We also give a ZFC example of a perfect compact space with 2DCP which is not locally homogeneous and contains neither $\beta\omega$ nor $2^\omega$. Finally, we isolate a general locally convex observation, in the spirit of the Banakh--Gabriyelyan theory of the Josefson--Nissenzweig property, showing that pointwise quotients onto $(\ell_p)_{\operatorname{p}}$, $1\leqslant p<\infty$, force the Josefson--Nissenzweig property. Consequently Talagrand compacta have no classical pointwise sequence quotients $(c_0)_{\operatorname{p}}$, $(\ell_p)_{\operatorname{p}}$, or $(\ell_\infty)_{\operatorname{p}}$. The full metrisable quotient problem for these $C_{\operatorname{p}}$-spaces remains open. Several open problems are included.

Review history (2 revisions) →

discussion (0)

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

Reference graph

Works this paper leans on

17 extracted references · 2 linked inside Pith

  1. [1]

    Banakh and S

    T. Banakh and S. Gabriyelyan,The Josefson–Nissenzweig property for locally convex spaces, Filomat37 (2023), no. 8, 2517–2529.https://doi.org/10.2298/FIL2308517B

    doi:10.2298/fil2308517b 2023

  2. [2]

    Banakh, J

    T. Banakh, J. Kąkol, and W. Śliwa,Metrizable quotients ofCp-spaces, Topology Appl.249(2018), 95–102. https://doi.org/10.1016/j.topol.2018.09.012

    doi:10.1016/j.topol.2018.09.012 2018

  3. [3]

    Banakh, J

    T. Banakh, J. Kąkol, and W. Śliwa,Josefson–Nissenzweig property forC p-spaces, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM113(2019), 3015–3030.https://doi.org/10.1007/ s13398-019-00667-8

    2019

  4. [4]

    Brech,On the density of Banach spacesC(K)with the Grothendieck property, Proc

    C. Brech,On the density of Banach spacesC(K)with the Grothendieck property, Proc. Amer. Math. Soc. 134(2006), 3653–3663.https://doi.org/10.1090/S0002-9939-06-08401-2

    doi:10.1090/s0002-9939-06-08401-2 2006

  5. [5]

    González and T

    M. González and T. Kania,Grothendieck spaces: the landscape and perspectives, Jpn. J. Math.16(2021), 247–313.https://doi.org/10.1007/s11537-021-2116-3

    doi:10.1007/s11537-021-2116-3 2021

  6. [6]

    Grothendieck,Sur les applications linéaires faiblement compactes d’espaces du typeC(K), Canad

    A. Grothendieck,Sur les applications linéaires faiblement compactes d’espaces du typeC(K), Canad. J. Math.5(1953), 129–173.https://doi.org/10.4153/CJM-1953-017-4

    doi:10.4153/cjm-1953-017-4 1953

  7. [7]

    R. G. Haydon,A non-reflexive Grothendieck space that does not containℓ∞, Israel J. Math.40(1981), 65–73.https://doi.org/10.1007/BF02761818

    doi:10.1007/bf02761818 1981

  8. [8]

    R. B. Jensen,The fine structure of the constructible hierarchy, Ann. Math. Logic4(1972), 229–308. https://doi.org/10.1016/0003-4843(72)90001-0 20 T. KANIA AND J. KĄKOL

    doi:10.1016/0003-4843(72)90001-0 1972

  9. [9]

    Kąkol, D

    J. Kąkol, D. Sobota, and L. Zdomskyy,GrothendieckC(K)-spaces and the Josefson–Nissenzweig theorem, Fund. Math.263(2023), no. 2, 105–131.https://doi.org/10.4064/fm218-6-2023

    doi:10.4064/fm218-6-2023 2023

  10. [10]

    Kąkol, O

    J. Kąkol, O. Kurka, and W. Śliwa,The two-disjoint-copies property for compact spaces, homogeneity and connection withCp-theory, arXiv:2606.27568 [math.GN], 2026.https://doi.org/10.48550/arXiv.2606. 27568

    Pith/arXiv arXiv doi:10.48550/arxiv.2606 2026

  11. [11]

    H. E. Lacey,Separable quotients of Banach spaces, An. Acad. Brasil. Ciênc.44(1972), 185–189

    1972

  12. [12]

    Rinot,Jensen’s diamond principle and its relatives, in L

    A. Rinot,Jensen’s diamond principle and its relatives, in L. Babinkostova, A. E. Caicedo, S. Geschke, and M.Scheepers(eds.),Set Theory and Its Applications, Contemp.Math.533, Amer.Math.Soc., Providence, RI, 2011, 125–156.https://doi.org/10.1090/conm/533

    doi:10.1090/conm/533 2011

  13. [13]

    H. P. Rosenthal,On quasi-complemented subspaces of Banach spaces, with an appendix on compact- ness of operators fromLp(µ)toL r(ν), J. Funct. Anal.4(1969), 176–214.https://doi.org/10.1016/ 0022-1236(69)90011-1

    1969

  14. [14]

    H. P. Rosenthal,On relatively disjoint families of measures, with some applications to Banach space theory, Studia Math.37(1970), 13–36.https://doi.org/10.4064/sm-37-1-13-36

    doi:10.4064/sm-37-1-13-36 1970

  15. [15]

    Manev, D

    T. Manev, D. Sobota, and L. Zdomskyy,A small Banach spaceC(K)without nice renormings, arXiv:2606.13294 [math.FA], 2026.https://doi.org/10.48550/arXiv.2606.13294

    Pith/arXiv arXiv doi:10.48550/arxiv.2606.13294 2026

  16. [16]

    Sobota and L

    D. Sobota and L. Zdomskyy,The Nikodym property in the Sacks model, Topology Appl.230(2017), 24–34.https://doi.org/10.1016/j.topol.2017.08.005

    doi:10.1016/j.topol.2017.08.005 2017

  17. [17]

    Talagrand,Un nouveauC(K)qui possède la propriété de Grothendieck, Israel J

    M. Talagrand,Un nouveauC(K)qui possède la propriété de Grothendieck, Israel J. Math.37(1980), 181–191.https://doi.org/10.1007/BF02762879 (T. Kania)Mathematical Institute, Czech Academy of Sciences, Žitná 25, 115 67 Praha 1, Czech Republic and Institute of Mathematics and Computer Science, Jagiellonian University, Łojasiewicza 6, 30-348 Kraków, Poland Emai...

    doi:10.1007/bf02762879 1980