Home / Current Issue / Paper 1723471
Maximal Ideals and the Numerical Range in Banach Algebras: A Survey
Subject area: Science,Engineering and Technology · Area of research: Pure Mathematics
Abstract
We survey the relationship between the maximal ideal space of a commutative Banach algebra and the numerical range of its elements and of operators on Banach spaces. The Gelfand transform identifies the spectrum of an element with the range of its transform on the character space, and since every character is a state, the spectrum lies inside the algebra numerical range. Starting from this inclusion we describe how the Šilov and Choquet boundaries, Hermitian elements and the Vidav–Palmer theorem, and the ideal and M-ideal structure of an algebra interact with numerical ranges. We then review results obtained since 1990 on the Bochner–Schoenberg–Eberlein property, numerical radius inequalities, closedness of the numerical range of compact operators, non-commutative boundaries of operator systems, and the Crouzeix–Palencia theorem that the numerical range is a (1+√2)-spectral set. Every result is stated with its hypotheses and with a source, several standard claims are illustrated by explicit examples and counterexamples, and the paper closes with open problems that arise from this literature.
Keywords
Banach algebra, Gelfand transform, Maximal ideal space, Numerical range, Šilov boundary
References
[1] Gelfand, “Normierte Ringe,” Rec. Math. [Mat. Sbornik] N.S., vol. 9(51), no. 1, pp. 3–24, 1941.
[2] E. Kaniuth, A Course in Commutative Banach Algebras, ser. Graduate Texts in Mathematics, vol. 246. New York, NY, USA: Springer, 2009. Springer
[3] T. W. Palmer, *Banach Algebras and the General Theory of -Algebras, Vol. I: Algebras and Banach Algebras, ser. Encyclopedia of Mathematics and its Applications, vol. 49. Cambridge, U.K.: Cambridge Univ. Press, 1994. Cambridge
[4] O. Toeplitz, “Das algebraische Analogon zu einem Satze von Fejér,” Math. Z., vol. 2, pp. 187–197, 1918. Springer
[5] F. Hausdorff, “Der Wertvorrat einer Bilinearform,” Math. Z., vol. 3, pp. 314–316, 1919. Springer
[6] G. Lumer, “Semi-inner-product spaces,” Trans. Amer. Math. Soc., vol. 100, no. 1, pp. 29–43, 1961. AMS
[7] F. F. Bonsall and J. Duncan, Numerical Ranges of Operators on Normed Spaces and of Elements of Normed Algebras, ser. London Mathematical Society Lecture Note Series, vol. 2. Cambridge, U.K.: Cambridge Univ. Press, 1971. Cambridge
[8] F. F. Bonsall and J. Duncan, Complete Normed Algebras, ser. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 80. Berlin, Germany: Springer, 1973. Springer
[9] P. Y. Wu and H.-L. Gau, Numerical Ranges of Hilbert Space Operators, ser. Encyclopedia of Mathematics and its Applications, vol. 179. Cambridge, U.K.: Cambridge Univ. Press, 2021. Cambridge
[10] J. P. Williams, “Spectra of products and numerical ranges,” J. Math. Anal. Appl., vol. 17, no. 2, pp. 214–220, 1967. ScienceDirect
[11] H. F. Bohnenblust and S. Karlin, “Geometrical properties of the unit sphere of Banach algebras,” Ann. of Math. (2), vol. 62, no. 2, pp. 217–229, 1955. JSTOR
[12] B. W. Glickfeld, “On an inequality of Banach algebra geometry and semi-inner product space theory,” Illinois J. Math., vol. 14, no. 1, pp. 76–81, 1970. Project Euclid
[13] P. R. Halmos, A Hilbert Space Problem Book, 2nd ed., ser. Graduate Texts in Mathematics, vol. 19. New York, NY, USA: Springer, 1982. Springer
[14] E. Bishop, “A minimal boundary for function algebras,” Pacific J. Math., vol. 9, pp. 629–642, 1959. Pacific Journal of Mathematics
[15] E. Bishop and K. de Leeuw, “The representations of linear functionals by measures on sets of extreme points,” Ann. Inst. Fourier (Grenoble), vol. 9, pp. 305–331, 1959. Annales de l’Institut Fourier
[16] R. R. Phelps, Lectures on Choquet’s Theorem, 2nd ed., ser. Lecture Notes in Mathematics, vol. 1757. Berlin, Germany: Springer, 2001. Springer
[17] T. W. Gamelin, Uniform Algebras and Jensen Measures, ser. London Mathematical Society Lecture Note Series, vol. 32. Cambridge, U.K.: Cambridge Univ. Press, 1978. Cambridge
[18] U. Haagerup and P. de la Harpe, “The numerical radius of a nilpotent operator on a Hilbert space,” Proc. Amer. Math. Soc., vol. 115, no. 2, pp. 371–379, 1992. AMS
[19] A. M. Sinclair, “The norm of a hermitian element in a Banach algebra,” Proc. Amer. Math. Soc., vol. 28, no. 2, pp. 446–450, 1971. AMS
[20] Vidav, “Eine metrische Kennzeichnung der selbstadjungierten Operatoren,” Math. Z., vol. 66, pp. 121–128, 1956. Springer
[21] T. W. Palmer, “Characterizations of C^*-algebras,” Bull. Amer. Math. Soc., vol. 74, no. 3, pp. 538–540, 1968. AMS
[22] S.-E. Takahasi and O. Hatori, “Commutative Banach algebras which satisfy a Bochner–Schoenberg–Eberlein-type theorem,” Proc. Amer. Math. Soc., vol. 110, no. 1, pp. 149–158, 1990. JSTOR
[23] E. Kaniuth and A. Ülger, “The Bochner–Schoenberg–Eberlein property for commutative Banach algebras, especially Fourier and Fourier–Stieltjes algebras,” Trans. Amer. Math. Soc., vol. 362, no. 8, pp. 4331–4356, 2010. AMS
[24] E. Kaniuth, A. T. Lau, and A. Ülger, “Homomorphisms of commutative Banach algebras and extensions to multiplier algebras with applications to Fourier algebras,” Studia Math., vol. 183, no. 1, pp. 35–62, 2007. Studia Mathematica
[25] Z. Kamali and M. Lashkarizadeh Bami, “The Bochner–Schoenberg–Eberlein property for L^1 (R^+ ),” J. Fourier Anal. Appl., vol. 20, no. 2, pp. 225–233, 2014. Springer
[26] M. Fozouni and M. Nemati, “BSE-property for some certain Segal and Banach algebras,” Mediterr. J. Math., vol. 16, no. 2, 2019. Springer
[27] F. Kittaneh, “A numerical radius inequality and an estimate for the numerical radius of the Frobenius companion matrix,” Studia Math., vol. 158, no. 1, pp. 11–17, 2003. Studia Mathematica
[28] F. Kittaneh, “Numerical radius inequalities for Hilbert space operators,” Studia Math., vol. 168, no. 1, pp. 73–80, 2005. Studia Mathematica
[29] P. Bhunia and K. Paul, “New upper bounds for the numerical radius of Hilbert space operators,” Bull. Sci. Math., vol. 167, Art. no. 102959, 2021. ScienceDirect
[30] P. Bhunia, S. S. Dragomir, M. S. Moslehian, and K. Paul, Lectures on Numerical Radius Inequalities, ser. Infosys Science Foundation Series in Mathematical Sciences. Cham, Switzerland: Springer, 2022. Springer
[31] S. F. Moghaddam and A. K. Mirmostafaee, “Numerical radius inequalities for Hilbert C^*-modules,” Math. Bohem., vol. 147, no. 4, pp. 547–566, 2022. Mathematica Bohemica
[32] G. de Barra, J. R. Giles, and B. Sims, “On the numerical range of compact operators on Hilbert spaces,” J. London Math. Soc. (2), vol. 5, no. 4, pp. 704–706, 1972. Oxford Academic
[33] P. Harmand, D. Werner, and W. Werner, M-Ideals in Banach Spaces and Banach Algebras, ser. Lecture Notes in Mathematics, vol. 1547. Berlin, Germany: Springer, 1993. Springer
[34] R. R. Smith and J. D. Ward, “M-ideal structure in Banach algebras,” J. Funct. Anal., vol. 27, no. 3, pp. 337–349, 1978. ScienceDirect
[35] S. Bögli, M. Marletta, and C. Tretter, “The essential numerical range for unbounded linear operators,” J. Funct. Anal., vol. 279, no. 1, Art. no. 108509, 2020. ScienceDirect
[36] W. Arveson, “Subalgebras of C^*-algebras,” Acta Math., vol. 123, pp. 141–224, 1969. Springer
[37] M. Hamana, “Injective envelopes of operator systems,” Publ. Res. Inst. Math. Sci., vol. 15, no. 3, pp. 773–785, 1979. RIMS
[38] W. Arveson, “The noncommutative Choquet boundary,” J. Amer. Math. Soc., vol. 21, no. 4, pp. 1065–1084, 2008. AMS
[39] R. Davidson and M. Kennedy, “The Choquet boundary of an operator system,” Duke Math. J., vol. 164, no. 15, pp. 2989–3004, 2015. Duke Mathematical Journal
[40] C. Kleski, “Boundary representations and pure completely positive maps,” J. Operator Theory, vol. 71, no. 1, pp. 45–62, 2014. Journal of Operator Theory
[41] M. Crouzeix, “Bounds for analytical functions of matrices,” Integral Equations Operator Theory, vol. 48, no. 4, pp. 461–477, 2004. Springer
[42] M. Crouzeix, “Numerical range and functional calculus in Hilbert space,” J. Funct. Anal., vol. 244, no. 2, pp. 668–690, 2007. ScienceDirect
[43] Okubo and T. Ando, “Constants related to operators of class C_ρ,” Manuscripta Math., vol. 16, no. 4, pp. 385–394, 1975. Springer
[44] Crouzeix and C. Palencia, “The numerical range is a (1+√2)-spectral set,” SIAM J. Matrix Anal. Appl., vol. 38, no. 2, pp. 649–655, 2017. SIAM
[45] T. Ransford and F. L. Schwenninger, “Remarks on the Crouzeix–Palencia proof that the numerical range is a (1+√2)-spectral set,” SIAM J. Matrix Anal. Appl., vol. 39, no. 1, pp. 342–345, 2018. SIAM
[46] S. W. Drury, “Symbolic calculus of operators with unit numerical radius,” Linear Algebra Appl., vol. 428, no. 8–9, pp. 2061–2069, 2008. ScienceDirect
[47] A. J. Izzo and D. Papathanasiou, “Topology of Gleason parts in maximal ideal spaces with no analytic discs,” Canad. J. Math., vol. 73, no. 1, pp. 177–194, 2021. Cambridge
[48] S. Ghosh and A. J. Izzo, “One-point Gleason parts and point derivations in uniform algebras,” Studia Math., vol. 270, no. 3, pp. 323–337, 2023. Studia Mathematica
How to cite this paper
@article{1723471,
author = {Linet Muhati},
title = {Maximal Ideals and the Numerical Range in Banach Algebras: A Survey},
journal = {Iconic Research And Engineering Journals},
year = {2026},
volume = {10},
number = {3},
pages = {3685-3698},
issn = {2456-8880},
url = {https://www.irejournals.com/formatedpaper/1723471.pdf},
abstract = {We survey the relationship between the maximal ideal space of a commutative Banach algebra and the numerical range of its elements and of operators on Banach spaces. The Gelfand transform identifies the spectrum of an element with the range of its transform on the character space, and since every character is a state, the spectrum lies inside the algebra numerical range. Starting from this inclusion we describe how the Šilov and Choquet boundaries, Hermitian elements and the Vidav–Palmer theorem, and the ideal and M-ideal structure of an algebra interact with numerical ranges. We then review results obtained since 1990 on the Bochner–Schoenberg–Eberlein property, numerical radius inequalities, closedness of the numerical range of compact operators, non-commutative boundaries of operator systems, and the Crouzeix–Palencia theorem that the numerical range is a (1+√2)-spectral set. Every result is stated with its hypotheses and with a source, several standard claims are illustrated by explicit examples and counterexamples, and the paper closes with open problems that arise from this literature.},
keywords = {Banach algebra, Gelfand transform, Maximal ideal space, Numerical range, Šilov boundary},
month = {September},
}