Nonnegativity conjecture for Thom polynomials of Thom–Boardman classes

A Thom–Boardman class is a singularity class indexed by a sequence of nonnegative integers, and its Thom polynomial is the universal cohomology class representing the locus of maps having that singularity type. A nonnegative linear combination of Schur polynomials is a sum of Schur polynomials with nonnegative integer coefficients. Nonnegativity conjecture. The Thom polynomials of all Thom–Boardman classes can be written as nonnegative linear combinations of Schur polynomials. The statement is motivated by the preceding formulas and computational evidence for second-order Thom–Boardman singularities; the source does not establish it for all Thom–Boardman classes.