The classical Thom--Porteous formula expresses the homology class of the degeneracy locus of a generic map between two vector bundles as an alternating sum of Schur polynomials. A proof of this formula was given by Pragacz by expressing this alternating sum as the Euler characteristic of a Schur complex, which gives an explanation for the signs. Fulton later generalized this formula to the situation of flags of vector bundles by using alternating sums of Schubert polynomials. Building on the Schubert functors of Kraśkiewicz and Pragacz, we introduce Schubert complexes and show that Fulton's alternating sum can be realized as the Euler characteristic of this complex, thereby providing a conceptual proof for why an alternating sum appears.
Résumé. La formule classique de Thom--Porteous exprime la classe d'homologie du locus de la dégénérescence d'une fonction générique entre deux fibrés vectoriels comme une somme alternée des polynômes de Schur. Un preuve de cette formule a été donnée par Pragacz en exprimant ce alternant somme comme la caractéristique d'Euler d'un complexe de Schur, ce qui donne une explication pour les signes. Fulton puis généralisée cette formule à la situation des drapeaux de fibrés vectoriels à l'aide alternant des sommes de polynômes de Schubert. S'appuyant sur le Schubert foncteurs de Kraśkiewicz et Pragacz, nous introduisons les complexes de Schubert et montrent que la somme alternée de Fulton peuvent être réalisées en tant que Euler caractéristique de ce complexe, fournissant ainsi une preuve conceptuelle pour lesquelles une somme alternée apparaît.