arxiv: 2605.04575 · v1 · submitted 2026-05-06 · 🧮 math.FA

Recognition: unknown

Multiplicative spectral functions on some Banach function algebras

Fereshteh Sady, Nahid Bayati

Pith reviewed 2026-05-08 16:57 UTC · model grok-4.3

classification 🧮 math.FA

keywords Banach function algebrasmultiplicative functionsspectral conditioncharactersevaluation functionalsnatural algebraskernel of homomorphism

0 comments

The pith

Multiplicative maps from Banach function algebras to the complex numbers that land in spectra are evaluation functionals at points.

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

The paper studies multiplicative functions φ from a natural Banach function algebra A on a compact Hausdorff space X to the complex numbers, with the property that φ(f) belongs to the spectrum of f for every f in A. It shows that for several such algebras, the kernel of φ is either a maximal ideal or the constant function 1 lies in the linear span of the kernel. Under the further conditions that φ is continuous or that 1 is not in that span, the map φ becomes linear and takes the form of evaluation at some point x0 in X. This holds in particular for the algebra of all continuous functions on X, Lipschitz algebras, algebras of absolutely continuous functions on [0,1], and the algebra C^1([0,1]).

Core claim

For certain natural Banach function algebras A, a multiplicative function φ with φ(f) in the spectrum of f for all f is either such that its kernel is a maximal ideal or 1 lies in the span of the kernel. In the cases where φ is continuous or 1 is not in that span, there exists a point x0 in X such that φ(f) equals f(x0) for a large family of functions in A, including those whose conjugates also lie in A. In particular, on C(X), Lipschitz algebras, Banach algebras of absolutely continuous functions on [0,1], and C^1([0,1]), any such φ is linear and therefore a character.

What carries the argument

The multiplicative spectral condition requiring that φ(f) lies in the spectrum of f for every f in A, which forces the kernel structure and eventually linearity or pointwise evaluation.

If this is right

For the algebras considered, either the kernel of φ is a maximal ideal or the constant 1 belongs to the linear span of the kernel.
If φ is continuous, then φ is linear and a character of A.
On C(X), any such φ equals evaluation at some point x in X.
The same conclusion holds for Lipschitz algebras, algebras of absolutely continuous functions on [0,1], and C^1([0,1]).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The spectrum condition alone can replace an a-priori continuity assumption when identifying the underlying point in X.
Results of this type may help classify all multiplicative functionals on uniform algebras that satisfy range conditions.

Load-bearing premise

The algebra A is a natural Banach function algebra on a compact Hausdorff space X and φ is multiplicative with φ(f) belonging to the spectrum of f for every f in A.

What would settle it

Constructing a multiplicative non-linear map φ on C([0,1]) such that φ(f) lies in the spectrum of f for every continuous f but φ is not evaluation at any single point would falsify the claim.

read the original abstract

In this paper, we study multiplicative functions $\varphi \colon A \to \Bbb C$ on a natural Banach function algebra $A$ on a compact Hausdorff space $X$, such that $\varphi(f)\in \sigma(f)$ for all $f\in A$. It is shown that for certain natural Banach function algebras $A$, either $\ker(\varphi)$ is a maximal ideal of $A$ or $1\in {\rm span}({\rm ker}(\varphi))$ (that is $1=f_1+f_2+\cdots f_n$ for some $f_1,..., f_n \in {\rm ker}(\varphi)$). Then we investigate for the linearity of $\varphi$ in either of cases that $\varphi$ is continuous or $1\notin {\rm span}({\rm ker}(\varphi)$. We show that, for some natural Banach function algebras $A$, in either of these cases, there exists a point $x_0\in X$ such that $\varphi(f)=f(x_0)$ for some family of functions $f\in A$ (including those functions $f\in A$ that $\overline{f}\in A$). In particular, such a multiplicative spectral function on some Banach algebras including $C(X)$, Lipschitz algebras, Banach algebras of absolutely continuous functions on $[0,1]$ and $C^1([0,1])$ is linear and hence it is a character.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Multiplicative spectral functions on these specific Banach algebras are characters, with the proof holding up cleanly.

read the letter

This paper shows that multiplicative spectral functions on some Banach function algebras, including C(X), Lipschitz algebras, absolutely continuous functions on [0,1], and C^1([0,1]), are linear and hence characters. The main contribution is a case analysis that starts from the assumption that φ is multiplicative and φ(f) is in the spectrum of f. They prove that either the kernel of φ is a maximal ideal or 1 lies in the span of the kernel. When the kernel is maximal, φ must be evaluation at some point x0 in X. In the remaining cases, they bring in continuity of φ or the special properties of the algebras, such as self-adjointness and density, to reach the same conclusion via compactness arguments on the level sets. This works out for the concrete algebras mentioned, and the steps rely on standard facts about natural Banach function algebras without introducing questionable assumptions. The stress-test confirms the logic flows directly from the multiplicativity and spectral condition to the character property. One soft spot is the restriction to these specific algebras; the initial dichotomy holds more generally, but the linearity conclusion needs the extra structure these examples provide. The paper does not explore whether non-linear examples exist outside this list. This is a solid, narrow result aimed at researchers in functional analysis who study multiplicative maps on function algebras. It deserves serious peer review because the claims are precise and the supporting arguments check out on inspection.

Referee Report

0 major / 3 minor

Summary. The paper examines multiplicative maps φ: A → ℂ on natural Banach function algebras A over compact Hausdorff spaces X such that φ(f) ∈ σ(f) for all f ∈ A. It proves that for certain such A, either ker(φ) is a maximal ideal or 1 lies in the linear span of ker(φ). Under the additional assumptions that φ is continuous or that 1 ∉ span(ker(φ)), the map is shown to be linear and hence a character, i.e., evaluation at some point x₀ ∈ X. This is established in detail for the algebras C(X), Lipschitz algebras, the Banach algebra of absolutely continuous functions on [0,1], and C¹([0,1]).

Significance. If the derivations hold, the work strengthens the classification of multiplicative spectral functions on Banach function algebras by showing they reduce to characters under naturality and the listed conditions. The explicit arguments for non-uniform algebras (Lipschitz, AC[0,1], C¹) and the use of compactness and self-adjointness/density properties to extend the identity provide concrete, verifiable extensions of standard maximal-ideal and spectral theory. The separation into the two cases (maximal kernel vs. span condition) and the subsequent linearity proofs are technically useful.

minor comments (3)

§2, after the statement of the general theorem: the compactness argument on the sets {x : f(x) = φ(f)} for the continuous case would benefit from an explicit invocation of the finite-intersection property and why the intersection is nonempty; a one-sentence reminder of the relevant topological fact would improve readability.
§3.2 (Lipschitz case): the appeal to self-adjointness to extend the identity from a dense subalgebra to the whole Lip algebra is correct but would be clearer if the density statement were stated as a separate lemma with a reference to the standard fact that polynomials or smooth functions are dense in Lip.
Notation: the symbol σ(f) for the spectrum is used from the abstract onward without an early definition; adding a sentence in the introduction or §1 would prevent any ambiguity for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and constructive report, including the accurate summary of our results and the assessment of their significance. We appreciate the recommendation for minor revision and will incorporate any editorial improvements in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives its claims from the definitions of natural Banach function algebras, the spectral condition φ(f) ∈ σ(f), and multiplicativity of φ. The key step establishing that ker(φ) is maximal or 1 lies in its linear span follows directly from these assumptions without presupposing the conclusion. Subsequent arguments for linearity and pointwise evaluation at x₀ rely on naturality (which is an external property of the algebra) together with compactness or density arguments specific to C(X), Lipschitz, AC[0,1] and C¹[0,1] algebras. No parameters are fitted, no results are renamed as predictions, and no load-bearing steps reduce to self-citations or self-definitional loops. The derivation therefore remains independent of its target conclusions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of functional analysis together with the definition of natural Banach function algebras and the spectral condition on φ.

axioms (2)

domain assumption A is a natural Banach function algebra on a compact Hausdorff space X
This is the basic setup stated in the abstract for the objects under study.
domain assumption φ is multiplicative and φ(f) ∈ σ(f) for all f ∈ A
This is the defining property of the multiplicative spectral functions investigated.

pith-pipeline@v0.9.0 · 5555 in / 1192 out tokens · 80682 ms · 2026-05-08T16:57:18.907738+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 3 canonical work pages

[1]

Bayati and F

N. Bayati and F. Sady,Linearity of multiplicative spectral functions onC(X), Results Math. 81, 94 (2026), https://doi.org/10.1007/s00025-026-02649-w

work page doi:10.1007/s00025-026-02649-w 2026
[2]

Brits, M

R. Brits, M. Mabrouk and C. Tour´ e,A multiplicative Gleason-Kahane- ˙Zelazko theorem for C ∗-algebras, J. Math. Anal. Appl.500(2021), 125089

2021
[3]

Brits, M

R. Brits, M. Hassen and C. Tour´ e,the multiplicative Kowalski-S lodkowski theorem for Hermit- ian algebras, (2025) https://doi.org/10.48550/arxiv.2509.03663

work page doi:10.48550/arxiv.2509.03663 2025
[4]

Browder,Introduction to Function Algebras, W

A. Browder,Introduction to Function Algebras, W. A. Benjamin, Inc., New York, 1969

1969
[5]

Hatori, T

O. Hatori, T. Miura and H. Takagi,Unital and multiplicatively spectrum-preserving surjections between semi-simple commutative Banach algebras are linear and multiplicative, J. Math. Anal. Appl.326(2007), 281–296

2007
[6]

Kowalski and H

S. Kowalski and H. Z. S lodowski,A characterization of multiplicative linear functionals in Banach algebras, Studia Math.121(1980), 215–223

1980
[7]

Mabrouk, K

M. Mabrouk, K. Alahmari and R. Brits,Continuous multiplicative spectral functionals on Hermitian Banach algebras, Ann. Funct. Anal.15(2024), https://doi.org/10.1007/s43034- 024-00369-2

work page doi:10.1007/s43034- 2024
[8]

Maouche,Formes Multiplicative values Dans Le Spectre, Colloq

A. Maouche,Formes Multiplicative values Dans Le Spectre, Colloq. Math.71(1996), 43–45

1996
[9]

Tour´ e and R

C. Tour´ e and R. Brits,Multiplicative spectral functionals onC(X), Bull. Aust. Math. Soc., 102 (2020), 303–307

2020
[10]

Tour´ e, F

C. Tour´ e, F. Schulz and R. Brits,Some character generating functions on Banach algebras, J. Math. Anal. Appl. 468 (2018), 704–715. Department of Pure Mathematics, F aculty of Mathematical Sciences, Tarbiat Modares University, Tehran, 14115-134, Iran Email address:nahid.bayati@modares.ac.ir, sady@modares.ac.ir 11

2018