Skip to main content
added 791 characters in body
Source Link
Peter McNamara
  • 8.9k
  • 1
  • 41
  • 68

The answer is yes. We know G is reductive, take B=TU a Borel.

Decompose V into a direct sum of weight spaces for T: $V=\oplus V_\lambda$. I claim that C contains a non-zero wieght vector. Proof: Suffices to do this forFirst lets consider T=Gm. If v=Σivi in C with t in Gm acting on vi by multiplication by ti, consider $\lim_{t\to \infty}t^{-N}(t\cdot v)$ (t-N is scalar multiplication, dot is action). Since C is closed under action, scalar multiplication and taking limits, this is a weight vector in C for appropriate N. (this argument produces a weight vector of maximal possible weight in span(TvGmv).) A general T is a product of Gm's. We pick a vector in C, run the argument for each factor Gm in succession, and end up with a weight vector for T.

If v in Vλ and u in U, then uv-v is in $\oplus V_\mu$ where only wieghts μ greater than λ appear in the sum. Let v be a weight vector in C of maximal possible weight . Applying u to v and running the torus argument again, we see that for this maximalilty assumption to hold, v must be annihilated by all of U. Since stabaliser of v is reductive, containing U, it must contain derived group of G.

What above argument really shows is that ifLet $\alpha^\vee$ be a simple coroot and λ is any maximalbe a weight appearing in V, then it is the weight of a one dimensional rep of G. Suppose (here we use$\langle\alpha^\vee,\lambda\rangle$>0. Since C spans V), there exists c in C with non-zero projection onto Vλ. This implies thatRun the only weights appearingGm argument with the vector c and the subgroup $\alpha^\vee(\mathbb{G}_m)$. Now run the torus argument on this output, we get a weight vector in V are those corresponding to one dimensional representationsC of Vweight μ where $\langle\alpha^\vee,\mu\rangle>0$.

Now under this assumption, sothe paragraph with the unipotent element shows that there is a weight vector v in V, of weight ν greater than μ with derived group in stabaliser. Also $\langle\alpha^\vee,\nu\rangle>0$. This is a contradiction. Simlilaraly $\langle\alpha^\vee,\lambda\rangle$<0 is a contradiction. So for every weight λ and every simple coroot $\alpha^\vee$, we have $\langle\alpha^\vee,\lambda\rangle$=0, which forces the representation to be a direct sum of characters.

The answer is yes. We know G is reductive, take B=TU a Borel.

Decompose V into a direct sum of weight spaces for T: $V=\oplus V_\lambda$. I claim that C contains a non-zero wieght vector. Proof: Suffices to do this for T=Gm. If v=Σivi in C with t in Gm acting on vi by multiplication by ti, consider $\lim_{t\to \infty}t^{-N}(t\cdot v)$ (t-N is scalar multiplication, dot is action). Since C is closed under action, scalar multiplication and taking limits, this is a weight vector in C for appropriate N. (this argument produces a weight vector of maximal possible weight in span(Tv).)

If v in Vλ and u in U, then uv-v is in $\oplus V_\mu$ where only wieghts μ greater than λ appear in the sum. Let v be a weight vector in C of maximal possible weight . Applying u to v and running the torus argument again, we see that for this maximalilty assumption to hold, v must be annihilated by all of U. Since stabaliser of v is reductive, containing U, it must contain derived group of G.

What above argument really shows is that if λ is any maximal weight appearing in V, then it is the weight of a one dimensional rep of G. (here we use C spans V). This implies that the only weights appearing in V are those corresponding to one dimensional representations of V, so V is a direct sum of characters.

The answer is yes. We know G is reductive, take B=TU a Borel.

Decompose V into a direct sum of weight spaces for T: $V=\oplus V_\lambda$. I claim that C contains a non-zero wieght vector. Proof: First lets consider T=Gm. If v=Σivi in C with t in Gm acting on vi by multiplication by ti, consider $\lim_{t\to \infty}t^{-N}(t\cdot v)$ (t-N is scalar multiplication, dot is action). Since C is closed under action, scalar multiplication and taking limits, this is a weight vector in C for appropriate N. (this argument produces a weight vector of maximal possible weight in span(Gmv).) A general T is a product of Gm's. We pick a vector in C, run the argument for each factor Gm in succession, and end up with a weight vector for T.

If v in Vλ and u in U, then uv-v is in $\oplus V_\mu$ where only wieghts μ greater than λ appear in the sum. Let v be a weight vector in C of maximal possible weight . Applying u to v and running the torus argument again, we see that for this maximalilty assumption to hold, v must be annihilated by all of U. Since stabaliser of v is reductive, containing U, it must contain derived group of G.

Let $\alpha^\vee$ be a simple coroot and λ be a weight appearing in V. Suppose $\langle\alpha^\vee,\lambda\rangle$>0. Since C spans V, there exists c in C with non-zero projection onto Vλ. Run the Gm argument with the vector c and the subgroup $\alpha^\vee(\mathbb{G}_m)$. Now run the torus argument on this output, we get a weight vector in C of weight μ where $\langle\alpha^\vee,\mu\rangle>0$.

Now under this assumption, the paragraph with the unipotent element shows that there is a weight vector v in V, of weight ν greater than μ with derived group in stabaliser. Also $\langle\alpha^\vee,\nu\rangle>0$. This is a contradiction. Simlilaraly $\langle\alpha^\vee,\lambda\rangle$<0 is a contradiction. So for every weight λ and every simple coroot $\alpha^\vee$, we have $\langle\alpha^\vee,\lambda\rangle$=0, which forces the representation to be a direct sum of characters.

added 47 characters in body
Source Link
Peter McNamara
  • 8.9k
  • 1
  • 41
  • 68

The answer is yes. We know G is reductive, take B=TU a Borel.

Decompose V into a direct sum of weight spaces for T: $V=\oplus V_\lambda$. I claim that C contains a non-zero wieght vector. Proof: Suffices to do this for T=Gm. If v=Σivi in C with t in Gm acting on vi by multiplication by ti, consider $\lim_{t\to \infty}t^{-N}(t\cdot v)$ (t-N is scalar multiplication, dot is action). Since C is closed under action, scalar multiplication and taking limits, this is a weight vector in C for appropriate N. (this argument produces a weight vector of maximal possible weight in span(Tv).)

If v in Vλ and u in U, then uv-v is in $\oplus V_\mu$ where only wieghts μ greater than λ appear in the sum. Let v be a weight vector in C of maximal possible weight . Applying u to v and running the torus argument again, we see that for this maximalilty assumption to hold, v must be annihilated by all of U. Since stabaliser of v is reductive, containing U, it must contain derived group of G.

What above argument really shows is that if λ is any maximal weight appearing in V, then there exists some weight $\mu\geq \lambda$ with μit is the weight of a one dimensional rep of G. (here we use C spans V). This implies that the only weights appearing in V are those corresponding to one dimensional representations of V, so V is a direct sum of characters.

The answer is yes. We know G is reductive, take B=TU a Borel.

Decompose V into a direct sum of weight spaces for T: $V=\oplus V_\lambda$. I claim that C contains a non-zero wieght vector. Proof: Suffices to do this for T=Gm. If v=Σivi with t in Gm acting on vi by multiplication by ti, consider $\lim_{t\to \infty}t^{-N}(t\cdot v)$ (t-N is scalar multiplication, dot is action). Since C is closed under action, scalar multiplication and taking limits, this is a weight vector in C for appropriate N.

If v in Vλ and u in U, then uv-v is in $\oplus V_\mu$ where only wieghts μ greater than λ appear in the sum. Let v be a weight vector in C of maximal possible weight . Applying u to v and running the torus argument again, we see that for this maximalilty assumption to hold, v must be annihilated by all of U. Since stabaliser of v is reductive, containing U, it must contain derived group of G.

What above argument really shows is that if λ is any weight appearing in V, then there exists some weight $\mu\geq \lambda$ with μ the weight of a one dimensional rep of G. (here we use C spans V). This implies that the only weights appearing in V are those corresponding to one dimensional representations of V, so V is a direct sum of characters.

The answer is yes. We know G is reductive, take B=TU a Borel.

Decompose V into a direct sum of weight spaces for T: $V=\oplus V_\lambda$. I claim that C contains a non-zero wieght vector. Proof: Suffices to do this for T=Gm. If v=Σivi in C with t in Gm acting on vi by multiplication by ti, consider $\lim_{t\to \infty}t^{-N}(t\cdot v)$ (t-N is scalar multiplication, dot is action). Since C is closed under action, scalar multiplication and taking limits, this is a weight vector in C for appropriate N. (this argument produces a weight vector of maximal possible weight in span(Tv).)

If v in Vλ and u in U, then uv-v is in $\oplus V_\mu$ where only wieghts μ greater than λ appear in the sum. Let v be a weight vector in C of maximal possible weight . Applying u to v and running the torus argument again, we see that for this maximalilty assumption to hold, v must be annihilated by all of U. Since stabaliser of v is reductive, containing U, it must contain derived group of G.

What above argument really shows is that if λ is any maximal weight appearing in V, then it is the weight of a one dimensional rep of G. (here we use C spans V). This implies that the only weights appearing in V are those corresponding to one dimensional representations of V, so V is a direct sum of characters.

Source Link
Peter McNamara
  • 8.9k
  • 1
  • 41
  • 68

The answer is yes. We know G is reductive, take B=TU a Borel.

Decompose V into a direct sum of weight spaces for T: $V=\oplus V_\lambda$. I claim that C contains a non-zero wieght vector. Proof: Suffices to do this for T=Gm. If v=Σivi with t in Gm acting on vi by multiplication by ti, consider $\lim_{t\to \infty}t^{-N}(t\cdot v)$ (t-N is scalar multiplication, dot is action). Since C is closed under action, scalar multiplication and taking limits, this is a weight vector in C for appropriate N.

If v in Vλ and u in U, then uv-v is in $\oplus V_\mu$ where only wieghts μ greater than λ appear in the sum. Let v be a weight vector in C of maximal possible weight . Applying u to v and running the torus argument again, we see that for this maximalilty assumption to hold, v must be annihilated by all of U. Since stabaliser of v is reductive, containing U, it must contain derived group of G.

What above argument really shows is that if λ is any weight appearing in V, then there exists some weight $\mu\geq \lambda$ with μ the weight of a one dimensional rep of G. (here we use C spans V). This implies that the only weights appearing in V are those corresponding to one dimensional representations of V, so V is a direct sum of characters.