REVIEW 2 major objections 3 minor 2 references
Comeager hereditary families of compact sets are big
T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper claims that every comeager hereditary family of compact subsets of a Polish space contains a dense hereditary G-delta subfamily, answering Matheron and Zelený's problem in ZFC.
desk verdict A genuinely new ZFC solution to Matheron-Zelený's problem, with one real but easily repairable gap in Proposition 2.4. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the $\sigma$-ideal $H_{\mathrm{ext}}$: a set belongs to it if it can be covered by countably many closed sets $F\subseteq\mathcal{K}(X)$ whose intersections with the finite-cardinality layers $P(n)=\{K\in\mathcal{K}(X):|K|\le n\}$ are nowhere dense in $P(n)$. The Matheron–Zelený characterization (Theorem 1.2) turns 'contains a dense hereditary $G_\delta$' into the statement that the complement lies in $H_{\mathrm{ext}}$. The proof's engine is Proposition 2.4, which asserts that differences of the form $\downarrow O\setminus\downarrow(O\setminus F)$ lie in $H$ for open $O$ and closed nowhere dense $F$; this is what lets the meager, upward-closed complement $B$ be written as a countable union of $H$-sets. The Baire category theorem then does the covering: for each $K\in B$, the upper cone $\uparrow K$ is a Baire space covered by the closed nowhere dense sets $F_r$, so one of the $F_r$ has nonempty relative interior inside $\uparrow K$.
What would settle it
Check Proposition 2.4 with $X=[0,1]$, $E=\{0\}\cup\{1/n:n\ge1\}$, $F=\{K\in\mathcal{K}(X):K\cap E\neq\emptyset\}$, and $O=\{K:K\subseteq(0,1)\}$. Then $C=\downarrow O\setminus\downarrow(O\setminus F)=\{K\subseteq(0,1):K\cap E\neq\emptyset\}$, and the singleton compact sets $\{1/n\}$ lie in $C$ but converge in the Vietoris topology to $\{0\}\notin C$; since $H$ contains only closed subsets of $\mathcal{K}(X)$, this refutes Proposition 2.4 and thereby the proof's step (3).
Extended reading notes
Core claim
On the paper's own terms, the central claim is Theorem 1.1: for every Polish space $X$ and every hereditary family $\mathcal{I}\subseteq\mathcal{K}(X)$ that is comeager in the Vietoris topology, $\mathcal{I}$ is big, meaning that it contains a dense hereditary $G_\delta$ subset of $\mathcal{K}(X)$. This answers Matheron and Zelený's Problem 2.1 in ZFC. The proof uses their criterion that a set $A\subseteq\mathcal{K}(X)$ is big exactly when its complement belongs to $H_{\mathrm{ext}}$, the $\sigma$-ideal generated by closed sets $F$ with $F\cap P(n)$ nowhere dense in $P(n)$ for every $n$, where $P(n)=\{K\in\mathcal{K}(X):|K|\le n\}$. The new step is Proposition 2.4, which supplies the needed $H$-membership for the sets $\downarrow O\setminus\downarrow(O\setminus F)$ when $O$ is open and $F$ is closed and nowhere dense; from that, the complement $B=\mathcal{K}(X)\setminus\mathcal{I}$ is shown to lie in $H_{\mathrm{ext}}$ by covering each upper cone $\uparrow K$ with the closed nowhere dense pieces.
Load-bearing premise
The proof assumes that a certain difference of two hereditary open families of compact sets is itself closed in the space of compact subsets; the argument never proves this, and for $X=[0,1]$ with $O$ the families contained in $(0,1)$ and $F$ the families meeting $\{0\}\cup\{1/n:n\ge1\}$, that difference is not closed.
Editorial extensions
If this is right
- Matheron and Zelený's Problem 2.1 and its restatement as Problem 6.9 are settled affirmatively in ZFC, with no definability or set-theoretic hypotheses.
- For hereditary families, bigness and comeagerness coincide: every comeager hereditary family is big, and every big family is comeager because it contains a dense $G_\delta$.
- The complement of a comeager hereditary family belongs to $H_{\mathrm{ext}}$, so it admits a countable cover by closed sets that are nowhere dense on every finite-cardinality layer $P(n)$.
- The theorem holds for every Polish space uniformly, including spaces that are not locally compact, so local compactness plays no role.
Reading between the lines
- A repair of Proposition 2.4 would have to replace the non-closed set $\downarrow O\setminus\downarrow(O\setminus F)$ by a closed (or closed-hereditary) approximation and show the covering argument still places $B$ in $H_{\mathrm{ext}}$; this is the most direct test of whether the theorem survives the gap.
- The concrete failure is caused by finite sets accumulating to a limit compact set outside the family; a corrected definition of $H$ might need to close the candidate sets under Vietoris limits before forming the $\sigma$-ideal.
- If a repaired proof goes through, a similar upper-cone covering could be tried for other hereditary small-set ideals, such as compact sets of Lebesgue measure zero or compact sets of bounded cardinality, where an analogous 'comeager hereditary implies big' question can be posed.
- One can probe the theorem on $X=[0,1]$ directly: build a comeager hereditary family whose every dense hereditary $G_\delta$ subfamily would violate Proposition 2.4; if such a family exists, the theorem itself would fail, not just the proof.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims an affirmative solution in ZFC to a problem of Matheron and Zelený: every comeager hereditary family I of compact subsets of a Polish space X contains a dense hereditary G_delta subfamily of the Vietoris hyperspace K(X). The proof uses the Matheron–Zelený characterization (Theorem 1.2) that a family is “big” exactly when its complement belongs to the sigma-ideal H_ext generated by a certain family H of closed nowhere-dense-in-P(n) sets. The author defines U_s = downarrow O_s and V_{r,s} = downarrow(O_s \ F_r) for a countable base (O_s) and closed nowhere dense sets F_r covering the meager complement B of I, and Proposition 2.4 asserts each C_{r,s} = U_s \ V_{r,s} lies in H. A Baire-category argument then places B in H_ext, so Theorem 1.2 yields the desired dense hereditary G_delta subset.
Significance. If the proof is correct, the result is substantial: it removes the coanalytic definability assumption and the additional set-theoretic hypothesis of Matheron and Zelený, answering their Problem 2.1 in full generality in ZFC. The strategy is attractive and elementary, relying only on the published Matheron–Zelený criterion, basic hyperspace topology, and a Baire-category covering argument. The paper is short, clearly written, and the key density argument is correct in its main line. These strengths make the flaw discussed below particularly worth repairing rather than grounds for outright rejection.
major comments (2)
- [Proposition 2.4, page 4] The proposition asserts that C = U \ V belongs to H, but H by definition contains only closed subsets of K(X). The proof shows that for every n, C ∩ P(n) is nowhere dense in P(n), but it does not show that C is closed, and in general C need not be closed. For a concrete counterexample, take X = [0,1], E = {0} ∪ {1/n : n ≥ 1}, O = {K ∈ K(X) : K ⊂ (0,1)}, and F = {K ∈ K(X) : K ∩ E ≠ ∅}. Then C = {K ⊂ (0,1) : K ∩ E ≠ ∅}, and the sets {1/n} lie in C while their Vietoris limit {0} does not, since no member of O contains 0. Therefore C ∉ H, and step (3) of the proof of Theorem 1.1 is not justified as written.
- [Proof of Theorem 1.1, step (3), page 5] The gap in Proposition 2.4 is load-bearing for the main theorem because the conclusion B ∈ H_ext relies on each C_{r,s} being in H. The good news is that the defect is repairable within the manuscript's scope: the density argument actually establishes that C ∩ P(n) is nowhere dense in P(n) for every n, and because P(n) is closed, the closure of C also has this property, so closure(C) ∈ H. Since C ⊆ closure(C), this gives C ∈ H_ext. Replacing the conclusion “C ∈ H” by “C ∈ H_ext” in Proposition 2.4 and in step (3) preserves the proof, because H_ext is a sigma-ideal and the inclusion B ⊆ ∪_{r,s} C_{r,s} is unchanged. The authors should make this correction explicitly.
minor comments (3)
- [Title and abstract] The title and abstract contain spacing artifacts (“HEREDIT AR Y”, “F AMILIES”, “COMP ACT”) that should be corrected for publication.
- [Proposition 2.4, final sentence] After the density argument, the text says “therefore C ∈ H”; this should instead say that the closure of C belongs to H, with the consequent adjustment to H_ext.
- [Proof of Theorem 1.1, after equation (4)] The sentence “It follows from (4) and (3) that B ⊆ ∪_{r,s} C_{r,s}” merely repeats (4); the intended meaning is that combined with C_{r,s} ∈ H (or H_ext), this inclusion gives B ∈ H_ext. Rewording would avoid confusion.
Circularity Check
No circularity: the argument reduces the target to the externally cited Matheron–Zelený characterization, with all new steps self-contained.
full rationale
The paper's derivation chain is not circular. The target statement is that every comeager hereditary family I contains a dense hereditary G_delta subfamily. The proof converts the complement B = K(X)\I into an upward-closed meager set, covers B by closed nowhere dense sets F_r, defines C_{r,s} = ↓O_s \ ↓(O_s\F_r), and uses Proposition 2.4 to place each C_{r,s} in H and hence B in H_ext. The final step applies Theorem 1.2, quoted verbatim from Matheron and Zelený [MZ05, Corollary 2.5], which is an external characterization: A is big iff K(X)\A is in H_ext. This theorem is independent of the present result and is not derived from the paper's own assumptions. No parameter is fitted and then called a prediction; no quantity is defined in terms of the conclusion; no self-citation carries a load-bearing premise. The only mention of a co-author is an acknowledgement that Zelený read the argument, which is not evidence for any claim. The proof of Proposition 2.4 is self-contained, relying on Lemmas 2.1, 2.2, and 2.3. A reviewer might question whether C = U \ V is necessarily closed (so that C ∈ H as stated is not fully justified), but that is a correctness gap, not a circularity: even the suggested repair of replacing the conclusion by C ∈ H_ext still uses the same external criterion and does not presuppose the theorem being proved. Therefore the honest finding is no significant circularity, score 0.
Assumptions & free parameters
assumptions (3)
- domain assumption Matheron-Zeleny characterization: A is big iff K(X) minus A belongs to H_ext (Theorem 1.2).
- standard math Baire Category Theorem for closed subspaces of Polish spaces.
- standard math K(X) with the Vietoris topology is a Polish space and has a countable base (O_s).
Cite this review
Pith. "Pith review of Comeager hereditary families of compact sets are big." pith.science (2026). https://pith.science/paper/TG5W3R3G
@misc{pith2026260813523,
author = {Pith},
title = {Pith review of: Comeager hereditary families of compact sets are big},
year = {2026},
howpublished = {\url{https://pith.science/paper/TG5W3R3G}},
note = {Machine review of arXiv:2608.13523}
}
abstract
Let $X$ be a Polish space and let $\mathcal K(X)$ be its Vietoris hyperspace. A family $\mathcal I\subseteq\mathcal K(X)$ is hereditary if it is downward closed under inclusion. Matheron and Zelen\'y asked whether every comeager hereditary family in $\mathcal K(X)$ contains a dense hereditary $G_\delta$ subfamily. We give an affirmative answer in ZFC.
Reference graph
Works this paper leans on
-
[1]
É. Matheron and M. Zelený, Rudin-like sets and hereditary families of compact sets, Fund. Math. 185 (2005), no. 2, 97--116, doi:10.4064/fm185-2-1 https://doi.org/10.4064/fm185-2-1
-
[2]
É. Matheron and M. Zelený, Descriptive set theory of families of small sets, Bull. Symbolic Logic 13 (2007), no. 4, 482--537, doi:10.2178/bsl/1203350880 https://doi.org/10.2178/bsl/1203350880
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.