Crystal operators The Next CEO of Stack OverflowProof that the Lascoux-Schützenberger involutions satisfies the braid-relationsConnection between Hecke operators and Hecke algebrasgeneralized eigenspaces for many operatorsgeneralized eigenspaces for many operators IIgeneralized eigenspaces for many operators IIIShift and Divide OperatorsGeneral theory behind ladder operatorsQuestions about root operators.Trace operators on modulesWhat is the relation between crystals and crystal bases?reference request: Type A crystal proof of Schur-positivity
I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin
If Nick Fury and Coulson already knew about aliens (Kree and Skrull) why did they wait until Thor's appearance to start making weapons?
Solving Integral Equation by Converting to Differential Equations
Can I equip Skullclamp on a creature I am sacrificing?
How did the Bene Gesserit know how to make a Kwisatz Haderach?
Is there a difference between "Fahrstuhl" and "Aufzug"
Help understanding this unsettling image of Titan, Epimetheus, and Saturn's rings?
WOW air has ceased operation, can I get my tickets refunded?
If/When UK leaves the EU, can a future goverment conduct a referendum to join the EU?
Contours of a clandestine nature
How to avoid supervisors with prejudiced views?
How to solve a differential equation with a term to a power?
Why does the UK parliament need a vote on the political declaration?
Can you replace a racial trait cantrip when leveling up?
Indicator light circuit
Should I tutor a student who I know has cheated on their homework?
Why do we use the plural of movies in this phrase "We went to the movies last night."?
Is there an analogue of projective spaces for proper schemes?
Sending manuscript to multiple publishers
Is there a way to save my career from absolute disaster?
Is micro rebar a better way to reinforce concrete than rebar?
MessageLevel in QGIS3
Anatomically Correct Strange Women In Ponds Distributing Swords
Why do remote companies require working in the US?
Crystal operators
The Next CEO of Stack OverflowProof that the Lascoux-Schützenberger involutions satisfies the braid-relationsConnection between Hecke operators and Hecke algebrasgeneralized eigenspaces for many operatorsgeneralized eigenspaces for many operators IIgeneralized eigenspaces for many operators IIIShift and Divide OperatorsGeneral theory behind ladder operatorsQuestions about root operators.Trace operators on modulesWhat is the relation between crystals and crystal bases?reference request: Type A crystal proof of Schur-positivity
$begingroup$
Define the operator $s_i$ on tableaux:
Consider letters $i$ and $i + 1$ in row reading word of the tableau.
Successively “bracket” pairs of the form (i + 1, I ).
Left with word of the form $i^r (i + 1)^s$.
Then
$$s_i(i^r(i+1)^s)=i^s(i+1)^r$$
Show that:
(a) $s_i^2(b)=b$,
(b) $s_is_j(b)=s_js_i(b)$ if $|i-j|>1$
(c) $s_is_i+1s_i(b)=s_i+1s_is_i+1(b)$
Part (a) is clear. Beacuse after two operations, powers remain unchanged. Part (b) is also clear because $s_i$ and $s_j$ do not interfere with each other as long as $|i-j|>1$.
Part(c) is known as braid property. It seems to be a little messy to show this property.
combinatorics representation-theory algebraic-combinatorics
$endgroup$
|
show 4 more comments
$begingroup$
Define the operator $s_i$ on tableaux:
Consider letters $i$ and $i + 1$ in row reading word of the tableau.
Successively “bracket” pairs of the form (i + 1, I ).
Left with word of the form $i^r (i + 1)^s$.
Then
$$s_i(i^r(i+1)^s)=i^s(i+1)^r$$
Show that:
(a) $s_i^2(b)=b$,
(b) $s_is_j(b)=s_js_i(b)$ if $|i-j|>1$
(c) $s_is_i+1s_i(b)=s_i+1s_is_i+1(b)$
Part (a) is clear. Beacuse after two operations, powers remain unchanged. Part (b) is also clear because $s_i$ and $s_j$ do not interfere with each other as long as $|i-j|>1$.
Part(c) is known as braid property. It seems to be a little messy to show this property.
combinatorics representation-theory algebraic-combinatorics
$endgroup$
$begingroup$
What does the second line mean? I am confused by "...in row reading word of the tableau."
$endgroup$
– TomGrubb
Mar 18 at 19:27
$begingroup$
Starting from the lowest row of tableau, write the numbers inserted in the boxes of the tableau from left to write. Then go to the upper row and so on so forth.
$endgroup$
– S_Alex
Mar 18 at 19:31
$begingroup$
I find it a bit difficult to understand the presentation here, but this question feels familiar. Have you tried searching for earlier questions about braids?
$endgroup$
– Peter Taylor
Mar 19 at 11:56
$begingroup$
can you clarify what you mean by "bracketing"? Do you mean that if you have some subword of the form $(i,i,i+1,i,i+1)$, then $s_i$ acts according to the rule $(i+1,i+1,i+1,i,i)$? (so you don't change the $(i+1,i)$ entry?)
$endgroup$
– David Hill
Mar 19 at 16:18
$begingroup$
If we have $(i+1,i+1,i,i)$, first we bracket $(i+1,i)$ then remove it from our sequence. Then $(i+1,i)$ remains. Again we bracket $(i+1,i)$ and remove it from the sequence.
$endgroup$
– S_Alex
Mar 19 at 17:22
|
show 4 more comments
$begingroup$
Define the operator $s_i$ on tableaux:
Consider letters $i$ and $i + 1$ in row reading word of the tableau.
Successively “bracket” pairs of the form (i + 1, I ).
Left with word of the form $i^r (i + 1)^s$.
Then
$$s_i(i^r(i+1)^s)=i^s(i+1)^r$$
Show that:
(a) $s_i^2(b)=b$,
(b) $s_is_j(b)=s_js_i(b)$ if $|i-j|>1$
(c) $s_is_i+1s_i(b)=s_i+1s_is_i+1(b)$
Part (a) is clear. Beacuse after two operations, powers remain unchanged. Part (b) is also clear because $s_i$ and $s_j$ do not interfere with each other as long as $|i-j|>1$.
Part(c) is known as braid property. It seems to be a little messy to show this property.
combinatorics representation-theory algebraic-combinatorics
$endgroup$
Define the operator $s_i$ on tableaux:
Consider letters $i$ and $i + 1$ in row reading word of the tableau.
Successively “bracket” pairs of the form (i + 1, I ).
Left with word of the form $i^r (i + 1)^s$.
Then
$$s_i(i^r(i+1)^s)=i^s(i+1)^r$$
Show that:
(a) $s_i^2(b)=b$,
(b) $s_is_j(b)=s_js_i(b)$ if $|i-j|>1$
(c) $s_is_i+1s_i(b)=s_i+1s_is_i+1(b)$
Part (a) is clear. Beacuse after two operations, powers remain unchanged. Part (b) is also clear because $s_i$ and $s_j$ do not interfere with each other as long as $|i-j|>1$.
Part(c) is known as braid property. It seems to be a little messy to show this property.
combinatorics representation-theory algebraic-combinatorics
combinatorics representation-theory algebraic-combinatorics
asked Mar 18 at 19:12
S_AlexS_Alex
1929
1929
$begingroup$
What does the second line mean? I am confused by "...in row reading word of the tableau."
$endgroup$
– TomGrubb
Mar 18 at 19:27
$begingroup$
Starting from the lowest row of tableau, write the numbers inserted in the boxes of the tableau from left to write. Then go to the upper row and so on so forth.
$endgroup$
– S_Alex
Mar 18 at 19:31
$begingroup$
I find it a bit difficult to understand the presentation here, but this question feels familiar. Have you tried searching for earlier questions about braids?
$endgroup$
– Peter Taylor
Mar 19 at 11:56
$begingroup$
can you clarify what you mean by "bracketing"? Do you mean that if you have some subword of the form $(i,i,i+1,i,i+1)$, then $s_i$ acts according to the rule $(i+1,i+1,i+1,i,i)$? (so you don't change the $(i+1,i)$ entry?)
$endgroup$
– David Hill
Mar 19 at 16:18
$begingroup$
If we have $(i+1,i+1,i,i)$, first we bracket $(i+1,i)$ then remove it from our sequence. Then $(i+1,i)$ remains. Again we bracket $(i+1,i)$ and remove it from the sequence.
$endgroup$
– S_Alex
Mar 19 at 17:22
|
show 4 more comments
$begingroup$
What does the second line mean? I am confused by "...in row reading word of the tableau."
$endgroup$
– TomGrubb
Mar 18 at 19:27
$begingroup$
Starting from the lowest row of tableau, write the numbers inserted in the boxes of the tableau from left to write. Then go to the upper row and so on so forth.
$endgroup$
– S_Alex
Mar 18 at 19:31
$begingroup$
I find it a bit difficult to understand the presentation here, but this question feels familiar. Have you tried searching for earlier questions about braids?
$endgroup$
– Peter Taylor
Mar 19 at 11:56
$begingroup$
can you clarify what you mean by "bracketing"? Do you mean that if you have some subword of the form $(i,i,i+1,i,i+1)$, then $s_i$ acts according to the rule $(i+1,i+1,i+1,i,i)$? (so you don't change the $(i+1,i)$ entry?)
$endgroup$
– David Hill
Mar 19 at 16:18
$begingroup$
If we have $(i+1,i+1,i,i)$, first we bracket $(i+1,i)$ then remove it from our sequence. Then $(i+1,i)$ remains. Again we bracket $(i+1,i)$ and remove it from the sequence.
$endgroup$
– S_Alex
Mar 19 at 17:22
$begingroup$
What does the second line mean? I am confused by "...in row reading word of the tableau."
$endgroup$
– TomGrubb
Mar 18 at 19:27
$begingroup$
What does the second line mean? I am confused by "...in row reading word of the tableau."
$endgroup$
– TomGrubb
Mar 18 at 19:27
$begingroup$
Starting from the lowest row of tableau, write the numbers inserted in the boxes of the tableau from left to write. Then go to the upper row and so on so forth.
$endgroup$
– S_Alex
Mar 18 at 19:31
$begingroup$
Starting from the lowest row of tableau, write the numbers inserted in the boxes of the tableau from left to write. Then go to the upper row and so on so forth.
$endgroup$
– S_Alex
Mar 18 at 19:31
$begingroup$
I find it a bit difficult to understand the presentation here, but this question feels familiar. Have you tried searching for earlier questions about braids?
$endgroup$
– Peter Taylor
Mar 19 at 11:56
$begingroup$
I find it a bit difficult to understand the presentation here, but this question feels familiar. Have you tried searching for earlier questions about braids?
$endgroup$
– Peter Taylor
Mar 19 at 11:56
$begingroup$
can you clarify what you mean by "bracketing"? Do you mean that if you have some subword of the form $(i,i,i+1,i,i+1)$, then $s_i$ acts according to the rule $(i+1,i+1,i+1,i,i)$? (so you don't change the $(i+1,i)$ entry?)
$endgroup$
– David Hill
Mar 19 at 16:18
$begingroup$
can you clarify what you mean by "bracketing"? Do you mean that if you have some subword of the form $(i,i,i+1,i,i+1)$, then $s_i$ acts according to the rule $(i+1,i+1,i+1,i,i)$? (so you don't change the $(i+1,i)$ entry?)
$endgroup$
– David Hill
Mar 19 at 16:18
$begingroup$
If we have $(i+1,i+1,i,i)$, first we bracket $(i+1,i)$ then remove it from our sequence. Then $(i+1,i)$ remains. Again we bracket $(i+1,i)$ and remove it from the sequence.
$endgroup$
– S_Alex
Mar 19 at 17:22
$begingroup$
If we have $(i+1,i+1,i,i)$, first we bracket $(i+1,i)$ then remove it from our sequence. Then $(i+1,i)$ remains. Again we bracket $(i+1,i)$ and remove it from the sequence.
$endgroup$
– S_Alex
Mar 19 at 17:22
|
show 4 more comments
0
active
oldest
votes
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%2f3153188%2fcrystal-operators%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3153188%2fcrystal-operators%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
$begingroup$
What does the second line mean? I am confused by "...in row reading word of the tableau."
$endgroup$
– TomGrubb
Mar 18 at 19:27
$begingroup$
Starting from the lowest row of tableau, write the numbers inserted in the boxes of the tableau from left to write. Then go to the upper row and so on so forth.
$endgroup$
– S_Alex
Mar 18 at 19:31
$begingroup$
I find it a bit difficult to understand the presentation here, but this question feels familiar. Have you tried searching for earlier questions about braids?
$endgroup$
– Peter Taylor
Mar 19 at 11:56
$begingroup$
can you clarify what you mean by "bracketing"? Do you mean that if you have some subword of the form $(i,i,i+1,i,i+1)$, then $s_i$ acts according to the rule $(i+1,i+1,i+1,i,i)$? (so you don't change the $(i+1,i)$ entry?)
$endgroup$
– David Hill
Mar 19 at 16:18
$begingroup$
If we have $(i+1,i+1,i,i)$, first we bracket $(i+1,i)$ then remove it from our sequence. Then $(i+1,i)$ remains. Again we bracket $(i+1,i)$ and remove it from the sequence.
$endgroup$
– S_Alex
Mar 19 at 17:22