Harish-Chandra isomorphism

Let \mathfrak{g} be a semisimple Lie algebra, \mathfrak{h} its Cartan subalgebra and \lambda, \mu \in \mathfrak{h}^* be two elements of the weight space (where \mathfrak{h}^* is the dual of \mathfrak{h}) and assume that a set of positive roots \Phi_+ have been fixed. Let V_\lambda and V_\mu be highest weight modules with highest weights \lambda and \mu respectively. Central characters The \mathfrak{g}-modules V_\lambda and V_\mu are representations of the universal enveloping algebra U(\mathfrak{g}) and its center acts on the modules by scalar multiplication (this follows from the fact that the modules are generated by a highest weight vector). So, for v \in V_\lambda and x \in \mathcal{Z}(U(\mathfrak{g})), x\cdot v:=\chi_\lambda(x)v and similarly for V_\mu, where the functions \chi_\lambda, \,\chi_\mu are homomorphisms from \mathcal{Z}(U(\mathfrak{g})) to scalars called central characters. ==Statement of Harish-Chandra theorem==

For any \lambda, \mu \in \mathfrak{h}^*, the characters \chi_\lambda=\chi_\mu if and only if \lambda + \delta and \mu + \delta are on the same orbit of the Weyl group of \mathfrak{h}^*, where \delta is the half-sum of the positive roots, sometimes known as the Weyl vector. Another closely related formulation is that the Harish-Chandra homomorphism from the center of the universal enveloping algebra \mathcal{Z}(U(\mathfrak{g})) to S(\mathfrak{h})^W (the elements of the symmetric algebra of the Cartan subalgebra fixed by the Weyl group) is an isomorphism. Explicit isomorphism More explicitly, the isomorphism can be constructed as the composition of two maps, one from \mathfrak{Z} = \mathcal{Z}(U(\mathfrak{g})) to U(\mathfrak{h}) = S(\mathfrak{h}), and another from S(\mathfrak{h}) to itself. The first is a projection \gamma: \mathfrak{Z} \rightarrow S(\mathfrak{h}). For a choice of positive roots \Phi_+, defining n^+ = \bigoplus_{\alpha \in \Phi_+} \mathfrak{g}_\alpha, n^- = \bigoplus_{\alpha \in \Phi_-} \mathfrak{g}_\alpha as the corresponding positive nilpotent subalgebra and negative nilpotent subalgebra respectively, due to the Poincaré–Birkhoff–Witt theorem there is a decomposition U(\mathfrak{g}) = U(\mathfrak{h}) \oplus (U(\mathfrak{g})\mathfrak{n}^+ + \mathfrak{n}^-U(\mathfrak{g})). If z \in \mathfrak{Z} is central, then in fact z \in U(\mathfrak{h}) \oplus (U(\mathfrak{g})\mathfrak{n}^+ \cap \mathfrak{n}^-U(\mathfrak{g})). The restriction of the projection U(\mathfrak{g}) \rightarrow U(\mathfrak{h}) to the centre is \gamma: \mathfrak{Z} \rightarrow S(\mathfrak{h}), and is a homomorphism of algebras. This is related to the central characters by \chi_\lambda(x) = \gamma(x)(\lambda) The second map is the twist map \tau: S(\mathfrak{h}) \rightarrow S(\mathfrak{h}). On \mathfrak{h} viewed as a subspace of U(\mathfrak{h}) it is defined \tau(h) = h - \delta(h)1 with \delta the Weyl vector. Then \tilde \gamma = \tau \circ \gamma: \mathfrak{Z} \rightarrow S(\mathfrak{h}) is the isomorphism. The reason this twist is introduced is that \chi_\lambda is not actually Weyl-invariant, but it can be proven that the twisted character \tilde \chi_\lambda = \chi_{\lambda - \delta} is. == Applications ==

The theorem has been used to obtain a simple Lie algebraic proof of Weyl's character formula for finite-dimensional irreducible representations. The proof has been further simplified by Victor Kac, so that only the quadratic Casimir operator is required; there is a corresponding streamlined treatment proof of the character formula in the second edition of . Further, it is a necessary condition for the existence of a non-zero homomorphism of some highest weight modules (a homomorphism of such modules preserves central character). A simple consequence is that for Verma modules or generalized Verma modules V_\lambda with highest weight \lambda, there exist only finitely many weights \mu for which a non-zero homomorphism V_\lambda \rightarrow V_\mu exists. ==Fundamental invariants==

For \mathfrak{g} a simple Lie algebra, let r be its rank, that is, the dimension of any Cartan subalgebra \mathfrak{h} of \mathfrak{g}. H. S. M. Coxeter observed that S(\mathfrak{h})^W is isomorphic to a polynomial algebra in r variables (see Chevalley–Shephard–Todd theorem for a more general statement). Therefore, the center of the universal enveloping algebra of a simple Lie algebra is isomorphic to a polynomial algebra. The degrees of the generators of the algebra are the degrees of the fundamental invariants given in the following table. The number of the fundamental invariants of a Lie group is equal to its rank. Fundamental invariants are also related to the cohomology ring of a Lie group. In particular, if the fundamental invariants have degrees d_1, \cdots, d_r, then the generators of the cohomology ring have degrees 2d_1-1, \cdots, 2d_r-1. Due to this, the degrees of the fundamental invariants can be calculated from the Betti numbers of the Lie group and vice versa. In another direction, fundamental invariants are related to cohomology of the classifying space. The cohomology ring H^*(BG, \mathbb{R}) is isomorphic to a polynomial algebra on generators with degrees 2d_1, \cdots, 2d_r. ==Examples==

• If \mathfrak{g} is the Lie algebra \mathfrak{sl}(2, \mathbb{R}), then the center of the universal enveloping algebra is generated by the Casimir invariant of degree 2, and the Weyl group acts on the Cartan subalgebra, which is isomorphic to \mathbb{R}, by negation, so the invariant of the Weyl group is the square of the generator of the Cartan subalgebra, which is also of degree 2. • For \mathfrak{g} = A_2 = \mathfrak{sl}(3,\mathbb{C}), the Harish-Chandra isomorphism says \mathcal{Z}(U(\mathfrak{g})) is isomorphic to a polynomial algebra of Weyl-invariant polynomials in two variables h_1, h_2 (since the Cartan subalgebra is two-dimensional). For A_2, the Weyl group is S_3 \cong D_6 which acts on the CSA in the standard representation. Since the Weyl group acts by reflections, they are isometries and so the degree 2 polynomial f_2(h_1, h_2) = h_1^2 + h_2^2 is Weyl-invariant. The contours of the degree 3 Weyl-invariant polynomial (for a particular choice of standard representation where one of the reflections is across the x-axis) are shown below. These two polynomials generate the polynomial algebra, and are the fundamental invariants for A_2. • For all the Lie algebras in the classification, there is a fundamental invariant of degree 2, the quadratic Casimir. In the isomorphism, these correspond to a degree 2 polynomial on the CSA. Since the Weyl group acts by reflections on the CSA, they are isometries, so the degree 2 invariant polynomial is f_2(\mathbf{h}) = h_1^2 + \cdots + h_r^2 where r is the dimension of the CSA \mathfrak{h}, also known as the rank of the Lie algebra. • For \mathfrak{g} = A_1 = \mathfrak{sl}(2, \mathbb{C}), the Cartan subalgebra is one-dimensional, and the Harish-Chandra isomorphism says \mathcal{Z}(U(\mathfrak{g})) is isomorphic to the algebra of Weyl-invariant polynomials in a single variable h. The Weyl group is S_2 acting as reflection, with non-trivial element acting on polynomials by h \mapsto -h. The subalgebra of Weyl-invariant polynomials in the full polynomial algebra K[h] is therefore only the even polynomials, generated by f_2(h) = h^2. • For \mathfrak{g} = B_2 = \mathfrak{so}(5) = \mathfrak{sp}(4), the Weyl group is D_8, acting on two coordinates h_1, h_2, and is generated (non-minimally) by four reflections, which act on coordinates as (h_1 \mapsto -h_1, h_2 \mapsto h_2), (h_1 \mapsto h_1, h_2 \mapsto -h_2), (h_1 \mapsto h_2, h_2 \mapsto h_1), (h_1 \mapsto -h_2, h_2 \mapsto h_1). Any invariant quartic must be even in both h_1 and h_2, and invariance under exchange of coordinates means any invariant quartic can be written f_4(h_1, h_2) = ah_1^4 + bh_1^2h_2^2 + ah_2^4. Despite this being a two-dimensional vector space, this contributes only one new fundamental invariant as f_2(h_1,h_2)^2 lies in the space. In this case, there is no unique choice of quartic invariant as any polynomial with b \neq 2a (and a,b not both zero) suffices. ==Generalization to affine Lie algebras==

The above result holds for reductive, and in particular semisimple Lie algebras. There is a generalization to affine Lie algebras shown by Feigin and Frenkel showing that an algebra known as the Feigin–Frenkel center is isomorphic to a W-algebra associated to the Langlands dual Lie algebra ^L\mathfrak{g}. The Feigin–Frenkel center of an affine Lie algebra \hat \mathfrak{g} is not exactly the center of the universal enveloping algebra \mathcal{Z}(U(\hat \mathfrak{g})). They are elements S of the vacuum affine vertex algebra at critical level k = -h^\vee, where h^\vee is the dual Coxeter number for \mathfrak{g} which are annihilated by the positive loop algebra \mathfrak{g}[t] part of \hat \mathfrak{g}, that is, \mathfrak{Z}(\hat \mathfrak{g}) := \{S \in V_{\text{cri}}(\mathfrak{g}) | \mathfrak{g}[t]S = 0\} where V_{\text{cri}}(\mathfrak{g}) is the affine vertex algebra at the critical level. Elements of this center are also known as singular vectors or Segal–Sugawara vectors. The isomorphism in this case is an isomorphism between the Feigin–Frenkel center and the W-algebra constructed associated to the Langlands dual Lie algebra by Drinfeld–Sokolov reduction: \mathfrak{Z}(\hat \mathfrak{g}) \cong \mathcal{W}(^L\mathfrak{g}). There is also a description of \mathfrak{Z}(\hat \mathfrak{g}) as a polynomial algebra in a finite number of countably infinite families of generators, \partial^n S_i, i = 1, \cdots, l, n \geq 0, where S_i, i = 1, \cdots, l have degrees d_i +1, i = 1, \cdots, l and \partial is the (negative of) the natural derivative operator on the loop algebra. ==See also==

Notes on the Harish-Chandra isomorphism ==References==