Stability

Abstract

. Let h n denote the complete homogeneous symmetric function of degree n , s ν the Schur function indexed by a partition ν , and ⟨· , ·⟩ the Hall inner product. The plethysm coefficient ⟨ h n [ h m ] ,s ν ⟩ is the multiplicity of the Weyl module W ν ( C N ) in Sym n (Sym m ( C N )) whenever ν has at most N parts. For a partition λ , let λ [ mn ] = ( mn −| λ | ,λ 1 ,λ 2 ,... ). Bowman and Paget proved that ⟨ h n [ h m ] ,s λ [ mn ] ⟩ is independent of m and n once m,n ≥ | λ | . We prove that this coefficient is already constant for m ≥ λ 1 and n ≥ ⌊ ( | λ | + λ 1 ) / 2 ⌋ , and that its stable value equals ⟨ s λ ,H [ H − 1 − h 1 ] ⟩ , where H = (cid:80) i ≥ 0 h i ; the proof uses the skewing operators adjoint to multiplication by complete homogeneous symmetric functions. We give a short new proof of the Bowman–Paget theorem based on stability of vector-partition functions, which count the ways of writing a vector of non-negative integers as an unordered sum of non-zero such vectors (its parts). Using a Vandermonde-type determinantal identity, we deduce that the stable value is a signed sum of numbers of vector partitions all of whose parts have entries summing to at least 2. The same method gives a short proof of Brion’s theorem that ⟨ h n [ h m + d ] ,s λ +( nd ) ⟩ is eventually constant in d , where λ + ( nd ) is obtained from λ by adding nd to its first part. We show that the stable value equals the multiplicity of W λ ( C k ) in an explicit representation of GL k ( C ), where k = ⌊| λ | / 2 ⌋ , independent of m and n : the space of homogeneous polynomial functions of degree | λ | on k × k matrices that are invariant under permuting rows and have no monomial of degree 1 in the entries of any single row, with GL k ( C ) acting by right translation. This module is a modification of the polynomial induction of Narayanan, Paul, Prasad and Srivastava, which constructs polynomial representations of general linear groups from representations of symmetric groups. Finally, we prove an explicit positive formula for the stable value, as the number of lattice points of a polytope, when λ 1 ≤ 4.