Bordism groups of solutions to differential relations

From MaRDI portal
(Redirected from Publication:1035329)



Abstract: In terms of category theory, the Gromov homotopy principle for a set valued functor F asserts that the functor F can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor F holds if the functor F can be induced from a (co)homology functor. We examine the bordism principle in the case of functors given by (co)bordism groups of maps with prescribed singularities. Our main result implies that if a family R of prescribed singularity types satisfies certain mild conditions, then there exists an infinite loop space B(R) such that for each smooth manifold N the cobordism group of maps into N with only R-singularities is isomorphic to the group of homotopy classes of maps [N,B(R)].


The idea of this paper is to show that cobordism classes of maps of manifolds with certain specified singularities are in fact part of a generalized cohomology functor. Thus, analogues of these singularities can be defined for maps \(f\) from a manifold into an arbitrary topological space. Of course, some nontrivial conditions on the type of the allowable singularities are necessary for this to be true; this is where the differential relations from the title of the paper come in. In particular, the singularities involved must include the folds, because a key input is Eliashberg's \(h\)-principle for folds described in [\textit{Y. Eliashberg} and \textit{N. Mishachëv}, Introduction to the \(h\)-principle. Mathematical Surveys and Monographs. 48, Providence, RI: American Mathematical Society (AMS) (2002; Zbl 1008.58001)], so the results do not apply to nonsingular maps. It was not even known before this paper that the cobordism classes were groups in general. The author asserts that the resulting infinite loop spaces are computationally approachable, but leaves this to future work.



Cites work









This page was built for publication: Bordism groups of solutions to differential relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035329)