NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS
|
|
- Peter Owen
- 6 years ago
- Views:
Transcription
1 Séminaire Lotharingien de Combinatoire 54 (2006, Article B54Ar NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS FRANÇOIS DESCOUENS AND ALAIN LASCOUX À Adriano Garsia, en toute amitié Abstract. Using the action of the Yang Baxter elements of the Hecke algebra on polynomials, we define two bases of polynomials in n variables. The Hall Littlewood polynomials are a subfamily of one of them. For q = 0, these bases specialize to the two families of classical Key polynomials (i.e., Demazure characters for type A. We give a scalar product for which the two bases are adjoint to each other. 1. Introduction We define two linear bases of the ring of polynomials in x 1,..., x n, with coefficients in q. These polynomials, which we call q-key polynomials, and denote by U v, Ûv, v N n, specialize at q = 0 into key polynomials K v, K v. The polynomials U v are symmetric polynomials for v such that v 1 v n. In that case, U v is equal to the Hall Littlewood polynomial P λ, λ being the partition [v n,..., v 1 ]. Our main tool is the Hecke algebra H n (q of the symmetric group, acting on polynomials by deformation of divided differences. This algebra contains two adjoint bases of Yang Baxter elements (Theorem 2.1. The q-key polynomials are the images of dominant monomials under these Yang Baxter elements (Def These polynomials are clearly two linear bases of polynomials, since the transition matrix to monomials is uni-triangular. We show in the last section that {U v } and {Ûv} are two adjoint bases with respect to a certain scalar product reminiscent of Weyl s scalar product on symmetric functions. We have intensively used MuPAD (package MuPAD-Combinat [13] and Maple (package ACE [12]. When this article was written, the authors were not aware of the work of Bogdan Ion [3, 4], who shows how to obtain, from nonsymmetric Macdonald polynomials, Demazure characters and their adjoint basis for an affine Kac Moody algebra. Hence our own work should be considered as the part of the theory of nonsymmetric Macdonald polynomials for type A which is accessible using only divided differences, and not requiring double affine Hecke algebras. 2. The Hecke algebra H n (q Let H n (q be the Hecke algebra of the symmetric group S n, with coefficients the rational functions in a parameter q. It has generators T 1,..., T n 1 satisfying the braid relations { T i T i+1 T i = T i+1 T i T i+1, (1 T i T j = T j T i ( j i > 1,
2 2 FRANÇOIS DESCOUENS AND ALAIN LASCOUX and the Hecke relations (T i + 1(T i q = 0, 1 i n 1 (2 For a permutation σ in S n, we denote by T σ the element T σ = T i1... T ip where (i 1,..., i p is any reduced decomposition of σ. The set {T σ : σ S n } is a linear basis of H n (q Yang Baxter bases. Let s 1,..., s n 1 denote the simple transpositions, l(σ denote the length of σ S n, and let ω be the permutation of maximal length. Given any set of indeterminates u = (u 1,..., u n, let H n (q[u 1,..., u n ] = H n (q C[u 1,..., u n ]. One defines recursively a Yang Baxter basis (Yσ u σ Sn, depending on u, by ( Yσs u i = Yσ u 1 q T i +, when l(σs i > l(σ, (3 1 u σi+1 /u σi starting with Y u id = 1. Let ϕ be the anti-automorphism of H n (q[u 1,..., u n ] such that { ϕ(tσ = T σ 1, ϕ(u i = u n i+1. We define a bilinear form <, > on H n (q[u 1,..., u n ] by < h 1, h 2 > := coefficient of T ω in h 1 ϕ(h 2. (4 The main result of [8, Th. 5.1] is the following duality property of Yang Baxter bases. Theorem 2.1. For any set of parameters u = (u 1,..., u n, the basis adjoint to (Yσ u σ Sn with respect to <, > is the basis (Ŷ σ u σ Sn = (Yσ ϕ(u σ Sn. More precisely, one has < Y u σ, Ŷ u ν >= δ λ, νω for all σ, ν S n. Let us fix from now on the parameters u to be u = (1, q, q 2,..., q n 1. Write H n for H n (q[1, q,..., q n 1 ]. In that case, the Yang Baxter basis (Y σ σ Sn and its adjoint basis (Ŷσ σ Sn are defined recursively, starting with Y id = 1 = Ŷid, by Y σsi = Y σ (T i + 1/[k] q and Ŷσs i = Ŷσ ( Ti + q k 1 /[k] q, l(σsi > l(σ, (5 with k = σ i+1 σ i and [k] q = (1 q k /(1 q. Notice that the maximal Yang Baxter elements have another expression [2]: Y ω = T σ and Ŷω = ( q l(σω T σ. σ S n σ S n
3 NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS 3 Example 2.2. For H 3, the transition matrix between {Y σ } σ S3 and {T σ } σ S3 is q q+1 1 q q writing for 0. Each column represents the expansion of some element Y σ Action of H n on polynomials. Let Pol be the ring of polynomials in the variables x 1,..., x n with coefficients the rational functions in q. We write monomials exponentially: x v = x v x vn n, v = (v 1,..., v n Z n. A monomial x v is dominant if v 1... v n. We extend the natural order on partitions to elements of Z n by n u v if and only if (v i u i 0 for all k > 0. i=k For any polynomial P in Pol, we call leading term of P all the monomials (multiplied by their coefficients which are maximal with respect to this partial order. This order is compatible with the right-to-left lexicographic order, that we shall also use. We also use the classiccal notation n(v = 0v 1 + 1v 2 + 2v (n 1v n. Let i be an integer such that 1 i n 1. As an operator on Pol, the simple transposition s i acts by switching x i and x i+1, and we denote this action by f f s i. The i-th divided difference i and the i-th isobaric divided difference π i, written on the right of the operand, are the following operators: i : f f i := f f s i, π i : f f π i := x if x i+1 f si. x i x i+1 x i x i+1 The Hecke algebra H n has a faithful representation as an algebra of operators on Pol given by the following equivalent formulas [2, 10]: T i = i 1 = (x i qx i+1 i 1 = (1 qx i+1 /x i π i 1, Y si = i = (x i qx i+1 i = (1 qx i+1 /x i π i, Ŷ si = i = i (1 + q = i (x i+1 qx i. The Hecke relations imply that 2 i = (1 + q i, 2 i = (1 + q i and i i = i i = 0. One easily checks that the operators R i (a, b and S i (a, b defined by R i (a, b = i q [b a 1] q [b a] q and S i (a, b = i + q [b a 1] q [b a] q satisfy the Yang Baxter equation R i (a, b R i+1 (a, c R i (b, c = R i+1 (c, b R i (a, c R i+1 (a, b. (6 We have implicitly used these equations in the recursive definition of Yang Baxter elements (5.,
4 4 FRANÇOIS DESCOUENS AND ALAIN LASCOUX This realization comes from geometry [5], where the maximal Yang Baxter elements are interpreted as Euler Poincaré characteristic for the flag variety of GL n (C. This gives in particular another expression for the maximal Yang Baxter elements: Y ω = (x i qx j ω, Ŷ ω = ω (x j qx i. (7 Example 2.3. Let σ = (3412 = s 2 s 3 s 1 s 2. The elements Y 3412 and Ŷ3412 can be written as ( Y 3412 = 2 3 q ( 1 q ( 2 q + q2, 1 + q 1 + q 1 + q + q ( 2 Ŷ 3412 = q ( 1 + q ( 2 + q + q q 1 + q 1 + q + q 2 We shall now identify the images of dominant monomials under the maximal Yang Baxter operators with Hall Littlewood polynomials. Recall that there are two proportional families {P λ } and {Q λ } of Hall Littlewood polynomials. Given a partition λ = [λ 1, λ 2,..., λ r ] = (0 m 0, 1 m 1,..., n mn, with m 0 = n r = n m 1 m n, then Q λ = m i (1 q j P λ. 1 i n j=1 Let moreover d λ (q = 0 i n mi j=1 [j] q. The definition of Hall Littlewood polynomials with raising operators [9], [11, III.2] can be rewritten, thanks to (7, as follows. Proposition 2.4. Let λ be a partition of n. Then one has x λ Y ω d λ (q 1 = P λ (x 1,..., x n ; q. (8 The family of the Hall Littlewood functions {Q λ } indexed by partitions can be extended to a family {Q v : v Z n }, using the following relations due to Littlewood ([9], [11, III.2.Ex. 2]: Q (...,ui,u i+1,... = Q (...,ui+1 1,u i +1,...+q Q (...,ui+1,u i,...+q Q (...,ui +1,u i+1 1,... if u i < u i+1, (9 Q (u1,...,u n = 0 if u n < 0. (10 By iteration of the first relation, one can write any Q u in terms of Hall Littlewood functions indexed by decreasing vectors v such that v = u. Consequently, for any u with u = 0, Q u must be proportional to Q = 1, i.e., Q u is a constant that one can obtain as the specialization Q u (0 (i.e., the specialization of Q u at x 1 = = x n = 0. The final expansion of Q u, after iterating (9 many times, is not easy to predict. In particular, one needs to know whether Q u 0. For that purpose, we shall isolate a distinguished term in the expansion of Q u. Given a sum λ Part c λ(tq λ, call top term the image of the leading term c µ (tq µ after restricting each coefficient c µ (t to its term in highest degree in t. Given u Z n, define recursively p(u Part { } by if u [0,..., 0] then p(u = ; if u 2 u 3 u n > 0 then p(u is the maximal partition of length n, of weight u (eventual zero terminal parts are suppressed;
5 p(u = p ( u p([u 2,..., u n ]. NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS 5 Lemma 2.5. Let u Z n. Then if u [0,..., 0] then Q u = 0, if u [0,..., 0], let v = p(u. Then Q u 0 and its leading term is q n(u n(v Q v. Proof. Given any decomposition u = u.u, one can apply (9 to u and write Q u as a linear combination of terms Q u v with v decreasing, with v = u. Therefore, if u = 0, the last components of such v are negative, all Q u v are 0, and Q u = 0. If u [0,..., 0] and u is not a partition, write u = [..., a, b,...], with a, b the rightmost increase in u. We apply relation (9, assuming the validity of the lemma for the three terms on the right-hand side: Q...,a,b,... = Q...,b 1,a+1,... + qq...,b,a,... + qq...,a+1,b 1,... Notice that the first two terms have not necessarily an index [0,..., 0], but that [..., a + 1, b 1,...] [0,..., 0]. In any case, it is clear that p([..., b 1, a + 1,...] = p 1 v, p([..., b, a,...] = p 2 v, and p([..., a + 1, b 1,...] = v. Restricted to top terms, the expansion of the right-hand side in the basis Q λ becomes ((q n(u+a+1 b n(v + Q v + q ((q n(u+a b n(v + Q v + q ((q n(u 1 n(v + Q v, where one or two of the first two terms may be replaced by 0, depending on the value of p 1, or p 2. Finally, the top term of the right-hand side is q n(u n(v Q v, as desired. Example 2.6. For v = [ 2, 3, 2], we have Q 2,3,2 = (q 3 q 2 Q 3 + (q 5 + q 4 q 3 2q 2 + 1Q 21 + (q 4 q 3 q 2 + qq 111, and the top term is q 4 Q 111, since 4 = (0( 2 + 1(3 + 2(2 (0(1 + 1(1 + 2(1 and [1, 1, 1] > [2, 1], [1, 1, 1] > [3]. Notice that the coefficient of Q 21 is of higher degree. 3. q-key Polynomials In this section, we show that the images of dominant monomials under the Yang Baxter elements Y σ (respectively Ŷσ, σ S n constitute two bases of Pol, which specialize to the two families of Demazure characters. We have already identified in the preceding section the images of dominant monomials under Y ω as Hall Littlewood polynomial, using the relation between Y ω and ω. The other polynomials are new Two bases. The dimension of the linear span of the image of a monomial x v under all permutations depends upon the stabilizer of v. We meet the same phenomenon when taking the images of a monomial under Yang Baxter elements. Let λ = [λ 1,..., λ n ], λ 1... λ n 0, be a partition (adding eventual parts equal to 0. Denote its orbit under permutations of components by O(λ. Given any v in O(λ, let ζ(v be the permutation of maximal length such that λ ζ(v = v, and let η(v be the permutation of minimal length such that λ η(v = v. These two permutations are representatives of the same coset of S n modulo the stabilizer of λ.
6 6 FRANÇOIS DESCOUENS AND ALAIN LASCOUX U 210 = x U 120 = x x 210 U 201 = x x q/(1+q 1 q/(1+q U 102 = x (1 qx q x120 + x q x210 U 021 = x (1 qx q x201 + x q x U 012 = +x ( q q + 2x x x x 210 Figure 1. q-key polynomials generated from x 210. Definition 3.1. For all v in N n, the q-key polynomials U v and Ûv are the following polynomials: ( 1 U v (x; q = d λ (q xλ Y ζ(v, Û v (x; q = x λ Ŷ η(v, where λ is the dominant reordering of v. In particular, if v is (weakly increasing, then ζ(v = ω and U v is a Hall Littlewood polynomial. Lemma 3.2. The leading term of U v and Ûv is x v. Consequently, the transition matrix between the U v (respectively the Ûv and the monomials is upper unitriangular with respect to the right-to-left lexicographic order. Proof. Let k be an integer and u be a weight such that u k > u k+1. Suppose by induction that x u is the leading term of U u. Recall the the explicit action of k is (concentrating only on the two variables x k, x k+1 x βα k = x βα + (1 t(x β 1,α x α+1,β 1 + x αβ, β > α x ββ k = (1 + tx ββ x αβ k = tx βα + (t 1(x β 1,α x α+1,β 1 + tx αβ, α < β. From these formulas, it is clear that for any constant c, the leading term of x u ( k + c is (x u s k, and, for any v such that v < u, all the monomials in x v ( k + c are strictly less (with respect to the partial order than (x u s k. Example 3.3. For n = 3, Figures 1 and 2 show the case of a regular dominant weight x 210, and Figures 3 and 4 correspond to a case, x 200, where the stabilizer is not trivial. In this
7 NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS 7 bu 210 = x bu 120 = x 120 qx 210 bu 201 = x 201 qx q 1+q 1 + q 1+q bu 102 = x (1 qx 111 qx 201 q2 q+1 x120 + q3 q+1 x210 1 bu 012 = (1 + qb qk b 120 bu 021 = x (1 qx 111 qx 120 q2 q+1 x201 + q3 q+1 x210 2 A Figure 2. Dual q-key polynomials generated from x 210. x 200 /(1 + q 2 1 U 200 = x q/(1+q 1 q/(1+q B U 020 = x 020 qx (1 qx U 002 = (1 qx (1 qx x q2 (q 1 q + 1 x110 q2 q + 1 x020 q2 1 + q x200 Figure 3. q-key polynomials generated from x 200 /(1 + q.
8 8 FRANÇOIS DESCOUENS AND ALAIN LASCOUX 1 bu 020 = (1 qx x q + 1 x200 bu 200 = x q/(1+q bu 002 = (1 qx (1 qx x (1 qx x x Figure 4. Dual q-key polynomials generated from x q/(1+q last case, the polynomials belonging to the family are framed, the extra polynomials denoted A, B do not belong to the basis Specialization at q = 0. The specialization at q = 0 of the Hecke algebra is called the 0-Hecke algebra. The elementary Yang Baxter elements specialize in that case to Y si = T i + 1 = i x i i = π i, (11 Ŷ si = T i = i i x i+1 = π i. (12 Definition 3.4 (Key polynomials. Let v N n. The Key polynomials K v and K v are defined recursively, starting with K v = x v = K v if x v dominant, by K vsi = K v π i, Kvsi = K v π i, for i such that v i > v i+1. In particular, the subfamily (K v for v increasing is the family of Schur functions in x 1,..., x n. Demazure [1] defined Key polynomials (using another terminology for all the classical groups, and not only for the type A n 1 which is our case. Lemma 3.2 specializes to the following lemma. Lemma 3.5. The transition matrix between the U v and the K v (respectively from Ûv to K v is upper unitriangular with respect to the lexicographic order.
9 NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS 9 Example 3.6. For n = 3, the transition matrix between {U v } and {K v } in weight 3 is (reading a column as the expansion of some U v q q q q q q q (q + 1 q , q and the transition matrix between {Ûv} and { K v } is q q q q q q q 3 q 2 q 3 q3 q 2 q 2 q (q+ 1 q q q q 2 q q q q (q + 1 q q q q q q q Orthogonality properties for the q-key polynomials We show in this section that the q-key polynomials U v and Ûv are two adjoint bases with respect to a certain scalar product A scalar product on Pol. For any Laurent series f = i=k f ix i, we denote by CT x (f the coefficient f 0. Let Θ := 1 x i /x j. 1 qx i /x j Therefore, for any Laurent polynomial f(x 1,..., x n, the expression CT (f Θ := CT xn ( CTxn 1 (... (CT x1 (f Θ... is well defined. Let us use it to define a bilinear form (, q on Pol by ( (f, g q = CT f g 1 x i /x j, (13 1 qx i /x j where is the automorphism defined by x i 1/x n+1 i for 1 i n.
10 10 FRANÇOIS DESCOUENS AND ALAIN LASCOUX Since Θ is invariant under, the form (, q is symmetric. Under the specialization q = 0, the previous scalar product becomes (f, g := (f, g ( q=0 = CT f g (1 x i /x j. (14 We can also write (f, g q = (f, gω with Ω = (1 qx i/x j 1. Notice that, interpreting Schur functions as characters of unitary groups, Weyl defined the scalar product of two symmetric functions f, g in n variables as the constant term of 1 n! f g (1 x i /x j. i,j: i j Essentially, Weyl takes the square of the Vandermonde, while we are taking the quotient of the Vandermonde by the q-vandermonde. We now examine the compatibility of i and i with the scalar product. Lemma 4.1. For i such that 1 i n 1, i (respectively i is adjoint to n i (respectively n i with respect to (, q. Proof. Since π i (respectively π i is adjoint to π n i (respectively π n i with respect to (, (see [7] for more details, we have (f i, g q = (f, g Ω π n i (1 qx n i+1 /x n i = (f, g (1 qx n i+1/x n i (1 qx n i+1 /x n i Ω π n i(1 qx n i+1 /x n i. Since the polynomial Ω/(1 qx n i+1 /x n i is symmetric in the indeterminates x n i and x n i+1, it commutes with the action of π n i. Therefore (f i, g q = (f, g (1 qx n i+1 /x n i π n i Ω = (f, g n i q. This proves that i is adjoint to n i, and, equivalently, that i is adjoint to n i. We shall need to characterize whether the scalar product of two monomials vanishes or not. Notice that, by definition, (x u, x v = (x u vω, 1, so that one of the two monomials can be taken equal to 1. Lemma 4.2. For any u Z n, we have (x u, 1 q 0 if and only if u = 0 and u [0,... 0]. In that case, (x u, 1 q = Q u (0. Proof. Let us first show that the scalar products (x u, 1 q satisfy the same relations (9 as the Hall Littlewood functions Q u. Let k be a positive integer less than n. Write x k = y, x k+1 = z. Any monomial x v can be written as x t y a z b, with x t of degree 0 in x k, x k+1. The product x t (y a z b + y b z a (z qy 1 x i /x j 1 qx i /x j
11 is equal to NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS 11 (y a z b + y b z a (z qy 1 y/z 1 qy/z F 1 = (y a z b + y b z a (z yf 1, with F 1 symmetric in y, z. The constant term CT xk 1... CT x1 (x t (y a z b + y b z a F 1 = F 2 is still symmetric in x k, x k+1. Therefore ( ( CT y CT z (z yf2 is null, and finally CT ( This relation can be rewritten as x t (y a z b + y b z a (z qy 1 x i /x j 1 qx i /x j = 0. (y a z b+1 x t, 1 q + (y b+1 z a+1 x t, 1 q q(y b+1 z a x t, 1 q q(y a+1 z b x t, 1 q = 0, which is indeed relation (9. On the other hand, if u n < 0, then there is no term of degree 0 in x n in (1 x i /x j (1 qx i /x j 1, x u and (x u, 1 = 0, so that rule (10 is also satisfied. As a consequence, the function u Z n (x u, 1 is determined by the values (x λ, 1, λ a partition, as the function u Z n Q u is determined by its restriction to partitions. However, for degree reasons, (x λ, 1 = 0 if λ 0. Since (x 0, 1 = 1, one has finally that (x u, 1 = Q u (0. Example 4.3. For u = [1, 0, 3] and v = [0, 1, 3], (x 103, x 013 q = (x 2, 1,3, 1 q = Q 2, 1,3 (0 = q 2 (1 q(1 q Duality between (U v v N n and (Ûv v N n. Using that i is adjoint to n i, we are going to prove in this section that U v and Ûv are two adjoint bases of Pol with respect to the scalar product (, q. We first need some technical lemmas, to allow an induction on the q-key polynomials, starting with dominant weights. Lemma 4.4. Let i be an integer such that 1 i n 1, let f 1, f 2, g 1 be three polynomials and b be a constant such that f 2 = f 1 ( i + b, (f 1, g 1 q = 0 and (f 2, g 1 q = 1. Then the polynomial g 2 = g 1 ( n i b is such that (f 1, g 2 q = 1, (f 2, g 2 q = 0. Proof. Using that n i is adjoint to i and that i i = 0, one has (f 2, g 2 q = (f 1 ( i + b, g 1 ( n i b q = (f 1 ( i + b ( i b, g 1 q = (f 1 ( b(1 + q b 2, g 1 q = 0.
12 12 FRANÇOIS DESCOUENS AND ALAIN LASCOUX Similarly, we have (f 1, g 2 q = (f 1, g 1 ( n i b q = (f 1, g 1 ( n i 1 q b q = (f 1 ( i + b 1 q 2b, g 1 q = (f 2, g 1 q = 1. Corollary 4.5. Let i be an integer such that 1 i n 1, let V be a vector space such that V = V < f 1, f 2 > with f 2 = f 1 ( i + b and V stable under i, and let g 1 be an element with (f 1, g 1 q = 0 and (f 2, g 1 q = 1 and (v, g 1 q = 0, for all v V. Then the element g 2 = g 1 ( n i b satisfies (f 2, g 2 q = 0 and (f 1, g 2 q = 1 and (v, g 2 q = 0, for all v V. Lemma 4.6. Let u and λ be two dominant weights, and let v and µ be two permutations of u and λ, respectively. If (x v, x λ 0 and (x u, x µ 0 then u = λ, v = λω and µ = uω. Proof. Using Lemma 4.2, the conditions (x v, x λ q 0 and (x u, x µ q 0 imply two systems of inequalities: v n λ 1, µ n u 1, v n + v n 1 λ 1 + λ 2, µ n + µ n 1 u 1 + u 2, and v n v 1 λ λ n. µ n µ 1 u u n. The first inequalities of the systems give v n λ 1 µ n u 1 v n. Consequently u 1 = λ 1 = v n = u n. By induction, using the other inequalities, one gets the lemma. Corollary 4.7. Let v be a weight and λ be a dominant weight. Then, (U v, x λ q = δ v,λω. Proof. Let u be the decreasing reordering of v, and let σ be the permutation such that U v = x u Y σ. By Lemma 4.6 and the fact that the leading term of U v is x v, the condition (x u Y σ, x λ q 0 implies (x v, x λ q 0. By writing σ for the adjoint of Y σ with respect to (, q, we have (x u Y σ, x λ q = (x u, x λ σ q 0. As the leading term of x λ σ is x λσ, where λσ is a permutation of λ, we obtain that (x u, x λσ q 0. Using Lemma 4.6 we conclude that v = λω. Our main result is the following duality property between U v and Ûv. Theorem 4.8. The two sets of polynomials (U v v N n and (Ûv v N n are two adjoint bases of Pol with respect to the scalar product (, q. More precisely, they satisfy (U v, Ûuω q = δ v,u.
13 NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS 13 Proof. Let λ be a dominant weight, and let V be the vector space spanned by the U v for v in O(λ. The idea of the proof is to build by iteration the elements (Ûv v O(λ, starting with x λ = Ûλ. By definition of the q-key polynomials, there exists a constant b such that U λω = U λωs1 ( 1 + b. One can write the decomposition V = V < U λω, U λωs1 >, with V invariant under the action of 1. Using the previous lemma, we have that (U λω, x λ q = (U λω, Ûλ q = 1 and (U λωσ1, x λ q = (U λωσ1, Ûλ q = 0. Consequently, by Lemma 4.5, the function x λ ( n 1 b = Ûλs 1 satisfies the duality conditions (U λω, Ûλs 1 q = 0, (U λωσ1, Ûλs 1 q = 1 and (v, Ûλs 1 q = 0 for all v V. By iteration, this proves that for all u, v, one has (U v, Ûuω q = δ v,u. This theorem implies that the space of symmetric functions and the linear span of dominant monomials are dual of each other, the Hall Littlewood functions being the basis dual to dominant monomials. We finally mention that in the case q = 0, one has a reproducing kernel, as stated by the following theorem of [6], which gives another implicit definition of the scalar product (,. Theorem 4.9. The two families of polynomials (K v v N n and ( K v v N n satisfy the Cauchy formula K u (x K 1 uω (y =. (15 1 x u N n i+j n+1 i y j Acknowledgment We thank Bogdan Ion for pointing out in detail the connection with the theory of nonsymmetric Macdonald polynomials. References [1] M. Demazure. Une nouvelle formule des caractères, Bull. Sci. Math. 98 (1974, [2] G. Duchamp, D. Krob, A. Lascoux, B. Leclerc, T. Scharf and J.-Y. Thibon. Euler Poincaré characteristic and polynomial representations of Iwahori Hecke algebras, Publ. RIMS Kyoto 31 (1995, [3] B. Ion. Standard bases for affine parabolic modules and nonsymmetric Macdonald polynomials, arχiv:math.qa/ [4] B. Ion. Nonsymmetric Macdonald polynomials and Demazure characters, arχiv:math.qa/ [5] A. Lascoux About the y in the χ y -characteristic of Hirzebruch, Contemporary Mathematics 241 (1999, [6] A. Lascoux. Double crystal graphs, Studies in Memory of Issai Schur, Progress in Math. 210, Birkhäuser, Boston, 2003, pp [7] A. Lascoux. Symmetric functions and combinatorial operators on polynomials, CBMS Regional Conference Series in Mathematics, vol. 99, Amer. Math. Soc., Providence, RI, [8] A. Lascoux, B. Leclerc and J.Y. Thibon. Flag varieties and the Yang Baxter equation, Letters in Math. Phys. 40 (1997, [9] D. E. Littlewood. On certain symmetric functions, Proc. London Math. Soc. 43 (1961, [10] G. Lusztig. Equivariant K-theory and representations of Hecke algebras, Proc. Amer. Math. Soc. 94 (1985,
14 14 FRANÇOIS DESCOUENS AND ALAIN LASCOUX [11] I. G. Macdonald. Symmetric functions and Hall polynomials, 2nd edition, Oxford University Press, Oxford, [12] Package ACE [13] Package MuPAD-Combinat
JOSEPH ALFANO* Department of Mathematics, Assumption s y i P (x; y) = 0 for all r; s 0 (with r + s > 0). Computer explorations by
A BASIS FOR THE Y SUBSPACE OF DIAGONAL HARMONIC POLYNOMIALS JOSEPH ALFANO* Department of Mathematics, Assumption College 500 Salisbury Street, Worcester, Massachusetts 065-0005 ABSTRACT. The space DH n
More informationq-alg/ Mar 96
Integrality of Two Variable Kostka Functions Friedrich Knop* Department of Mathematics, Rutgers University, New Brunswick NJ 08903, USA knop@math.rutgers.edu 1. Introduction q-alg/9603027 29 Mar 96 Macdonald
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More informationA RELATION BETWEEN SCHUR P AND S. S. Leidwanger. Universite de Caen, CAEN. cedex FRANCE. March 24, 1997
A RELATION BETWEEN SCHUR P AND S FUNCTIONS S. Leidwanger Departement de Mathematiques, Universite de Caen, 0 CAEN cedex FRANCE March, 997 Abstract We dene a dierential operator of innite order which sends
More informationA Generating Algorithm for Ribbon Tableaux and Spin Polynomials
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 9:, 007, 5 58 A Generating Algorithm for Ribbon Tableaux and Spin Polynomials Francois Descouens Institut Gaspard Monge, Université de Marne-la-Vallée
More informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More informationOn Tensor Products of Polynomial Representations
Canad. Math. Bull. Vol. 5 (4), 2008 pp. 584 592 On Tensor Products of Polynomial Representations Kevin Purbhoo and Stephanie van Willigenburg Abstract. We determine the necessary and sufficient combinatorial
More informationNotes on Creation Operators
Notes on Creation Operators Mike Zabrocki August 4, 2005 This set of notes will cover sort of a how to about creation operators. Because there were several references in later talks, the appendix will
More informationCatalan functions and k-schur positivity
Catalan functions and k-schur positivity Jonah Blasiak Drexel University joint work with Jennifer Morse, Anna Pun, and Dan Summers November 2018 Theorem (Haiman) Macdonald positivity conjecture The modified
More informationIn honor of Manfred Schocker ( ). The authors would also like to acknowledge the contributions that he made to this paper.
ON THE S n -MODULE STRUCTURE OF THE NONCOMMUTATIVE HARMONICS. EMMANUEL BRIAND, MERCEDES ROSAS, MIKE ZABROCKI Abstract. Using the a noncommutative version of Chevalley s theorem due to Bergeron, Reutenauer,
More informationA Conjectured Combinatorial Interpretation of the Normalized Irreducible Character Values of the Symmetric Group
A Conjectured Combinatorial Interpretation of the Normalized Irreducible Character Values of the Symmetric Group Richard P. Stanley Department of Mathematics, Massachusetts Institute of Technology Cambridge,
More informationFrom Schur-Weyl duality to quantum symmetric pairs
.. From Schur-Weyl duality to quantum symmetric pairs Chun-Ju Lai Max Planck Institute for Mathematics in Bonn cjlai@mpim-bonn.mpg.de Dec 8, 2016 Outline...1 Schur-Weyl duality.2.3.4.5 Background.. GL
More informationCharacter values and decomposition matrices of symmetric groups
Character values and decomposition matrices of symmetric groups Mark Wildon Abstract The relationships between the values taken by ordinary characters of symmetric groups are exploited to prove two theorems
More informationNotes on D 4 May 7, 2009
Notes on D 4 May 7, 2009 Consider the simple Lie algebra g of type D 4 over an algebraically closed field K of characteristic p > h = 6 (the Coxeter number). In particular, p is a good prime. We have dim
More informationVector valued Jack polynomials. Jean-Gabriel Luque
Vector valued Jack polynomials Jean-Gabriel Luque What are Jack polynomials? The story begins in 1960's... Inner product: Orthogonal polynomials How to define multivariate orthogonal polynomials? Interpretation
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationA NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9
A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody
More informationFlag Varieties and the Yang-Baxter Equation
Flag Varieties and the Yang-Baxter Equation Alain Lascoux, Bernard Leclerc and Jean-Yves Thibon Abstract arxiv:q-alg/9607015v1 14 Jul 1996 We investigate certain bases of Hecke algebras defined by means
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TEN: MORE ON FLAG VARIETIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TEN: MORE ON FLAG VARIETIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 A. Molev has just given a simple, efficient, and positive formula for the structure
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationThe (q, t)-catalan Numbers and the Space of Diagonal Harmonics. James Haglund. University of Pennsylvania
The (q, t)-catalan Numbers and the Space of Diagonal Harmonics James Haglund University of Pennsylvania Outline Intro to q-analogues inv and maj q-catalan Numbers MacMahon s q-analogue The Carlitz-Riordan
More informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationClassical Lie algebras and Yangians
Classical Lie algebras and Yangians Alexander Molev University of Sydney Advanced Summer School Integrable Systems and Quantum Symmetries Prague 2007 Lecture 1. Casimir elements for classical Lie algebras
More informationLECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O
LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O IVAN LOSEV Introduction In this and the next lecture we will describe an entirely different application of Hecke algebras, now to the category O. In the
More informationAdjoint Representations of the Symmetric Group
Adjoint Representations of the Symmetric Group Mahir Bilen Can 1 and Miles Jones 2 1 mahirbilencan@gmail.com 2 mej016@ucsd.edu Abstract We study the restriction to the symmetric group, S n of the adjoint
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationResearch Statement. Edward Richmond. October 13, 2012
Research Statement Edward Richmond October 13, 2012 Introduction My mathematical interests include algebraic combinatorics, algebraic geometry and Lie theory. In particular, I study Schubert calculus,
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationTHREE LECTURES ON QUASIDETERMINANTS
THREE LECTURES ON QUASIDETERMINANTS Robert Lee Wilson Department of Mathematics Rutgers University The determinant of a matrix with entries in a commutative ring is a main organizing tool in commutative
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationFoundations of Matrix Analysis
1 Foundations of Matrix Analysis In this chapter we recall the basic elements of linear algebra which will be employed in the remainder of the text For most of the proofs as well as for the details, the
More informationCasimir elements for classical Lie algebras. and affine Kac Moody algebras
Casimir elements for classical Lie algebras and affine Kac Moody algebras Alexander Molev University of Sydney Plan of lectures Plan of lectures Casimir elements for the classical Lie algebras from the
More informationA Pieri rule for key polynomials
Séminaire Lotharingien de Combinatoire 80B (2018) Article #78, 12 pp. Proceedings of the 30 th Conference on Formal Power Series and Algebraic Combinatorics (Hanover) A Pieri rule for key polynomials Sami
More informationRow-strict quasisymmetric Schur functions
Row-strict quasisymmetric Schur functions Sarah Mason and Jeffrey Remmel Mathematics Subject Classification (010). 05E05. Keywords. quasisymmetric functions, Schur functions, omega transform. Abstract.
More informationDUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE
DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters
More informationUnipotent Brauer character values of GL(n, F q ) and the forgotten basis of the Hall algebra
Unipotent Brauer character values of GL(n, F q ) and the forgotten basis of the Hall algebra Jonathan Brundan Abstract We give a formula for the values of irreducible unipotent p-modular Brauer characters
More informationAn injection from standard fillings to parking functions
FPSAC 202, Nagoya, Japan DMTCS proc. AR, 202, 703 74 An injection from standard fillings to parking functions Elizabeth Niese Department of Mathematics, Marshall University, Huntington, WV 25755 Abstract.
More informationHighest-weight Theory: Verma Modules
Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,
More informationDUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS
DUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS EDWARD E. ALLEN, JOSHUA HALLAM, AND SARAH K. MASON Abstract. We describe a combinatorial formula for
More informationOn cycle index and orbit stabilizer of Symmetric group
The International Journal Of Engineering And Science (IJES) Volume 3 Issue 1 Pages 18-26 2014 ISSN (e): 2319 1813 ISSN (p): 2319 1805 On cycle index and orbit stabilizer of Symmetric group 1 Mogbonju M.
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationH. R. Karadayi * Dept.Physics, Fac. Science, Tech.Univ.Istanbul 80626, Maslak, Istanbul, Turkey
A N MULTIPLICITY RULES AND SCHUR FUNCTIONS H R Karadayi * DeptPhysics, Fac Science, TechUnivIstanbul 80626, Maslak, Istanbul, Turkey Abstract arxiv:math-ph/9805009v2 22 Jul 1998 It is well-known that explicit
More information(for k n and p 1,p 2,...,p k 1) I.1. x p1. x p2. i 1. i k. i 2 x p k. m p [X n ] I.2
October 2, 2002 1 Qsym over Sym is free by A. M. Garsia and N. Wallach Astract We study here the ring QS n of Quasi-Symmetric Functions in the variables x 1,x 2,...,x n. F. Bergeron and C. Reutenauer [4]
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationSchubert Varieties. P. Littelmann. May 21, 2012
Schubert Varieties P. Littelmann May 21, 2012 Contents Preface 1 1 SMT for Graßmann varieties 3 1.1 The Plücker embedding.................... 4 1.2 Monomials and tableaux.................... 12 1.3 Straightening
More informationA Recursion and a Combinatorial Formula for Jack Polynomials
A Recursion and a Combinatorial Formula for Jack Polynomials Friedrich Knop & Siddhartha Sahi* Department of Mathematics, Rutgers University, New Brunswick NJ 08903, USA 1. Introduction The Jack polynomials
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More informationExterior powers and Clifford algebras
10 Exterior powers and Clifford algebras In this chapter, various algebraic constructions (exterior products and Clifford algebras) are used to embed some geometries related to projective and polar spaces
More informationarxiv: v1 [math.qa] 11 Jul 2014
TWISTED QUANTUM TOROIDAL ALGEBRAS T q g NAIHUAN JING, RONGJIA LIU arxiv:1407.3018v1 [math.qa] 11 Jul 2014 Abstract. We construct a principally graded quantum loop algebra for the Kac- Moody algebra. As
More informationCOMMUTATIVE/NONCOMMUTATIVE RANK OF LINEAR MATRICES AND SUBSPACES OF MATRICES OF LOW RANK
Séminaire Lotharingien de Combinatoire 52 (2004), Article B52f COMMUTATIVE/NONCOMMUTATIVE RANK OF LINEAR MATRICES AND SUBSPACES OF MATRICES OF LOW RANK MARC FORTIN AND CHRISTOPHE REUTENAUER Dédié à notre
More informationTHE BRAUER HOMOMORPHISM AND THE MINIMAL BASIS FOR CENTRES OF IWAHORI-HECKE ALGEBRAS OF TYPE A. Andrew Francis
THE BRAUER HOMOMORPHISM AND THE MINIMAL BASIS FOR CENTRES OF IWAHORI-HECKE ALGEBRAS OF TYPE A Andrew Francis University of Western Sydney - Hawkesbury, Locked Bag No. 1, Richmond NSW 2753, Australia a.francis@uws.edu.au
More informationShifted symmetric functions I: the vanishing property, skew Young diagrams and symmetric group characters
I: the vanishing property, skew Young diagrams and symmetric group characters Valentin Féray Institut für Mathematik, Universität Zürich Séminaire Lotharingien de Combinatoire Bertinoro, Italy, Sept. 11th-12th-13th
More informationTraces, Cauchy identity, Schur polynomials
June 28, 20 Traces, Cauchy identity, Schur polynomials Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Example: GL 2 2. GL n C and Un 3. Decomposing holomorphic polynomials over GL
More informationOn some combinatorial aspects of Representation Theory
On some combinatorial aspects of Representation Theory Doctoral Defense Waldeck Schützer schutzer@math.rutgers.edu Rutgers University March 24, 2004 Representation Theory and Combinatorics p.1/46 Overview
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationjoint with Alberto Mínguez
joint with Alberto Mínguez We consider (complex, smooth, finite length) representations of GL n (F ) where F is a non-archimedean local field. We write Irr = n 0 Irr GL n (F ) (equivalence classes of irreducible
More informationA Survey of Parking Functions
A Survey of Parking Functions Richard P. Stanley M.I.T. Parking functions... n 2 1... a a a 1 2 n Car C i prefers space a i. If a i is occupied, then C i takes the next available space. We call (a 1,...,a
More informationSign elements in symmetric groups
Dept. of Mathematical Sciences University of Copenhagen, Denmark Nagoya, September 4, 2008 Introduction Work in progress Question by G. Navarro about characters in symmetric groups, related to a paper
More informationBruhat order, rationally smooth Schubert varieties, and hyperplane arrangements
FPSAC 2010, San Francisco, USA DMTCS proc. AN, 2010, 833 840 Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements Suho Oh 1 and Hwanchul Yoo Department of Mathematics, Massachusetts
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationLecture 6 : Kronecker Product of Schur Functions Part I
CS38600-1 Complexity Theory A Spring 2003 Lecture 6 : Kronecker Product of Schur Functions Part I Lecturer & Scribe: Murali Krishnan Ganapathy Abstract The irreducible representations of S n, i.e. the
More informationarxiv: v1 [math.rt] 5 Aug 2016
AN ALGEBRAIC FORMULA FOR THE KOSTKA-FOULKES POLYNOMIALS arxiv:1608.01775v1 [math.rt] 5 Aug 2016 TIMOTHEE W. BRYAN, NAIHUAN JING Abstract. An algebraic formula for the Kostka-Foukles polynomials is given
More informationCOMBINATORIAL RULES FOR THREE BASES OF POLYNOMIALS
Séminaire Lotharingien de Combinatoire 74 (2015) Article B74a COMBINATORIAL RULES FOR THREE BASES OF POLYNOMIALS COLLEEN ROSS AND ALEXANDER YONG In memory of Alain Lascoux who inspired this paper one night
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationarxiv:math/ v1 [math.qa] 5 Nov 2002
A new quantum analog of the Brauer algebra arxiv:math/0211082v1 [math.qa] 5 Nov 2002 A. I. Molev School of Mathematics and Statistics University of Sydney, NSW 2006, Australia alexm@ maths.usyd.edu.au
More informationHonors Algebra II MATH251 Course Notes by Dr. Eyal Goren McGill University Winter 2007
Honors Algebra II MATH251 Course Notes by Dr Eyal Goren McGill University Winter 2007 Last updated: April 4, 2014 c All rights reserved to the author, Eyal Goren, Department of Mathematics and Statistics,
More informationAn Involution for the Gauss Identity
An Involution for the Gauss Identity William Y. C. Chen Center for Combinatorics Nankai University, Tianjin 300071, P. R. China Email: chenstation@yahoo.com Qing-Hu Hou Center for Combinatorics Nankai
More informationSCHUR-WEYL DUALITY FOR U(n)
SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.
More informationTHE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17
THE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17 Abstract. In this paper the 2-modular decomposition matrices of the symmetric groups S 15, S 16, and S 17 are determined
More informationThe Lusztig-Vogan Bijection in the Case of the Trivial Representation
The Lusztig-Vogan Bijection in the Case of the Trivial Representation Alan Peng under the direction of Guangyi Yue Department of Mathematics Massachusetts Institute of Technology Research Science Institute
More informationINTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References
INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationA quasisymmetric function generalization of the chromatic symmetric function
A quasisymmetric function generalization of the chromatic symmetric function Brandon Humpert University of Kansas Lawrence, KS bhumpert@math.ku.edu Submitted: May 5, 2010; Accepted: Feb 3, 2011; Published:
More informationHecke Operators, Zeta Functions and the Satake map
Hecke Operators, Zeta Functions and the Satake map Thomas R. Shemanske December 19, 2003 Abstract Taking advantage of the Satake isomorphism, we define (n + 1) families of Hecke operators t n k (pl ) for
More informationTableau models for Schubert polynomials
Séminaire Lotharingien de Combinatoire 78B (07) Article #, pp. Proceedings of the 9 th Conference on Formal Power Series and Algebraic Combinatorics (London) Tableau models for Schubert polynomials Sami
More informationREMARKS ON THE PAPER SKEW PIERI RULES FOR HALL LITTLEWOOD FUNCTIONS BY KONVALINKA AND LAUVE
REMARKS ON THE PAPER SKEW PIERI RULES FOR HALL LITTLEWOOD FUNCTIONS BY KONVALINKA AND LAUVE S OLE WARNAAR Abstract In a recent paper Konvalinka and Lauve proved several skew Pieri rules for Hall Littlewood
More informationCOMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1
COMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1 LEONARDO C. MIHALCEA AND TREVOR NORTON Abstract. Let X be the affine flag manifold of Lie type A 1 1. Its moment graph encodes
More informationIntertwining integrals on completely solvable Lie groups
s on s on completely solvable Lie June 16, 2011 In this talk I shall explain a topic which interests me in my collaboration with Ali Baklouti and Jean Ludwig. s on In this talk I shall explain a topic
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationQuotients of Poincaré Polynomials Evaluated at 1
Journal of Algebraic Combinatorics 13 (2001), 29 40 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Quotients of Poincaré Polynomials Evaluated at 1 OLIVER D. ENG Epic Systems Corporation,
More information1 The Algebraic Normal Form
1 The Algebraic Normal Form Boolean maps can be expressed by polynomials this is the algebraic normal form (ANF). The degree as a polynomial is a first obvious measure of nonlinearity linear (or affine)
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationFactorial Schur functions via the six vertex model
Factorial Schur functions via the six vertex model Peter J. McNamara Department of Mathematics Massachusetts Institute of Technology, MA 02139, USA petermc@math.mit.edu October 31, 2009 Abstract For a
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
More informationNEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim
Korean J Math 20 (2012) No 2 pp 161 176 NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX Oh-Jin Kang and Joohyung Kim Abstract The authors [6 introduced the concept of a complete matrix of grade g > 3 to
More informationSpecialized Macdonald polynomials, quantum K-theory, and Kirillov-Reshetikhin crystals
Specialized Macdonald polynomials, quantum K-theory, and Kirillov-Reshetikhin crystals Cristian Lenart Max-Planck-Institut für Mathematik, Bonn State University of New York at Albany Geometry Seminar,
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationSymmetric functions and the Fock space
Symmetric functions and the Fock space representation of Í Õ Ð Ò µ (Lectures at the Isaac Newton Institute, Cambridge) Bernard LECLERC June 00 Dedicated to Denis UGLOV (968 999) Introduction Throughout
More informationFUSION PROCEDURE FOR THE BRAUER ALGEBRA
FUSION PROCEDURE FOR THE BRAUER ALGEBRA A. P. ISAEV AND A. I. MOLEV Abstract. We show that all primitive idempotents for the Brauer algebra B n ω can be found by evaluating a rational function in several
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More informationEKT of Some Wonderful Compactifications
EKT of Some Wonderful Compactifications and recent results on Complete Quadrics. (Based on joint works with Soumya Banerjee and Michael Joyce) Mahir Bilen Can April 16, 2016 Mahir Bilen Can EKT of Some
More informationStatistical Mechanics & Enumerative Geometry:
Statistical Mechanics & Enumerative Geometry: Christian Korff (ckorff@mathsglaacuk) University Research Fellow of the Royal Society Department of Mathematics, University of Glasgow joint work with C Stroppel
More information