Discrete Mathematics & Theoretical Computer Science |

2831

- 1 Department of Mathematics [MIT]

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. \par

Source: HAL:hal-01186259v1

Volume: DMTCS Proceedings vol. AN, 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010)

Section: Proceedings

Published on: January 1, 2010

Imported on: January 31, 2017

Keywords: Schubert polynomials,Schubert complexes,degeneracy loci,balanced labelings,Thom―Porteous formula,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO],[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]

IsRelatedTo

- 1 ScholeXplorer

This page has been seen 190 times.

This article's PDF has been downloaded 288 times.