Banach algebras with unique uniform norm II
Semisimple commutative Banach algebras 𝓐 admitting exactly one uniform norm (not necessarily complete) are investigated. 𝓐 has this Unique Uniform Norm Property iff the completion U(𝓐) of 𝓐 in the spectral radius r(·) has UUNP and, for any non-zero spectral synthesis ideal ℐ of U(𝓐), ℐ ∩ 𝓐 is non-zero. 𝓐 is regular iff U(𝓐) is regular and, for any spectral synthesis ideal ℐ of 𝓐, 𝓐/ℐ has UUNP iff U(𝓐) is regular and for any spectral synthesis ideal ℐ of U(𝓐), ℐ = k(h(𝓐 ∩ ℐ)) (hulls and kernels in U(𝓐)). 𝓐 has UUNP and the Shilov boundary coincides with the Gelfand space iff 𝓐 is weakly regular in the sense that, given a proper, closed subset F of the Gelfand space, there exists a non-zero x in 𝓐 having its Gelfand transform vanishing on F. Several classes of Banach algebras that are weakly regular but not regular, as well as those that are not weakly regular but have UUNP are exhibited. The UUNP is investigated for quotients, tensor products, and multiplier algebras. The property UUNP compares with the unique C*-norm property on (not necessarily commutative) Banach *-algebras. The results are applied to multivariate holomorphic function algebras as well as to the measure algebra of a locally compact abelian group G. For a continuous weight ω on G, the Beurling algebra L¹(G,ω) (assumed semisimple) has UUNP iff it is regular.
- 46J10: Banach algebras of continuous functions, function algebras
- 46J40: Structure, classification of commutative topological algebras
- 46K99: None of the above, but in this section
- 43A20: L 1 -algebras on groups, semigroups, etc.
- 43A10: Measure algebras on groups, semigroups, etc.
- 46J05: General theory of commutative topological algebras