On Multiplicity of Uniform Norms and Maximal Spectral Substructures in Commutative Banach Algebras

Jekwin J. Dabhi; Prakash A. Dabhi

arxiv: 2605.18179 · v1 · pith:PL5QNG6Gnew · submitted 2026-05-18 · 🧮 math.FA

On Multiplicity of Uniform Norms and Maximal Spectral Substructures in Commutative Banach Algebras

Jekwin J. Dabhi , Prakash A. Dabhi This is my paper

Pith reviewed 2026-05-20 00:05 UTC · model grok-4.3

classification 🧮 math.FA

keywords uniform normssemisimple commutative Banach algebrasweakly regular subalgebrasunique uniform norm propertyspectral extension propertymaximal closed idealsBanach algebra norms

0 comments

The pith

A semisimple commutative Banach algebra has either exactly one uniform norm or uncountably many.

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

The paper proves that any semisimple commutative Banach algebra carries either a single uniform norm or uncountably many distinct ones, so no finite multiplicity greater than one is possible. It further shows that such an algebra always contains a largest closed subalgebra that is weakly regular. The same algebras also possess largest closed ideals that satisfy the unique uniform norm property and the spectral extension property, respectively.

Core claim

For a semisimple commutative Banach algebra A, the collection of uniform norms on A is either a singleton or has uncountable cardinality. In addition, A always contains a largest closed weakly regular subalgebra, as well as largest closed ideals that possess the unique uniform norm property and the spectral extension property.

What carries the argument

The multiplicity (one versus uncountable) of uniform norms on semisimple commutative Banach algebras, together with the existence of maximal closed subalgebras and ideals carrying the weakly regular, unique uniform norm, and spectral extension properties.

If this is right

Any semisimple commutative Banach algebra with more than one uniform norm must in fact possess uncountably many.
A largest closed weakly regular subalgebra always exists inside the given algebra.
Largest closed ideals with the unique uniform norm property exist.
Largest closed ideals with the spectral extension property exist.

Where Pith is reading between the lines

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

The dichotomy implies that uniform norms on these algebras cannot appear in any finite number strictly between one and uncountably many.
The maximal subalgebras and ideals identified may serve as canonical objects for studying the spectrum or representation theory of the algebra.
The results highlight a structural rigidity that could be tested in concrete examples such as group algebras or uniform algebras.

Load-bearing premise

The algebra is assumed to be semisimple and commutative.

What would settle it

Exhibiting a single semisimple commutative Banach algebra that admits exactly two distinct uniform norms would refute the central dichotomy.

read the original abstract

Let $\mathcal A$ be a semisimple commutative Banach algebra. It is shown that either $\mathcal A$ has exactly one uniform norm or it admits uncountably many uniform norms. Further, it is shown that there always exists a largest closed subalgebra of $\mathcal A$ which is weakly regular, and that there always exist largest closed ideals in $\mathcal A$ having unique uniform norm property (UUNP) and spectral extension property (SEP) respectively.

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

Semisimple commutative Banach algebras have either one uniform norm or uncountably many, plus some maximal weakly regular subalgebras and ideals with UUNP and SEP.

read the letter

The main thing to know is that the paper proves a 1-or-uncountable dichotomy for uniform norms on semisimple commutative Banach algebras, and shows that maximal closed weakly regular subalgebras and maximal closed ideals carrying the unique uniform norm property and spectral extension property always exist. The argument runs through the Gelfand representation to tie uniform norms to the spectral radius, then uses a parametrization to produce uncountably many distinct norms once two exist, and applies Zorn's lemma to the relevant posets for the maximality claims. This is the sort of structural cleanup that can save time later when people classify algebras or study their ideal lattices. The proofs appear to use only standard tools and the stated hypotheses, with no visible internal contradictions or hidden dependence on extra choice principles. The uncountable jump is the part that needs the most scrutiny to confirm the norms really stay distinct and uniform under the construction. A possible soft spot is whether the results reduce to earlier theorems on uniform norms in the literature; the abstract presents them as fresh, but the paper would benefit from a sharper comparison section. Overall the claims are precise and the setting is the natural one. This is for people working in Banach algebra theory who care about spectra, ideals, and norm properties. A reader already comfortable with Gelfand theory and Zorn applications will get the most out of it and can use the dichotomy as a quick reference. It is solid enough to deserve a serious referee who can check the parametrization details and the exact maximality statements.

Referee Report

2 major / 2 minor

Summary. The paper claims that for any semisimple commutative Banach algebra A, either A admits exactly one uniform norm or it admits uncountably many uniform norms. It further establishes the existence of a largest closed weakly regular subalgebra of A, as well as largest closed ideals of A possessing the unique uniform norm property (UUNP) and the spectral extension property (SEP), respectively.

Significance. If the central dichotomy and maximality results hold, they constitute a substantive contribution to the spectral theory of commutative Banach algebras by classifying the possible cardinalities of the set of uniform norms and identifying canonical maximal substructures. The approach via Gelfand representation, spectral radius, and Zorn's lemma yields direct existence statements without fitted parameters or post-hoc reductions, which strengthens the result.

major comments (2)

[Section 3 (dichotomy argument)] The construction producing uncountably many distinct uniform norms (when at least two exist) is described via a parametrization of the Gelfand representation; the manuscript should explicitly verify that the resulting family consists of inequivalent norms on the whole algebra rather than merely on a dense subalgebra.
[Section 4 (maximality for subalgebras)] In the application of Zorn's lemma to obtain a maximal weakly regular subalgebra, the proof that the union of a chain remains weakly regular is only sketched; a direct check that the closure of the union preserves the weak regularity condition is needed to confirm the maximal element lies in the poset.

minor comments (2)

[Introduction] Notation for the algebra (script A) is consistent, but the distinction between uniform norm and spectral radius should be recalled at the start of the multiplicity section for readers.
[Preliminaries] The definitions of UUNP and SEP are given, but a short remark comparing them to related properties in the literature (e.g., unique uniform norm algebras) would improve context.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the major comments point by point below and will incorporate the requested clarifications in the revised version.

read point-by-point responses

Referee: [Section 3 (dichotomy argument)] The construction producing uncountably many distinct uniform norms (when at least two exist) is described via a parametrization of the Gelfand representation; the manuscript should explicitly verify that the resulting family consists of inequivalent norms on the whole algebra rather than merely on a dense subalgebra.

Authors: We agree that an explicit verification strengthens the argument. The parametrization is applied to the Gelfand transforms of elements of the full algebra A. In the revision we will insert a short paragraph (or lemma) after the construction showing that if two parameters differ, there is an element a in A such that the resulting uniform norms differ on a; this uses the fact that the Gelfand representation separates points in the semisimple case and that the sup-norms are taken over the entire spectrum, not merely a dense subset. revision: yes
Referee: [Section 4 (maximality for subalgebras)] In the application of Zorn's lemma to obtain a maximal weakly regular subalgebra, the proof that the union of a chain remains weakly regular is only sketched; a direct check that the closure of the union preserves the weak regularity condition is needed to confirm the maximal element lies in the poset.

Authors: We acknowledge that the sketch can be expanded for clarity. In the revised manuscript we will replace the sketch with a direct verification: let {B_α} be a chain of weakly regular closed subalgebras; their union U is an algebra, and we show that the closure of U satisfies the weak regularity condition by passing to the limit in the relevant spectral-radius inequalities, using continuity of the Gelfand transform and the fact that weak regularity is preserved under uniform limits on compact subsets of the spectrum. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on the Gelfand representation of semisimple commutative Banach algebras, the spectral radius formula, and Zorn's lemma to establish maximality of weakly regular subalgebras and ideals with UUNP/SEP. The 1-or-uncountable dichotomy for uniform norms follows from analyzing the set of such norms and invoking a connectedness or parametrization argument when more than one exists. These steps use standard external tools in Banach algebra theory and do not reduce any central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The paper is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works inside the standard framework of Banach algebra theory; the only structural premise is the semisimplicity and commutativity of A, with no free parameters or new entities introduced in the abstract.

axioms (1)

domain assumption A is a semisimple commutative Banach algebra
This is the explicit setting stated in the abstract for all theorems on uniform norms and maximal substructures.

pith-pipeline@v0.9.0 · 5604 in / 1138 out tokens · 50394 ms · 2026-05-20T00:05:16.976290+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

Bhatt and H

S.J. Bhatt and H. V. Dedania, Uniqueness of the uniform norm and adjoining identity in Banach algebras, Proc. Indian Acad. Sci. (Math. Sci.)105(4) (1995), 405-409

work page 1995
[2]

Bhatt and H

S.J. Bhatt and H. V. Dedania, Banach algebras with unique uniform norm, Proc. Amer. Math. Soc.124(2) (1996), 579-584

work page 1996
[3]

Bhatt and H

S.J. Bhatt and H. V. Dedania, Banach algebras with unique uniform norm II, Studia Math. 147(3) (2001), 211-235

work page 2001
[4]

Bhatt and H

S.J. Bhatt and H. V. Dedania, Beurling algebras and uniform norms, Studia Math.160(2) (2004), 179-183

work page 2004
[5]

S. J. Bhatt and D. J. Karia, Uniqueness of the uniform norm with an application to topological algebras, Proc. Amer. Math. Soc.,116(2) (1992), 499-503

work page 1992
[6]

P. A. Dabhi and H. V. Dedania, On the uniqueness of uniform norms and C ∗-norms, Studia Math.191(3) (2009), 263-270

work page 2009
[7]

P. A. Dabhi and S. K. Patel, Spectral properties and stability of perturbed Cartesian product, Proc. Indian Acad. Sci. (Math. Sci.)127(4) (2017), 673-687. UNIFORM NORMS AND MAXIMAL SUBSTRUCTURES vii

work page 2017
[8]

P. A. Dabhi and S. K. Patel, Spectral properties of the Lau productA × θ Bof Banach algebras, Funct. Anal.9(2) (2018), 246-257

work page 2018
[9]

A. K. Gaur and Z. V. Kov´ ar´ ık, Norms on unitizations of Banach algebras, Proc. Amer. Math. Soc.117(1) (1993), 111-113

work page 1993
[10]

B. E. Johnson, The uniqueness of the (complete) norm topology, Bull. Amer. Math. Soc.73 (1967), 537-539

work page 1967
[11]

Inoue and S

J. Inoue and S. E. Takahasi, A note on the largest regular subalgebra of a Banach, Proc. Amer. Math. Soc.,116(4) (1992), 961-962

work page 1992
[12]

Kaniuth, A course in commutative Banach algebras, Graduate Texts in Mathematics 246, Springer (2009)

E. Kaniuth, A course in commutative Banach algebras, Graduate Texts in Mathematics 246, Springer (2009)

work page 2009
[13]

M. J. Meyer, Spectral extension property and extension of multiplicative linear functionals, Proc. Amer. Math. Soc.112(1991), 855-861

work page 1991
[14]

M. J. Meyer, Minimal incomplete norms in Banach algebras, Studia Math.102(1992), 77-85

work page 1992
[15]

B. J. Tomiuk and B. Yood, Incomplete normed algebra norms on Banach algebras, Studia Math.95(1989), 119-132. Institute of Infrastructure Technology Research and Management (IITRAM), Ahmed- abad - 380026, Gujarat, India Email address:jekwin.13@gmail.com, jekwin.dabhi@iitram.ac.in Institute of Infrastructure Technology Research and Management (IITRAM), Ahme...

work page 1989

[1] [1]

Bhatt and H

S.J. Bhatt and H. V. Dedania, Uniqueness of the uniform norm and adjoining identity in Banach algebras, Proc. Indian Acad. Sci. (Math. Sci.)105(4) (1995), 405-409

work page 1995

[2] [2]

Bhatt and H

S.J. Bhatt and H. V. Dedania, Banach algebras with unique uniform norm, Proc. Amer. Math. Soc.124(2) (1996), 579-584

work page 1996

[3] [3]

Bhatt and H

S.J. Bhatt and H. V. Dedania, Banach algebras with unique uniform norm II, Studia Math. 147(3) (2001), 211-235

work page 2001

[4] [4]

Bhatt and H

S.J. Bhatt and H. V. Dedania, Beurling algebras and uniform norms, Studia Math.160(2) (2004), 179-183

work page 2004

[5] [5]

S. J. Bhatt and D. J. Karia, Uniqueness of the uniform norm with an application to topological algebras, Proc. Amer. Math. Soc.,116(2) (1992), 499-503

work page 1992

[6] [6]

P. A. Dabhi and H. V. Dedania, On the uniqueness of uniform norms and C ∗-norms, Studia Math.191(3) (2009), 263-270

work page 2009

[7] [7]

P. A. Dabhi and S. K. Patel, Spectral properties and stability of perturbed Cartesian product, Proc. Indian Acad. Sci. (Math. Sci.)127(4) (2017), 673-687. UNIFORM NORMS AND MAXIMAL SUBSTRUCTURES vii

work page 2017

[8] [8]

P. A. Dabhi and S. K. Patel, Spectral properties of the Lau productA × θ Bof Banach algebras, Funct. Anal.9(2) (2018), 246-257

work page 2018

[9] [9]

A. K. Gaur and Z. V. Kov´ ar´ ık, Norms on unitizations of Banach algebras, Proc. Amer. Math. Soc.117(1) (1993), 111-113

work page 1993

[10] [10]

B. E. Johnson, The uniqueness of the (complete) norm topology, Bull. Amer. Math. Soc.73 (1967), 537-539

work page 1967

[11] [11]

Inoue and S

J. Inoue and S. E. Takahasi, A note on the largest regular subalgebra of a Banach, Proc. Amer. Math. Soc.,116(4) (1992), 961-962

work page 1992

[12] [12]

Kaniuth, A course in commutative Banach algebras, Graduate Texts in Mathematics 246, Springer (2009)

E. Kaniuth, A course in commutative Banach algebras, Graduate Texts in Mathematics 246, Springer (2009)

work page 2009

[13] [13]

M. J. Meyer, Spectral extension property and extension of multiplicative linear functionals, Proc. Amer. Math. Soc.112(1991), 855-861

work page 1991

[14] [14]

M. J. Meyer, Minimal incomplete norms in Banach algebras, Studia Math.102(1992), 77-85

work page 1992

[15] [15]

B. J. Tomiuk and B. Yood, Incomplete normed algebra norms on Banach algebras, Studia Math.95(1989), 119-132. Institute of Infrastructure Technology Research and Management (IITRAM), Ahmed- abad - 380026, Gujarat, India Email address:jekwin.13@gmail.com, jekwin.dabhi@iitram.ac.in Institute of Infrastructure Technology Research and Management (IITRAM), Ahme...

work page 1989