Skip to main content
added 2 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241

Though I can't provide an answer to the question, I can add a few more comments in community-wiki mode.

  1. In Bourbaki's construction of root systems, the starting point is always an orthonormal basis $\varepsilon_i$ for a real euclidean space. Though the dimension of this space is the rank $n$ in types $B_n, C_n, D_n$, it's sometimes bigger for other types. Making the usual identifications, one can regard the $\varepsilon_i$ in those three classical types as a basis for $\mathfrak{h}^*$ after complexifying.

  2. It's more customary to express highest weights of finite dimensional irreducible representations (of complex or compact simple groups, or the corresponding complex Lie algebras) in terms of fundamental dominant weights $\varpi_i$. For example, in type $D_n$ (or $B_n$) here, $\pi_k$ has highest weight $k\varpi_1$ (= $k\varepsilon_1$), where the first fundamental weight belongs to the natural representation of dimension $2n$ (or $2n+1$). In type $C_n$, on the other hand, the weight $\varepsilon_1 + \varepsilon_2 = \varpi_2$, whereas $\varepsilon_1 = \varpi_1$ (the natural $2n$-dimensional representation). Note that $\varpi_2$ is the highest weight of the big irreducible summand of the second exterior power of the natural representation, whose dimension is $n(n-1)/2 -1$$[n(n-1)/2] -1$.

  3. Also, it should be observed that the notion of "spherical representation" comes up frequently in the study of semisimple Lie groups. In the case of a real noncompact group $G$ the subgroup $K$ is usually taken to be a maximal compact subgroup. When $G$ itself is compact, $K$ might be any proper (say nontrivial) closed subgroup, as in this question. In that case there is some variation in the condition for a representation of $G$ to be called "spherical": the restriction to $K$ involves the trivial representation just once, or else at most once. I'm not sure about the history and motivation for these definitions.

Though I can't provide an answer to the question, I can add a few more comments in community-wiki mode.

  1. In Bourbaki's construction of root systems, the starting point is always an orthonormal basis $\varepsilon_i$ for a real euclidean space. Though the dimension of this space is the rank $n$ in types $B_n, C_n, D_n$, it's sometimes bigger for other types. Making the usual identifications, one can regard the $\varepsilon_i$ in those three classical types as a basis for $\mathfrak{h}^*$ after complexifying.

  2. It's more customary to express highest weights of finite dimensional irreducible representations (of complex or compact simple groups, or the corresponding complex Lie algebras) in terms of fundamental dominant weights $\varpi_i$. For example, in type $D_n$ (or $B_n$) here, $\pi_k$ has highest weight $k\varpi_1$ (= $k\varepsilon_1$), where the first fundamental weight belongs to the natural representation of dimension $2n$ (or $2n+1$). In type $C_n$, on the other hand, the weight $\varepsilon_1 + \varepsilon_2 = \varpi_2$, whereas $\varepsilon_1 = \varpi_1$ (the natural $2n$-dimensional representation). Note that $\varpi_2$ is the highest weight of the big irreducible summand of the second exterior power of the natural representation, whose dimension is $n(n-1)/2 -1$.

  3. Also, it should be observed that the notion of "spherical representation" comes up frequently in the study of semisimple Lie groups. In the case of a real noncompact group $G$ the subgroup $K$ is usually taken to be a maximal compact subgroup. When $G$ itself is compact, $K$ might be any proper (say nontrivial) closed subgroup, as in this question. In that case there is some variation in the condition for a representation of $G$ to be called "spherical": the restriction to $K$ involves the trivial representation just once, or else at most once. I'm not sure about the history and motivation for these definitions.

Though I can't provide an answer to the question, I can add a few more comments in community-wiki mode.

  1. In Bourbaki's construction of root systems, the starting point is always an orthonormal basis $\varepsilon_i$ for a real euclidean space. Though the dimension of this space is the rank $n$ in types $B_n, C_n, D_n$, it's sometimes bigger for other types. Making the usual identifications, one can regard the $\varepsilon_i$ in those three classical types as a basis for $\mathfrak{h}^*$ after complexifying.

  2. It's more customary to express highest weights of finite dimensional irreducible representations (of complex or compact simple groups, or the corresponding complex Lie algebras) in terms of fundamental dominant weights $\varpi_i$. For example, in type $D_n$ (or $B_n$) here, $\pi_k$ has highest weight $k\varpi_1$ (= $k\varepsilon_1$), where the first fundamental weight belongs to the natural representation of dimension $2n$ (or $2n+1$). In type $C_n$, on the other hand, the weight $\varepsilon_1 + \varepsilon_2 = \varpi_2$, whereas $\varepsilon_1 = \varpi_1$ (the natural $2n$-dimensional representation). Note that $\varpi_2$ is the highest weight of the big irreducible summand of the second exterior power of the natural representation, whose dimension is $[n(n-1)/2] -1$.

  3. Also, it should be observed that the notion of "spherical representation" comes up frequently in the study of semisimple Lie groups. In the case of a real noncompact group $G$ the subgroup $K$ is usually taken to be a maximal compact subgroup. When $G$ itself is compact, $K$ might be any proper (say nontrivial) closed subgroup, as in this question. In that case there is some variation in the condition for a representation of $G$ to be called "spherical": the restriction to $K$ involves the trivial representation just once, or else at most once. I'm not sure about the history and motivation for these definitions.

Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241

Though I can't provide an answer to the question, I can add a few more comments in community-wiki mode.

  1. In Bourbaki's construction of root systems, the starting point is always an orthonormal basis $\varepsilon_i$ for a real euclidean space. Though the dimension of this space is the rank $n$ in types $B_n, C_n, D_n$, it's sometimes bigger for other types. Making the usual identifications, one can regard the $\varepsilon_i$ in those three classical types as a basis for $\mathfrak{h}^*$ after complexifying.

  2. It's more customary to express highest weights of finite dimensional irreducible representations (of complex or compact simple groups, or the corresponding complex Lie algebras) in terms of fundamental dominant weights $\varpi_i$. For example, in type $D_n$ (or $B_n$) here, $\pi_k$ has highest weight $k\varpi_1$ (= $k\varepsilon_1$), where the first fundamental weight belongs to the natural representation of dimension $2n$ (or $2n+1$). In type $C_n$, on the other hand, the weight $\varepsilon_1 + \varepsilon_2 = \varpi_2$, whereas $\varepsilon_1 = \varpi_1$ (the natural $2n$-dimensional representation). Note that $\varpi_2$ is the highest weight of the big irreducible summand of the second exterior power of the natural representation, whose dimension is $n(n-1)/2 -1$.

  3. Also, it should be observed that the notion of "spherical representation" comes up frequently in the study of semisimple Lie groups. In the case of a real noncompact group $G$ the subgroup $K$ is usually taken to be a maximal compact subgroup. When $G$ itself is compact, $K$ might be any proper (say nontrivial) closed subgroup, as in this question. In that case there is some variation in the condition for a representation of $G$ to be called "spherical": the restriction to $K$ involves the trivial representation just once, or else at most once. I'm not sure about the history and motivation for these definitions.

Post Made Community Wiki by Jim Humphreys