REVIEW 5 major objections 4 minor 25 references
Properties of the space of group-valued continuous functions
T0 review · 5 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Countable fan tightness of the group-valued function space $C_p(X,G)$ is equivalent to every finite power of $X$ being Menger.
desk verdict The advertised characterizations of tightness in C_p(X,G) are chained restatements of known results with a load-bearing Ω/Ω^gp gap, and the paper also contains a false monolithicity theorem; as it stands it is not publishable. 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 selection-principle duality between $\Omega$-covers of $X$ and neighborhoods of the constant function in $C_p(X,G)$, mediated by the hypotheses $G^*$-regularity and $\omega$-Lindelöfness. The named identities are the selection hypotheses $S_{\mathrm{fin}}(\Omega,\Omega)$ and $S_1(\Omega,\Omega)$ for countable fan and strong fan tightness, and their groupable variants $S_{\mathrm{fin}}(\Omega,\Omega^{\mathrm{gp}})$, $S_1(\Omega,\Omega^{\mathrm{gp}})$, which connect to Hurewicz and Rothberger properties of finite powers. Kocinac's Theorems 2.1 and 2.2 supply the bridge from tightness of $C_p(X,G)$ to $S_{\mathrm{fin}}(\Omega,\Omega)$ and $S_1(\Omega,\Omega)$; Kocinac and Scheepers' Theorems 2.3 and 2.5 supply the bridge from groupable selection to Hurewicz and Rothberger finite powers. Lemma 2.7 constructs the group-valued separator functions $f_{F,U}$ that transfer open covers into neighborhoods of the constant function.
What would settle it
Exhibit a metrizable $\omega$-Lindelöf $G^*$-regular space $X$ whose finite powers are all Menger but for which $C_p(X,G)$ fails countable fan tightness; equivalently, an $\omega$-Lindelöf space satisfying the ordinary selection hypothesis but failing its groupable version would break the proof of Theorem 2.4.
Extended reading notes
Core claim
The central discovery is a duality: tightness-type properties of the group-valued function space $C_p(X,G)$ are governed by covering properties of finite powers of $X$. Concretely, for a metrizable $\omega$-Lindelöf $G^*$-regular space $X$ and a metric group $G$, countable fan tightness of $C_p(X,G)$ is equivalent to $X^n$ being Menger for every $n$ (Theorem 2.4), and countable strong fan tightness is equivalent to every $X^n$ being Rothberger (Theorem 2.6). The mechanism is the selection-principle equivalence $S_{\mathrm{fin}}(\Omega,\Omega) \leftrightarrow$ Hurewicz finite powers, imported from the real-valued theory, and its Rothberger analogue; the $G^*$-regular hypothesis supplies enough group-valued separation functions to translate covering selections back into neighborhoods in $C_p(X,G)$. Theorem 2.9 sharpens this to a cardinal equality $\mathrm{vet}(C_p(X,G)) = \sup_n H(X^n)$, where $H$ is the Hurewicz number.
Load-bearing premise
The central characterizations assume that the ordinary selection hypotheses and their groupable versions are interchangeable on $\omega$-Lindelöf spaces, a point the paper neither proves nor cites.
Editorial extensions
If this is right
- If Theorem 2.4 is correct, checking whether $C_p(X,G)$ has countable fan tightness reduces to checking the classical Menger property on all finite powers of $X$, so any known Menger-space examples immediately produce tight group-valued function spaces.
- Strong fan tightness is likewise reduced to the Rothberger property on finite powers, giving a group-valued analogue of the classical property $C''$ characterization.
- The joint characterization in Theorem 2.8 means countable fan tightness together with the Reznichenko property of $C_p(X,G)$ is exactly the Hurewicz property of finite powers, aligning group-valued function spaces with the real-valued hierarchy.
- The cardinal equality $\mathrm{vet}(C_p(X,G)) = \sup_n H(X^n)$ turns a function-space invariant into a base-space covering invariant, so Hurewicz numbers of finite powers control arbitrary, not just countable, fan tightness.
- $G$-equivalence preserves the Menger property among Čech complete spaces, so homeomorphic group-valued function spaces (for precompact Abelian $G$) force matching Menger behavior in this class.
Reading between the lines
- The unproved identification of $S_{\mathrm{fin}}(\Omega,\Omega)$ with $S_{\mathrm{fin}}(\Omega,\Omega^{\mathrm{gp}})$ on $\omega$-Lindelöf spaces is the soft point; if it fails, the theorems may still hold but would need direct proofs or a stronger hypothesis such as full Lindelöfness of all finite powers in the groupable sense.
- The $G^*$-regularity hypothesis is strong; one can test whether the results extend to the weaker $G$-regular notion or to non-metrizable groups, since the metric assumption is used mainly for a compatible local base at the identity.
- The Menger preservation result under $G$-equivalence may hold for wider classes than Čech complete spaces, because the proof uses only the implication "Čech complete plus Menger implies $\sigma$-compact" and preservation of $\sigma$-compactness; a direct covering-theoretic proof might remove that assumption.
- The fan-tightness/Hurewicz-number equality suggests an uncountable-cardinal invariant version of the classical tightness duality, where the supremum of Hurewicz numbers of finite powers could define a new cardinal invariant for $C_p(X,G)$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the space C_p(X,G) of continuous functions from a Tychonoff space X to a topological group G with the pointwise convergence topology. It claims necessary and sufficient conditions for countable fan tightness and countable strong fan tightness of C_p(X,G) in terms of the Menger and Rothberger properties of finite powers of X (Theorems 2.4 and 2.6), a characterization involving the Reznichenko property and the Hurewicz property (Theorem 2.8), an equality between fan tightness of C_p(X,G) and the supremum of Hurewicz numbers of finite powers (Theorem 2.9), preservation of the Menger property under G-equivalence for precompact abelian groups (Theorem 3.4), and monolithicity of C_p(X,G) for compact X and second-countable G (Theorem 4.5). The paper is organized around selection principles and follows the framework of Kocinac, Shakhmatov-Spevak, and Kocinac-Scheepers.
Significance. If the results were correct, they would provide natural group-valued generalizations of classical C_p(X) theorems and would connect covering properties of X^n with tightness properties of C_p(X,G). The paper also usefully assembles definitions and references from the selection-principles literature. However, the current manuscript contains multiple load-bearing invalid steps and at least one outright false theorem, so the advertised characterizations and preservation theorems are not established. The significance is therefore potential rather than realized.
major comments (5)
- [Theorem 2.4] The forward direction of the proof is invalid as written. From countable fan tightness, Theorem 2.1 gives only S_fin(Ω,Ω), but the proof then invokes Theorem 2.3, which requires S_fin(Ω,Ω^gp). Since S_fin(Ω,Ω) corresponds to the Menger property while S_fin(Ω,Ω^gp) corresponds to the Hurewicz property, and Menger does not imply Hurewicz in general, the step 'So from Theorem (2.3)' does not follow. The converse direction may be repairable by citing [12, Theorem 14], but the equivalence stated in Theorem 2.4 is not proved by the given argument.
- [Theorem 2.6] The same Ω/Ω^gp swap occurs here. Strong fan tightness gives S_1(Ω,Ω) by Theorem 2.2, but Theorem 2.5 requires S_1(Ω,Ω^gp). The paper neither proves nor cites a bridge from S_1(Ω,Ω) to the hypothesis of Theorem 2.5 for ω-Lindelöf spaces. Consequently, the claimed Rothberger characterization of countable strong fan tightness is unsupported by the proof as it stands.
- [Theorem 3.4] The proof of Theorem 3.4 is invalid. The argument says 'Take G = T', which illegitimately replaces the given precompact abelian group with the circle group, and then uses Lemma 3.2 to conclude T-equivalence preserves the Menger property. Moreover, Theorem 3.3 states that T-equivalence implies G-equivalence for precompact abelian G, not that G-equivalence implies T-equivalence. Thus the proof requires the converse of the cited implication and does not establish preservation of the Menger property under G-equivalence. Lemma 3.2 is also titled more broadly than its content: it proves only that T-equivalence preserves the Menger property within the class of Čech-complete spaces.
- [Theorem 4.1] Theorem 4.1 is false as stated. If G is the trivial topological group, then G is second countable and C_p(X,G) is a singleton for every nonempty X, so nw(C_p(X,G)) = 1, while nw(X) can be arbitrarily large for Tychonoff X. The proof relies on the embedding X ⊂ C_p(C_p(X,G)), which is not valid for arbitrary topological groups and requires additional hypotheses such as G*-regularity. Since Theorem 4.5 uses Theorem 4.1, the monolithicity result is also unsupported.
- [Theorem 2.8] The proof of Theorem 2.8 is not coherent. The Reznichenko property is applied to the family A_n without verifying that f_e belongs to the closure of A_n in the sense required by the definition; the displayed selection of B_n does not establish the groupable ω-cover condition needed to apply Theorem 2.3. The sentence 'This proves Hurewicz property of X^n for each n' does not follow from the preceding argument, and the final deduction of countable fan tightness is only asserted.
minor comments (4)
- [Theorem 4.3] The proof of closedness of f^*(G^Y) claims that its complement is empty, which is not true in general; for a non-injective surjective f, the image consists of functions constant on the fibers of f and is a proper closed subset of G^X. The statement that f^*(G^Y) is closed is true, but the given proof is not.
- [Definitions and notation] The definition of groupable ω-cover uses 'for each compact subset K of X', whereas the standard definition for ω-covers uses finite subsets; this should be corrected or clarified, especially since Theorem 2.3 concerns finite powers.
- [Throughout] There are numerous typographical and stylistic errors, including 'S ace' in the title, 'monoloithic', inconsistent spellings of 'Lindelöf' and 'lindeloff', and 'T-eqivalence'; a careful editing pass is needed.
- [Theorem 2.8] The final line asserts that countable tightness of C_p(X,G) follows from Theorems 2.1 and 2.3, but the theorem statement concerns countable fan tightness and the Reznichenko property; the authors should spell out the intended implication.
Circularity Check
No circularity: main theorems chain external selection-principle results; the skeptical gap is a missing implication, not a self-referential derivation.
full rationale
The paper's central results are obtained by chaining external theorems—Kocinac's characterizations of fan tightness for group-valued function spaces [11], the Kocinac–Scheepers selection-principle equivalences [12], and Shakhmatov–Spevak's G-equivalence results [5]—rather than by assuming what it purports to prove. No step defines its conclusion into its hypotheses, fits a parameter to data and then announces it as a prediction, or imports a uniqueness claim solely from the authors' own prior work. The self-citations (Mishra–Bhaumik, Aaliya–Mishra, Bishnoi–Mishra) appear only in the introduction as background and are not load-bearing for Theorems 2.4, 2.6, 2.8, or 3.4. The skeptical concern that the proofs of Theorems 2.4 and 2.6 silently replace S_fin(Ω,Ω) by S_fin(Ω,Ω^gp), and S_1(Ω,Ω) by S_1(Ω,Ω^gp), is a genuine correctness gap: the paper does not prove or cite the needed implication between these selection hypotheses. But a gap is not circularity, because the missing implication is not supplied by the paper's own target statements and the derivation does not reduce to a self-citation or a definitional identity. The proof of Theorem 2.8 likewise invokes Theorem 2.3 and Lemma 2.7 from the literature without circularly presupposing the conclusion. Accordingly, no circular step can be exhibited, and the appropriate score is 0.
Assumptions & free parameters
assumptions (10)
- domain assumption All spaces are Tychonoff (completely regular + T1) and non-empty.
- domain assumption All topological groups G are Hausdorff.
- standard math Theorem 2.1: For a metric group G and G*-regular X, Cp(X,G) has countable fan tightness iff X satisfies S_fin(Ω,Ω).
- standard math Theorem 2.2: For a metric group G and G*-regular X, Cp(X,G) has countable strong fan tightness iff X satisfies S_1(Ω,Ω).
- standard math Theorem 2.3: For ω-Lindelöf X, S_fin(Ω,Ω^gp) iff each finite power X^n has Hurewicz property.
- standard math [12, Theorem 14]: For ω-Lindelöf X, S_fin(Ω,Ω) iff each finite power X^n is Menger.
- standard math [12, Theorem 19]: For ω-Lindelöf X, S_1(Ω,Ω^gp) iff each finite power has property (*).
- standard math Theorem 3.3: For a precompact Abelian group G, T-equivalence implies G-equivalence.
- ad hoc to paper The embedding X ⊂ Cp(Cp(X,G)) holds for arbitrary topological group G.
- ad hoc to paper For ω-Lindelöf X, S_fin(Ω,Ω) and S_fin(Ω,Ω^gp) are equivalent (and the S_1 counterparts are equivalent).
Cite this review
Pith. "Pith review of Properties of the space of group-valued continuous functions." pith.science (2026). https://pith.science/paper/7CPF7TCV
@misc{pith2026241202199,
author = {Pith},
title = {Pith review of: Properties of the space of group-valued continuous functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/7CPF7TCV}},
note = {Machine review of arXiv:2412.02199}
}
abstract
In this paper, we find necessary and sufficient conditions for countable fan tightness and countable strong fan tightness of the space (briefly, $C_{p}(X,G)$) of all group-valued continuous functions endowed with the topology of pointwise convergence in term of Menger property and Rothberger property respectively. Furthermore, we establish a relationship between countable fan tightness, the Reznichenko property and the Hurewicz property for the space $C_{p}(X,G)$. In addition to this we prove that the Menger property is preserve during $G$-equivalence of topological spaces. Through this paper, we establish a general result regarding fan tightness of $C_{p}(X,G)$ and Hurewicz number of the space $X^{n}$ for every natural number $n$. Finally, we study the monolithicity of the space $C_{p}(X,G)$.
Reference graph
Works this paper leans on
-
[1]
A.V.Arkhangelskii, Hurewicz spaces, analytic sets and fan tightness of functio n spaces, Soviet Math. Doklady 33 (1986), 396–399
work page 1986
-
[2]
A.V.Arkhangel’skii, Topological function space, Kluwer Academic Publishers, 1992
work page 1992
-
[3]
C.M.Bishnoi and S.Mishra, Cardinal properties of the space of quasi-continuous funct ions under topology of uniform convergence on compact subsets , Topol.Appl. (2024), Under review
work page 2024
-
[4]
D.H.Fremlin and A.W.Miller, On some properties of hurewicz, menger, and rothberger , Fund. Math. 129 (1988), 17–33
work page 1988
-
[5]
D.Shakhmatov and J.Spevak, Group-valued continuous functions with the topology of poi nt- wise convergence, Topology and its Applications 157 (2010), 1518–1540
work page 2010
-
[6]
Engelking, General topology, Heldermann, 2011
R. Engelking, General topology, Heldermann, 2011
work page 2011
-
[7]
Se¸ cil Tokg¨ oz Franklin D. Tall, On definability of Menger spaces which are not σ compact, Topology and its Applications 220 (2017), 111–117
work page 2017
-
[8]
J. Gerlits and Zs. Nagy, Some properties of C(X), Topology Appl. 14 (1982), 151–162
work page 1982
Show all 25 references
-
[9]
Taqdir Husain, Introduction to topological groups , W. B. Saunders Company, 1966
1966
-
[10]
Kocinac, Closure properties of function spaces , Applied General Topology 4:2 (2003), 255–261
Ljubisa D.R. Kocinac, Closure properties of function spaces , Applied General Topology 4:2 (2003), 255–261
2003
-
[11]
, On spaces of group valued functions , Filomat 25:2 (2011), 163–172
2011
-
[12]
Kocinac and Marion Scheepers, The combinatorics of open covers(vii) , Fund
Ljubisa D.R. Kocinac and Marion Scheepers, The combinatorics of open covers(vii) , Fund. Math. 179 (2003), 131–155
2003
-
[13]
Shou Lin, Tightness of function spaces , Applied General topology 7 (2006), 103–107
2006
-
[14]
50 (2023), 27–43
M.Aaliya and S.Mishra, Some properties of regular topology on C(X, Y ), Ital.J.Pure Appl.Math. 50 (2023), 27–43
2023
-
[15]
38 (2023), no
, Space of homeomorphisms under regular topology , Commun.Korean Math.Soc. 38 (2023), no. 4, 1299–1307
2023
-
[16]
13 (2024), no
, Compactness and cardinality of the space of continuous func tions under regular topol- ogy, Palest.J.Math. 13 (2024), no. 1, 109–117
2024
-
[17]
M.Scheepers, Combinatorics of open covers I:Ramsey theory , Topology and its Applications 69 (1996), 31–62
1996
-
[18]
R.A.McCoy, S.Kundu, and V.Jindal, Function spaces with uniform, fine and graph topologies , Springer Cham, 2018
2018
-
[19]
Masami Sakai, Property C′′ and Function Spaces, Proceedings of the American Mathematical Society 104 (1988), 917–919
1988
-
[20]
, The Menger property and l - equivalence , Topology and its Applications 281 (2020), 0–6
2020
-
[21]
338 (2023), 108653
S.Mishra and A.Bhaumik, Properties of function space under cauchy convergence topo logy, Topol.Appl. 338 (2023), 108653
2023
-
[22]
V.V.Tkachuk, A Cp-theory problem book:Topological and function spaces , Springer, 2010
2010
-
[23]
, A Cp-theory problem book:Special features of function spaces , Springer, 2014
2014
-
[24]
, A Cp-theory problem book:Compactness in function spaces , Springer, 2015
2015
-
[25]
, A Cp-theory problem book:Functional equivalencies , Springer, 2016. 12 S. MISHRA, P. PANDEY, AND S. RA VINDRAN Sanjay Mishra, Department of Mathematics,, Amity School of Ap plied Sciences,, Amity University Lucknow Campus,, Uttar Pradesh, India Email address : drsanjaymishra...
2016
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.