Let R be a commutative ring and n≥1 and p≥0 two integers. Let hk,i be an element of R for all k∈Z and i∈[n]. For any α∈Zn, we define tα:=dethα1+1,1hα2+1,2⋮hαn+1,nhα1+2,1hα2+2,2⋮hαn+2,n⋯⋯⋱⋯hα1+n,1hα2+n,2⋮hαn+n,n∈R (where αi denotes the i-th entry of α). Then, we have the identity β∈{0,1,2,…}n;∣β∣=p∑tα+β=dethα1+1,1hα2+1,2⋮hαn+1,nhα1+2,1hα2+2,2⋮hαn+2,n⋯⋯⋱⋯hα1+(n−1),1hα2+(n−1),2⋮hαn+(n−1),nhα1+(n+p),1hα2+(n+p),2⋮hαn+(n+p),n (where α+β denotes the entrywise sum of the tuples α and β). Furthermore, if p≤n, then β∈{0,1}n;∣β∣=p∑tα+β=dethα1+ξ1,1hα2+ξ1,2⋮hαn+ξ1,nhα1+ξ2,1hα2+ξ2,2⋮hαn+ξ2,n⋯⋯⋱⋯hα1+ξn,1hα2+ξn,2⋮hαn+ξn,n, where ξ=(1,2,…,n−p,n−p+2,n−p+3,…,n+1). We prove these two identities (in a slightly more general setting, where R is not assumed commutative) and use them to derive some variants of the Pieri rule found in the literature.
@article{arxiv.2110.03108,
title = {The pre-Pieri rules},
author = {Darij Grinberg},
journal= {arXiv preprint arXiv:2110.03108},
year = {2026}
}
Comments
44 pages. Main results stated in Sections 2 and 4. v2 corrects Corollary 4.12 (assumption was insufficient; error found by GPT-5.5). Not sure how new the results are, whence no attempts at publication, but the writeup may be useful nevertheless