The pre-Pieri rules

From MaRDI portal




Abstract: Let R be a commutative ring and ngeq1 and pgeq0 two integers. Let hk,i be an element of R for all kinmathbbZ and iin[n]. For any alphainmathbbZn, we define [ t_{alpha}:=det�egin{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 alphai denotes the i-th entry of alpha). Then, we have the identity [ sum_{substack{�etain{0,1,2,ldots}^n ;\ left|�eta ight|=p}}t_{alpha+�eta} =det �egin{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 denotes the entrywise sum of the tuples alpha and ). Furthermore, if pleqn, then [ sum_{substack{�etainleft{ 0,1 ight} ^n ;\left| �eta ight| =p}}t_{alpha+�eta}=det �egin{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 xi=(1,2,ldots,np,np+2,np+3,ldots,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.












This page was built for publication: The pre-Pieri rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6379618)