A Pieri formula in the Grothendieck ring of a flag bundle (Q1804666)

Let \(V\) be a vector bundle of rank \(n\) on a variety \(X\), and let \(\text{Fl}(V)\) be the bundle of complete flags in \(V\). For the universal flag of bundles \(E_1\subset \cdots \subset E_n\) on \(\text{Fl}(V)\) and given a complete flag \(F_1 \subset\cdots \subset F_n =V\) of subbundles of \(V\), one can define line bundles \(L_1= E_{n+1-i}/ E_{n-i}\) on \(\text{Fl}(V)\) and \(M_i= F_i/ F_{i-1}\) on \(X\), \(1\leq i\leq n\). For each partition \(\lambda= (\lambda_1\geq \cdots \geq \lambda_n\geq 0)\) let \(L^\lambda= L_1^{\otimes \lambda_1} \otimes \cdots \otimes L_n^{\otimes \lambda_n}\), and for each permutation \(w\) in the symmetric group \(S_n\) let \(\Omega_w\) be the corresponding Schubert variety in \(\text{Fl}(V)\). The main result of this paper is the following formula for the class of the restriction of \(L^\lambda\) to \(\Omega_w\) in the Grothendieck ring of vector bundles on \(\text{Fl}(V)\): \[ [L^\lambda |_{\Omega_w} ]= \sum[M^T ]\cdot [{\mathcal O}_{\Omega_{v(T, w)}} ], \] where the sum is over a certain set of tableaux \(T\) of shape \(\lambda\) with entries in \(\{1, \dots, n\}\). Here \([M^T ]= \bigotimes^n_{i=1} M_i^{\otimes m(i)}\), where \(m(i)\) is the number of times \(i\) occurs in \(T\), and \(v(T, w)\) is a certain permutation associated with \(T\) and \(w\). If \(L= L_1\otimes \cdots \otimes L_p\), the formula can be stated without using the languages of tableaux. If \(X\) is complete, this gives a formula for the Euler characteristic of the restriction of \(L^\lambda\) to \(\Omega_w\) as a sum of Euler characteristics of line bundles on \(X\): \[ \chi(\Omega_w, L^\lambda |_{\Omega w})= \sum \chi(X,M^T). \] The general formula on the bundle of complete flags also implies corresponding formulas for all Schubert varieties on all partial flag bundles.