The pre-Pieri rules
From MaRDI portal
Abstract: Let be a commutative ring and and two integers. Let be an element of for all and . For any , 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 denotes the -th entry of ). 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 and ). Furthermore, if , 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 . We prove these two identities (in a slightly more general setting, where 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)