Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

This is a follow-up to a recent question by Allen Knutson herehere, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint module (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down. Since the title and math physics style of the King-Wybourne paper may be hard to penetrate at first, maybe I should emphasize the difference between working with $V \otimes V$ and working with $V^* \otimes V$ (the End space). In their paper self-dual is usually called selfcontragredient. Often, but not always in types $A_n (n>1), D_n (n \text{ odd}), E_6$, simple modules for a simple Lie algebra are automatically self-dual. The distinction is easy to see if you tensor the standard 3-dimensional module for $\mathfrak{sl}_3$ with itself (which gives summands of dimensions 6, 3) or with its dual (which gives a trivial summand along with the adjoint module).

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint module (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down. Since the title and math physics style of the King-Wybourne paper may be hard to penetrate at first, maybe I should emphasize the difference between working with $V \otimes V$ and working with $V^* \otimes V$ (the End space). In their paper self-dual is usually called selfcontragredient. Often, but not always in types $A_n (n>1), D_n (n \text{ odd}), E_6$, simple modules for a simple Lie algebra are automatically self-dual. The distinction is easy to see if you tensor the standard 3-dimensional module for $\mathfrak{sl}_3$ with itself (which gives summands of dimensions 6, 3) or with its dual (which gives a trivial summand along with the adjoint module).

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint module (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down. Since the title and math physics style of the King-Wybourne paper may be hard to penetrate at first, maybe I should emphasize the difference between working with $V \otimes V$ and working with $V^* \otimes V$ (the End space). In their paper self-dual is usually called selfcontragredient. Often, but not always in types $A_n (n>1), D_n (n \text{ odd}), E_6$, simple modules for a simple Lie algebra are automatically self-dual. The distinction is easy to see if you tensor the standard 3-dimensional module for $\mathfrak{sl}_3$ with itself (which gives summands of dimensions 6, 3) or with its dual (which gives a trivial summand along with the adjoint module).

added 678 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint module (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down. Since the title and math physics style of the King-Wybourne paper may be hard to penetrate at first, maybe I should emphasize the difference between working with $V \otimes V$ and working with $V^* \otimes V$ (the End space). In their paper self-dual is usually called selfcontragredient. Often, but not always in types $A_n (n>1), D_n (n \text{ odd}), E_6$, simple modules for a simple Lie algebra are automatically self-dual. The distinction is easy to see if you tensor the standard 3-dimensional module for $\mathfrak{sl}_3$ with itself (which gives summands of dimensions 6, 3) or with its dual (which gives a trivial summand along with the adjoint module).

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint module (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down.

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint module (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down. Since the title and math physics style of the King-Wybourne paper may be hard to penetrate at first, maybe I should emphasize the difference between working with $V \otimes V$ and working with $V^* \otimes V$ (the End space). In their paper self-dual is usually called selfcontragredient. Often, but not always in types $A_n (n>1), D_n (n \text{ odd}), E_6$, simple modules for a simple Lie algebra are automatically self-dual. The distinction is easy to see if you tensor the standard 3-dimensional module for $\mathfrak{sl}_3$ with itself (which gives summands of dimensions 6, 3) or with its dual (which gives a trivial summand along with the adjoint module).

edited body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint mldulemodule (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down.

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint mldule (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down.

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other algebraically closed field of characteristic 0). Here the dominant integral weioghts $\lambda$ index up to isomorphism the finite dimensional simple $\mathfrak{g}$-modules $V(\lambda)$. A tensor product of two such modules decomposes as the direct sum of others, with multiplicities which have been studied classically and in more recent times. The multiplicity is equally well given by $\dim \mathrm{Hom}_\mathfrak{g}\big(V(\nu), V(\lambda) \otimes V(\mu)\big)$ (or a version with the two terms switched).

The adjoint module, which we denote by $\mathfrak{g}$, is one of these simple modules. Allen formulates in his Theorem 2 a rule for the multiplicity of $\mathfrak{g}$ in its tensor product with itself. Since this wasn't familiar to me, I asked a more experienced specialist whether it looked familiar. The reply was that a more general result is known, but with an unremembered source: $$ \dim \mathrm{Hom}_\mathfrak{g} \big(\mathfrak{g}, \mathrm{End}\,V(\lambda)\big) = d(\lambda),$$ where $d(\lambda)$ is the number of fundamental weights occurring with positive coefficient in the standard expression of $\lambda$ as a $\mathbb{Z}^+$-linear combination of those weights. Note $\mathrm{End}\,V(\lambda) \cong V(\lambda) \otimes V(\lambda)$ when this module is self-dual; this occurs for the adjoint module (nondegeneracy of Killing form), or in general when $\lambda = -w_\circ \lambda$ ($w_\circ$ the longest element of the Weyl group).

To recover Allen's Theorem 2, recall from Bourbaki's tables that the highest root (= highest weight of the adjoint module) is twice the first fundamental weight for type $C$, the sum of the first and last fundamental weights for type $A$, and a fundamental weight for all other irreducible root systems.

If the general result is true as I stated it above, what is the original source? (And is the proof "classical" or "modern", relying or not on knowledge of how many simple roots are orthogonal to the highest root?).

ADDED: My question has just been answered, as I've outlined in an update to Allen's original question. It's a reference I wouldn't easily have tracked down.

added 162 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240
Loading
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240
Loading