Additive Local Multiplications and zero-preserving maps on $C(X)$

Qian Hu

REVIEW 3 major objections 5 minor 17 references

Additive Local Multiplications and zero-preserving maps on $C(X)$

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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…

desk verdict 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. read the letter →

arxiv 1908.05671 v1 pith:2RP5EMCE submitted 2019-08-15 math.FA math.OAmath.RA

Qian Hu This is my paper · ORCID

classification math.FAmath.OAmath.RA MSC 47B4854C4554D3016S99

keywords localmultiplicationzero-preservingmapF-spaceq-pointP-pointeta-spaceupsilon-spacecompactHausdorffspace

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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.

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

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

The 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).

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

Referee Report

3 major / 5 minor

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.

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 (3)

[Section 5, Theorem 14] 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 5, Theorem 14, implication (2) ⇒ (4)] 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 5, Theorem 15] 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.

minor comments (5)

[Throughout] There are numerous typographical errors, including 'topolocical' in the abstract, 'o n' in the title, 'Hausdorﬀ' in multiple places, and 'The the following are equivalent' in Theorem 15. These should be corrected in a revision.
[Section 4, Theorem 13(1)] 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 4, paragraph before Theorem 13] 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 5, Remark 4] 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 2, Example 2] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain is self-contained, with only a non-circular proof gap in Theorem 14.

full rationale

The paper is a self-contained functional-analysis derivation. Its main theorems are proved from explicit definitions (eta-space, upsilon-space, q-point, F-space) using internal lemmas and external classical results such as the Tietze extension theorem and standard facts about F-spaces and P-spaces from Gillman-Jerison and Gillman-Henriksen. No load-bearing step defines a target object in terms of the claimed conclusion, and no fitted parameter is relabeled as a prediction; the paper contains no empirical fitting at all. The internal references in the proof of Theorem 14 ("We already proved that (3) ⇒ (1) ⇒ (2) ⇒ (4)") are ordinary references to earlier theorems in the same manuscript, not circular uses of the theorem being proved. The skeptic's concern is a proof-completeness gap rather than circularity: Theorem 13(1) is stated for additive local multiplications on C(X), while the needed implication (3) ⇒ (1) in Theorem 14 concerns zero-preserving additive maps, and the implication (2) ⇒ (4) is asserted without an explicit argument. A missing bridge step is not equivalent to assuming the conclusion, and it does not make the result an input of its own derivation. There are no self-citations by the author and no appeal to a uniqueness theorem from prior work of the same author. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 2 invented entities

The paper rests on standard topological theorems such as Tietze, Urysohn, F-space theory, and P-point results. The only newly introduced objects are the technical definitions of q-point and strong q-point, which are tied to existing P-point theory. No empirical fitting parameters are present.

assumptions (7)

standard math Tietze extension theorem
Used repeatedly to extend continuous real-valued functions from closed subsets of compact Hausdorff spaces, e.g., in Theorems 2, 3, Lemma 1, and Theorem 8.
standard math Urysohn lemma and normality of compact Hausdorff spaces
Invoked to apply Tietze extension and to separate points from closed sets, e.g., in proofs of Theorem 2 and Lemma 3.
standard math Every cozero-set in an F-space is R-embedded and itself an F-space
Cited from Gillman and Jerison [4, Theorem 14.25(6) and 14.26]; used in Lemma 1 and Theorem 6.
standard math Every compact P-space is finite
Cited from Misra [12, Proposition 4.1]; used in Lemma 3(2) to prove that a compact set of P-points is finite.
standard math Additive maps on R over Q are determined by a Hamel basis
Used in Example 1, Example 3, and Proposition 1 to build or count Q-linear maps on R and to expand real numbers in a basis over Q.
standard math The Stone-Cech compactification exists and beta(N)\N has standard properties
Used in Section 2, Proposition 1, and Remarks 5 and 6 for the space beta(N)\N.
domain assumption The statement that every point of beta(N)\N is a q-point is independent of ZFC
Mentioned in Remark 6 as an external set-theoretic fact from Rudin [13] and Wimmers [16].

invented entities (2)

q-point independent evidence
purpose: A point in the closure of a disjoint sequence of compact sets, not in their union, with separation conditions, used to generalize sequential limit points and prove that spaces without isolated points are upsilon-spaces.
Lemma 3(1) characterizes q-points as exactly the non-P-points of X, where P-points are a classical notion from Gillman and Henriksen [3], giving an external handle.
strong q-point independent evidence
purpose: A q-point with an added condition that even and odd blocks of compact sets both accumulate at the point, used to prove that spaces with dense strong q-points are eta-spaces.
Defined for the proof; its behavior is tied to the ability to define continuous functions constant on alternating blocks, a standard construction.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Additive Local Multiplications and zero-preserving maps on $C(X)$." pith.science (2026). https://pith.science/paper/2RP5EMCE

@misc{pith2026190805671,
  author       = {Pith},
  title        = {Pith review of: Additive Local Multiplications and zero-preserving maps on $C(X)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2RP5EMCE}},
  note         = {Machine review of arXiv:1908.05671}
}

abstract

Suppose $X$ is a compact Hausdorff space. In terms of topolocical properties of $X$, we find topological conditions on $X$ that are equivalent to each of the following: 1. every additive local multiplication on $C\left( X\right) $ is a multiplication, 2. every additive local multiplication on $C_{R}\left( X\right) $ is a multiplication, and 3. every additive map on $C\left( X\right) $ that is zero-preserving (i.e., $f\left( x\right) =0$ implies $\left( Tf\right) \left( x\right) =0$) has the form $T\left( f\right) =T\left( 1\right) \operatorname{Re}f+T\left( i\right) \operatorname{Im}f$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Christensen, E., Derivations of nest algebras, Math. An n. 229 (1977) 155-161

work page 1977
[2]

Crist, R., Local derivations on operator algebras, J. Fu nct. Anal. 135 (1996) 76–92

work page 1996
[3]

Gillman, L., Henriksen, M., Concerning Rings of Continu ous Functions. Trans. Amer. Math. Soc. (1954) 340-362

work page 1954
[4]

43, Springer-Verlag, New York-Heidelberg, 1976

Gillman, L.; Jerison, M., Rings of continuous functions , Graduate Texts in Mathematics, No. 43, Springer-Verlag, New York-Heidelberg, 1976

work page 1976
[5]

Hadwin, Don Algebraically reﬂexive linear transformat ions, Linear and Multilinear Algebra 14 (1983) 225–233

work page 1983
[6]

The Hadwin Lunch Bunch, Local multiplications on algebr as spanned by idempotents, Linear and Multilinear Algebra 37 (1994) 259–263

work page 1994
[7]

W., Local multiplications on algebr as, J

Hadwin, D.; Kerr, J. W., Local multiplications on algebr as, J. Pure Appl. Algebra 115 (1997) 231–239

work page 1997
[8]

Hadwin, D.; Li, J., Local derivations and local automorp hisms, J. Math. Anal. Appl. 290 (2004)702–714

work page 2004

Show all 17 references

[9]

Operator Theory 60 (2008) 29–44

Hadwin, D.; Li, J., Local derivations and local automorp hisms on some algebras, J. Operator Theory 60 (2008) 29–44

2008
[10]

-Y., Local derivations of nest algebras, Proc

Han, D; W ei, S. -Y., Local derivations of nest algebras, Proc. Amer. Math. Soc. 123 (1995) 3095–3100

1995
[11]

V., Local derivations, J

Kadison, R. V., Local derivations, J. Algebra 130 (1990 ) 494-509

1990
[12]

K., A topological view of P-spaces, General To pology and its Applications 2 (1972) 349-362

Misra, A. K., A topological view of P-spaces, General To pology and its Applications 2 (1972) 349-362

1972
[13]

Rudin, W., Homogeneity problems in the theory of ˇCech compactiﬁcations, Duke Math. J. 23 (1956) 409–419

1956
[14]

ˇSemrl, P., Local automorphisms and derivations on B(H), Pro c. Amer. Math. Soc. 125 (1997) 2677–2680

1997
[15]

Willard, S., General topology, Addison-W esley Publis hing Co., Reading, Mass.-London-Don Mills, Ont. 1970

1970
[16]

Wimmers, E., The Shelah P-point independence theorem, Israel J. Math. , 43 (1982) 28–48

1982
[17]

W u, J., Local derivations of reﬂexive algebras, Proc. A mer. Math. Soc. 125 (1997) 869–873. East China University of Science and Technology, Shanghai, C hina E-mail address : hu1267@126.com

1997

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Christensen, E., Derivations of nest algebras, Math. An n. 229 (1977) 155-161

work page 1977

[2] [2]

Crist, R., Local derivations on operator algebras, J. Fu nct. Anal. 135 (1996) 76–92

work page 1996

[3] [3]

Gillman, L., Henriksen, M., Concerning Rings of Continu ous Functions. Trans. Amer. Math. Soc. (1954) 340-362

work page 1954

[4] [4]

43, Springer-Verlag, New York-Heidelberg, 1976

Gillman, L.; Jerison, M., Rings of continuous functions , Graduate Texts in Mathematics, No. 43, Springer-Verlag, New York-Heidelberg, 1976

work page 1976

[5] [5]

Hadwin, Don Algebraically reﬂexive linear transformat ions, Linear and Multilinear Algebra 14 (1983) 225–233

work page 1983

[6] [6]

The Hadwin Lunch Bunch, Local multiplications on algebr as spanned by idempotents, Linear and Multilinear Algebra 37 (1994) 259–263

work page 1994

[7] [7]

W., Local multiplications on algebr as, J

Hadwin, D.; Kerr, J. W., Local multiplications on algebr as, J. Pure Appl. Algebra 115 (1997) 231–239

work page 1997

[8] [8]

Hadwin, D.; Li, J., Local derivations and local automorp hisms, J. Math. Anal. Appl. 290 (2004)702–714

work page 2004