Skip to main content
added 181 characters in body
Source Link

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the Weyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$. ($W_I$ is just the subgroup generated by simple reflections corresponding to $I$.) Then the generalized Bruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = \operatorname{GL}_n$, then $W = S_n$, and $W_I$ will give you the Young subgroup.
After introducing the notation, we are ready to answer the question. Define $$ \begin{aligned} W^J := \{w \in W\mid w(J) \subset \Phi^+ \},\\ {^IW} := \{w \in W\mid w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := {^IW} \cap W^J. \end{aligned}$$ Then $W^J$ is the set of coset representatives for $W/W_J$ with smallest length, $^IW$ is the set of coset representatives for $W_I \backslash W$ with smallest length, and $^IW^J$ is the set of double coset representatives of $W_I \backslash W / W_J$ with smallest length. (This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4–6, P31, exercise 1.3.) Now return to the question, since you work on $\operatorname{GL}_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

EDIT: This answer is just a supplement to @JohannesHahn’s existing answer. I’d like to appreciate @LSpice’s kindly comments.

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the Weyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$. ($W_I$ is just the subgroup generated by simple reflections corresponding to $I$.) Then the generalized Bruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = \operatorname{GL}_n$, then $W = S_n$, and $W_I$ will give you the Young subgroup.
After introducing the notation, we are ready to answer the question. Define $$ \begin{aligned} W^J := \{w \in W\mid w(J) \subset \Phi^+ \},\\ {^IW} := \{w \in W\mid w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := {^IW} \cap W^J. \end{aligned}$$ Then $W^J$ is the set of coset representatives for $W/W_J$ with smallest length, $^IW$ is the set of coset representatives for $W_I \backslash W$ with smallest length, and $^IW^J$ is the set of double coset representatives of $W_I \backslash W / W_J$ with smallest length. (This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4–6, P31, exercise 1.3.) Now return to the question, since you work on $\operatorname{GL}_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the Weyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$. ($W_I$ is just the subgroup generated by simple reflections corresponding to $I$.) Then the generalized Bruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = \operatorname{GL}_n$, then $W = S_n$, and $W_I$ will give you the Young subgroup.
After introducing the notation, we are ready to answer the question. Define $$ \begin{aligned} W^J := \{w \in W\mid w(J) \subset \Phi^+ \},\\ {^IW} := \{w \in W\mid w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := {^IW} \cap W^J. \end{aligned}$$ Then $W^J$ is the set of coset representatives for $W/W_J$ with smallest length, $^IW$ is the set of coset representatives for $W_I \backslash W$ with smallest length, and $^IW^J$ is the set of double coset representatives of $W_I \backslash W / W_J$ with smallest length. (This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4–6, P31, exercise 1.3.) Now return to the question, since you work on $\operatorname{GL}_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

EDIT: This answer is just a supplement to @JohannesHahn’s existing answer. I’d like to appreciate @LSpice’s kindly comments.

`^IW` -> `{^IW}`
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the weylWeyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$.  ($W_I$ is just the subgroup generated by simple reflections corresponding to $I$).) Then the generalized bruhatBruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = GL_n$$G = \operatorname{GL}_n$, then $W = S_n$, and $W_I$ will give you the youngYoung subgroup.
After introducing the notation, we are ready to answer the question. Define $$ \begin{aligned} W^J := \{w \in W| w(J) \subset \Phi^+ \},\\ ^IW := \{w \in W| w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := ^IW \cap W^J. \end{aligned}$$$$ \begin{aligned} W^J := \{w \in W\mid w(J) \subset \Phi^+ \},\\ {^IW} := \{w \in W\mid w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := {^IW} \cap W^J. \end{aligned}$$ Then $W^J$ is the coset representativeset of coset representatives for $W/W_J$ with smallest length, $^IW$ is the coset representativeset of coset representatives for $W_I \backslash W$ with smallest length, and $^IW^J$ is the set of double coset representativerepresentatives of $W_I \backslash W / W_J$ with smallest length.  (This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4-64–6, P31, exercise 1.3).
 ) Now return to the question, since you work on $GL_n$$\operatorname{GL}_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the weyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$.($W_I$ is just the subgroup generated by simple reflections corresponding to $I$). Then the generalized bruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = GL_n$, then $W = S_n$, and $W_I$ will give you the young subgroup.
After introducing the notation, we are ready to answer the question. Define $$ \begin{aligned} W^J := \{w \in W| w(J) \subset \Phi^+ \},\\ ^IW := \{w \in W| w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := ^IW \cap W^J. \end{aligned}$$ Then $W^J$ is the coset representative of $W/W_J$ with smallest length, $^IW$ is the coset representative of $W_I \backslash W$ with smallest length, $^IW^J$ is the double coset representative of $W_I \backslash W / W_J$ with smallest length.(This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4-6, P31, exercise 1.3).
  Now return to the question, since you work on $GL_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the Weyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$.  ($W_I$ is just the subgroup generated by simple reflections corresponding to $I$.) Then the generalized Bruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = \operatorname{GL}_n$, then $W = S_n$, and $W_I$ will give you the Young subgroup.
After introducing the notation, we are ready to answer the question. Define $$ \begin{aligned} W^J := \{w \in W\mid w(J) \subset \Phi^+ \},\\ {^IW} := \{w \in W\mid w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := {^IW} \cap W^J. \end{aligned}$$ Then $W^J$ is the set of coset representatives for $W/W_J$ with smallest length, $^IW$ is the set of coset representatives for $W_I \backslash W$ with smallest length, and $^IW^J$ is the set of double coset representatives of $W_I \backslash W / W_J$ with smallest length.  (This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4–6, P31, exercise 1.3.) Now return to the question, since you work on $\operatorname{GL}_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

Improved formatting
Source Link
Joe Silverman
  • 47.4k
  • 2
  • 149
  • 241

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the weyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$.($W_I$ is just the subgroup generated by simple reflections corresponding to $I$). Then the generalized bruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = GL_n$, then $W = S_n$, and $W_I$ will give you the young subgroup.
After introducing the notation, we are ready to answer the question. Define $W^J := \{w \in W| w(J) \subset \Phi^+ \}$, $^IW := \{w \in W| w^{-1}(I) \subset \Phi^+\}$, $^IW^J := ^IW \cap W^J$. Then$$ \begin{aligned} W^J := \{w \in W| w(J) \subset \Phi^+ \},\\ ^IW := \{w \in W| w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := ^IW \cap W^J. \end{aligned}$$ Then $W^J$ is the coset representative of $W/W_J$ with smallest length, $^IW$ is the coset representative of $W_I \backslash W$ with smallest length, $^IW^J$ is the double coset representative of $W_I \backslash W / W_J$ with smallest length.(This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4-6, P31, exercise 1.3).
Now return to the question, since you work on $GL_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the weyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$.($W_I$ is just the subgroup generated by simple reflections corresponding to $I$). Then the generalized bruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = GL_n$, then $W = S_n$, and $W_I$ will give you the young subgroup.
After introducing the notation, we are ready to answer the question. Define $W^J := \{w \in W| w(J) \subset \Phi^+ \}$, $^IW := \{w \in W| w^{-1}(I) \subset \Phi^+\}$, $^IW^J := ^IW \cap W^J$. Then $W^J$ is the coset representative of $W/W_J$ with smallest length, $^IW$ is the coset representative of $W_I \backslash W$ with smallest length, $^IW^J$ is the double coset representative of $W_I \backslash W / W_J$ with smallest length.(This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4-6, P31, exercise 1.3).
Now return to the question, since you work on $GL_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

Recently, I also faced with this question. And I’d like to share the answer I find.
Let $G$ be a complex reductive algebraic group. Denote $\Phi \supset \Phi^+ \supset \Delta$ to be a root system with fixed positive roots and simple roots, and $(W,S)$ to be the weyl group and the corresponding simple reflections. Such a choice will give us a standard Borel subgroup $B$.
Let $I,J \subset \Delta$, then we will have two standard parabolic subgroups $P_I, P_J$ of $G$, and also parabolic subgroups $W_I, W_J$ of $W$.($W_I$ is just the subgroup generated by simple reflections corresponding to $I$). Then the generalized bruhat decomposition told us that $P_I\backslash G/P_J \simeq W_I\backslash W/W_J$. In your case, you can just take $G = GL_n$, then $W = S_n$, and $W_I$ will give you the young subgroup.
After introducing the notation, we are ready to answer the question. Define $$ \begin{aligned} W^J := \{w \in W| w(J) \subset \Phi^+ \},\\ ^IW := \{w \in W| w^{-1}(I) \subset \Phi^+\},\\ ^IW^J := ^IW \cap W^J. \end{aligned}$$ Then $W^J$ is the coset representative of $W/W_J$ with smallest length, $^IW$ is the coset representative of $W_I \backslash W$ with smallest length, $^IW^J$ is the double coset representative of $W_I \backslash W / W_J$ with smallest length.(This is an exercise, which can be found in Bourbaki, Lie groups and Lie algebras, Chapter 4-6, P31, exercise 1.3).
Now return to the question, since you work on $GL_n$ and $S_n$, everything can be write down explicitly. The above description is just some $w(i) < w(j)$ conditions.
Although the answer is not combinatorial, this also can give you a way to describe the double coset, which is useful in some case.

Source Link
Loading