1
$\begingroup$

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)$

$\endgroup$
3
  • $\begingroup$ Could you remind us of the definition of the topology on Spec(A)? $\endgroup$
    – Yemon Choi
    Nov 3, 2012 at 17:35
  • $\begingroup$ Is it the same as what analysts call the hull-kernel topology? If so, then the answer to your question is negative in general $\endgroup$
    – Yemon Choi
    Nov 3, 2012 at 17:37
  • $\begingroup$ @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. $\endgroup$
    – Marcus
    Nov 3, 2012 at 18:46

1 Answer 1

1
$\begingroup$

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.

$\endgroup$
2
  • $\begingroup$ @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 $\endgroup$
    – Marcus
    Nov 4, 2012 at 20:49
  • $\begingroup$ Small point for other readers, this algebra is also often denoted by A(D) $\endgroup$
    – Yemon Choi
    Nov 4, 2012 at 21:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.