Dominant weight multiplicities in hybrid characters of Bn, Cn, F4, G2

The characters of irreducible finite dimensional representations of compact simple Lie group G are invariant with respect to the action of the Weyl group W(G) of G. The defining property of the new character-like functions ("hybrid characters") is the fact that W(G) acts differently on the character term corresponding to the long roots than on those corresponding to the short roots. Therefore the hybrid characters are defined for the simple Lie groups with two different lengths of their roots. Dominant weight multiplicities for the hybrid characters are determined. The formulas for"hybrid dimensions"are also found for all cases as the zero degree term in power expansion of the"hybrid characters".


Introduction
Motivation to study properties of characters of irreducible representations of simple Lie groups was justified by their fundamental importance for the representation theory [1,16]. Subsequently one may find the motivation in other properties of the characters, such as the possibility to discretize them uniformly for simple Lie groups of all types and ranks [13,14] and, more generally, the duality between the representation theory and the conjugacy classes of elements of finite order [13,14] in compact simple Lie groups.
Consequently one can discretize a vast class of orthogonal special functions and polynomials related to characters. With a twist of familiar definition of degree of multivariable polynomial, their nodes and the cubature formulas appear naturally and are optimal (called Gaussian) in their efficiency [12,17,18].
Corresponding Fourier transforms of digital data are yet to be exploited. The hybrid characters of this paper lead to new classes of special functions that are orthogonal on lattices of all dimensions and symmetry types. For that to be used, one needs the dominant weight multiplicities of the hybrid characters for every representation that comes into considerations.
The later motivation gains in importance with ever increasing number of digital data that require processing and that are collected today on lattices of various densities and all possible symmetries in dimensions ≥ 2.
In general, the character of a finite dimensional representation of a compact semisimple Lie group (8) is a finite sum of exponential functions with exponents depending through the scalar product λ, x on the points x of the maximal torus of the Lie group and on a weight λ of the weight system of the representation. For many years a practical obstacle in exploiting the characters of other than a few Date: May 1, 2014. lowest representations, was the relative inefficiency of the general algorithm [3] for computing the multiplicities of weights λ of the representation. This obstacle was removed by the fast algorithm [15,2]. Truly large scale applications involving the characters became possible (for example [4]).
In this paper the problem of multiplicities of weights is solved for the recently discovered character-like functions for any simple Lie group with roots of two different lengths. More precisely, the present paper solves the problem of determining the coefficients p λ µ (g) and q λ µ (g) arising in (11) and (12), when the hybrid characters are written as linear combinations of the C-functions. Once those coefficients are known, the discretization of the C-functions [13,14] can be directly extended to the hybrid characters.
The new classes of character-like functions are formed by defining two new homomorphisms from the Weyl group W (g) of the simple Lie algebra g to {±1} which generalize the usual sign function.
In this paper we consider the cases of Lie groups/Lie algebras of types B n , C n of any rank n, as well as F 4 and G 2 . The homomorphisms (1) are defined by distinguishing their values on the reflections with respect to hyperplanes orthogonal to long and short roots of g. Such a possibility was first noted in [11] in the case of C 2 , while considering the 2-variable specialization of the n-variable case [8]. In [12] the hybrid characters are described for all simple Lie algebras with 2-root lengths. The definitions use the homomorphisms (1) denoted by σ L and σ S , Also the G 2 case is found in [17]. For every representation of those groups there are two new character-like functions, see (11) and (12), in addition to their corresponding character (8) functions.
The role of irreducible characters in representation theory of simple Lie groups cannot be overestimated. Therefore it is interesting to investigate the structure and the role of the new 'hybrid' characters that so closely resemble the well known irreducible character functions. Regardless of whether one is able to link them to some algebraic structures, their orthogonality opens new possiblities of applications in Fourier analysis.
Among the properties of the character (8) that are also shared with the hybrid characters (11) and (12), let us point out the following ones: • Completeness as the bases in their respective functional spaces [12].
• Decomposition of products of the functions into their sums [11]. • Discrete orthogonality [5] when summed up over a fragment of a lattice F M (g) in F (g), where density of the lattice is fixed by our choice of M ∈ N.
Properties of the corresponding Fourier transforms are being investigated, see [5,11,12] and references therein.
Another useful application of the hybrid characters is a consequence of their well-defined behaviour at the boundary ∂F of their domain F . While irreducible characters and the C-functions are symmetric at ∂F , the S-functions are skew symmetric at ∂F . The hybrid characters are symmetric and skew symmetric at different parts of ∂F . Hence Fourier expansions of functions with similar boundary behaviour would be most simply done in terms of expansions into series of corresponding hybrid characters.

Preliminaries
Let g be one of the simple Lie algebras The Lie algebras B 2 and C 2 are isomorphic but it is convenient to keep both of them. We adopt the Dynkin numbering of simple roots, see for example [2]. In this section we establish a convenient notation for the root systems and Weyl groups for each of these algebras that we will use in subsequent sections. Let {e 1 , . . . , e n } denote the orthonormal basis (e-basis) of the real Euclidean space R n of dimension n. We express in the e-basis expansions for a base of simple roots (α-basis), and the corresponding fundamental weights (ω-basis) of g. In particular, we know the Cartan matrix C for any g.
where · | · is the usual scalar product in R n . These are well known [1,2] standard attributes of any simple g. The matrix C links the α-and ω-bases, A reflection r ξ with respect to a hyperplane orthogonal to ξ and containing the origin in R n , is given by The Weyl group of g, denoted W(g), is the reflection group generated by {r αi }.
2.1. The Lie algebra B n . The e-basis realization of a base of simple roots and the corresponding fundamental weights of B n is given by simple roots . . . α n−1 = e n−1 − e n α n = e n fundamental weights ω 1 = e 1 ω 2 = e 1 + e 2 . . . ω n−1 = e 1 + · · · + e n−1 ω n = 1 2 (e 1 + · · · + e n ) Let ρ L (respectively ρ S ) denote half the sum of the long (respectively short) positive roots of B n . Then we have Recall that the Weyl group W (B n ) of B n can be viewed as the set of all permutations and sign changes on the subscripts {1, . . . , n} of the e-basis. With this identification, if σ L and σ S denote the long and short sign homomorphisms from W (B n ) to {±1}, we have: . . .
The set of long roots in the root system of B n is a root system equivalent to the root system of D n . The set of short roots of the root system of B n is a root system equivalent to the root system of nA 1 := A 1 ⊕ · · · ⊕ A 1 .

The Lie algebra C n .
The e-basis realization of a base of simple roots and the corresponding fundamental weights of C n is given by simple roots . . . .
Let ρ L (respectively ρ S ) denote half sum of the long (respectively short) positive roots of C n . Then we have Recall that the Weyl group W (C n ) of C n can be viewed as the set of all permutations and sign changes on the subscripts {1, . . . , n} of the e-basis. With this identification, if σ L and σ S denote the long and short sign homomorphisms from W (C n ) to {±1}, we have: . . .
The set of long roots in the root system of C n is a root system equivalent to the root system of nA n . The set of short roots of the root system of C n is a root system equivalent to the root system of D n .

The Lie algebra F 4 .
The e-basis realization of a base of simple roots and the corresponding fundamental weights of F 4 is given by fundamental weights Let ρ L (respectively ρ S ) denote one half the sum of the long (respectively short) positive roots of F 4 , then we have The Weyl group W(F 4 ) of F 4 can be viewed as the set of all permutations and sign changes on the subscripts {1, 2, 3, 4} together with the maps sending the basis {e 1 , . . . , e 4 } to an orthogonal basis of vectors in { 1 2 (±e 1 ± e 2 ± e 3 ± e 4 )}. If σ L and σ S denote the long and short sign homomorphisms from W(F 4 ) to {±1} we have: The set of long roots in the root system of F 4 is a root system equivalent to the root system of D 4 . The set of short roots of the root system of F 4 is a root system equivalent to the root system of D 4 .
The e-basis realization of a base of simple roots and the corresponding fundamental weights of G 2 is given by fundamental weights Let ρ L (respectively ρ S ) denote one half the sum of the long (respectively short) positive roots of G 2 , then we have Recall that the Weyl group W(G 2 ) of G 2 is generated by the set of all permutations and minus the identity on the subscripts {1, 2, 3}. With this identification if σ denotes the usual sign function on W(G 2 ) and σ L , σ S denote the long and short sign homomorphisms from W(G 2 ) to {±1} we have: The set of long roots in the root system of G 2 is a root system equivalent to the root system of A 2 . The set of short roots of the root system of G 2 is a root system equivalent to the root system of A 2 .

Hybrid character functions
Let P + (g) denote the dominant integral weights of g, then for any λ ∈ P + (g), the W -invariant C-functions and the W -skew invariant S-functions are defined as follows, where σ(µ) = σ(φ) when µ = φ · (λ + ρ). The irreducible character function is then given by S ρ (g)(x) and the Weyl character formula expresses the character function as a linear combination of C-functions where, for each dominant integral weight µ of g, m λ µ (g) is the dominant weight multiplicity. It denotes the dimension of the µ weight space in the simple g module having highest weight λ.
The corresponding hybrid character functions are given by where the summations range over the dominant integral weights µ of g. While the coefficients m λ µ (g) in the expansion of the irreducible characters, χ λ (g)(x), are calculated by the known algorithm [15] and are tabulated in [2], the coefficients p λ µ (g) and q λ µ (g) are studied here for the first time.

Long root Hybrid Character Functions
In this section we express the coefficients p λ µ (g) of (11) in terms of the multiplicities m λ µ of (8). Since m λ µ can be efficiently calculated [15,2], we have effectively determined the values of p λ µ (g). Let g denote one of the simple Lie algebras B n , C n , F 4 , G 2 . Let G S denote the subgroup of the Weyl group W (g) generated by the reflections r α where α ranges over the short simple roots of g. We now list a number of properties of this subgroup. 1: By the definition of the Weyl group W (g), we have that G S is a transversal of the Weyl group W (Φ L ) of the long root subsystem Φ L in the Weyl group W (g)i.e. W (g) = φ∈GS W (Φ L ) · φ.
2: By the definition of the sign homomorphism σ L , we have that σ L (φ) = +1 for all φ ∈ G S . 3: There exists a base of simple roots ∆ L in Φ L such that each φ ∈ G S permutes these simple roots. In fact we have  For each case let {ω ′ i } denote the fundamental weights corresponding to the base of simple roots ∆ L . In the table below we provide the expansions for dominant integral weights λ of g in terms of the {ω ′ i } basis. In particular we observe that each dominant integral weight of g is a dominant integral weight of Φ L . In fact we have Table 1. Dominant integral weight λ in ω-basis for the Lie algebras g is written in ω ′ i -basis for Φ L .

4:
Since each φ ∈ G S permutes the base of simple roots ∆ L , φ also permutes the associated fundamental weights {ω ′ i } of Φ L and hence if λ is a dominant integral weight of g then φ · λ is also a dominant integral weight of Φ L . In particular we have that φ · ρ L = ρ L .
Using the properties of G S listed above we have that for any dominant weight λ of g and finally denotes the multiplicity of the dominant integral weight ν in the simple module of the Lie algebra associated with Φ L having highest weight µ. Using this we conclude that Example 1. Consider the hybrid character function χ L λ (G 2 )(x) where λ = 2ω 1 + 2ω 2 . If ω ′ i denote the fundamental weights with respect to ∆ L we have that N 1 ω + N 2 ω 2 = N 1 ω ′ 1 + (N 1 + N 2 )ω ′ 2 and r β · (N 1 ω 1 + N 2 ω 2 ) = (N 1 + N 2 )ω ′ 1 + N 1 ω ′ 2 . For notational convenience we represent the dominant integral weights using coordinates with respect to the fundamental weights of the appropriate algebras. Applying the formula given in (13) we obtain These calculations imply that This formula can be verified by multiplying the right hand side of this expansion by S L ρ L (G 2 )(x) and comparing with the function S L ρ L +λ (G 2 )(x).

Short root Hybrid Character Functions
Recall from section 2 that, if g denotes B n , C n , F 4 or G 2 , the short root hybrid character functions can be expressed as a linear combination of the orbit functions Our goal in this section is to determine the coefficients q λ µ (g) in terms of the readily calculated multiplicities m λ µ . We follow the same approach that was used for the long root hybrid character functions.
Let G L denote the subgroup of the Weyl group W (g) generated by the reflections r α where α ranges over the long simple roots of g. We now list a number of properties of this subgroup.
1: By the definition of the Weyl group W (g) we have that G L is a transversal of the Weyl group W (Φ S ) of the short root subsystem Φ S in the Weyl group W (g)i.e. W (g) = φ∈GL W (Φ S ) · φ.
2: By the definition of the sign homomorphism σ S we have that σ S (φ) = +1 for all φ ∈ G L .
3: There exists a base of simple roots ∆ S in Φ S such that each φ ∈ G L permutes these simple roots. In fact we have Bn nA 1 rα 1 , · · · , rα n−1 {e 1 , · · · , en} Cn Dn rα n {e 1 − e 2 , · · · , e n−1 − en, e n−1 + en} For each case let {ω ′′ i } denote the fundamental weights corresponding to the base of simple roots ∆ S . In the table below we provide the expansions for dominant integral weights λ of g in terms of the {ω ′′ i } basis. In particular we observe that each dominant integral weight of g is a dominant integral weight of Φ S . In fact we have Table 2. Dominant integral weight λ in ω-basis for the Lie algebras g is written in ω ′′ i -basis for Φ S .

4:
Since each φ ∈ G L permutes the base of simple roots ∆ S , φ also permutes the associated fundamental weights {ω ′′ i } of Φ S and hence if λ is a dominant integral weight of g then φ · λ is also a dominant integral weight of Φ S . In particular we have that φ · ρ S = ρ S .
Using the properties of G L listed above we have that for any dominant weight λ of g and finally where m µ ν (Φ S ) denotes the multiplicity of the dominant integral weight ν in the simple module of the Lie algebra associated with Φ S having highest weight µ. Using this we conclude that Example 2.

Dominant weight multiplicities for the hybrid characters
In the table below we summarize the dominant weight multiplicities for each of the hybrid characters. Table 3. Dominant weight multiplicities p λ µ (g) and q λ µ (g) for hybrid characters χ L (g) and χ S (g) of simple Lie algebra g. They are expressed in terms of multiplicities of dominant weights for certain reducible representations of the Lie algebras of long and short roots subsystems of g. In the line for the algebra F 4 , G L denotes the subalgebra of W (F 4 ) generated by rα, r β and G S denotes the subalgebra of W (F 4 ) generated by rγ , r δ .

7.
Interpretations and Weyl formulas for χ L λ (g)(0) and χ S λ (g)(0) In the case of the irreducible character function χ λ (g)(x) it is well known that χ λ (g)(0) is equal to the dimension of the simple g module having highest weight λ. In addition we also have the Weyl formula χ λ (g)(0) = (λ + ρ, α) (ρ, α) where the products range over the positive roots of the g root system.
In this section we provide "dimensional" interpretations and Weyl type formulas for χ L λ (g)(0) and χ S λ (g)(0). We will start with the long root hybrid character functions.
Recall that for the long root hybrid character functions we have Since the dimension of the simple Φ L module with highest weight λ, denoted L λ (Φ L ), is equal to the dimension of the simple Φ L module with highest weight φ · λ we conclude that It follows immediately then that where the products range over the positive long roots α of g.
We have analogous results for the short root characters functions. In fact, recall that for the short root hybrid character functions we have Since the dimension of the simple Φ S module with highest weight λ, denoted L λ (Φ S ), is equal to the dimension of the simple Φ S module with highest weight φ · λ for any φ ∈ G L , we conclude that It follows immediately then that χ S λ (g)(0) = |G L · λ| (λ + ρ S (g), α) (ρ S (g), α) where the products range over the positive short roots α of g.

Concluding remarks
With the determination of the dominant weight multiplicities for the hybrid characters, all but the most curious property of these functions have been revealed. It remains to be seen whether these functions can be interpreted as characters of some algebraic structures.
Combining pairs of the functions C, S forms multivariable generalizations of the common exponential functions [9]. Combining pairs of C, S S L , and S S functions, the number of families of E-functions is increased from one to six families [7].
Discretization of the families of these functions hinges on discretization of the C-functions [6,5], which is now more that 20 years old [13].
Another class of hybrid characters arises for simple Lie algebras with non-trivial automorphism of their Coxeter-Dynkin diagram. They will be defined and studied elsewhere [10].