Indexed metadata

Eulerian insertion operators and an Eulerian form of the Pieri rule

Shi-Mei Ma

Source record

Source: arXiv

Published: Sep 3, 2026

arXiv: 2609.03881

Open original source ↗

Source abstract

We study the operators obtained by inserting copies of a new largest letter into multiset permutations. Let GrG_r denote the operator which inserts rr copies of a new largest letter. After the change of variables δ=yxδ=y-x, u=x/yu=x/y, and E=uuE=u\partial_u, we find that Gr=δrr!E(E+1)(E+r1).G_r=\frac{δ^r}{r!}E(E+1)\cdots(E+r-1). Its generating series acts by a rational substitution, which yields the composition law. Our main result gives a common symmetric-function explanation for the ordinary and major-index operators. For N0N\geq 0, define ΦN(FN,S)=xS+1yNSΦ_N(F_{N,S})=x^{|S|+1}y^{N-|S|}. We prove that multiplication by the complete homogeneous symmetric function hrh_r becomes the ordinary insertion operator: ΦN+r(hrf)=GrΦN(f)Φ_{N+r}(h_r f)=G_rΦ_N(f), where fQSymNf\in\mathrm{QSym}_N. There is a parallel specialization for the major index. A reverse finite principal specialization sends multiplication by hrh_r to an operator QrQ_r, which is a polynomial in the qq-shift Θqf(t)=f(qt)Θ_qf(t)=f(qt). Thus the ordinary and major-index operators arise from the same multiplication operator fhrff\mapsto h_r f. Since the functions hrh_r freely generate the ring of symmetric functions, the assignment hrGrh_r\mapsto G_r extends to an algebra homomorphism. We determine the kernel of this homomorphism and the image of every homogeneous component. The images of Schur functions satisfy the Littlewood--Richardson multiplication identities, and the one-row case gives an Eulerian form of the Pieri rule.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.