Chern class formulas for quiver varieties (Q1303293)

Let \(X\) be an algebraic variety, and suppose there is a sequence of vector bundles and vector bundle maps \(E_{0}\rightarrow E_{1}\rightarrow E_{2}\rightarrow \cdots \rightarrow E_{n}\). Let \(r_{ii}=\text{rank} (E_{i})\) for \(0\leq i\leq n.\) Given a collection of non-negative integers \(r_{ij}\) with \(0\leq i<j\leq n\) with the \(r_{ij}\)'s increasing as \(i\) increases or as \(j\) decreases and \(r_{i+1,j-1}-r_{i,j-1}-r_{i+1,j}+r_{ij}\geq 0\) when \(i\neq j-1,\) the authors obtain a formula for the degeneracy locus \(\Omega _{r}=\{x\in X\mid \text{rank}(E_{i}(x)\rightarrow E_{j}(x))\leq r_{ij}\) for all \(i<j\}\). The formula is a generalization of the Giambelli-Thom-Porteous formula since the two coincide when \(n=1.\) Let \(\lambda \) be the sequence \(\left( \lambda (1),\lambda (2),\ldots, \lambda (n)\right) \) with each \(\lambda (i)\) a partition. Let \(s_{\lambda (i)}(E_{i}-E_{i-1})=\det (h_{\lambda _{i}+j-i}),\) where \(h_{k}\) is a certain cohomology class, and define \(s_{\lambda }(E_{\bullet})=s_{\lambda (1)}(E_{1}-E_{0})\cdot s_{\lambda (2)}(E_{2}-E_{1})\cdot \dots \cdot s_{\lambda (n)}(E_{n}-E_{n-1}).\) The above formula is given by \(\Omega _{r}=\sum_{\lambda }c_{\lambda }(r)s_{\lambda }(E_{\bullet})\), where the sum is over all sequences \(\lambda\). \(s_{\lambda }(E_{\bullet })\) is and \(c_{\lambda }(r)\) are constants referred to as ``generalized Littlewood-Richardson coefficients'' which are defined inductively in section two. This paper is a statement and proof of the formula above. In addition, there is a detailed analysis of the \(c_{\lambda }(r),\) giving a geometric interpretation along with the inductive definition. The authors make a conjecture about these coefficients, namely that \(c_{\lambda }(r)\) is the number of factor sequences of shape \(\lambda \) that can be made from a given rectangular tableaux.