Maximal spectrum of a complex, unital and commutative Banach-algebra

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $A$ be a complex, unital and commutative Banach-algebra.

Question: Is the maximal spectrum $Max(A)$ of $A$ endowed with the topology induced by the prime spectrum $Spec(A)$ of $A$, Hausdorff?

Background: By Gel'fand-Mazur, there is a continuous bijection from the spectrum $Sp(A)$ of $A$ (defined as the set of characters of $A$ endowed with the weak*-topology) onto $Max(A)$. The map sends a character to its kernel. I would like to know whether this bijection is a homeomorphism and this is equivalent to asking whether $Max(A)$ is Hausdorff. If $A$ is a $C^*$-algebra, then the answer is 'yes', because then $A$ is the ring of complex, continuous functions on $Sp(A)$ (by Gel'fand-Naimark) and one can use partition of unity to get the Hausdorff property of $Max(A)$

-

Could you remind us of the definition of the topology on Spec(A)? – Yemon Choi Nov 3 at 17:35
Is it the same as what analysts call the hull-kernel topology? If so, then the answer to your question is negative in general – Yemon Choi Nov 3 at 17:37
@Yemon The topology on $Spec(A)$ has the sets  $D(f)=\{p\vert f\notin p\}$, where $f\in A$, as open (sub-)basis. I think it is indeed called the hull-kernel topology in functional analysis. If you have an example or a reference for the negative answer, could you post it as an answer? Thanks. – Marcus Nov 3 at 18:46

1 Answer

Well, it's the Zariski topology, so why should it be Hausdorff in general? For a specific example, take the Banach algebra $H(D)$ of functions that are holomorphic inside the unit disk and continuous on its closure. Its maximal spectrum is the closed disc, and the closed sets are locally finite in its interior, so it's certainly not Hausdorff.

-

@Alexander Thanks for the hint. I found a reference with all details: T. Palmer, Banach algebras and the general theory of ∗-algebras. Vol. I, page 332 – Marcus Nov 4 at 20:49
Small point for other readers, this algebra is also often denoted by A(D) – Yemon Choi Nov 4 at 21:37
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9293122887611389, "perplexity_flag": "head"}