Rigorous Computation of the Spectrum of a Certain C$^{*}$-algebra
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
add a comment |
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
add a comment |
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
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
operator-algebras c-star-algebras
edited Dec 10 '18 at 17:05
asked Dec 10 '18 at 14:57
ervx
10.3k31338
10.3k31338
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
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$.
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
|
show 1 more comment
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
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$.
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
|
show 1 more comment
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$.
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
|
show 1 more comment
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$.
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$.
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
|
show 1 more comment
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
|
show 1 more comment
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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