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










0












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










share|cite|improve this question









$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















0












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










share|cite|improve this question









$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













0












0








0





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










share|cite|improve this question









$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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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
















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










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



);













draft saved

draft discarded


















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















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.




draft saved


draft discarded














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





















































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

Moe incest case Sentencing See also References Navigation menu"'Australian Josef Fritzl' fathered four children by daughter""Small town recoils in horror at 'Australian Fritzl' incest case""Victorian rape allegations echo Fritzl case - Just In (Australian Broadcasting Corporation)""Incest father jailed for 22 years""'Australian Fritzl' sentenced to 22 years in prison for abusing daughter for three decades""RSJ v The Queen"

Who is our nearest planetary neighbor, on average?Santa Claus flies to the South PoleSeven Spheres of Unequal Mass, a weighing problem with a twistDescribe a large integerFast Mental Calculation of $7.5^7$Math in Space (without the help of celebrities)Find the value of $bigstar$: Puzzle 8 - InequalityWho drinks beer while running anyway?A Crucial DeliveryRanking And AverageHow long will my money last at roulette?

Daza language Contents Vocabulary Phonology References External links Navigation menudaza1242Daza"Dazaga"eeee178086576