POLYNOMIAL BEHAVIOUR of KOSTKA NUMBERS Contents 1

Total Page:16

File Type:pdf, Size:1020Kb

POLYNOMIAL BEHAVIOUR of KOSTKA NUMBERS Contents 1 POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS DINUSHI MUNASINGHE + + − Abstract. Given two standard partitions λ+ = (λ1 ≥ · · · ≥ λs ) and λ− = (λ1 ≥ − · · · ≥ λr ) we write λ = (λ+; λ−) and set sλ(x1; : : : ; xt) := sλt (x1; : : : ; xt) where + + − − λt = (λ1 ; : : : ; λs ; 0;:::; 0; −λr ;:::; −λ1 ) has t parts. We provide two proofs that the Kostka numbers kλµ(t) in the expansion X sλ(x1; : : : ; xt) = kλµ(t)mµ(x1; : : : ; xt) µ demonstrate polynomial behaviour, and establish the degrees and leading coefficients of these polynomials. We conclude with a discussion of two families of examples that introduce areas of possible further exploration. Contents 1. Introduction 2 2. Representations of GLn 3 2.1. Representations 3 2.2. Characters of GLn 4 3. Symmetric Polynomials 5 3.1. Kostka Numbers 6 3.2. Littlewood-Richardson Coefficients 6 3.3. Representations and Characters 7 4. Restrictions 7 4.1. Interlacing Partitions 7 4.2. Branching Rules 8 5. Beyond Polynomial Representations 9 6. Weight Decompositions 11 7. Some Notation 11 8. Stability 12 8.1. Kostka Numbers 12 8.2. Littlewood-Richardson Coefficients 13 9. Asymptotics 15 10. The Polynomial Behaviour of Kostka Numbers 16 11. Further Asymptotics 20 1 2 DINUSHI MUNASINGHE 12. Remarks 23 Appendix: Solving Difference Equations 24 References 24 1. Introduction The Kostka numbers, which we will denote kλµ, were introduced by Carl Kostka in his 1882 work relating to symmetric functions. The Littlewood-Richardson coefficients ν cλµ were introduced by Dudley Ernest Littlewood and Archibald Read Richardson in their 1934 paper Group Characters and Algebra. These two combinatorial objects are ubiquitous, appearing in situations in combinatorics and representation theory, which we will address in this work, as well as algebraic geometry. Being such natural objects, the Kostka numbers and Littlewood-Richardson coeffi- cients have been studied extensively. There are explicit combinatorial algorithms for computing both types of coefficients, and many well-established properties. There still exist, however, open questions and areas which remain unexplored. One area of study which contains interesting open questions relating to these coefficients is that of asymp- totics, which we will explore in this work. ν We define the Littlewood-Richardson coefficient cλµ as the multiplicity of the Schur polynomial sν(x1; : : : ; xt) in the decomposition of the product of Schur polynomials X ν sλ(x1; : : : ; xt)sµ(x1; : : : ; xt) = cλµsν(x1; : : : ; xt): ν Similarly, we can define the Kostka number kλµ as the coefficient of mµ(x1; : : : ; xt) in the expansion of the Schur polynomial sλ(x1; : : : ; xt) as X sλ(x1; : : : ; xt) = kλµmµ(x1; : : : ; xt) µ where mµ(x1; : : : ; xt) denotes the minimal symmetric polynomial generated by the mono- mial xµ: In the above formulas, the number of variables, t; may be arbitrary. However, ν cλµ and kλµ become independent of t as it becomes sufficiently large. We begin our study by extending the definition of the Schur polynomial sλ(x1; : : : ; xt) to arbitrary weakly decreasing sequences of integers λ = (λ1 ≥ · · · ≥ λt) by shifting λ to λ + ct; i.e. 1 t sλ(x1; : : : ; xt) = c sλ+c (x1; : : : ; xt): (x1 : : : xt) + + − − Given two standard partitions λ+ = (λ1 ≥ · · · ≥ λs ) and λ− = (λ1 ≥ · · · ≥ λr ) we write λ = (λ+; λ−) and set sλ(x1; : : : ; xt) := sλt (x1; : : : ; xt) + + − − where λt = (λ1 ; : : : ; λs ; 0;:::; 0; −λr ;:::; −λ1 ) has t parts. We consider the expansions X ν (1) sλ(x1; : : : ; xt)sµ(x1; : : : ; xt) = cλµ(t)sν(x1; : : : ; xt) ν POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 3 and X (2) sλ(x1; : : : ; xt) = kλµ(t)mµ(x1; : : : ; xt) µ where all λ, µ, and ν above are pairs λ = (λ+; λ−); µ = (µ+; µ−), and ν = (ν+; ν−): Both sums in (1) and (2) are finite. A result of Penkov and Styrkas, [PS], implies ν that the coefficients cλµ(t) stabilize for sufficiently large t: The coefficients kλµ(t), on the other hand, demonstrate polynomial behaviour. This result has been known for a while, see for example [BKLS] and the references therein. The methods used by Benkart and collaborators apply to representations of groups beyond GLn; but provide little information about the Kostka polynomials themselves. The purpose of this work is to give two proofs of the fact that kλµ(t) is a polynomial in t: The proofs given are specific to GLn; but will hopefully lead to formulas or algorithms for computing these polynomials explicitly. The first proof uses the stability of the Littlewood-Richardson coefficients, and the second uses a recurrence relation established through branching rules. We end the document with a discussion of two families of examples which will suggest further generalizations and directions of study. Conventions. Unless otherwise stated, we will be working over C; representations are finite dimensional, and N = Z≥0: We denote by [k] the set of integers f1; : : : ; kg: 2. Representations of GLn Definition 1. We define a polynomial representation of the group G = GLn to be a group homomorphism ∼ ρ : G ! GL(V ) = GLN where N = dim(V ) is the dimension of the representation, such that for every A = (aij) 2 GLn, ρ(A) = (ρij(A)), where each entry ρij(A) is a polynomial in the entries akl of A 2 GLn. In this work we will refer to polynomial representations simply as representations of GLn. For a more extensive discussion, one can refer to [GW] and [FH]. 2.1. Representations. All finite dimensional representations of GLn are completely reducible - i.e., if ρ is a representation of GLn such that N = dim(V ) < 1, then there is a decomposition of V as the direct sum of irreducible representations. It is therefore natural to want to parameterize all possible non-isomorphic irreducible representations, and when given a representation, to ask how it could be decomposed as the direct sum of irreducible components. We turn our attention to the Schur-Weyl Duality, which will allow us to build all irreducible representations of GLn. 2.1.1. Schur-Weyl Duality. The Schur-Weyl Duality relates the irreducible representa- tions of the General Linear Group, GLn, to those of the Symmetric group Sk: We begin by considering the kth tensor power of V; V ⊗k, where V = Cn: The General Linear group n ⊗k GLn acts on C by matrix multiplication, so it acts on V by g · (v1 ⊗ · · · ⊗ vk) = g · v1 ⊗ · · · ⊗ g · vk 4 DINUSHI MUNASINGHE ⊗k for g 2 GLn. On the other hand, Sk acts on V by permuting the terms of v1 ⊗· · ·⊗vk 2 V ⊗k. That is to say, σ · (v1 ⊗ · · · ⊗ vn) = vσ−1(1) ⊗ · · · ⊗ vσ−1(n): ⊗k These actions commute, so V is a GLn ×Sk -module. We thus have the decomposition: ⊗k ∼ M λ V = Vλ ⊗ S λ λ where the sum runs over all λ partitioning k, the S are the Sk-modules known as Specht modules, and the Vλ are GLn-modules. In particular, each Vλ is a polynomial GLn-module, and is irreducible if λ has at most n parts and is the zero module otherwise. Furthermore, every irreducible polynomial GLn module is isomorphic to a module Vλ for λ = (λ1 ≥ · · · ≥ λn) with λi 2 Z≥0: Two modules Vλ and Vµ are isomorphic if and only if λ = µ. This gives us a concrete way of realizing the irreducible representations of GLn: We will not prove these results in this work, however proofs can be found in [GW]. Example 1. A simple example is the decomposition of V ⊗2: M V ⊗ V = Sym2V Alt2V where Sym2V is the submodule of V ⊗V generated by all elements of the form u⊗v+v⊗u for u; v 2 V , and Alt2V is the submodule of V ⊗ V generated by the elements of the form u ⊗ v − v ⊗ u for u; v 2 V . While it is clear that V ⊗ V = Sym2V L Alt2V as vector spaces, it is not immediately obvious that this is a decomposition into irreducible submodules. This fact can be established directly. However, it follows cleanly from the Schur-Weyl duality: S2 has two irreducible representations indexed by the corresponding Young tableaux, so we have the decomposition into irreducibles M V ⊗ V = V(2) V(1;1); where S2 acts on V(2) via the trivial representation, and on V(1;1) via the sign represen- tation. Now, V(2) = fx 2 V ⊗ V jσ · x = x; 8σ 2 S2g and V(1;1) = fx 2 V ⊗ V jσ · x = sgn(σ)x; 8σ 2 S2g; 2 2 but these are precisely Sym V and Alt V: Thus, these modules are irreducible GLn modules by the Schur-Weyl duality. 2.2. Characters of GLn. Definition 2. We define the character of a representation ρ of G = GLn to be the map: χV : G ! C such that χV (g) = tr(ρ(g)) for all g 2 G: POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS 5 Since −1 −1 χV (g) = tr(g) = tr(hgh ) = χV (hgh ); the character χV is invariant under conjugation and hence is constant on the conjugacy classes of G: Since the diagonalizable matrices are dense in GLn, the values of χV when restricted to the diagonal matrices completely determine the character χV (since all diagonalizable matrices are, by definition, conjugate to a diagonal matrix, and characters are constant on conjugacy classes). Furthermore, since the n diagonal entries completely determine a diagonal matrix, we can consider the character χV to actually be a map × n χV :(C ) ! C: When we consider the representations Vλ of GLn as discussed in Section 2.1.1, it can be shown that χVλ (x1; : : : ; xn) = sλ(x1; : : : ; xn), i.e. the characters of the representa- tions Vλ of GLn are in fact the Schur polynomials sλ(x1; : : : ; xn): We will discuss these polynomials in the next section.
Recommended publications
  • Comultiplication Rules for the Double Schur Functions and Cauchy Identities
    Comultiplication rules for the double Schur functions and Cauchy identities A. I. Molev School of Mathematics and Statistics University of Sydney, NSW 2006, Australia [email protected] Submitted: Aug 27, 2008; Accepted: Jan 17, 2009; Published: Jan 23, 2009 Mathematics Subject Classifications: 05E05 Abstract The double Schur functions form a distinguished basis of the ring Λ(xjja) which is a multiparameter generalization of the ring of symmetric functions Λ(x). The canonical comultiplication on Λ(x) is extended to Λ(xjja) in a natural way so that the double power sums symmetric functions are primitive elements. We calculate the dual Littlewood{Richardson coefficients in two different ways thus providing comultiplication rules for the double Schur functions. We also prove multiparameter analogues of the Cauchy identity. A new family of Schur type functions plays the role of a dual object in the identities. We describe some properties of these dual Schur functions including a combinatorial presentation and an expansion formula in terms of the ordinary Schur functions. The dual Littlewood{Richardson coefficients provide a multiplication rule for the dual Schur functions. Contents 1 Introduction 2 2 Double and supersymmetric Schur functions 6 2.1 Definitions and preliminaries . 6 2.2 Analogues of classical bases . 9 2.3 Duality isomorphism . 10 2.4 Skew double Schur functions . 11 3 Cauchy identities and dual Schur functions 14 3.1 Definition of dual Schur functions and Cauchy identities . 14 3.2 Combinatorial presentation . 17 3.3 Jacobi{Trudi-type formulas . 20 3.4 Expansions in terms of Schur functions . 22 the electronic journal of combinatorics 16 (2009), #R13 1 4 Dual Littlewood{Richardson polynomials 29 5 Transition matrices 33 5.1 Pairing between the double and dual symmetric functions .
    [Show full text]
  • A Combinatorial Proof That Schubert Vs. Schur Coefficients Are Nonnegative
    A COMBINATORIAL PROOF THAT SCHUBERT VS. SCHUR COEFFICIENTS ARE NONNEGATIVE SAMI ASSAF, NANTEL BERGERON, AND FRANK SOTTILE Abstract. We give a combinatorial proof that the product of a Schubert polynomial by a Schur polynomial is a nonnegative sum of Schubert polynomials. Our proof uses Assaf’s theory of dual equivalence to show that a quasisymmetric function of Bergeron and Sottile is Schur-positive. By a geometric comparison theorem of Buch and Mihalcea, this implies the nonnegativity of Gromov-Witten invariants of the Grassmannian. Dedicated to the memory of Alain Lascoux Introduction A Littlewood-Richardson coefficient is the multiplicity of an irreducible representa- tion of the general linear group in a tensor product of two irreducible representations, and is thus a nonnegative integer. Littlewood and Richardson conjectured a formula for these coefficients in 1934 [25], which was proven in the 1970’s by Thomas [33] and Sch¨utzenberger [31]. Since Littlewood-Richardson coefficients may be defined combina- torially as the coefficients of Schur functions in the expansion of a product of two Schur functions, these proofs of the Littlewood-Richardson rule furnish combinatorial proofs of the nonnegativity of Schur structure constants. The Littlewood-Richardson coefficients are also the structure constants for expressing products in the cohomology of a Grassmannian in terms of its basis of Schubert classes. Independent of the Littlewood-Richardson rule, these Schubert structure constants are known to be nonnegative integers through geometric arguments. The integral cohomol- ogy ring of any flag manifold has a Schubert basis and again geometry implies that the corresponding Schubert structure constants are nonnegative integers.
    [Show full text]
  • Representation Theory
    Representation Theory Andrew Kobin Fall 2014 Contents Contents Contents 1 Introduction 1 1.1 Group Theory Review . .1 1.2 Partitions . .2 2 Group Representations 4 2.1 Representations . .4 2.2 G-homomorphisms . .9 2.3 Schur's Lemma . 12 2.4 The Commutant and Endomorphism Algebras . 13 2.5 Characters . 17 2.6 Tensor Products . 24 2.7 Restricted and Induced Characters . 25 3 Representations of Sn 28 3.1 Young Subgroups of Sn .............................. 28 3.2 Specht Modules . 33 3.3 The Decomposition of M µ ............................ 44 3.4 The Hook Length Formula . 48 3.5 Application: The RSK Algorithm . 49 4 Symmetric Functions 52 4.1 Generating Functions . 52 4.2 Symmetric Functions . 53 4.3 Schur Functions . 57 4.4 Symmetric Functions and Character Representations . 60 i 1 Introduction 1 Introduction The following are notes from a course in representation theory taught by Dr. Frank Moore at Wake Forest University in the fall of 2014. The main topics covered are: group repre- sentations, characters, the representation theory of Sn, Young tableaux and tabloids, Specht modules, the RSK algorithm and some further applications to combinatorics. 1.1 Group Theory Review Definition. A group is a nonempty set G with a binary operation \·00 : G×G ! G satisfying (1) (Associativity) a(bc) = (ab)c for all a; b; c 2 G. (2) (Identity) There exists an identity element e 2 G such that for every a 2 G, ae = ea = a. (3) (Inverses) For every a 2 G there is some b 2 G such that ab = ba = e.
    [Show full text]
  • Tropicalization, Symmetric Polynomials, and Complexity
    TROPICALIZATION, SYMMETRIC POLYNOMIALS, AND COMPLEXITY ALEXANDER WOO AND ALEXANDER YONG ABSTRACT. D. Grigoriev-G. Koshevoy recently proved that tropical Schur polynomials have (at worst) polynomial tropical semiring complexity. They also conjectured tropical skew Schur polynomials have at least exponential complexity; we establish a polynomial complexity upper bound. Our proof uses results about (stable) Schubert polynomials, due to R. P. Stanley and S. Billey-W. Jockusch-R. P. Stanley, together with a sufficient condition for polynomial complexity that is connected to the saturated Newton polytope property. 1. INTRODUCTION The tropicalization of a polynomial X i1 i2 in f = ci1;:::;in x1 x2 ··· xn 2 C[x1; x2; : : : ; xn] n (i1;i2;:::;in)2Z≥0 (with respect to the trivial valuation val(a) = 0 for all a 2 C∗) is defined to be (1) Trop(f) := max fi1x1 + ··· + inxng: i1;:::;in This is a polynomial over the tropical semiring (R; ⊕; ), where a ⊕ b = max(a; b) and a b = a + b respectively denote tropical addition and multiplication, respectively. We refer to the books [ItMiSh09, MaSt15] for more about tropical mathematics. Let Symn denote the ring of symmetric polynomials in x1; : : : ; xn. A linear basis of Symn is given by the Schur polynomials. These polynomials are indexed by partitions λ (identi- fied with their Ferrers/Young diagrams). They are generating series over semistandard Young tableaux T of shape λ with entries from [n] := f1; 2; : : : ; ng: X T T Y #i’s in T sλ(x1; : : : ; xn) := x where x := xi . T i The importance of this basis stems from its applications to, for example, enumerative and algebraic combinatorics, the representation theory of symmetric groups and general linear groups, and Schubert calculus on Grassmannians; see, for example, [Fu97, St99].
    [Show full text]
  • Random Plane Partitions and Corner Distributions Volume 4, Issue 4 (2021), P
    ALGEBRAIC COMBINATORICS Damir Yeliussizov Random plane partitions and corner distributions Volume 4, issue 4 (2021), p. 599-617. <http://alco.centre-mersenne.org/item/ALCO_2021__4_4_599_0> © The journal and the authors, 2021. Some rights reserved. This article is licensed under the CREATIVE COMMONS ATTRIBUTION 4.0 INTERNATIONAL LICENSE. http://creativecommons.org/licenses/by/4.0/ Access to articles published by the journal Algebraic Combinatorics on the website http://alco.centre-mersenne.org/ implies agreement with the Terms of Use (http://alco.centre-mersenne.org/legal/). Algebraic Combinatorics is member of the Centre Mersenne for Open Scientific Publishing www.centre-mersenne.org Algebraic Combinatorics Volume 4, issue 4 (2021), p. 599–617 https://doi.org/10.5802/alco.171 Random plane partitions and corner distributions Damir Yeliussizov Abstract We explore some probabilistic applications arising in connections with K-theoretic symmetric functions. For instance, we determine certain corner distributions of random lozenge tilings and plane partitions. We also introduce some distributions that are naturally related to the corner growth model. Our main tools are dual symmetric Grothendieck polynomials and normalized Schur functions. 1. Introduction Combinatorics arising in connection with K-theoretic Schubert calculus is quite rich. Accompanied by certain families of symmetric functions, it usually presents some in- homogeneous deformations of objects beyond classical Schur (or Schubert) case. While the subject is intensively studied from combinatorial, algebraic and geometric aspects, see [20,7,8, 34, 19, 13, 35] and many references therein, much less is known about probabilistic connections (unlike interactions between probability and representation theory). Some work in this direction was done in [32, 22] and related problems were addressed in [38].(1) In this paper, we give several probabilistic applications obtained with tools from combinatorial K-theory.
    [Show full text]
  • The Theory of Schur Polynomials Revisited
    THE THEORY OF SCHUR POLYNOMIALS REVISITED HARRY TAMVAKIS Abstract. We use Young’s raising operators to give short and uniform proofs of several well known results about Schur polynomials and symmetric func- tions, starting from the Jacobi-Trudi identity. 1. Introduction One of the earliest papers to study the symmetric functions later known as the Schur polynomials sλ is that of Jacobi [J], where the following two formulas are found. The first is Cauchy’s definition of sλ as a quotient of determinants: λi+n−j n−j (1) sλ(x1,...,xn) = det(xi )i,j . det(xi )i,j where λ =(λ1,...,λn) is an integer partition with at most n non-zero parts. The second is the Jacobi-Trudi identity (2) sλ = det(hλi+j−i)1≤i,j≤n which expresses sλ as a polynomial in the complete symmetric functions hr, r ≥ 0. Nearly a century later, Littlewood [L] obtained the positive combinatorial expansion (3) s (x)= xc(T ) λ X T where the sum is over all semistandard Young tableaux T of shape λ, and c(T ) denotes the content vector of T . The traditional approach to the theory of Schur polynomials begins with the classical definition (1); see for example [FH, M, Ma]. Since equation (1) is a special case of the Weyl character formula, this method is particularly suitable for applica- tions to representation theory. The more combinatorial treatments [Sa, Sta] use (3) as the definition of sλ(x), and proceed from there. It is not hard to relate formulas (1) and (3) to each other directly; see e.g.
    [Show full text]
  • On the Complexity of Computing Kostka Numbers and Littlewood-Richardson Coefficients
    Formal Power Series and Algebraic Combinatorics S´eries Formelles et Combinatoire Alg´ebrique San Diego, California 2006 . On the complexity of computing Kostka numbers and Littlewood-Richardson coefficients Hariharan Narayanan Abstract. Kostka numbers and Littlewood-Richardson coefficients appear in combina- torics and representation theory. Interest in their computation stems from the fact that they are present in quantum mechanical computations since Wigner ([17]). In recent times, there have been a number of algorithms proposed to perform this task ([1], [13], [14], [2], [3]). The issue of their computational complexity was explicitly asked by E. Rassart ([13]). We prove that the computation of either quantity is #P -complete. This, implies that unless P = NP , which is widely disbelieved, there do not exist efficient algorithms that compute these numbers. Resum´ e.´ Les nombres de Kostka et les coefficients de Littlewood-Richardson apparaissent en combinatoire et en th´eorie de la repr´esentation. Il est int´eressant de les calculer car ils ap- paraissent dans certains calculs en m´ecanique quantique depuis Wigner ([17]). R´ecemment, plusieurs algorithmes ont ´et´epropos´espour les calculer ([1], [13], [14], [2], [3]). Le probl`eme de la complexit´ede ce calcul a ´et´epos´epar E. Rassart ([13]). Nous d´emontrons que le calcul des nombres de Kotska et des coefficients de Littlewood-Richardson est #P-complet. Cela implique que, `amoins que P=NP, il n’existe pas d’algorithme efficace pour calculer ces nombres. 1. Introduction Let N = {1, 2,...} be the set of positive integers and Z≥0 = N ∪ {0}. Let λ =(λ1,...,λs) ∈ Ns Zt Zu , λ1 ≥ λ2 ≥ ··· ≥ λs ≥ 1, µ = (µ1,...,µt) ∈ ≥0, ν = (ν1,...,νu) ∈ ≥0 and v α = (α1,...,αv) ∈ N , α1 ≥···≥ αv ≥ 1.
    [Show full text]
  • Boolean Product Polynomials, Schur Positivity, and Chern Plethysm
    BOOLEAN PRODUCT POLYNOMIALS, SCHUR POSITIVITY, AND CHERN PLETHYSM SARA C. BILLEY, BRENDON RHOADES, AND VASU TEWARI Abstract. Let k ≤ n be positive integers, and let Xn = (x1; : : : ; xn) be a list of n variables. P The Boolean product polynomial Bn;k(Xn) is the product of the linear forms i2S xi where S ranges over all k-element subsets of f1; 2; : : : ; ng. We prove that Boolean product polynomials are Schur positive. We do this via a new method of proving Schur positivity using vector bundles and a symmetric function operation we call Chern plethysm. This gives a geometric method for producing a vast array of Schur positive polynomials whose Schur positivity lacks (at present) a combinatorial or representation theoretic proof. We relate the polynomials Bn;k(Xn) for certain k to other combinatorial objects including derangements, positroids, alternating sign matrices, and reverse flagged fillings of a partition shape. We also relate Bn;n−1(Xn) to a bigraded action of the symmetric group Sn on a divergence free quotient of superspace. 1. Introduction The symmetric group Sn of permutations of [n] := f1; 2; : : : ; ng acts on the polynomial ring C[Xn] := C[x1; : : : ; xn] by variable permutation. Elements of the invariant subring Sn (1.1) C[Xn] := fF (Xn) 2 C[Xn]: w:F (Xn) = F (Xn) for all w 2 Sn g are called symmetric polynomials. Symmetric polynomials are typically defined using sums of products of the variables x1; : : : ; xn. Examples include the power sum, the elementary symmetric polynomial, and the homogeneous symmetric polynomial which are (respectively) (1.2) k k X X pk(Xn) = x1 + ··· + xn; ek(Xn) = xi1 ··· xik ; hk(Xn) = xi1 ··· xik : 1≤i1<···<ik≤n 1≤i1≤···≤ik≤n Given a partition λ = (λ1 ≥ · · · ≥ λk > 0) with k ≤ n parts, we have the monomial symmetric polynomial X (1.3) m (X ) = xλ1 ··· xλk ; λ n i1 ik i1; : : : ; ik distinct as well as the Schur polynomial sλ(Xn) whose definition is recalled in Section 2.
    [Show full text]
  • On the Number of Partition Weights with Kostka Multiplicity One
    On the number of partition weights with Kostka multiplicity one Zachary Gates∗ Brian Goldmany Department of Mathematics Mathematics Department University of Virginia College of William and Mary Charlottesville, VA Williamsburg, VA [email protected] [email protected] C. Ryan Vinrootz Mathematics Department College of William and Mary Williamsburg, VA [email protected] Submitted: Jul 24, 2012; Accepted: Dec 19, 2012; Published: Dec 31, 2012 Mathematics Subject Classification: 05A19 Abstract Given a positive integer n, and partitions λ and µ of n, let Kλµ denote the Kostka number, which is the number of semistandard Young tableaux of shape λ and weight µ. Let J(λ) denote the number of µ such that Kλµ = 1. By applying a result of Berenshtein and Zelevinskii, we obtain a formula for J(λ) in terms of restricted partition functions, which is recursive in the number of distinct part sizes of λ. We use this to classify all partitions λ such that J(λ) = 1 and all λ such that J(λ) = 2. We then consider signed tableaux, where a semistandard signed tableau of shape λ has entries from the ordered set f0 < 1¯ < 1 < 2¯ < 2 < · · · g, and such that i and ¯i contribute equally to the weight. For a weight (w0; µ) with µ a partition, the signed Kostka number K± is defined as the number of semistandard signed tableaux λ,(w0,µ) ± of shape λ and weight (w0; µ), and J (λ) is then defined to be the number of weights ± (w0; µ) such that K = 1. Using different methods than in the unsigned case, λ,(w0,µ) we find that the only nonzero value which J ±(λ) can take is 1, and we find all sequences of partitions with this property.
    [Show full text]
  • FRG Report: the Crystal Structure of the Plethysm of Schur Functions
    FRG report: The crystal structure of the plethysm of Schur functions Mike Zabrocki, Franco Saliola Apr 1-8, 2018 Our focused research group consisted of Laura Colmenarejo, Rosa Orellana, Franco Saliola, Anne Schilling and Mike Zabrocki. We worked at the BIRS station from April 1 until April 8 (except Rosa Orellana who left on April 6). 1 The problem The irreducible polynomial representations of GLn are indexed by partitions with at most n parts. Given such a representation indexed by the partition λ, its character is the Schur polynomial X weight(T ) sλ = x : (1) T 2SSYT(λ) Composition of these representations becomes composition of their characters, denoted sλ[sµ] and this op- eration is known as the operation of plethysm. Composition of characters is a symmetric polynomial which Littlewood [Lit44] called the (outer) plethysm. The objective of our focused research group project is the resolution of the following well known open problem. ν Problem 1 Find a combinatorial interpretation of the coefficients aλ,µ in the expansion X ν sλ[sµ] = aλ,µsν : (2) ν In the last more than a century of research in representation theory, the basic problem of understanding ν the coefficients aλ,µ has stood as a measure of progress in the field. A related question that we felt was an important first step in the resolution of Problem 1 is the following second approach to understanding the underlying representation theory. Problem 2 Find a combinatorial interpretation for the multiplicity of an irreducible Sn module indexed by a partition λ in an irreducible polynomial GLn module indexed by a partition µ.
    [Show full text]
  • Spin Kostka Polynomials
    J Algebr Comb (2013) 37:117–138 DOI 10.1007/s10801-012-0362-4 Spin Kostka polynomials Jinkui Wan · Weiqiang Wang Received: 23 February 2011 / Accepted: 13 March 2012 / Published online: 24 March 2012 © Springer Science+Business Media, LLC 2012 Abstract We introduce a spin analogue of Kostka polynomials and show that these polynomials enjoy favorable properties parallel to the Kostka polynomials. Further connections of spin Kostka polynomials with representation theory are established. Keywords Kostka polynomials · Symmetric groups · Schur Q-functions · Hall–Littlewood functions · q-weight multiplicity · Hecke–Clifford algebra 1 Introduction 1.1 The Kostka numbers and Kostka(–Foulkes) polynomials are ubiquitous in algebraic combinatorics, geometry, and representation theory. A most interesting property of Kostka polynomials is that they have non-negative integer coefficients (due to Las- coux and Schützenberger [11]), and this has been derived by Garsia and Procesi [5] from Springer theory of Weyl group representations [18]. Kostka polynomials also coincide with Lusztig’s q-weight multiplicity in finite-dimensional irreducible rep- resentations of the general linear Lie algebra [9, 12]. R. Brylinski [1] introduced a Brylinski–Kostant filtration on weight spaces of finite-dimensional irreducible repre- sentations and proved that Lusztig’s q-weight multiplicities (and hence Kostka poly- nomials) are precisely the polynomials associated to such a filtration. For more on J. Wan () Department of Mathematics, Beijing Institute of Technology, Beijing, 100081, PR China e-mail: [email protected] W. Wang Department of Mathematics, University of Virginia, Charlottesville, VA 22904, USA e-mail: [email protected] 118 J Algebr Comb (2013) 37:117–138 Kostka polynomials, we refer to Macdonald [13] or the survey paper of Désarménien, Leclerc and Thibon [3].
    [Show full text]
  • On the Number of Partition Weights with Kostka Multiplicity One
    On the number of partition weights with Kostka multiplicity one Zachary Gates, Brian Goldman, and C. Ryan Vinroot Abstract Given a positive integer n, and partitions λ and µ of n, let Kλµ denote the Kostka num- ber, which is the number of semistandard Young tableaux of shape λ and weight µ. Let J(λ) denote the number of µ such that Kλµ = 1. By applying a result of Berenshtein and Zelevinskii, we obtain a formula for J(λ) in terms of restricted partition functions, which is recursive in the number of distinct part sizes of λ. We use this to classify all partitions λ such that J(λ) = 1 and all λ such that J(λ) = 2. We then consider the signed Kostka number, corresponding to the number of signed tableau of a specified shape and weight, and define J ±(λ) analogously. We find that the only nonzero value which this can take is 1, and we find all sequences of partitions with this property. We conclude with an application to the character theory of finite unitary groups. 2010 Mathematics Subject Classification: 05A19 1 Introduction Given partitions λ and µ of a positive integer n, the Kostka number Kλµ is the number of semistandard Young tableaux of shape λ and weight µ. Motivated by the importance of Kostka numbers and their generalizations in the representation theory of Lie algebras, Berenshtein and Zelevinskii [1] addressed the question of precisely when it is that Kλµ = 1. It may be seen, for example, that we always have Kλλ = 1. The results of this paper were motivated by the question: For which partitions λ is it true that Kλµ = 1 if and only if µ = λ? The answer to this question, given in Corollary 5.1, turns out to be quite nice, which is that this holds exactly for those partitions λ for which the conjugate partition λ0 has distinct parts.
    [Show full text]