Rigorous Computation of the Spectrum of a Certain C$^{*}$-algebra












1














Let
$$
A=left{fin C([0,1],M_{2}(mathbb{C})):f(1)=begin{pmatrix}xi & 0 \ 0 & lambdaend{pmatrix} text{ for some }xi,lambda text{ in } mathbb{C}right}.
$$

In his Operator Algebras book, Blackadar mentions that the spectrum of $A$ is $[0,1)cup{infty_{1}}cup{infty_{2}}$, where $infty_{1}$ and $infty_{2}$ are two distinct endpoints that go on the right-side of the interval. It is clear, then, that the spectrum of $A$ is not Hausdorff since $infty_{1}$ and $infty_{2}$ cannot be separated.



This is intuitively clear to me; for I know that the spectrum of $C([0,1],M_{2}(mathbb{C}))$ is $[0,1]$, and I am guessing that the two distinct right-hand points, $infty_{1}$ and $infty_{2}$, correspond to the two irreducible representations coming from the point evaluations at $1$.




I was wondering if there is a simple, but rigorous, computation that
justifies this calculation of $hat{A}$ and its topology.











share|cite|improve this question





























    1














    Let
    $$
    A=left{fin C([0,1],M_{2}(mathbb{C})):f(1)=begin{pmatrix}xi & 0 \ 0 & lambdaend{pmatrix} text{ for some }xi,lambda text{ in } mathbb{C}right}.
    $$

    In his Operator Algebras book, Blackadar mentions that the spectrum of $A$ is $[0,1)cup{infty_{1}}cup{infty_{2}}$, where $infty_{1}$ and $infty_{2}$ are two distinct endpoints that go on the right-side of the interval. It is clear, then, that the spectrum of $A$ is not Hausdorff since $infty_{1}$ and $infty_{2}$ cannot be separated.



    This is intuitively clear to me; for I know that the spectrum of $C([0,1],M_{2}(mathbb{C}))$ is $[0,1]$, and I am guessing that the two distinct right-hand points, $infty_{1}$ and $infty_{2}$, correspond to the two irreducible representations coming from the point evaluations at $1$.




    I was wondering if there is a simple, but rigorous, computation that
    justifies this calculation of $hat{A}$ and its topology.











    share|cite|improve this question



























      1












      1








      1







      Let
      $$
      A=left{fin C([0,1],M_{2}(mathbb{C})):f(1)=begin{pmatrix}xi & 0 \ 0 & lambdaend{pmatrix} text{ for some }xi,lambda text{ in } mathbb{C}right}.
      $$

      In his Operator Algebras book, Blackadar mentions that the spectrum of $A$ is $[0,1)cup{infty_{1}}cup{infty_{2}}$, where $infty_{1}$ and $infty_{2}$ are two distinct endpoints that go on the right-side of the interval. It is clear, then, that the spectrum of $A$ is not Hausdorff since $infty_{1}$ and $infty_{2}$ cannot be separated.



      This is intuitively clear to me; for I know that the spectrum of $C([0,1],M_{2}(mathbb{C}))$ is $[0,1]$, and I am guessing that the two distinct right-hand points, $infty_{1}$ and $infty_{2}$, correspond to the two irreducible representations coming from the point evaluations at $1$.




      I was wondering if there is a simple, but rigorous, computation that
      justifies this calculation of $hat{A}$ and its topology.











      share|cite|improve this question















      Let
      $$
      A=left{fin C([0,1],M_{2}(mathbb{C})):f(1)=begin{pmatrix}xi & 0 \ 0 & lambdaend{pmatrix} text{ for some }xi,lambda text{ in } mathbb{C}right}.
      $$

      In his Operator Algebras book, Blackadar mentions that the spectrum of $A$ is $[0,1)cup{infty_{1}}cup{infty_{2}}$, where $infty_{1}$ and $infty_{2}$ are two distinct endpoints that go on the right-side of the interval. It is clear, then, that the spectrum of $A$ is not Hausdorff since $infty_{1}$ and $infty_{2}$ cannot be separated.



      This is intuitively clear to me; for I know that the spectrum of $C([0,1],M_{2}(mathbb{C}))$ is $[0,1]$, and I am guessing that the two distinct right-hand points, $infty_{1}$ and $infty_{2}$, correspond to the two irreducible representations coming from the point evaluations at $1$.




      I was wondering if there is a simple, but rigorous, computation that
      justifies this calculation of $hat{A}$ and its topology.








      operator-algebras c-star-algebras






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 10 '18 at 17:05

























      asked Dec 10 '18 at 14:57









      ervx

      10.3k31338




      10.3k31338






















          1 Answer
          1






          active

          oldest

          votes


















          1





          +50









          We need to identify the irreducible representations of $A$. So assume that $pi:Ato B(H)$ is irreducible.



          Note that the constant function $E_{11}$ is in $A$. Then $pi(E_{11})$ is a projection in $B(H)$. We have
          $$
          (pi(E_{11})pi(A)pi(E_{11}))'=pi(E_{11})pi(A)'=mathbb C,pi(E_{11}).
          $$

          So the restriction $pi:E_{11}AE_{11}to pi(E_{11})B(H)pi(E_{11})$ is irreducible.



          It is easy to check that $E_{11}AE_{11}simeq C[0,1]$ (simply, the 1,1 coordinate is continuous). Now the irreducible representations of $C[0,1]$ are precisely the point evaluations. So there exists $x_0in [0,1]$ such that $$pi(E_{11} f E_{11})=f(x_0)_{11},pi(E_{11}).$$
          Assume first that $x_0<1$. By abuse of notation, I will denote by $E_{12}$ a function that is equal to $E_{12}$ on $(0,1-delta)$, and decreases to $0$ on $(1-delta,1)$; and we let $E_{21}=E_{12}^*$. So all the equalities below hold on $(0,1-delta)$; there is no issue because we may assume that $x_0<1-delta$.
          For any $k,j=1,2$,
          $$
          pi(E_{1k}fE_{j1})=pi(E_{11}E_{1k}fE_{j1}E_{11})=(E_{1k}fE_{j1})(x_0)_{11},pi(E_{11})=f(x_0)_{kj},pi(E_{11}).
          $$

          Now
          begin{align}
          pi(f_{kj}E_{kj})&=pi(E_{k1}E_{1k}fE_{j1}E_{1j})=pi(E_{kj})pi(E_{1k}fE_{j1})pi(E_{1j})\
          &=f(x_0)_{kj} ,pi(E_{k1}E_{11}E_{1j})
          =f(x_0)_{kj},pi(E_{kj}).
          end{align}

          Adding over $k,j$
          $$
          pi(f)=sum_{k,j} f(x_0)_{kj},pi(E_{kj}).
          $$

          In particular, $pi(A)$ is contained in the span of ${pi(E_{kj})}_{k,j}$, and so $dim H=2$. For different $delta$ we'll get different $pi(E_{12})$, but it will always be a partial isometry between $pi(E_{11})$ and $pi(E_{22})$ (and these two do not depend on $delta$).



          When $x_0=1$, the above doesn't work because $E_{12}(1)=0$ and we don't have the partial isometries we need. So we need to consider these two separate irreducible representations, $flongmapsto f(1)_{11}$ and $flongmapsto f(1)_{22}$.



          Thus the spectrum is what it needs to be, $[0,1)cup{infty_1}cup{infty_2}$. The primitive ideals are $K_x={f: f(x)=0}$, for $xin [0,1)cup{infty_1}cup{infty_2}$.



          For the topology, let us write $hat t$ for the irrep $hat t(f)=f(t)$. Then, by definition of the Jacobson topology, $hat t_jtohat t$ if and only if $bigcap_{k}kerhat{t_{j_k}}subsetker t$ for all subnets ${hat{t_{j_k}}}$ of ${hat{t_j}}$. This is precisely that $f(t_{k_j})=0$ for all $k$ implies that $f(t)=0$; as continuous functions separate points, this is saying that $t_jto t$. So the topology on the spectrum of $A$ is the usual of $[0,1]$, with the exception that we have two "$1$", that we denoted $infty_1$ and $infty_2$.






          share|cite|improve this answer























          • Thank you for your answer, Martin. I just have a concern regarding your definition of $tilde{f}$: for $tin[0,1)$, $f(t)$ would be a matrix, not a scalar. Did you perhaps mean a different definition?
            – ervx
            Dec 11 '18 at 13:51










          • You are right, of course. At a certain point I was thinking as if the algebra was abelian.
            – Martin Argerami
            Dec 11 '18 at 14:25










          • I'll delete for now.
            – Martin Argerami
            Dec 11 '18 at 14:33










          • I wrote an argument. I don't now that you'll call it "simple".
            – Martin Argerami
            Dec 12 '18 at 22:49










          • Thank you very much for your help, Martin. This is a very clear answer. I am awarding a +50 bounty for this. I have to wait 24 hours, though.
            – ervx
            Dec 13 '18 at 16:54











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3034018%2frigorous-computation-of-the-spectrum-of-a-certain-c-algebra%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1





          +50









          We need to identify the irreducible representations of $A$. So assume that $pi:Ato B(H)$ is irreducible.



          Note that the constant function $E_{11}$ is in $A$. Then $pi(E_{11})$ is a projection in $B(H)$. We have
          $$
          (pi(E_{11})pi(A)pi(E_{11}))'=pi(E_{11})pi(A)'=mathbb C,pi(E_{11}).
          $$

          So the restriction $pi:E_{11}AE_{11}to pi(E_{11})B(H)pi(E_{11})$ is irreducible.



          It is easy to check that $E_{11}AE_{11}simeq C[0,1]$ (simply, the 1,1 coordinate is continuous). Now the irreducible representations of $C[0,1]$ are precisely the point evaluations. So there exists $x_0in [0,1]$ such that $$pi(E_{11} f E_{11})=f(x_0)_{11},pi(E_{11}).$$
          Assume first that $x_0<1$. By abuse of notation, I will denote by $E_{12}$ a function that is equal to $E_{12}$ on $(0,1-delta)$, and decreases to $0$ on $(1-delta,1)$; and we let $E_{21}=E_{12}^*$. So all the equalities below hold on $(0,1-delta)$; there is no issue because we may assume that $x_0<1-delta$.
          For any $k,j=1,2$,
          $$
          pi(E_{1k}fE_{j1})=pi(E_{11}E_{1k}fE_{j1}E_{11})=(E_{1k}fE_{j1})(x_0)_{11},pi(E_{11})=f(x_0)_{kj},pi(E_{11}).
          $$

          Now
          begin{align}
          pi(f_{kj}E_{kj})&=pi(E_{k1}E_{1k}fE_{j1}E_{1j})=pi(E_{kj})pi(E_{1k}fE_{j1})pi(E_{1j})\
          &=f(x_0)_{kj} ,pi(E_{k1}E_{11}E_{1j})
          =f(x_0)_{kj},pi(E_{kj}).
          end{align}

          Adding over $k,j$
          $$
          pi(f)=sum_{k,j} f(x_0)_{kj},pi(E_{kj}).
          $$

          In particular, $pi(A)$ is contained in the span of ${pi(E_{kj})}_{k,j}$, and so $dim H=2$. For different $delta$ we'll get different $pi(E_{12})$, but it will always be a partial isometry between $pi(E_{11})$ and $pi(E_{22})$ (and these two do not depend on $delta$).



          When $x_0=1$, the above doesn't work because $E_{12}(1)=0$ and we don't have the partial isometries we need. So we need to consider these two separate irreducible representations, $flongmapsto f(1)_{11}$ and $flongmapsto f(1)_{22}$.



          Thus the spectrum is what it needs to be, $[0,1)cup{infty_1}cup{infty_2}$. The primitive ideals are $K_x={f: f(x)=0}$, for $xin [0,1)cup{infty_1}cup{infty_2}$.



          For the topology, let us write $hat t$ for the irrep $hat t(f)=f(t)$. Then, by definition of the Jacobson topology, $hat t_jtohat t$ if and only if $bigcap_{k}kerhat{t_{j_k}}subsetker t$ for all subnets ${hat{t_{j_k}}}$ of ${hat{t_j}}$. This is precisely that $f(t_{k_j})=0$ for all $k$ implies that $f(t)=0$; as continuous functions separate points, this is saying that $t_jto t$. So the topology on the spectrum of $A$ is the usual of $[0,1]$, with the exception that we have two "$1$", that we denoted $infty_1$ and $infty_2$.






          share|cite|improve this answer























          • Thank you for your answer, Martin. I just have a concern regarding your definition of $tilde{f}$: for $tin[0,1)$, $f(t)$ would be a matrix, not a scalar. Did you perhaps mean a different definition?
            – ervx
            Dec 11 '18 at 13:51










          • You are right, of course. At a certain point I was thinking as if the algebra was abelian.
            – Martin Argerami
            Dec 11 '18 at 14:25










          • I'll delete for now.
            – Martin Argerami
            Dec 11 '18 at 14:33










          • I wrote an argument. I don't now that you'll call it "simple".
            – Martin Argerami
            Dec 12 '18 at 22:49










          • Thank you very much for your help, Martin. This is a very clear answer. I am awarding a +50 bounty for this. I have to wait 24 hours, though.
            – ervx
            Dec 13 '18 at 16:54
















          1





          +50









          We need to identify the irreducible representations of $A$. So assume that $pi:Ato B(H)$ is irreducible.



          Note that the constant function $E_{11}$ is in $A$. Then $pi(E_{11})$ is a projection in $B(H)$. We have
          $$
          (pi(E_{11})pi(A)pi(E_{11}))'=pi(E_{11})pi(A)'=mathbb C,pi(E_{11}).
          $$

          So the restriction $pi:E_{11}AE_{11}to pi(E_{11})B(H)pi(E_{11})$ is irreducible.



          It is easy to check that $E_{11}AE_{11}simeq C[0,1]$ (simply, the 1,1 coordinate is continuous). Now the irreducible representations of $C[0,1]$ are precisely the point evaluations. So there exists $x_0in [0,1]$ such that $$pi(E_{11} f E_{11})=f(x_0)_{11},pi(E_{11}).$$
          Assume first that $x_0<1$. By abuse of notation, I will denote by $E_{12}$ a function that is equal to $E_{12}$ on $(0,1-delta)$, and decreases to $0$ on $(1-delta,1)$; and we let $E_{21}=E_{12}^*$. So all the equalities below hold on $(0,1-delta)$; there is no issue because we may assume that $x_0<1-delta$.
          For any $k,j=1,2$,
          $$
          pi(E_{1k}fE_{j1})=pi(E_{11}E_{1k}fE_{j1}E_{11})=(E_{1k}fE_{j1})(x_0)_{11},pi(E_{11})=f(x_0)_{kj},pi(E_{11}).
          $$

          Now
          begin{align}
          pi(f_{kj}E_{kj})&=pi(E_{k1}E_{1k}fE_{j1}E_{1j})=pi(E_{kj})pi(E_{1k}fE_{j1})pi(E_{1j})\
          &=f(x_0)_{kj} ,pi(E_{k1}E_{11}E_{1j})
          =f(x_0)_{kj},pi(E_{kj}).
          end{align}

          Adding over $k,j$
          $$
          pi(f)=sum_{k,j} f(x_0)_{kj},pi(E_{kj}).
          $$

          In particular, $pi(A)$ is contained in the span of ${pi(E_{kj})}_{k,j}$, and so $dim H=2$. For different $delta$ we'll get different $pi(E_{12})$, but it will always be a partial isometry between $pi(E_{11})$ and $pi(E_{22})$ (and these two do not depend on $delta$).



          When $x_0=1$, the above doesn't work because $E_{12}(1)=0$ and we don't have the partial isometries we need. So we need to consider these two separate irreducible representations, $flongmapsto f(1)_{11}$ and $flongmapsto f(1)_{22}$.



          Thus the spectrum is what it needs to be, $[0,1)cup{infty_1}cup{infty_2}$. The primitive ideals are $K_x={f: f(x)=0}$, for $xin [0,1)cup{infty_1}cup{infty_2}$.



          For the topology, let us write $hat t$ for the irrep $hat t(f)=f(t)$. Then, by definition of the Jacobson topology, $hat t_jtohat t$ if and only if $bigcap_{k}kerhat{t_{j_k}}subsetker t$ for all subnets ${hat{t_{j_k}}}$ of ${hat{t_j}}$. This is precisely that $f(t_{k_j})=0$ for all $k$ implies that $f(t)=0$; as continuous functions separate points, this is saying that $t_jto t$. So the topology on the spectrum of $A$ is the usual of $[0,1]$, with the exception that we have two "$1$", that we denoted $infty_1$ and $infty_2$.






          share|cite|improve this answer























          • Thank you for your answer, Martin. I just have a concern regarding your definition of $tilde{f}$: for $tin[0,1)$, $f(t)$ would be a matrix, not a scalar. Did you perhaps mean a different definition?
            – ervx
            Dec 11 '18 at 13:51










          • You are right, of course. At a certain point I was thinking as if the algebra was abelian.
            – Martin Argerami
            Dec 11 '18 at 14:25










          • I'll delete for now.
            – Martin Argerami
            Dec 11 '18 at 14:33










          • I wrote an argument. I don't now that you'll call it "simple".
            – Martin Argerami
            Dec 12 '18 at 22:49










          • Thank you very much for your help, Martin. This is a very clear answer. I am awarding a +50 bounty for this. I have to wait 24 hours, though.
            – ervx
            Dec 13 '18 at 16:54














          1





          +50







          1





          +50



          1




          +50




          We need to identify the irreducible representations of $A$. So assume that $pi:Ato B(H)$ is irreducible.



          Note that the constant function $E_{11}$ is in $A$. Then $pi(E_{11})$ is a projection in $B(H)$. We have
          $$
          (pi(E_{11})pi(A)pi(E_{11}))'=pi(E_{11})pi(A)'=mathbb C,pi(E_{11}).
          $$

          So the restriction $pi:E_{11}AE_{11}to pi(E_{11})B(H)pi(E_{11})$ is irreducible.



          It is easy to check that $E_{11}AE_{11}simeq C[0,1]$ (simply, the 1,1 coordinate is continuous). Now the irreducible representations of $C[0,1]$ are precisely the point evaluations. So there exists $x_0in [0,1]$ such that $$pi(E_{11} f E_{11})=f(x_0)_{11},pi(E_{11}).$$
          Assume first that $x_0<1$. By abuse of notation, I will denote by $E_{12}$ a function that is equal to $E_{12}$ on $(0,1-delta)$, and decreases to $0$ on $(1-delta,1)$; and we let $E_{21}=E_{12}^*$. So all the equalities below hold on $(0,1-delta)$; there is no issue because we may assume that $x_0<1-delta$.
          For any $k,j=1,2$,
          $$
          pi(E_{1k}fE_{j1})=pi(E_{11}E_{1k}fE_{j1}E_{11})=(E_{1k}fE_{j1})(x_0)_{11},pi(E_{11})=f(x_0)_{kj},pi(E_{11}).
          $$

          Now
          begin{align}
          pi(f_{kj}E_{kj})&=pi(E_{k1}E_{1k}fE_{j1}E_{1j})=pi(E_{kj})pi(E_{1k}fE_{j1})pi(E_{1j})\
          &=f(x_0)_{kj} ,pi(E_{k1}E_{11}E_{1j})
          =f(x_0)_{kj},pi(E_{kj}).
          end{align}

          Adding over $k,j$
          $$
          pi(f)=sum_{k,j} f(x_0)_{kj},pi(E_{kj}).
          $$

          In particular, $pi(A)$ is contained in the span of ${pi(E_{kj})}_{k,j}$, and so $dim H=2$. For different $delta$ we'll get different $pi(E_{12})$, but it will always be a partial isometry between $pi(E_{11})$ and $pi(E_{22})$ (and these two do not depend on $delta$).



          When $x_0=1$, the above doesn't work because $E_{12}(1)=0$ and we don't have the partial isometries we need. So we need to consider these two separate irreducible representations, $flongmapsto f(1)_{11}$ and $flongmapsto f(1)_{22}$.



          Thus the spectrum is what it needs to be, $[0,1)cup{infty_1}cup{infty_2}$. The primitive ideals are $K_x={f: f(x)=0}$, for $xin [0,1)cup{infty_1}cup{infty_2}$.



          For the topology, let us write $hat t$ for the irrep $hat t(f)=f(t)$. Then, by definition of the Jacobson topology, $hat t_jtohat t$ if and only if $bigcap_{k}kerhat{t_{j_k}}subsetker t$ for all subnets ${hat{t_{j_k}}}$ of ${hat{t_j}}$. This is precisely that $f(t_{k_j})=0$ for all $k$ implies that $f(t)=0$; as continuous functions separate points, this is saying that $t_jto t$. So the topology on the spectrum of $A$ is the usual of $[0,1]$, with the exception that we have two "$1$", that we denoted $infty_1$ and $infty_2$.






          share|cite|improve this answer














          We need to identify the irreducible representations of $A$. So assume that $pi:Ato B(H)$ is irreducible.



          Note that the constant function $E_{11}$ is in $A$. Then $pi(E_{11})$ is a projection in $B(H)$. We have
          $$
          (pi(E_{11})pi(A)pi(E_{11}))'=pi(E_{11})pi(A)'=mathbb C,pi(E_{11}).
          $$

          So the restriction $pi:E_{11}AE_{11}to pi(E_{11})B(H)pi(E_{11})$ is irreducible.



          It is easy to check that $E_{11}AE_{11}simeq C[0,1]$ (simply, the 1,1 coordinate is continuous). Now the irreducible representations of $C[0,1]$ are precisely the point evaluations. So there exists $x_0in [0,1]$ such that $$pi(E_{11} f E_{11})=f(x_0)_{11},pi(E_{11}).$$
          Assume first that $x_0<1$. By abuse of notation, I will denote by $E_{12}$ a function that is equal to $E_{12}$ on $(0,1-delta)$, and decreases to $0$ on $(1-delta,1)$; and we let $E_{21}=E_{12}^*$. So all the equalities below hold on $(0,1-delta)$; there is no issue because we may assume that $x_0<1-delta$.
          For any $k,j=1,2$,
          $$
          pi(E_{1k}fE_{j1})=pi(E_{11}E_{1k}fE_{j1}E_{11})=(E_{1k}fE_{j1})(x_0)_{11},pi(E_{11})=f(x_0)_{kj},pi(E_{11}).
          $$

          Now
          begin{align}
          pi(f_{kj}E_{kj})&=pi(E_{k1}E_{1k}fE_{j1}E_{1j})=pi(E_{kj})pi(E_{1k}fE_{j1})pi(E_{1j})\
          &=f(x_0)_{kj} ,pi(E_{k1}E_{11}E_{1j})
          =f(x_0)_{kj},pi(E_{kj}).
          end{align}

          Adding over $k,j$
          $$
          pi(f)=sum_{k,j} f(x_0)_{kj},pi(E_{kj}).
          $$

          In particular, $pi(A)$ is contained in the span of ${pi(E_{kj})}_{k,j}$, and so $dim H=2$. For different $delta$ we'll get different $pi(E_{12})$, but it will always be a partial isometry between $pi(E_{11})$ and $pi(E_{22})$ (and these two do not depend on $delta$).



          When $x_0=1$, the above doesn't work because $E_{12}(1)=0$ and we don't have the partial isometries we need. So we need to consider these two separate irreducible representations, $flongmapsto f(1)_{11}$ and $flongmapsto f(1)_{22}$.



          Thus the spectrum is what it needs to be, $[0,1)cup{infty_1}cup{infty_2}$. The primitive ideals are $K_x={f: f(x)=0}$, for $xin [0,1)cup{infty_1}cup{infty_2}$.



          For the topology, let us write $hat t$ for the irrep $hat t(f)=f(t)$. Then, by definition of the Jacobson topology, $hat t_jtohat t$ if and only if $bigcap_{k}kerhat{t_{j_k}}subsetker t$ for all subnets ${hat{t_{j_k}}}$ of ${hat{t_j}}$. This is precisely that $f(t_{k_j})=0$ for all $k$ implies that $f(t)=0$; as continuous functions separate points, this is saying that $t_jto t$. So the topology on the spectrum of $A$ is the usual of $[0,1]$, with the exception that we have two "$1$", that we denoted $infty_1$ and $infty_2$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Dec 13 '18 at 19:25

























          answered Dec 10 '18 at 19:04









          Martin Argerami

          124k1176174




          124k1176174












          • Thank you for your answer, Martin. I just have a concern regarding your definition of $tilde{f}$: for $tin[0,1)$, $f(t)$ would be a matrix, not a scalar. Did you perhaps mean a different definition?
            – ervx
            Dec 11 '18 at 13:51










          • You are right, of course. At a certain point I was thinking as if the algebra was abelian.
            – Martin Argerami
            Dec 11 '18 at 14:25










          • I'll delete for now.
            – Martin Argerami
            Dec 11 '18 at 14:33










          • I wrote an argument. I don't now that you'll call it "simple".
            – Martin Argerami
            Dec 12 '18 at 22:49










          • Thank you very much for your help, Martin. This is a very clear answer. I am awarding a +50 bounty for this. I have to wait 24 hours, though.
            – ervx
            Dec 13 '18 at 16:54


















          • Thank you for your answer, Martin. I just have a concern regarding your definition of $tilde{f}$: for $tin[0,1)$, $f(t)$ would be a matrix, not a scalar. Did you perhaps mean a different definition?
            – ervx
            Dec 11 '18 at 13:51










          • You are right, of course. At a certain point I was thinking as if the algebra was abelian.
            – Martin Argerami
            Dec 11 '18 at 14:25










          • I'll delete for now.
            – Martin Argerami
            Dec 11 '18 at 14:33










          • I wrote an argument. I don't now that you'll call it "simple".
            – Martin Argerami
            Dec 12 '18 at 22:49










          • Thank you very much for your help, Martin. This is a very clear answer. I am awarding a +50 bounty for this. I have to wait 24 hours, though.
            – ervx
            Dec 13 '18 at 16:54
















          Thank you for your answer, Martin. I just have a concern regarding your definition of $tilde{f}$: for $tin[0,1)$, $f(t)$ would be a matrix, not a scalar. Did you perhaps mean a different definition?
          – ervx
          Dec 11 '18 at 13:51




          Thank you for your answer, Martin. I just have a concern regarding your definition of $tilde{f}$: for $tin[0,1)$, $f(t)$ would be a matrix, not a scalar. Did you perhaps mean a different definition?
          – ervx
          Dec 11 '18 at 13:51












          You are right, of course. At a certain point I was thinking as if the algebra was abelian.
          – Martin Argerami
          Dec 11 '18 at 14:25




          You are right, of course. At a certain point I was thinking as if the algebra was abelian.
          – Martin Argerami
          Dec 11 '18 at 14:25












          I'll delete for now.
          – Martin Argerami
          Dec 11 '18 at 14:33




          I'll delete for now.
          – Martin Argerami
          Dec 11 '18 at 14:33












          I wrote an argument. I don't now that you'll call it "simple".
          – Martin Argerami
          Dec 12 '18 at 22:49




          I wrote an argument. I don't now that you'll call it "simple".
          – Martin Argerami
          Dec 12 '18 at 22:49












          Thank you very much for your help, Martin. This is a very clear answer. I am awarding a +50 bounty for this. I have to wait 24 hours, though.
          – ervx
          Dec 13 '18 at 16:54




          Thank you very much for your help, Martin. This is a very clear answer. I am awarding a +50 bounty for this. I have to wait 24 hours, though.
          – ervx
          Dec 13 '18 at 16:54


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.





          Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


          Please pay close attention to the following guidance:


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3034018%2frigorous-computation-of-the-spectrum-of-a-certain-c-algebra%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Bressuire

          Cabo Verde

          Gyllenstierna