REVIEW 5 minor 16 references
Continuous Linear Surjections from $C_p(X)$ onto Symmetric Sequence Ideals in $c_0$
T0 review · 0 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read A continuous linear surjection from a C_p-space onto a symmetric sequence ideal E⊆c0 forces E=c0; hence only c0 can be such an image.
desk verdict A clean classification: among symmetric sequence ideals in c_0, only (c_0)_p can be a continuous linear image of a C_p-space; the proof is sound and the only real issue is a shorthand 'span' that should be read as closed span. 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 central objects are symmetric sequence ideals $E\subseteq c_0$ — linear subspaces closed under domination of decreasing rearrangements, hence solid, permutation-invariant, and containing $c_{00}$ — and the coordinate functionals $\delta_n$ on $E$. The proof isolates an abstract Banach-space theorem: if a Banach space $Z$ surjects boundedly onto such an $E$ and the functionals $Q^*\delta_n$ all lie in a closed subspace $M$ of $Z^*$ with the Schur property, then $E=c_0$. The mechanism is to show that $(\delta_n)$ is a seminormalized unconditional basis of its span and then apply the classical dichotomy for such bases: either it is weakly null, contradicting the Schur property and the boundedness-from-below of $Q^*$, or it has a subsequence equivalent to the $\ell_1$ basis, which yields a norm comparison forcing the $c_0$-norm and the $E$-norm to be equivalent on $c_{00}$, and hence $E=c_0$. In the $C_p(X)$ setting, a preliminary theorem constructs the Schur subspace: the finitely supported sign-measures carried by a functionally bounded set $S$ form a subspace of $C_b(X)^*$ isometrically isomorphic to $\ell_1(S)$, and every coordinate functional $\pi_n\circ T$ is one of these sign-measures.
What would settle it
A direct counterexample would settle the question: find a Tychonoff space $X$ and a proper symmetric sequence ideal $E\subset c_0$ — for instance $E=\ell_1$ or $E=\ell_2$ — together with a continuous linear surjection $T:C_p(X)\to E_p$. The theorem asserts that no such pair exists, so exhibiting one would refute it.
Extended reading notes
Core claim
Let $X$ be a Tychonoff space and let $E\subseteq c_0$ be a non-zero symmetric sequence ideal, endowed with the pointwise topology $E_p$ inherited from $\mathbb{R}^{\mathbb{N}}$. The paper establishes that the existence of a continuous linear surjection $T:C_p(X)\to E_p$ forces $E=c_0$; equivalently, $(c_0)_p$ is the only non-zero symmetric sequence ideal in $c_0$ that can be a continuous linear image of a $C_p$-space. The proof also yields the stronger statement that every continuous linear operator $T:C_p(X)\to (c_{00})_p$ has finite-dimensional range, so even non-surjective maps into finite-support sequences are trivial. Combining Theorem 1.1 with the known Josefson–Nissenzweig characterization, the paper concludes that such a surjection exists exactly when $E=c_0$ and $C_p(X)$ has the Josefson–Nissenzweig property, a condition equivalent to $C_p(X)$ containing a complemented copy of $(c_0)_p$ or admitting a quotient isomorphic to $(c_0)_p$.
Load-bearing premise
The proof's two-case analysis rests on the classical dichotomy that a seminormalized unconditional basic sequence is either weakly null or contains a subsequence equivalent to the $\ell_1$ basis; the norm comparison that forces $E=c_0$ is unavailable if that dichotomy fails.
Editorial extensions
If this is right
- For every $0<q<\infty$, there is no continuous linear surjection $C_p(X)\to(\ell_q)_p$; in particular, no $\ell_q$ with its pointwise topology is a quotient of any $C_p$-space.
- A continuous linear surjection $C_p(X)\to E_p$ exists if and only if $E=c_0$ and $C_p(X)$ has the Josefson–Nissenzweig property; equivalently, $C_p(X)$ contains a complemented copy of $(c_0)_p$ or has a quotient isomorphic to $(c_0)_p$.
- Every continuous linear operator $T:C_p(X)\to(c_{00})_p$ has finite-dimensional range, so even non-surjective maps into finite-support sequences are trivial.
- Any metrizable quotient of $C_p(X)$ that is a symmetric sequence ideal inside $c_0$ must be $(c_0)_p$; proper ideals such as $(\ell_q)_p$ are excluded as quotients, not merely as surjective images.
Reading between the lines
- The abstract Banach-space theorem suggests a broader principle: whenever coordinate functionals of a symmetric sequence ideal fall into a Schur subspace of the dual of a surjecting Banach space, the ideal must be $c_0$; one could test this on other spaces of continuous functions, such as $C_b(X)$ with different topologies or spaces of measures.
- Because every infinite $C_p(X)$ contains subspaces isomorphic to $(\ell_q)_p$ for every $0<q\le\infty$ (a result the paper cites), the contrast drawn here is clear: such spaces are abundant as subspaces but essentially forbidden as surjective images, pointing to the quotient or surjection structure rather than containment as the restrictive feature.
- The proof works for any Banach norm on $E$ compatible with the inclusion into $c_0$; an extension to non-normable locally convex topologies on $E$ beyond the pointwise one might reveal whether the rigidity is purely a Banach-space phenomenon or a feature of the pointwise topology.
- Since the only unresolved compact case for metrizable quotients is Efimov compacta, this result narrows what a counterexample would have to look like: if an Efimov compactum $X$ admitted an infinite-dimensional metrizable quotient, that quotient could not be a proper symmetric sequence ideal in $c_0$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for a Tychonoff space X and a non-zero symmetric sequence ideal E⊆c0, the existence of a continuous linear surjection T:C_p(X)→E_p (where E_p is E with the pointwise topology inherited from R^N) forces E=c0. The proof has two main parts. Theorem 2.1 shows that a pointwise bounded sequence of finitely supported sign-measures on X has a functionally bounded union of supports and that every f∈C(X) can be replaced by a bounded continuous function with the same values under all the measures. The second part, Theorem 3.1, is an abstract Banach-space result: if E is a non-zero symmetric ideal with a Banach norm continuously embedded in c0, and a bounded surjection Q:Z→E sends the adjoints of the coordinate functionals into a closed Schur subspace M of Z*, then E=c0 as a set. The proof uses the standard dichotomy for unconditional basic sequences (Lemma 3.5) and a careful norm comparison. Theorem 1.1 follows by applying Theorem 3.1 to Z=C_b(X), Q=T_b induced by the original surjection, and M the closed span of point evaluations over the support set S. The paper also proves Theorem 1.3 (every continuous linear operator C_p(X)→(c00)_p has finite-dimensional range) and derives a complete characterization (Corollary 1.4) of when a surjection exists, using the known Josefson–Nissenzweig characterization for C_p(X).
Significance. If the result holds, it is a clean and definitive negative answer to a natural analogue of Rosenthal's quotient theorem for C_p-spaces in the class of symmetric sequence ideals: (c0)_p is the only non-zero symmetric ideal in c0 that can occur as a continuous linear image of a C_p-space. The abstract Banach-space Theorem 3.1 is independently useful and is proved in full detail. The paper is careful and rigorous: the arguments use standard tools (Baire category, Banach–Steinhaus, closed graph theorem, Schur property, unconditional basis dichotomy) and contain no free parameters or circular reasoning. The only substantive external input is Lemma 3.5, a standard result which is cited and valid. The paper also credits the earlier characterization of Banakh–Kąkol–Śliwa and uses it transparently to obtain the final equivalence. Overall, this is a valuable contribution to the Cp-theory and Banach-space literature.
minor comments (5)
- [§3, definition of F before Lemma 3.4; §4, definition of M_S] The symbol 'span' must be explicitly declared to mean the closed linear span. With the literal algebraic reading, F is not a Banach space, so Lemma 3.5 cannot be applied, and M_S is not complete, so the Schur property statement is not justified. The intended reading is clear from the context (M is required to be closed in Theorem 3.1, and M_S is said to be isometrically isomorphic to ℓ1(S)), but the notation should be made explicit in a revision.
- [Introduction and proof of Corollary 1.4] The Josefson–Nissenzweig characterization is cited as [2, Theorem 1] in the Introduction and in the proof of Corollary 1.4, but the preamble to Corollary 1.4 refers to [3, Theorem 1]. Reference [3] is the paper 'Josefson–Nissenzweig property for Cp-spaces' and appears to be the intended source; please harmonize the citations.
- [References] Reference [5] (Cembranos) is not cited anywhere in the text; it should either be cited in an appropriate place or removed from the bibliography.
- [Throughout] There are several small typos: 're-produced' in the abstract, 'Does i the space' in Problem 1.1, 'Kąkol, Saxon initiated' in the Introduction, and a duplicated entry '11' in the citation list '[11, 8, 2, 3, 11, 15, 12]'.
- [§3, notation for E0] The notation E0 = c00^{||·||_E} is slightly compressed; writing E0 = \overline{c_{00}}^{||·||_E} would make the definition of E0 as the closure of c00 in E unambiguous.
Circularity Check
No circularity: the main theorem is proved from stated standard lemmas with no fitted parameters; the only self-citation appears in Corollary 1.4 and cites an independently published characterization.
full rationale
The derivation chain is self-contained. Theorem 1.1 is proved from Theorem 2.1 and Theorem 3.1. Theorem 2.1 is derived from pointwise boundedness, Baire category, and Banach–Steinhaus, with no fitted quantity. Theorem 3.1 is proved using Lemmas 3.2–3.5; Lemma 3.5 is quoted from the external reference [14] and is the standard unconditional-sequence dichotomy, not a result whose content is assumed in the conclusion. Lemma 3.2 and Lemma 3.3 use closed-graph and uniform-boundedness arguments from the symmetry of the ideal, and Lemma 3.4 builds the unconditional basis from these bounds. The key inequality (6) is derived from the basis estimate (5), and the conclusion E = c0 follows from density of c00 in c0; it is not an input. No parameter is fitted and no predicted object is a renamed datum. The only self-citations are [2], [3], and [10], used for context and for assembling Corollary 1.4; these are published theorems with independent proofs and are not used to prove Theorem 1.1. The notation 'span' in F and M_S must be read as the closed linear span, which is standard in Banach space arguments and does not affect circularity. No circular step is present, so the score is 0.
Assumptions & free parameters
assumptions (4)
- standard math Baire category theorem
- standard math Banach-Steinhaus theorem and uniform boundedness principle
- standard math Closed graph theorem and open mapping theorem
- standard math Dichotomy for seminormalized unconditional basic sequences
Cite this review
Pith. "Pith review of Continuous Linear Surjections from $C_p(X)$ onto Symmetric Sequence Ideals in $c_0$." pith.science (2026). https://pith.science/paper/7Y4OKI5L
@misc{pith2026260811894,
author = {Pith},
title = {Pith review of: Continuous Linear Surjections from $C_p(X)$ onto Symmetric Sequence Ideals in $c_0$},
year = {2026},
howpublished = {\url{https://pith.science/paper/7Y4OKI5L}},
note = {Machine review of arXiv:2608.11894}
}
abstract
Rosenthal's classical theorem says that, for every infinite compact space $X$, the Banach space $C(X)$ admits a quotient isomorphic to either $c_0$ or $\ell_2$. The corresponding question for $C_p(X)$, the space $C(X)$ endowed with the topology of pointwise convergence, is much subtler and still open; the only compact spaces for which the existence of an infinite-dimensional metrizable quotient is not presently settled in ZFC are Efimov compacta. We prove that the Banach space case cannot be reproduced with the usual sequence spaces carrying their pointwise topologies: Let $X$ be a Tychonoff space and let $E\subseteq c_0$ be a non-trivial symmetric sequence ideal endowed with the subspace topology inherited from $\mathbb{R}^{\mathbb{N}}$. Then the existence of a continuous linear surjection $T:C_p(X)\rightarrow E_p$ implies $E=c_0$, where $E_p$ means $E$ with the topology inherited from $\mathbb{R}^{\mathbb{N}}$. Hence, no proper non-zero symmetric sequence ideal of $c_0$ can be realized as a continuous linear image of a $C_p$-space. Combining this result with the characterization of the Josefson--Nissenzweig property for $C_p(X)$ obtained by Banakh, K\k{a}kol, and \'{S}liwa, we derive a complete characterization of all pairs $(X,E)$ for which such a surjection exists. In particular, for every $0<q<\infty$, there is no continuous linear surjection $C_p(X)\rightarrow(\ell_q)_p$.
Reference graph
Works this paper leans on
-
[1]
Arkhangel’skii,Topological Function Spaces, Mathematics and its Applications, vol
A.V. Arkhangel’skii,Topological Function Spaces, Mathematics and its Applications, vol. 78, Kluwer Academic Publishers, Dordrecht, 1992
work page 1992
- [2]
- [3]
-
[4]
C. Bennett and R. Sharpley,Interpolation of Operators, Pure and Ap- plied Mathematics, vol. 129, Academic Press, Boston, 1988
work page 1988
-
[5]
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
work page 1984
- [6]
-
[7]
Jarchow,Locally Convex Spaces, B.G
H. Jarchow,Locally Convex Spaces, B.G. Teubner, Stuttgart, 1981
work page 1981
-
[8]
J. K¸ akol, S. A. Saxon,Separable quotients inCc(X),C p(X)and their duals, Proc. Amer. Math. Soc.145(2017), 3829–3841
work page 2017
Show all 16 references
-
[9]
Kąkol, O
J. Kąkol, O. Kurka and W. Śliwa,The two-disjoint-copies prop- erty for compact spaces, homogeneity and connection withCp-theory, arXiv:2606.27568, 2026
2026 arXiv
-
[10]
Kąkol, A
J. Kąkol, A. Moltó and W. Śliwa,On subspaces of spacesCp(X)iso- morphic to spacesc 0 andℓ q with the topology induced fromRN, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM117(2023), article 154
2023
-
[11]
J.KąkolandW.Śliwa,Efimov spaces and the separable quotient problem for spacesCp(K), J. Math. Anal. Appl.457(2018), 104–113
2018
-
[12]
Kąkol, D
J. Kąkol, D. Sobota and L. Zdomskyy,GrothendieckC(K)-spaces and the Josefson–Nissenzweig theorem, Fund. Math.263(2023), 105–131
2023
-
[13]
Kania and J
T. Kania and J. Kąkol,Talagrand compacta, 2DCP, and pointwise quo- tients, arXiv:2607.06808, 2026
2026 arXiv
-
[14]
Laustsen, J
N.J. Laustsen, J. Smith,Strictly singular operators on the Baernstein and Schreier Spaces, The Quarterly Journal of Mathematics,77(2026), 511-527. 13
2026
-
[15]
Marciszewski, D
W. Marciszewski, D. Sobota and L. Zdomskyy,On sequences of finitely supported measures related to the Josefson–Nissenzweig theorem, Topol- ogy Appl.364(2025), article 109100
2025
-
[16]
H. P. Rosenthal,On quasi-complemented subspaces of Banach spaces, with an appendix on compactness of operators fromLp(µ)toL r(ν), J. Funct. Anal.4(1969), 176–214. 14
1969
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.