arbitrary $n$-dimensional matrix algebras in II$_1$ factor
$begingroup$
I'm struggling to show that in a type II$_1$ and any $n$ $exists$ a subfactor $M$ such that $M cong M_n$ .
I suppose it should follow from the isomorphism between the equivalence classes of projections and the interval $[0,operatorname{tr}(1)]$ but i can not figure out the details
functional-analysis operator-algebras von-neumann-algebras
$endgroup$
add a comment |
$begingroup$
I'm struggling to show that in a type II$_1$ and any $n$ $exists$ a subfactor $M$ such that $M cong M_n$ .
I suppose it should follow from the isomorphism between the equivalence classes of projections and the interval $[0,operatorname{tr}(1)]$ but i can not figure out the details
functional-analysis operator-algebras von-neumann-algebras
$endgroup$
add a comment |
$begingroup$
I'm struggling to show that in a type II$_1$ and any $n$ $exists$ a subfactor $M$ such that $M cong M_n$ .
I suppose it should follow from the isomorphism between the equivalence classes of projections and the interval $[0,operatorname{tr}(1)]$ but i can not figure out the details
functional-analysis operator-algebras von-neumann-algebras
$endgroup$
I'm struggling to show that in a type II$_1$ and any $n$ $exists$ a subfactor $M$ such that $M cong M_n$ .
I suppose it should follow from the isomorphism between the equivalence classes of projections and the interval $[0,operatorname{tr}(1)]$ but i can not figure out the details
functional-analysis operator-algebras von-neumann-algebras
functional-analysis operator-algebras von-neumann-algebras
edited Dec 9 '18 at 21:40
Martin Argerami
125k1177177
125k1177177
asked Dec 8 '18 at 12:38
sirjoesirjoe
284
284
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Say your II$_1$-factor is $N$. You can always find projections $p_1,ldots,p_n$ with $sum_jp_j=I $ and $tau(p_j)=1/n$. Because you are in a factor and they have equal trace, these projections are pairwise equivalent. In particular there exist partial isometries $v_1,ldots,v_n$ such that $v_j^*v_j=p_j$, $v_jv_j^*=p_1$.
Next you define
$$
e_{kj}=v_k^*v_j, k,j=1,ldots,n.
$$
You have
$$tag1
e_{kj}e_{st}=v_k^*v_jv_s^*v_t=v_k^*v_jp_jp_sv_s^*v_t=delta_{j,s},v_k^*v_jv_j^*v_t^*
=delta_{j,s},v_k^*p_1v_t=delta_{j,s},v_k^*v_t=delta_{j,s},e_{kt}.
$$
Now let $M=operatorname{span}{e_{kj}, k,j=1,ldots,n}subset N$. Then the map $pi:Mto M_n(mathbb C)$ given by $pi(e_{kj})=E_{kj}$ is a $*$-isomorphism. This is easily checked using $(1)$.
$endgroup$
$begingroup$
The $p_i$ must be pairwise orthogonal, right ?
$endgroup$
– André S.
Dec 9 '18 at 12:31
1
$begingroup$
Yes, they have to add to the identity if we want the subfactor to have the same identity (and this guarantees pairwise orthogonal). If we don't mind the identity, they just need to be pairwise orthogonal with equal trace.
$endgroup$
– Martin Argerami
Dec 9 '18 at 13:36
$begingroup$
How can you always find such a sum of projections? It is obvious you can find any projection of size 1/n but im not sure how you could find a sum of such projections equal to the identity
$endgroup$
– sirjoe
Dec 9 '18 at 21:31
$begingroup$
Because if $tau(p_1)=1/n$, then $tau(1-p)=1-1/n$ and you can find a $p_2leq 1-p_1$ with $tau(p_2)=1/n$. After $n$ steps you have $p_1,ldots,p_n$, pairwise orthogonal, and the sum has trace 1.
$endgroup$
– Martin Argerami
Dec 9 '18 at 21:32
$begingroup$
Oh okay! I was struggling to see why under any projection you can choose a projection of any given trace and i suppose this is because in your proof above $(1-p_1)N(1-p_1)$ is a $Pi_1$ factor itself so there exists $p_2$ inside it of trace $1/n$. Thank you!!
$endgroup$
– sirjoe
Dec 9 '18 at 21:46
|
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%2f3031061%2farbitrary-n-dimensional-matrix-algebras-in-ii-1-factor%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
$begingroup$
Say your II$_1$-factor is $N$. You can always find projections $p_1,ldots,p_n$ with $sum_jp_j=I $ and $tau(p_j)=1/n$. Because you are in a factor and they have equal trace, these projections are pairwise equivalent. In particular there exist partial isometries $v_1,ldots,v_n$ such that $v_j^*v_j=p_j$, $v_jv_j^*=p_1$.
Next you define
$$
e_{kj}=v_k^*v_j, k,j=1,ldots,n.
$$
You have
$$tag1
e_{kj}e_{st}=v_k^*v_jv_s^*v_t=v_k^*v_jp_jp_sv_s^*v_t=delta_{j,s},v_k^*v_jv_j^*v_t^*
=delta_{j,s},v_k^*p_1v_t=delta_{j,s},v_k^*v_t=delta_{j,s},e_{kt}.
$$
Now let $M=operatorname{span}{e_{kj}, k,j=1,ldots,n}subset N$. Then the map $pi:Mto M_n(mathbb C)$ given by $pi(e_{kj})=E_{kj}$ is a $*$-isomorphism. This is easily checked using $(1)$.
$endgroup$
$begingroup$
The $p_i$ must be pairwise orthogonal, right ?
$endgroup$
– André S.
Dec 9 '18 at 12:31
1
$begingroup$
Yes, they have to add to the identity if we want the subfactor to have the same identity (and this guarantees pairwise orthogonal). If we don't mind the identity, they just need to be pairwise orthogonal with equal trace.
$endgroup$
– Martin Argerami
Dec 9 '18 at 13:36
$begingroup$
How can you always find such a sum of projections? It is obvious you can find any projection of size 1/n but im not sure how you could find a sum of such projections equal to the identity
$endgroup$
– sirjoe
Dec 9 '18 at 21:31
$begingroup$
Because if $tau(p_1)=1/n$, then $tau(1-p)=1-1/n$ and you can find a $p_2leq 1-p_1$ with $tau(p_2)=1/n$. After $n$ steps you have $p_1,ldots,p_n$, pairwise orthogonal, and the sum has trace 1.
$endgroup$
– Martin Argerami
Dec 9 '18 at 21:32
$begingroup$
Oh okay! I was struggling to see why under any projection you can choose a projection of any given trace and i suppose this is because in your proof above $(1-p_1)N(1-p_1)$ is a $Pi_1$ factor itself so there exists $p_2$ inside it of trace $1/n$. Thank you!!
$endgroup$
– sirjoe
Dec 9 '18 at 21:46
|
show 1 more comment
$begingroup$
Say your II$_1$-factor is $N$. You can always find projections $p_1,ldots,p_n$ with $sum_jp_j=I $ and $tau(p_j)=1/n$. Because you are in a factor and they have equal trace, these projections are pairwise equivalent. In particular there exist partial isometries $v_1,ldots,v_n$ such that $v_j^*v_j=p_j$, $v_jv_j^*=p_1$.
Next you define
$$
e_{kj}=v_k^*v_j, k,j=1,ldots,n.
$$
You have
$$tag1
e_{kj}e_{st}=v_k^*v_jv_s^*v_t=v_k^*v_jp_jp_sv_s^*v_t=delta_{j,s},v_k^*v_jv_j^*v_t^*
=delta_{j,s},v_k^*p_1v_t=delta_{j,s},v_k^*v_t=delta_{j,s},e_{kt}.
$$
Now let $M=operatorname{span}{e_{kj}, k,j=1,ldots,n}subset N$. Then the map $pi:Mto M_n(mathbb C)$ given by $pi(e_{kj})=E_{kj}$ is a $*$-isomorphism. This is easily checked using $(1)$.
$endgroup$
$begingroup$
The $p_i$ must be pairwise orthogonal, right ?
$endgroup$
– André S.
Dec 9 '18 at 12:31
1
$begingroup$
Yes, they have to add to the identity if we want the subfactor to have the same identity (and this guarantees pairwise orthogonal). If we don't mind the identity, they just need to be pairwise orthogonal with equal trace.
$endgroup$
– Martin Argerami
Dec 9 '18 at 13:36
$begingroup$
How can you always find such a sum of projections? It is obvious you can find any projection of size 1/n but im not sure how you could find a sum of such projections equal to the identity
$endgroup$
– sirjoe
Dec 9 '18 at 21:31
$begingroup$
Because if $tau(p_1)=1/n$, then $tau(1-p)=1-1/n$ and you can find a $p_2leq 1-p_1$ with $tau(p_2)=1/n$. After $n$ steps you have $p_1,ldots,p_n$, pairwise orthogonal, and the sum has trace 1.
$endgroup$
– Martin Argerami
Dec 9 '18 at 21:32
$begingroup$
Oh okay! I was struggling to see why under any projection you can choose a projection of any given trace and i suppose this is because in your proof above $(1-p_1)N(1-p_1)$ is a $Pi_1$ factor itself so there exists $p_2$ inside it of trace $1/n$. Thank you!!
$endgroup$
– sirjoe
Dec 9 '18 at 21:46
|
show 1 more comment
$begingroup$
Say your II$_1$-factor is $N$. You can always find projections $p_1,ldots,p_n$ with $sum_jp_j=I $ and $tau(p_j)=1/n$. Because you are in a factor and they have equal trace, these projections are pairwise equivalent. In particular there exist partial isometries $v_1,ldots,v_n$ such that $v_j^*v_j=p_j$, $v_jv_j^*=p_1$.
Next you define
$$
e_{kj}=v_k^*v_j, k,j=1,ldots,n.
$$
You have
$$tag1
e_{kj}e_{st}=v_k^*v_jv_s^*v_t=v_k^*v_jp_jp_sv_s^*v_t=delta_{j,s},v_k^*v_jv_j^*v_t^*
=delta_{j,s},v_k^*p_1v_t=delta_{j,s},v_k^*v_t=delta_{j,s},e_{kt}.
$$
Now let $M=operatorname{span}{e_{kj}, k,j=1,ldots,n}subset N$. Then the map $pi:Mto M_n(mathbb C)$ given by $pi(e_{kj})=E_{kj}$ is a $*$-isomorphism. This is easily checked using $(1)$.
$endgroup$
Say your II$_1$-factor is $N$. You can always find projections $p_1,ldots,p_n$ with $sum_jp_j=I $ and $tau(p_j)=1/n$. Because you are in a factor and they have equal trace, these projections are pairwise equivalent. In particular there exist partial isometries $v_1,ldots,v_n$ such that $v_j^*v_j=p_j$, $v_jv_j^*=p_1$.
Next you define
$$
e_{kj}=v_k^*v_j, k,j=1,ldots,n.
$$
You have
$$tag1
e_{kj}e_{st}=v_k^*v_jv_s^*v_t=v_k^*v_jp_jp_sv_s^*v_t=delta_{j,s},v_k^*v_jv_j^*v_t^*
=delta_{j,s},v_k^*p_1v_t=delta_{j,s},v_k^*v_t=delta_{j,s},e_{kt}.
$$
Now let $M=operatorname{span}{e_{kj}, k,j=1,ldots,n}subset N$. Then the map $pi:Mto M_n(mathbb C)$ given by $pi(e_{kj})=E_{kj}$ is a $*$-isomorphism. This is easily checked using $(1)$.
edited Dec 9 '18 at 13:33
answered Dec 8 '18 at 18:27
Martin ArgeramiMartin Argerami
125k1177177
125k1177177
$begingroup$
The $p_i$ must be pairwise orthogonal, right ?
$endgroup$
– André S.
Dec 9 '18 at 12:31
1
$begingroup$
Yes, they have to add to the identity if we want the subfactor to have the same identity (and this guarantees pairwise orthogonal). If we don't mind the identity, they just need to be pairwise orthogonal with equal trace.
$endgroup$
– Martin Argerami
Dec 9 '18 at 13:36
$begingroup$
How can you always find such a sum of projections? It is obvious you can find any projection of size 1/n but im not sure how you could find a sum of such projections equal to the identity
$endgroup$
– sirjoe
Dec 9 '18 at 21:31
$begingroup$
Because if $tau(p_1)=1/n$, then $tau(1-p)=1-1/n$ and you can find a $p_2leq 1-p_1$ with $tau(p_2)=1/n$. After $n$ steps you have $p_1,ldots,p_n$, pairwise orthogonal, and the sum has trace 1.
$endgroup$
– Martin Argerami
Dec 9 '18 at 21:32
$begingroup$
Oh okay! I was struggling to see why under any projection you can choose a projection of any given trace and i suppose this is because in your proof above $(1-p_1)N(1-p_1)$ is a $Pi_1$ factor itself so there exists $p_2$ inside it of trace $1/n$. Thank you!!
$endgroup$
– sirjoe
Dec 9 '18 at 21:46
|
show 1 more comment
$begingroup$
The $p_i$ must be pairwise orthogonal, right ?
$endgroup$
– André S.
Dec 9 '18 at 12:31
1
$begingroup$
Yes, they have to add to the identity if we want the subfactor to have the same identity (and this guarantees pairwise orthogonal). If we don't mind the identity, they just need to be pairwise orthogonal with equal trace.
$endgroup$
– Martin Argerami
Dec 9 '18 at 13:36
$begingroup$
How can you always find such a sum of projections? It is obvious you can find any projection of size 1/n but im not sure how you could find a sum of such projections equal to the identity
$endgroup$
– sirjoe
Dec 9 '18 at 21:31
$begingroup$
Because if $tau(p_1)=1/n$, then $tau(1-p)=1-1/n$ and you can find a $p_2leq 1-p_1$ with $tau(p_2)=1/n$. After $n$ steps you have $p_1,ldots,p_n$, pairwise orthogonal, and the sum has trace 1.
$endgroup$
– Martin Argerami
Dec 9 '18 at 21:32
$begingroup$
Oh okay! I was struggling to see why under any projection you can choose a projection of any given trace and i suppose this is because in your proof above $(1-p_1)N(1-p_1)$ is a $Pi_1$ factor itself so there exists $p_2$ inside it of trace $1/n$. Thank you!!
$endgroup$
– sirjoe
Dec 9 '18 at 21:46
$begingroup$
The $p_i$ must be pairwise orthogonal, right ?
$endgroup$
– André S.
Dec 9 '18 at 12:31
$begingroup$
The $p_i$ must be pairwise orthogonal, right ?
$endgroup$
– André S.
Dec 9 '18 at 12:31
1
1
$begingroup$
Yes, they have to add to the identity if we want the subfactor to have the same identity (and this guarantees pairwise orthogonal). If we don't mind the identity, they just need to be pairwise orthogonal with equal trace.
$endgroup$
– Martin Argerami
Dec 9 '18 at 13:36
$begingroup$
Yes, they have to add to the identity if we want the subfactor to have the same identity (and this guarantees pairwise orthogonal). If we don't mind the identity, they just need to be pairwise orthogonal with equal trace.
$endgroup$
– Martin Argerami
Dec 9 '18 at 13:36
$begingroup$
How can you always find such a sum of projections? It is obvious you can find any projection of size 1/n but im not sure how you could find a sum of such projections equal to the identity
$endgroup$
– sirjoe
Dec 9 '18 at 21:31
$begingroup$
How can you always find such a sum of projections? It is obvious you can find any projection of size 1/n but im not sure how you could find a sum of such projections equal to the identity
$endgroup$
– sirjoe
Dec 9 '18 at 21:31
$begingroup$
Because if $tau(p_1)=1/n$, then $tau(1-p)=1-1/n$ and you can find a $p_2leq 1-p_1$ with $tau(p_2)=1/n$. After $n$ steps you have $p_1,ldots,p_n$, pairwise orthogonal, and the sum has trace 1.
$endgroup$
– Martin Argerami
Dec 9 '18 at 21:32
$begingroup$
Because if $tau(p_1)=1/n$, then $tau(1-p)=1-1/n$ and you can find a $p_2leq 1-p_1$ with $tau(p_2)=1/n$. After $n$ steps you have $p_1,ldots,p_n$, pairwise orthogonal, and the sum has trace 1.
$endgroup$
– Martin Argerami
Dec 9 '18 at 21:32
$begingroup$
Oh okay! I was struggling to see why under any projection you can choose a projection of any given trace and i suppose this is because in your proof above $(1-p_1)N(1-p_1)$ is a $Pi_1$ factor itself so there exists $p_2$ inside it of trace $1/n$. Thank you!!
$endgroup$
– sirjoe
Dec 9 '18 at 21:46
$begingroup$
Oh okay! I was struggling to see why under any projection you can choose a projection of any given trace and i suppose this is because in your proof above $(1-p_1)N(1-p_1)$ is a $Pi_1$ factor itself so there exists $p_2$ inside it of trace $1/n$. Thank you!!
$endgroup$
– sirjoe
Dec 9 '18 at 21:46
|
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.
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%2f3031061%2farbitrary-n-dimensional-matrix-algebras-in-ii-1-factor%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