Arxiv:2004.03928V1 [Math.RT] 8 Apr 2020 Rct,Mliatt Partitions

arXiv:2004.03928v1 [math.RT] 8 Apr 2020 rct,mliatt partitions. multipartite procity, eediag( Here h hrce fsc ersnaini h ymti polynomia symmetric the is representation a such of character The firdcbehmgnosplnma ersnain fGL of representations Λ( by polynomial indexed homogeneous of irreducible set the of Moreover, representations. polynomial homogeneous i groups ric arxetisof entries matrix oyoilrpeetto fGL of representation polynomial reuil representation irreducible s W W d eoeb ( by denote usoe h e Λ( set the over runs e frpeettvso smrhs lse firdcbecomple irreducible of classes of isomorphism of representatives of set λ orsodn to corresponding ( h arxetisof entries matrix the , S sahomomorphism a is t 1 n 2010 h oyoilrepresentation polynomial The rbnu [ Frobenius oyoilrpeetto fGL of representation polynomial A e od n phrases. and words Key t , . . . , se[ (see oyoilIdcinadteRsrcinProblem Restriction the and Induction Polynomial Abstract. ftesmercgopi uharsrcin h unimodalit The restriction. a follows. such functions partition in irredu partite group an of symmetric multiplicity representation-theore the representa the a of of for to category formula plethystic leads the wood’s to construction group This poly linear of category group. general the a from of functor tions restriction the to adjoint ahmtc ujc Classification. Subject Mathematics rda .Nrynn ijyPu,Artnh Prasad, Amritanshu Paul, Digjoy Narayanan, P. Sridhar t S n 22 1 ρ n .Frdtisse[ see details For ). t , . . . , λ ,n d, W , hpe 3]). Chapter , i hi hrces o vr partition every For characters. their via 10 ρ λ ,testo attosof partitions of set the ), lsie h reuil ope ersnain ftesymmet- the of representations complex irreducible the classified ] ch ( h reuil oyoilrpeetto fGL of representation polynomial irreducible the ) n ecntutteplnma nuto uco,wihi the is which functor, induction polynomial the construct We g n eoe h ignlmti ihentries with matrix diagonal the denotes ) λ r l ooeeu fdegree of homogeneous all are ) ρ falpriin of partitions all of ) cu rvdta ch that proved Schur . ( t ρ 1 t , . . . , GL : ρ ltym etito rbe,plnma nuto,Fro induction, polynomial problem, restriction plethysm, ( V g λ n hadaSrivastava Shraddha and r oyoil ntemti nre of entries matrix the in polynomials are ) n of ( n 22 C trace( = ) S .Introduction 1. n hpe 6]. Chapter , ) n ( aldteSeh oueascae to associated module Specht the called , → C ρ sioopi oadrc u firreducible of sum direct a to isomorphic is ) GL( ssi ob ooeeu fdegree of homogeneous be to said is n 51,0E5 20C30. 05E05, 05E10, ( n 1 C d ρ W h pctmodules Specht the , (diag( nafiiedimensional finite a on ) iha most at with uhta,wt epc oaybssof basis any to respect with that, such ) ρ λ ( t 1 t 1 t , . . . , t , . . . , d cu [ Schur . µ n n n of steShrpolynomial Schur the is ) il representation cible at.For parts. )); i ro fLittle- of proof tic oilrepresenta- nomial n in fisWeyl its of tions W hr xssaunique a exists there , 24 fcranbi- certain of y t smrhs classes isomorphism n ) V 1 hwdta every that showed ] . ( t , . . . , λ C representations x omacomplete a form fdegree of ) l: C n λ ( vco space -vector g C right ∈ n ∈ . fdegree of ) Λ( eisreci- benius GL ,n d, λ d As . n fthe if ( we ) d C ). is λ 2 NARAYANAN, PAUL, PRASAD, AND SRIVASTAVA

Regard the symmetric group Sn as the subgroup of permutation matrices in d GLn(C). Let Rep GLn(C) denote the category of homogeneous polynomial representations of GLn(C) of degree d. Let Rep Sn denote the category of complex d d representations of Sn. Let Res : Rep GLn(C) → Rep Sn denote the functor that takes a polynomial representation ρ : GLn(C) → GL(W ) to ρ|Sn : Sn → GL(W ). Let rλµ, for λ ∈ Λ(d, n) and µ ∈ Λ(n), be non-negative integers deﬁned by

d ⊕rλµ (1) Res Wλ = M Vµ . µ∈Λ(n)

The integers rλµ are known as restriction coefficients. The best-known way of com- puting restriction coefficients is by expanding a plethysm of symmetric functions in the basis of Schur functions (Theorem 2.6), which we survey in greater detail in the next two sections. Orellana and Zabrocki [20, Theorem 1], and indepen- dently, Assaf and Speyer [2] obtained restrictions coefficients from the expansions of Schur functions into a new family of symmetric functions (the Specht symmetric functions). A recent approach due to the authors of this paper involves character polynomials [18]. However, none of these approaches gives a positive combinatorial interpretation of the restriction coefficients. This remains an important open question in algebraic combinatorics, known as the restriction problem. Frobenius [9] introduced the notion of an induced character proved the reciprocity theorem named after him. The Frobenius reciprocity theorem can be inter- preted as the adjunction between restriction and induction functors. Frobenius’s ideas were extended to locally compact topological groups and their unitary representations by Mackey [17]. The adaptation of Mackey’s construction to the setting of polynomial representations is completely natural. In this article, we construct d d a polynomial induction functor Ind : Rep Sn → Rep GLn(C) which is a right d d adjoint to Res (Theorem 3.2). We show that the character of Ind Vµ is given by a plethysm (Theorem 4.7). This gives rise to a representation-theoretic proof of Littlewood’s plethystic formula for restriction coefficients (Theorem 2.6).

2. Plethysm and the Restriction Problem

2.1. Plethysm. Composing a polynomial representation φ : GLn → GLm with a polynomial representation ψ : GLm → GLr results in the polynomial representation ψ◦φ : GLn → GLr. Let f and g be the characters of ψ and φ respectively. The plethysm f[g] is deﬁned to be the character of ψ ◦ φ. The concept of plethysm was introduced by Littlewood in [14]. A detailed discussion of the representation-theoretic signiﬁcance of plethysm can be found in [25, Section A2.6]. Let N denote the set of all non-negative n x x1 xn integers. For x = (x1,...,xn) ∈ N , let t denote the monomial t1 ··· tn . Since g is the character of the m-dimensional representation φ, g can be written as a sum of m monic monomials:

x1 xm n g(t)= t + ··· + t , for some x1,..., xm ∈ N . For any symmetric polynomial f in m variables, the plethysm f[g] can be deﬁned as the substitution of these monic monomials of g into the variables of f (see [16, Theorem 7]): x x f[g](t)= f(t 1 ,...,t m ). POLYNOMIAL INDUCTION AND THE RESTRICTION PROBLEM 3

This definition also works when f is a symmetric polynomial in infinitely many variables [25, Section 7.1] and g is a sum of infinitely many monic monomials. 2 Example 2.1. Let f(t1,...,t4) be any symmetric polynomial and g = (t1+t2) . 2 2 2 2 Since g = t1 + t2 + t1t2 + t1t2, f[g]= f(t1,t2,t1t2,t1t2). k Example 2.2. For each non-negative integer k, let pk = Pi ti be the kth power sum symmetric polynomial. The plethysm pk[pl] is obtained by substituting l the monomial ti of pl for the variable ti of pk, so that pk[pl]= pkl. It is clear from this definition that given a symmetric function g, the map Rg : f 7→ f[g] is an algebra homomorphism. In other words, for symmetric functions f1 and f2, we have:

• (f1 + f2)[g]= f1[g]+ f2[g], • f1f2[g]= f1[g]f2[g].

Note that Rp1 is the identity homomorphism. Finding a combinatorial interpretation of the coefficients aλµν in the expression 14 sλ[sµ]= Pν aλµν sν remains an open problem in general. Littlewood [ ] obtained generating functions for s2[sn],s12 [sn],sn[s2],sn[s12 ], while Carréand Leclerc [7] offered combinatorial interpretations for s2[sλ] and s12 [sλ]. Other partial results can be found in [3, 4, 5, 6, 8, 13]. For each non-negative integer k, let hk and ek denote the kth complete and elementary symmetric functions, respectively:

(2) hk(t1,t2,... )= X ti1 ··· tik i1≤···≤ik

(3) ek(t1,t2,... )= X ti1 ··· tik . i1<···

H(t)= H(t1,...,tn)= X hk(t1,...,tn). k≥0 The plethysm of H(t) into various symmetric functions plays an important role in this paper. Observe that x H(t)= X t . x∈Nn Definition 2.3. Given x ∈ Nn, a vector partition of x with k parts is a decomposition x = x1 + ··· + xk, n where x1,..., xk ∈ N −{0}. The order in which the summands appear is dis- regarded. The number of vector partition of x with at most k parts is denoted pk(x). The number of vector partition of x with exactly k or k − 1 distinct parts in n N −{0} is denoted qk(x). These functions can also be deﬁned by the generating functions x 1 p (x)t uk = , X X k Y 1 − txu x∈Nn k≥0 x∈Nn x k x X X qk(x)t u = Y (1 + t u). x∈Nn k≥0 x∈Nn 4 NARAYANAN, PAUL, PRASAD, AND SRIVASTAVA

Theorem 2.4. For every non-negative integer k, x hk[H]= X pk(x)t , x∈Nn x ek[H]= X qk(x)t . x∈Nn n Proof. Endow N with the lexicographic order. The plethysm hk[H] is ob- x n tained by substituting the monomials {t | x ∈ N } into the variables of hk in x order. Thus by (2), the coeﬃcient of t in hk[H] is the number of decompositions n x = x1 + ··· + xk, where x1 ≤···≤ xk ∈ N , x which is the same as pk(x). Similarly, by (3), the coeﬃcient of t in ek[H] is the number of decompositions n x = x1 + ··· + xk, where x1 < ··· < xk ∈ N , namely qk(x).

Remark 2.5. By expressing the generating functions of pk and qk as plethysms of Schur positive symmetric functions, Theorem 2.4 establishes their Schur positivity. For a wider discussion of Schur positivity see [1].

2.2. Plethystic Formula for Restriction Coeﬃcients. Let θ1,...,θn be the eigenvalues of the permutation matrix w ∈ Sn ⊂ GLn(C). Then the charac- d ter of Res Wλ at w is sλ(θ1,...,θn). Let h·, ·i denote the Hall inner product on symmetric functions. For a representation (ρ, V ) of Sn, let F(V ) denote the Frobe- nius characteristic of the character of V [25, Section 7.18]. We have F(Vλ) = sλ and dim HomSn (V1, V2)= hF(V1), F(V2)i for representations V1 and V2 of Sn. By applying F to both sides of 1, we get d rλµ = hF(Res Wλ),sµi. The following plethystic formula is equivalent to a result of Littlewood [15, Theorem XI]: Theorem 2.6. For every λ ∈ Λ(d, n) and µ ∈ Λ(n), d rλµ = hF(Res Wλ),sµi = hsλ,sµ[H]i. Stanley [25, Exercise 7.74] outlines a proof using symmetric function theory. For a proof using Hopf algebra techniques see Scharf and Thibon [23, Corollary 5.3], who also explain the equivalence of this identity and Littlewood’s branching rule for GLn−1(C) ⊃ Sn [15, Theorem XI]. λ n n λi n Let λ = (λ1,...,λn) be a weak composition of d, and Sym C = ⊗i=1 Sym C . It is known from the work of Orellana and Zabrocki [20, Theorem 9] and Har- man [11, Proposition 3.11] that the multiplicity aλµ of the Specht module Vµ in Resd Symλ Cn is counted by a certain class of multiset tableaux. In [19, Theorem 4.2] it is shown that sµ[H] is the generating function for {aλµ} as λ varies. A combinatorial proof of Theorem 2.6 is given in the second author’s PhD thesis [21] using this fact and some symmetric function identities. d In this paper, we show that ch Ind Vµ is sµ[H] and thereby give a representation- theoretic proof of Theorem 2.6. POLYNOMIAL INDUCTION AND THE RESTRICTION PROBLEM 5

3. Polynomial Induction

3.1. Deﬁnition of the Induction Functor. Let Mn denote the ring of n×n d matrices with entries in C. Let P (Mn) denote the space of homogeneous polynomials of degree d in the entries of matrices Q ∈ Mn. Then, for any complex vector d space V , P (Mn) ⊗ V can be regarded as the space of V -valued homogeneous poly- d d nomials of degree d on Mn. Deﬁne a functor Ind : Rep Sn → Rep GLn(C) as d follows: given an object (ρ, V ) of Rep Sn let

d d (4) Ind V = {f ∈ P (Mn) ⊗ V | f(wQ)= ρ(w)f(Q)for all w ∈ Sn, Q ∈ Mn}. d The vector space Ind V aﬀords a representation of GLn(C) via the action (5) (Indd ρ(g)f)(Q)= f(Qg)

d for all f ∈ Ind V , g ∈ GLn(C), and Q ∈ Mn. Since matrix multiplication g 7→ Qg is linear in the entries of g and f is homogeneous of degree d, it fol- d d d d lows that Ind (ρ, V ) := (Ind ρ, Ind V ) is an object of Rep GLn(C). Given d d d d φ ∈ HomSn (V, W ), deﬁne Ind φ : Ind V → Ind W by (Ind φf)(Q) = φ(f(Q)) d d for all Q ∈ Mn. Then Ind : Rep Sn → Rep GLn(C) is a functor.

Example 3.1. Let 1n and sgnn denote the trivial and sign representations of Sn. From (4),

d d (6) Ind 1n = {f ∈ P (Mn) | f(wQ)= f(Q) for all w ∈ Sn, Q ∈ Mn} d d (7) Ind sgnn = {f ∈ P (Mn) | f(wQ) = sgn(w)f(Q) for all w ∈ Sn, Q ∈ Mn}. 3.2. Frobenius Reciprocity.

Theorem 3.2 (Frobenius reciprocity). For each d ≥ 0, the functor Indd : d d Rep Sn → Rep GLn(C) is right adjoint to the functor Res . In other words, for d every object (σ, U) ∈ Rep GLn(C) and every object (ρ, V ) of Rep Sn, there is a natural isomorphism d ∼ d (8) HomGLn(C)(U, Ind V ) = HomSn (Res U, V ).

d Proof. For each f ∈ HomGLn(C)(U, Ind V ) deﬁne Φ(f): U → V by Φ(f)(u)= f(u)(1), where 1 denotes the identity matrix in GLn(C). Then Φ(f)(σ(w)u)= f(σ(w)u)(1) [defn. of Φ] = Indd ρ(w)f(u)(1) [f is a homomorphism] = f(u)(w) [defn. of Indd ρ] = ρ(w)f(u)(1) [since f ∈ Indd V ] = ρ(w)Φ(f)(u),

d d so that Φ(f) ∈ HomSn (Res U, V ). Conversely, given h ∈ HomSn (Res U, V ), deﬁne d Ψ(h): U → P (Mn) ⊗ V by

Ψ(h)(u)(x)= h(σ(x)u) for all x ∈ Mn. 6 NARAYANAN, PAUL, PRASAD, AND SRIVASTAVA

Note that, a priori, σ(x) is deﬁned only for x ∈ GLn(C). However, since σ is polynomial in the entries of x, it extends uniquely to Mn. Then Ψ(h)(u)(wx)= h(σ(wx)u) [defn. of Ψ] = ρ(w)h(σ(x)u)[h is a homomorphism] = ρ(w)Ψ(h)(u)(x), [defn. of Ψ] so that Ψ(h)(u) ∈ Indd V . Moreover, Ψ(h)(σ(g)u)(x)= h(σ(x)σ(g)u) [defn. of Ψ] = h(σ(xg)u)[σ is a representation] = Ψ(h)(u)(xg) [defn. of Ψ] = Indd ρ(g)Ψ(h)(u)(x). [defn. of Indd ρ] Thus Ψ deﬁnes a homomorphism d d HomSn (Res U, V ) → HomGLn(C)(U, Ind V ). The mutual inverses Φ and Ψ give the desired natural isomorphism.

3.3. Induction of Permutation Representations. Let X be a set with an Sn-action. Let C[X] denote the space of all complex-valued functions of X. Then C[X] aﬀords a representation σX : Sn → GL(C[X]) via: −1 (σX (w)f)(x)= f(w x).

Representations of the form σX are known as permutation representations of Sn. d The space P (Mn)⊗C[X] may be regarded as the space of functions f : Mn ×X → C such that f(Q, x) is a homogeneous polynomial of degree d in the entries of Q for every x ∈ X. In terms of this identification, d d Ind C[X]= {f ∈ P (Mn) ⊗ C[X] | f(wQ,wx)= f(Q, x) for w ∈ Sn, Q ∈ Mn}. d Suppose that X is a transitive Sn-space. Fix x0 ∈ X. Then, for any f ∈ Ind C[X], −1 f(Q, x)= f(w Q, x0), where w is an element of Sn such that x = wx0. It follows d d that the map r : Ind C[X] → P (Mn) defined by r(f)(Q)= f(Q, x0) is injective. d Its image in P (Mn) is the subspace d d KX = {f ∈ P (Mn) | f(wQ)= f(Q) for all w ∈ Sn with wx0 = x0}. d The vector space KX affords a representation of GLn(C) via d (κX (g)f)(Q)= f(Qg). We have proved the following result:

d d Theorem 3.3. The map r : Ind C[X] → KX deﬁned by r(f)(Q) = f(Q, x0) d d gives rise to an isomorphism of polynomial representations (Ind ρX , Ind C[X]) → d d (κX ,KX ).

4. Characters and Symmetric Functions 4.1. Multipartite Partition Functions and Characters. In this section we compute the characters of some induced representations in terms of the functions pk(x) and qk(x) deﬁned in Section 2.1. POLYNOMIAL INDUCTION AND THE RESTRICTION PROBLEM 7

Lemma 4.1. For every positive integer n,

d x (9) ch Ind 1n = X pn(x)t {x∈Nn:|x|=d} d x (10) ch Ind sgnn = X qn(x)t . {x∈Nn:|x|=d} Proof. Let M(d, n) denote the set of all matrices with entries in N that A sum to d. For A ∈ M(d, n) of the form A = (aij ), let q denote the monomial aij A d Q1≤i,j≤n qij . Then {q | A ∈ M(d, n)} is a basis of P (Mn). A general element d of P (Mn) is of the form:

A (11) f = X fAq , fA ∈ C. A∈M(d,n)

d By (6), an element f ∈ Ind 1n if and only if fA = fwA for each w ∈ Sn. d Therefore Ind 1n has a basis indexed by Sn-orbits in M(d, n), where Sn acts by permutation of rows. The basis element corresponding to the orbit of A is an d x eigenvector for Ind 1n(diag(t1,...,tn)) with eigenvalue t , where x is the sum of d the rows of A. Thus the basis elements of Ind 1n that contribute to the monomial x d t in ch Ind 1n are in bijection with vector partitions of x with at most n parts, giving (9). d By (7), an element f of the from (11) lies in Ind sgnn if and only if fA = sgn(w)fwA for all w ∈ Sn. Suppose that two rows of A are equal. Let w be the transposition in Sn that interchanges these two rows. Then wA = A and d sgn(w) = −1. We have fA = fwA = −fA, so fA = 0. Therefore Ind sgnn has a basis indexed by Sn-orbits in M(d, n) consisting of matrices with distinct rows, and (10) follows.

By padding with 0’s if necessary, write λ ∈ Λ(d, n) as (λ1,...,λn). Let δ = (n − 1,n − 2,..., 1, 0). For w ∈ Sn, let w · δ = (n − w(1),...,n − w(n)). Corollary 4.2. For every partition λ ∈ Λ(d, n), the multiplicities of the trivial d and sign representations of Sn in Res Wλ are given by:

rλ,(n) = X sgn(w)pn(λ + δ − w · δ) w∈Sn

rλ,(1n) = X sgn(w)qn(λ + δ − w · δ). w∈Sn n n In the above expressions, for x ∈ Z − N , it should be understood that pn(x)=0. The ﬁrst identity is [18, Theorem 4.5].

Proof. By Frobenius reciprocity (Theorem 3.2),

d rλµ = hsλ, ch Ind Vµi, where h·, ·i denotes the Hall inner product on symmetric polynomials. A well- known formula of Frobenius [22, Theorem 5.4.10] says that this is the coeﬃcient λ+δ d n−j of t in aδ ch Ind Vµ, where aδ is the Vandermonde determinant det(ti )n×n = 8 NARAYANAN, PAUL, PRASAD, AND SRIVASTAVA

sgn(w)tw·δ. By Lemma 4.1, Pw∈Sn λ+δ x+w·δ rλ,(n) = coeﬃcient of t in X sgn(w) X pn(x)t , w∈Sn |x|=d λ+δ x+w·δ rλ,(1n) = coeﬃcient of t in X sgn(w) X qn(x)t . w∈Sn |x|=d Since x + w · δ = λ + δ if and only if x = λ + δ − w · δ, the formulae in Corollary 4.2 follow.

Example 4.3. Take λ = (λ1, λ2) and any n ≥ 2. Then we pad λ with n − 2 zeros and write it as (λ1, λ2, 0,..., 0). We get

rλ,(n) = X sgn(w)pn(λ1 − 1+ w(1), λ2 − 2+ w(2), −3+ w(3),..., −n + w(n)). w∈Sn If −i + w(i) ≥ 0 for all i> 2, then we must have w(i)= i for all i> 2, and so the sum above reduces to pn(λ1, λ2, 0,..., 0) − pn(λ1 +1, λ2 − 1, 0,..., 0) = pn(λ1, λ2) − pn(λ1 +1, λ2 − 1). Similarly,

rλ,(1n) = qn(λ1, λ2) − qn(λ1 +1, λ2 − 1).

Corollary 4.4 (Unimodality of bipartite partitions). For any integers x1 ≥ x2 ≥ 1, and any n ≥ 0, we have:

pn(x1, x2) ≥ pn(x1 +1, x2 − 1),

qn(x1, x2) ≥ qn(x1 +1, x2 − 1). Proof. As explained in Example 4.3, the diﬀerence the left-hand side minus the right-hand side of each identity appears as the multiplicity of the trivial or sign x1+x2 representation in Res W(x1,x2). Remark 4.5. The ﬁrst inequality is a result of Kim and Hahn [12] (see [18, Section 4.2] for a strengthening of this result). The second appears to be hitherto unpublished.

4.2. Proof of the Plethystic Formula. For a family (σ, W )= {(σd, Wd)}d≥0, d where (σd, Wd) is an object of Rep GLn(C), deﬁne its character to be the symmetric formal power series in the the variables t1,...,tn

ch σ(t1,...,tn)= X ch σd(t1,...,tn). d≥0

For a representation (ρ, V ) of Sn, let (Ind ρ, Ind V ) denote the family d d {(Ind ρ, Ind V )}d≥0. Then Lemma 4.1 can be rewritten as: x ch Ind 1n = X pn(x)t , x∈Nn x ch Ind sgnn = X qn(x)t . x∈Nn

For each partition µ = (µ1,...,µm) of n let

Xµ = {(S1,...,Sm) | S1 ` ··· ` Sm = [n]}, POLYNOMIAL INDUCTION AND THE RESTRICTION PROBLEM 9 the collection of all ordered set partitions of [n] into m parts, of sizes µ1,...,µm. Then Xµ inherits an Sn-action from [n].

Lemma 4.6. For every partition µ = (µ1,...,µm) of n,

m x ch Ind C[Xµ]= Y X pµi (x)t . i=1 x∈Nn

Proof. Let x0 = ({1,...,µ1}, {µ1 +1,...,µ1 + µ2},..., {µ1 + ··· + µm−1 + 1,...,n}), an element of Xµ. The stabilizer of x0 in Sn is the Young subgroup

Sµ := Sµ1 × · · · Sµm of Sn. By Theorem 3.3,

d d Ind C[Xµ]= {f ∈ P (Mn) | f(wQ)= f(Q) for all w ∈ Sµ,Q ∈ Mn}.

d Proceeding as in the proof of Theorem (9), we see that a basis of Ind C[Xµ] is indexed by Sµ-orbits of matrices in M(d, n), where Sµ acts by permuting blocks of rows of sizes µ1,µ2,...,µm. The ith block of rows may be regarded as a vector x partition with at most µi-parts of some vector xi. It contributes to t in the total character when x1 + ··· + xm = x.

Theorem 4.7. For every representation V of Sn,

ch Ind V = F(V )[H].

Proof. Since Indd is an additive functor and f 7→ f[H] is also additive, it suﬃces to prove the identity in the theorem for any family of representations whose characters span the space of class functions on Sn. In particular, it suﬃces to prove the identity for the family C[Xµ] of permutation representations, as µ runs over all partitions of n. We have

ch Ind C[Xµ]= Y X pµi (x) [Lemma 4.6 i x∈Nd

= Y hµi [H] [Theorem 2.4] i = hµ[H]

= F(C[Xµ])[H], as required.

We are now in a position to give a representation-theoretic proof of Littlewood’s plethystic formula for restriction coeﬃcients (Theorem 2.6):

d d hF(Res Wλ),sµi = dim HomSn (Res Wλ, Vµ) d = dim HomGL(n)(Wλ, Ind Vµ) [Theorem 3.2] d = hsλ, ch Ind Vµi

= hsλ,sµ[H]i, [Theorem 4.7] as required. 10 NARAYANAN, PAUL, PRASAD, AND SRIVASTAVA

References

[1] P. Alexandersson. Schur positivity. Symmetric functions catalog, accessed 8th April 2020. https://www.math.upenn.edu/~peal/polynomials/schurPositivity.htm [2] S. H. Assaf and D. E. Speyer. Specht modules decompose as alternating sums of restrictions of Schur modules. Proc. Amer. Math. Soc., 148(3):1015–1029, 2020. https://doi.org/10.1090/proc/14815 [3] J. O. Carbonara, J. B. Remmel, and M. Yang. Exact formulas for the plethysm s2[s(1a,b)] and s12 [s(1a,b)]. Technical report, MSI, 1992. [4] J. O. Carbonara, J. B. Remmel, and M. Yang. A combinatorial rule for the Schur function expansion of the plethysm s(1a,b)[pk]. Linear Multilinear Algebra, 39:4, 341–373, 1995. http://dx.doi.org/10.1080/03081089508818407 [5] L. Carini. On the multiplicity-free plethysms p2[sλ]. Ann. Comb., 21(3):339–352, 2017. https://doi.org/10.1007/s00026-017-0354-0 [6] L. Carini and J. B. Remmel. Formulas for the expansion of the plethysms s2[s(a,b)] and s2[s(nk)]. Discrete Math., 193(1-3):147–177, 1998. Selected papers in honor of Adriano Garsia (Taormina, 1994). https://doi.org/10.1016/S0012-365X(98)00139-3 [7] C. Carr´e and B. Leclerc. Splitting the square of a Schur function into its symmetric and antisymmetric parts. J. Algebraic Combin., 4(3):201–231, 1995. https://doi.org/10.1023/A:1022475927626 [8] Y. M. Chen, A. M. Garsia, and J. Remmel. Algorithms for plethysm. In Combinatorics and algebra (Boulder, Colo., 1983), volume 34 of Contemp. Math., pages 109–153. Amer. Math. Soc., Providence, RI, 1984. [9] F. G. Frobenius. Uber¨ Relationen zwischien den Characteren einer Gruppe und denen ihrer Untergruppen. S’ber. Akad. Wiss. Berlin, 501–515, 1898. https://doi.org/10.3931/e-rara-18872 [10] F. G. Frobenius. Uber¨ die Charaktere der symmetrischen Gruppe. S’ber Akad. Wiss. Berlin, 148–166, 1900. http://doi.org/10.3931/e-rara-18862 [11] N. Harman. Representations of monomial matrices and restriction from GLn to Sn, 2018. https://www.arXiv.org/abs/1804.04702 [12] J. K. Kim and S. G. Hahn. Partitions of bipartite numbers. Graphs and Combinatorics, 13(1):73–78, 1997. https://doi.org/10.1007/BF01202238 [13] T. M. Langley and J. B. Remmel. The plethysm sλ[sµ] at hook and near- hook shapes. Electron. J. Combin., 11(1):Research Paper 11, 26, 2004. http://www.combinatorics.org/Volume_11/Abstracts/v11i1r11.html [14] D. E. Littlewood. The Theory of Group Characters and Matrix Representations of Groups. Oxford University Press, New York, 1940. [15] D. E. Littlewood. Products and plethysms of characters with orthogo- nal, symplectic and symmetric groups. Canadian J. Math., 10:17–32, 1958. https://doi.org/10.4153/CJM-1958-002-7 [16] N. A. Loehr and J. B. Remmel. A computational and combinatorial ex- pos´e of plethystic calculus. J. Algebraic Combin., 33(2):163–198, 2011. https://doi.org/10.1007/s10801-010-0238-4 [17] G. W. Mackey. On induced representations of groups. Amer. J. Math., 73(3):576–592, 1951. https://doi.org/10.2307/2372309 [18] S. Narayanan, D. Paul, A. Prasad, and S. Srivastava. Character polynomials and the restriction problem, 2020. https://www.arxiv.org/abs/2001.04112 [19] S. P. Narayanan, D. Paul, and S. Srivastava. The multiset partition algebra, 2019. https://www.arxiv.org/abs/1903.10809 [20] R. Orellana and M. Zabrocki. Symmetric group characters as symmetric functions, 2018. https://www.arxiv.org/abs/1605.06672v4 [21] D. Paul. The Multiset partition algebra. PhD thesis, Homi Bhabha National Institute, sub- mitted 2020. [22] A. Prasad. Representation Theory: A Combinatorial Viewpoint. Cambridge University Press, New Delhi, 2015. [23] T. Scharf and J.-Y. Thibon. A Hopf-algebra approach to inner plethysm. Adv. Math., 104(1):30–58, 1994. https://doi.org/10.1006/aima.1994.1019 POLYNOMIAL INDUCTION AND THE RESTRICTION PROBLEM 11

[24] I. Schur. Ueber eine Klasse von Matrizen, die sich einer gegebenen Matrix zuordnen lassen. Dissertation, Berlin 1901. [25] R. P. Stanley. Enumerative combinatorics. Vol. 2, volume 62 of Cambridge Studies in Ad- vanced Mathematics. Cambridge University Press, Cambridge, 1999.

The Institute of Mathematical Sciences (HBNI), Chennai E-mail address: [email protected]

Tata Institute of Fundamental Research, Mumbai E-mail address: [email protected]