English

The pre-Pieri rules

Combinatorics 2026-05-25 v2 Rings and Algebras

Abstract

Let RR be a commutative ring and n1n\geq1 and p0p\geq0 two integers. Let hk, ih_{k,\ i} be an element of RR for all kZk\in\mathbb Z and i[n]i\in [n]. For any αZn\alpha\in\mathbb Z^n, we define tα:=det(hα1+1, 1hα1+2, 1hα1+n, 1hα2+1, 2hα2+2, 2hα2+n, 2hαn+1, nhαn+2, nhαn+n, n)R t_{\alpha}:=\det\begin{pmatrix} h_{\alpha_1+1,\ 1} & h_{\alpha_1+2,\ 1} & \cdots & h_{\alpha_1+n,\ 1}\\ h_{\alpha_2+1,\ 2} & h_{\alpha_2+2,\ 2} & \cdots & h_{\alpha_2+n,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{\alpha_n+1,\ n} & h_{\alpha_n+2,\ n} & \cdots & h_{\alpha_n+n,\ n} \end{pmatrix} \in R (where αi\alpha_i denotes the ii-th entry of α\alpha). Then, we have the identity β{0,1,2,}n;β=ptα+β=det(hα1+1, 1hα1+2, 1hα1+(n1), 1hα1+(n+p), 1hα2+1, 2hα2+2, 2hα2+(n1), 2hα2+(n+p), 2hαn+1, nhαn+2, nhαn+(n1), nhαn+(n+p), n) \sum_{\substack{\beta\in\{0,1,2,\ldots\}^n ;\\ \left|\beta \right|=p}}t_{\alpha+\beta} =\det \begin{pmatrix} h_{\alpha_1+1,\ 1} & h_{\alpha_1+2,\ 1} & \cdots & h_{\alpha_1+(n-1),\ 1} & h_{\alpha_1+(n+p),\ 1}\\ h_{\alpha_2+1,\ 2} & h_{\alpha_2+2,\ 2} & \cdots & h_{\alpha_2+(n-1),\ 2} & h_{\alpha_2+(n+p),\ 2}\\ \vdots & \vdots & \ddots & \vdots & \vdots\\ h_{\alpha_n+1,\ n} & h_{\alpha_n+2,\ n} & \cdots & h_{\alpha_n+(n-1),\ n} & h_{\alpha_n+(n+p),\ n} \end{pmatrix} (where α+β\alpha+\beta denotes the entrywise sum of the tuples α\alpha and β\beta). Furthermore, if pnp\leq n, then β{0,1}n;β=ptα+β=det(hα1+ξ1, 1hα1+ξ2, 1hα1+ξn, 1hα2+ξ1, 2hα2+ξ2, 2hα2+ξn, 2hαn+ξ1, nhαn+ξ2, nhαn+ξn, n), \sum_{\substack{\beta\in\left\{ 0,1\right\} ^n ;\\\left| \beta \right| =p}}t_{\alpha+\beta}=\det \begin{pmatrix} h_{\alpha_1+\xi_1 ,\ 1} & h_{\alpha_1+\xi_2 ,\ 1} & \cdots & h_{\alpha_1+\xi_n ,\ 1}\\ h_{\alpha_2+\xi_1 ,\ 2} & h_{\alpha_2+\xi_2 ,\ 2} & \cdots & h_{\alpha_2+\xi_n ,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{\alpha_n+\xi_1 ,\ n} & h_{\alpha_n+\xi_2 ,\ n} & \cdots & h_{\alpha_n+\xi_n ,\ n} \end{pmatrix} , where ξ=(1,2,,np,np+2,np+3,,n+1)\xi=(1,2,\ldots,n-p,n-p+2,n-p+3,\ldots,n+1). We prove these two identities (in a slightly more general setting, where RR is not assumed commutative) and use them to derive some variants of the Pieri rule found in the literature.

Keywords

Cite

@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

R2 v1 2026-06-24T06:41:17.198Z