{"id":"38b7d826-fbff-45fe-b3af-e08f6ec91339","arxiv_id":"1908.05671","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a compact Hausdorff space X, every additive zero-preserving map on C_R(X) is a multiplication exactly when X has no isolated points, and every additive local multiplication on C(X) is a multiplication exactly when no nonempty open F-sigma subset of X is an F-space.","lead":"This paper gives topological conditions on a compact Hausdorff space X that decide whether all additive local multiplications on C(X) or on C_R(X) must be genuine multiplications, and whether all additive zero-preserving maps on C(X) must have a simple pointwise form. The main characterizations tie these algebraic properties to the absence of isolated points and to the absence of F-sigma subspaces that are F-spaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 14's proof omits the step from dense q-points to automatic R-linearity of zero-preserving maps; Theorem 13(1) covers only local multiplications, and (2) implies (4) is asserted without proof.","rationale":"On good-faith reading, the paper aims to characterize upsilon-spaces, real eta-spaces, and eta-spaces by topological properties. The main results are plausible, and the topological Lemma 3 appears coherent; Theorem 2's first half already shows the zero-preserving argument for sequential limit points, and the q-point machinery is designed to generalize it. The load-bearing weak point is exactly the written proof of Theorem 14: the chain (3) ⇒ (1) ⇒ (2) ⇒ (4) bundles together implications whose proofs are not in the text. In particular, Theorem 13(1) is stated for local multiplications, while the definition of upsilon-space concerns zero-preserving maps; since zero-preserving maps are weaker (Lemma 2), the stated result does not formally imply (1). The implication (2) ⇒ (4) likewise needs a real analogue of Corollary 1. I do not see a counterexample, and the missing proof is likely reconstructible from the first part of Theorem 2's proof, so the paper should be accepted only after those implications are supplied. This matches the reader's conditional verdict, so no change to the reader's verdict is recommended.","tokens_in":16511,"tokens_out":13317,"duration_ms":134235,"concrete_test":"Write out the missing proof of (3) ⇒ (1): let T be additive and zero-preserving on C_R(X) with T(1) = 0, choose a dense q-point x where T(a) is nonzero, use the q-point compact sets K_n to build F with F(x) = 0 and F = a - r_n on K_n as in Theorem 2, and check that continuity of T(a - F) plus x in the closure of the union of the K_n forces some K_n to contain a point where T(a - F) is nonzero. If this adaptation goes through, the concern is expository and the theorem is sound; if it fails, Theorem 14 needs a different argument or a counterexample. Separately, verify (2) ⇒ (4) by repeating Corollary 1 with C_R({x}) congruent to R, whose additive maps outnumber multiplications.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 14. Its proof consists of the sentence \"We already proved that (3) ⇒ (1) ⇒ (2) ⇒ (4).\" The only result in Section 4 that could justify (3) ⇒ (1) is Theorem 13(1), and it is about additive local multiplications on C(X), not about additive zero-preserving maps on C_R(X). By Definition 5 and Lemma 2, zero-preserving is strictly weaker than being a local multiplication (closed-ideal invariance versus all-ideal invariance), so the stated conclusion of Theorem 13(1) does not by itself give the upsilon-space condition in Definition 6 and Theorem 10. No passage in Sections 3 through 4 shows that dense q-points turn every zero-preserving map into a local multiplication, nor that the displayed form for local multiplications forces the same form for zero-preserving maps. The implication (2) ⇒ (4) is also unsupported: Corollary 1 proves only that complex eta-spaces have no isolated points, and Corollary 9 proves it for upsilon-spaces, not for real eta-spaces. Since Theorem 15 invokes Theorem 14, both main theorems inherit this gap. The gap is probably repairable by adapting the first half of Theorem 2's proof, which uses only the zero-preserving consequence f(x) = 0 implies T(f)(x) = 0; but as written the manuscript does not supply that argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies additive local multiplications and additive zero-preserving maps on the algebras C(X) and C_R(X) for a compact Hausdorff space X. It introduces several classes of spaces: eta-spaces (every additive local multiplication on C(X) is a multiplication), real eta-spaces (the same for C_R(X)), and upsilon-spaces (every additive zero-preserving map on C_R(X) is a multiplication, equivalently every additive zero-preserving map on C(X) has the form T(f)=T(1)Re f + T(i)Im f). The main results announced are Theorem 14, characterizing upsilon-spaces and real eta-spaces as exactly the spaces with no isolated points (equivalently, with dense q-points), and Theorem 15, characterizing eta-spaces as exactly the compact Hausdorff spaces with no nonempty open F_sigma subset that is an F-space. The paper also contains several auxiliary results on products, unions, maximal subspaces, and the Stone-Cech compactification, and a discussion of the space beta(N)\\N.","tokens_in":16827,"tokens_out":4312,"duration_ms":40753,"significance":"If the main theorems hold, they provide a clean topological description of when additive local multiplications and additive zero-preserving maps are forced to be multiplications, linking operator-algebraic properties with set-theoretic topology (P-points, q-points, F-spaces). The paper contains substantial auxiliary contributions with detailed proofs, including Theorem 2, Theorem 3, Theorem 8, and Proposition 1, and it demonstrates a genuine interplay between algebraic rigidity and topological structure. These results would be of interest to researchers in functional analysis and topology. However, the central characterization in Theorem 14 is not actually proved in the manuscript: a key implication is asserted without the required argument, and a second implication is cited without a supporting proof. Because Theorem 15 depends on Theorem 14, both main theorems are affected. The gaps appear repairable, but they are load-bearing rather than cosmetic.","major_comments":[{"comment":"The proof of Theorem 14 states 'We already proved that (3) ⇒ (1) ⇒ (2) ⇒ (4).' The implication (3) ⇒ (1) is not proved. Item (3) says the q-points are dense; item (1) says X is an upsilon-space. The cited Theorem 13(1) shows that if q-points are dense, then every additive local multiplication on C(X) has the form T(f)=T(1)Re f + T(i)Im f. But upsilon-space is defined (Definition 6 and Theorem 10) by the stronger property that every additive zero-preserving map on C_R(X) is a multiplication, and zero-preserving maps are strictly weaker than local multiplications (Lemma 2). No argument shows that dense q-points turn additive zero-preserving maps into local multiplications, nor that the form obtained for local multiplications forces the same form for zero-preserving maps. This is a load-bearing gap in the main theorem. The gap seems repairable by adapting the first half of the proof of Theorem 2, which uses only the zero-preserving consequence f(x)=0 implies T(f)(x)=0, but the manuscript does not supply that argument.","section":"Section 5, Theorem 14"},{"comment":"The proof also asserts '(2) ⇒ (4)' as already proved, where (2) says X is a real eta-space and (4) says X has no isolated points. No such proof appears in the paper. Corollary 1 proves only that a (complex) eta-space has no isolated points, and Corollary 9 proves that an upsilon-space has no isolated points. Neither statement applies to real eta-spaces. A proof or an exact reference is needed for this implication.","section":"Section 5, Theorem 14, implication (2) ⇒ (4)"},{"comment":"The proof of (3) ⇒ (1) in Theorem 15 invokes Theorem 14 to conclude that X is an upsilon-space. Since the proof of Theorem 14 is incomplete as noted above, Theorem 15 inherits the gap. If Theorem 14 is repaired, this step is valid; as written, it is unsupported.","section":"Section 5, Theorem 15"}],"minor_comments":[{"comment":"There are numerous typographical errors, including 'topolocical' in the abstract, 'o n' in the title, 'Hausdorff' in multiple places, and 'The the following are equivalent' in Theorem 15. These should be corrected in a revision.","section":"Throughout"},{"comment":"The statement says 'every additive local multiplication T on X has the form...' but should read 'on C(X)' rather than 'on X', since T is a map on the algebra, not on the space.","section":"Section 4, Theorem 13(1)"},{"comment":"The sentence beginning 'It is clear that these conditions on the sequence {Kn} is precisely what is needed...' has grammatical agreement problems and an unclear referent for 'which by the Tietze extension theorem extends'. Rewording would improve clarity.","section":"Section 4, paragraph before Theorem 13"},{"comment":"In Remark 4, 'this is not a u-space' should presumably be 'not an upsilon-space'. The same abbreviation appears elsewhere and should be made consistent.","section":"Section 5, Remark 4"},{"comment":"In Example 2, the notation 'T(f|K)' is introduced without defining the restriction map on functions; this can be clarified with a sentence explaining that f|K denotes the restriction of f to K.","section":"Section 2, Example 2"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a useful paper with a genuine hole in the proof of its headline theorem. The characterizations are probably correct, but Theorem 14 is not proved as written. If the author fixes that, this is a solid contribution to the local maps/preserver literature.\n\nWhat is new: the paper introduces q-points and strong q-points, proves the elegant equivalence between q-points and non-P-points, and uses this to characterize upsilon-spaces and real eta-spaces as exactly the compact Hausdorff spaces with no isolated points (Theorem 14). Theorem 15, characterizing eta-spaces by absence of nonempty open F-sigma F-subspaces, is also new and would be the paper's most citable result. The earlier sections contain genuinely useful lemmas, especially Lemma 2 connecting zero-preserving maps with closed ideal invariance and Theorem 9 making the linear zero-preserving case trivial. There is no circularity and no self-citation; the background is standard and accurately cited.\n\nThe problem is the proof of Theorem 14. The entire proof is 'We already proved (3) ⇒ (1) ⇒ (2) ⇒ (4).' The only result in Section 4 that could justify (3) ⇒ (1) is Theorem 13(1), and that theorem is about additive local multiplications on C(X), giving the form T(f)=T(1)Re f + T(i)Im f. But upsilon-space is about additive zero-preserving maps. By Lemma 2, zero-preserving is strictly weaker than local multiplication (closed ideals vs all ideals). The paper never bridges the gap from dense q-points to automatic R-linearity (or the displayed form) for zero-preserving maps. Similarly, (2) ⇒ (4) — a real eta-space has no isolated points — is asserted without proof; Corollary 1 covers complex eta-spaces and Corollary 9 covers upsilon-spaces, not real eta-spaces. Since Theorem 15 uses Theorem 14, both main theorems inherit the gap.\n\nThe gap looks repairable — one would adapt the first half of Theorem 2's proof, which only uses the zero-preserving consequence f(x)=0 ⇒ T(f)(x)=0. But as it stands, the central claim is not fully supported. There are also minor typos: 'The the' in Theorem 15, 'ν-subspace' for 'υ-subspace' in Theorem 12(4).\n\nWho this is for: people working on local maps and preserver problems on C(X). It deserves peer review; I would send it to a referee with a request to supply the missing implications, not desk reject it. I would not cite the main theorems in their current form.","headline":"The topological characterizations look right and are worth knowing, but Theorem 14's proof has a real gap: dense q-points are shown to control local multiplications, not the weaker zero-preserving maps that define upsilon-spaces.","tokens_in":17315,"tokens_out":4098,"would_cite":false,"duration_ms":36080,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47B48","54C45","54D30","16S99"],"pacs":[],"model":"deepseek-v4-flash","headline":"For compact Hausdorff X, additive zero-preserving maps on C_R(X) are multiplications exactly when X has no isolated points, and additive local multiplications on C(X) are multiplications exactly when no nonempty open F-sigma subset is an…","keywords":["local multiplication","zero-preserving map","F-space","q-point","P-point","eta-space","upsilon-space","compact Hausdorff space"],"falsifier":"A compact Hausdorff space with no isolated points that carries an additive zero-preserving map on C_R(X) not equal to multiplication by a fixed function would refute Theorem 14. The decisive check is whether density of q-points alone forces every such map to be R-linear; the paper proves that density for local multiplications, but the zero-preserving case is exactly what must be tested.","tokens_in":16329,"feed_emoji":"🧮","tokens_out":11970,"duration_ms":104107,"temperature":0.7,"pith_summary":"Suppose X is a compact Hausdorff space. This paper asks when additive maps on the algebras C(X) of complex continuous functions and C_R(X) of real continuous functions are forced to be simple multiplications, and it answers with purely topological conditions on X. It proves that X is a υ-space—every additive zero-preserving map on C_R(X) is a multiplication, equivalently every additive zero-preserving map on C(X) has the form T(f)=T(1)Re f+T(i)Im f—exactly when X has no isolated points. It also proves that X is an η-space—every additive local multiplication on C(X) is a multiplication—exactly when no nonempty open F-sigma subset of X is an F-space. The interest is that exotic additive maps, which can be highly non-continuous, are controlled by point-set properties such as the density of q-points and the absence of F-space pieces.","feed_headline":"No isolated points turns zero-preserving maps into multiplications","feed_subtitle":"On compact Hausdorff spaces, real rigidity is decided by isolated points; complex rigidity by open F-sigma F-spaces.","key_machinery":"The load-bearing notions are local multiplication (a map T with T(f)=h_f f for some h_f depending on f) and zero-preservation (f(x)=0 forces T(f)(x)=0). Lemma 2 connects them to ideals: additive local multiplications are exactly additive maps that leave every ideal invariant, and additive zero-preserving maps are exactly those that leave every closed ideal invariant. For the topology, the paper introduces q-points—points lying in the closure of a disjoint union of compact sets but not in the union itself—and notes that a point is a q-point exactly when it is not a P-point, i.e., when some continuous function vanishes at it without vanishing on a neighborhood. The density of q-points is then equivalent to having no isolated points. For the complex case, the engine is the map T(f)=g \\bar f: Lemma 1 shows such a map is a local multiplication precisely when the cozero set of g is an F-space, where an F-space is a space in which every cozero-set is C*-embedded, equivalently every real continuous function factors through its absolute value. Since every non-multiplicative local multiplication can be detected from such conjugation-like maps, the obstruction is exactly the presence of a nonempty open F-$\\sigma$ subset that is an F-space.","core_discovery":"The paper's main theorems are two complete classifications. Theorem 14: for a compact Hausdorff space X, the following are equivalent: (1) X is a υ-space, meaning every additive zero-preserving map on C_R(X) is a multiplication, or equivalently every additive zero-preserving map on C(X) has the form T(f)=T(1)Re f+T(i)Im f; (2) X is a real η-space, meaning every additive local multiplication on C_R(X) is a multiplication; (3) the q-points of X are dense; (4) X has no isolated points. Theorem 15: X is an η-space, meaning every additive local multiplication on C(X) is a multiplication, if and only if no nonempty open F-sigma subset of X is an F-space. The two results together show that the real algebra is rigid exactly when the space is crowded everywhere, while the complex algebra is rigid only when it also avoids any open F-sigma region on which conjugation-like maps can act locally.","pith_inferences":["Because C_b(Y) is isomorphic to C(βY) for completely regular Y, the same q-point and F-sigma criteria should classify additive local multiplications and zero-preserving maps on bounded continuous functions over noncompact spaces.","The transfinite construction of maximal η- and υ-subspaces assigns every compact Hausdorff space an ordinal rank; computing that rank from Cantor–Bendixson derivatives would give a finer measure of how far a space is from rigid.","The proof pattern suggests that non-multiplicative additive local multiplications on C(X) are always detectable through conjugation-like maps T(f)=g \\bar f; if that is true in other uniform algebras, local multiplication rigidity would reduce to an F-space-type condition."],"forward_implications":["For first-countable compact Hausdorff spaces, all three rigidity notions—η-space, real η-space, and υ-space—are equivalent to having no isolated points.","On β(N)\\N, every additive zero-preserving map on the real functions is a multiplication, yet not every additive local multiplication on the complex functions is; the real and complex algebras are genuinely different.","Every compact Hausdorff space contains a unique maximal compact υ-subspace, obtained by repeatedly deleting isolated points, and a unique maximal compact η-subspace, obtained by deleting open F-sigma F-space pieces.","The set of q-points is dense in X precisely when X has no isolated points, so checking isolated points gives a fast topological test for the real/υ rigidity.","If no nonempty open F-sigma subset of X is an F-space, then every R-linear local multiplication on C(X) is a multiplication, which is the bridge that turns the F-space obstruction into the η-space characterization."],"supporting_citations":[{"why":"Provides the definition and characterizations of F-spaces, including the cozero-set/F-sigma equivalence used in Theorems 6, 7, and 15.","marker":"[4]"},{"why":"Supplies the additive local multiplication framework and the result for C*-algebras that this paper extends to the commutative case C(X).","marker":"[7]"},{"why":"Establishes the baseline that C-linear local multiplications on C(X) are multiplications, the case being generalized to additive maps.","marker":"[5]"},{"why":"Introduces P-points, used in Lemma 3 to prove that q-points are exactly the non-P-points.","marker":"[3]"},{"why":"Gives the topological fact that compact subspaces all of whose points are P-points are finite, used to identify the closure of the q-points.","marker":"[12]"}],"fun_headline_variants":["No isolated points: zero-preserving maps become multiplications","Crowded spaces: real rigidity from absence of isolated points","Real rigidity iff no isolated points; complex iff no F-sigma F-spaces","Isolated points break real rigidity; F-sigma regions break complex"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole classification in Theorem 14 rests on the step that says density of q-points forces every additive zero-preserving map on C_R(X) to be a multiplication; if automatic rigidity of these maps fails, the equivalence collapses.","fun_headline_variants_meta":{"raw":{"variants":["No isolated points: zero-preserving maps become multiplications","Crowded spaces: real rigidity from absence of isolated points","Real rigidity iff no isolated points; complex iff no F-sigma F-spaces","Isolated points break real rigidity; F-sigma regions break complex"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000344,"raw_usage":{"total_tokens":1870,"prompt_tokens":903,"completion_tokens":967,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":892}},"tokens_in":519,"tokens_out":967,"duration_ms":9032,"temperature":1.0,"reasoning_tokens":892,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:18:18.218661+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A compact Hausdorff space with no isolated points that carries an additive zero-preserving map on C_R(X) not equal to multiplication by a fixed function would refute Theorem 14. The decisive check is whether density of q-points alone forces every such map to be R-linear; the paper proves that density for local multiplications, but the zero-preserving case is exactly what must be tested.","supporting_citations":[{"cited_title":"43, Springer-Verlag, New York-Heidelberg, 1976","cited_arxiv_id":null,"evidence_quote":"Provides the definition and characterizations of F-spaces, including the cozero-set/F-sigma equivalence used in Theorems 6, 7, and 15."},{"cited_title":"W., Local multiplications on algebr as, J","cited_arxiv_id":null,"evidence_quote":"Supplies the additive local multiplication framework and the result for C*-algebras that this paper extends to the commutative case C(X)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the baseline that C-linear local multiplications on C(X) are multiplications, the case being generalized to additive maps."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces P-points, used in Lemma 3 to prove that q-points are exactly the non-P-points."},{"cited_title":"K., A topological view of P-spaces, General To pology and its Applications 2 (1972) 349-362","cited_arxiv_id":null,"evidence_quote":"Gives the topological fact that compact subspaces all of whose points are P-points are finite, used to identify the closure of the q-points."}],"review_version":1}