Thom polynomials relative to prescribed maps around the boundary

Thom polynomials are universal cohomological obstructions to the appearance of singularities of given types in differentiable maps. Introduced by R. Thom in the 1950s, they have been extensively studied ever since. In the first half of this talk, I would like to recall their theory with introduction of algebro-topological materials.

In the second half, I would also like to talk about applications of Thom polynomials to topology of non-singular maps. Since this century, various invariants of immersions/embeddings have been expressed in terms of singularities of their extensions (a.k.a. singular Seifert surfaces). However, those formulas are obtained in different forms and remain somewhat scattered.

As the first step to unify them, I would like to introduce Thom polynomials relative to prescribed maps around the boundary. As a main result, we show a structure theorem of Thom polynomials relative to framable immersions. In fact, most earlier formulas are summarized as the vanishing of "correction terms" appearing in the structure theorem.

This is an advanced seminar for mathematical researchers.