Algebraic & Geometric Topology

Bordism groups of solutions to differential relations

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 $J$ of prescribed singularity types satisfies certain mild conditions, then there exists an infinite loop space $Ω∞BJ$ such that for each smooth manifold $W$ the cobordism group of maps into $W$ with only $J$–singularities is isomorphic to the group of homotopy classes of maps $[W,Ω∞BJ]$. The spaces $Ω∞BJ$ are relatively simple, which makes explicit computations possible even in the case where the dimension of the source manifold is bigger than the dimension of the target manifold.

Article information

Source
Algebr. Geom. Topol., Volume 9, Number 4 (2009), 2311-2347.

Dates
Revised: 18 May 2009
Accepted: 19 May 2009
First available in Project Euclid: 20 December 2017

https://projecteuclid.org/euclid.agt/1513797085

Digital Object Identifier
doi:10.2140/agt.2009.9.2311

Mathematical Reviews number (MathSciNet)
MR2558312

Zentralblatt MATH identifier
1179.57044

Citation

Sadykov, Rustam. Bordism groups of solutions to differential relations. Algebr. Geom. Topol. 9 (2009), no. 4, 2311--2347. doi:10.2140/agt.2009.9.2311. https://projecteuclid.org/euclid.agt/1513797085

References

• Y Ando, Smooth maps with singularities of bounded $\mathcal{K}$–codimensions
• Y Ando, Folding maps and the surgery theory on manifolds, J. Math. Soc. Japan 53 (2001) 357–382
• Y Ando, Existence theorems of fold-maps, Japan. J. Math. $($N.S.$)$ 30 (2004) 29–73
• Y Ando, A homotopy principle for maps with prescribed Thom–Boardman singularities, Trans. Amer. Math. Soc. 359 (2007) 489–515
• Y Ando, The homotopy principle for maps with singularities of given $\mathcal K$–invariant class, J. Math. Soc. Japan 59 (2007) 557–582
• Y Ando, Cobordisms of maps with singularities of given class, Algebr. Geom. Topol. 8 (2008) 1989–2029
• J M Boardman, Singularities of differentiable maps, Inst. Hautes Études Sci. Publ. Math. (1967) 21–57
• D S Chess, Singularity theory and configuration space models of $\Omega\sp nS\sp n$ of nonconnected spaces, Topology Appl. 25 (1987) 313–338
• Y Eliashberg, On singularities of folding type, Math. USSR, Izv. 4 (1970) 1119–1134
• Y Eliashberg, Surgery of singularities of smooth mappings, Math. USSR, Izv. 6 (1972) 1302–1326
• Y Eliashberg, Cobordisme des solutions de relations différentielles, from: “South Rhone seminar on geometry, I (Lyon, 1983)”, (P Dazord, N Desolneux-Moulis, editors), Travaux en Cours, Hermann, Paris (1984) 17–31
• Y Eliashberg, S Galatius, Homotopy theory of compactified moduli space, Oberwolfach Report 13/2006 (2006) 761–767
• Y Eliashberg, N M Mishachev, Wrinkling of smooth mappings. III. Foliations of codimension greater than one, Topol. Methods Nonlinear Anal. 11 (1998) 321–350
• Y Eliashberg, N M Mishachev, Introduction to the $h$–principle, Graduate Studies in Math. 48, Amer. Math. Soc. (2002)
• L M Fehér, R Rimányi, Calculation of Thom polynomials and other cohomological obstructions for group actions, from: “Real and complex singularities”, (T Gaffney, M A S Ruas, editors), Contemp. Math. 354, Amer. Math. Soc. (2004) 69–93
• D B Fuks, Quillenization and bordism, Funkcional. Anal. i Priložen. 8 (1974) 36–42
• S Galatius, U Tillmann, I Madsen, M Weiss, The homotopy type of the cobordism category, Acta Math. 202 (2009) 195–239
• M Gromov, A topological technique for the construction of solutions of differential equations and inequalities, from: “Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 2”, Gauthier-Villars, Paris (1971) 221–225
• M Gromov, Partial differential relations, Ergebnisse der Math. und ihrer Grenzgebiete (3) 9, Springer, Berlin (1986)
• M Gromov, Y Eliashberg, Elimination of singularities of smooth mappings, Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971) 600–626
• A Hatcher, Algebraic topology, Cambridge Univ. Press (2002)
• K Ikegami, Cobordism group of Morse functions on manifolds, Hiroshima Math. J. 34 (2004) 211–230
• K Ikegami, O Saeki, Cobordism group of Morse functions on surfaces, J. Math. Soc. Japan 55 (2003) 1081–1094
• K Jänich, Symmetry properties of singularities of $C\sp{\infty }$–functions, Math. Ann. 238 (1978) 147–156
• B Kalmár, Fold cobordisms and stable homotopy groups
• B Kalmár, Cobordism group of Morse functions on unoriented surfaces, Kyushu J. Math. 59 (2005) 351–363
• M Kazarian, Kharakteristicheskie classy v teorii osobennostej, Habilitation thesis (2003)
• M Kazarian, Multisingularities, cobordisms, and enumerative geometry, Uspekhi Mat. Nauk 58 (2003) 29–88
• M Kazarian, Thom polynomials, from: “Singularity theory and its applications”, (S Izumiya, G Ishikawa, H Tokunaga, I Shimada, T Sano, editors), Adv. Stud. Pure Math. 43, Math. Soc. Japan, Tokyo (2006) 85–135
• S O Kochman, Bordism, stable homotopy and Adams spectral sequences, Fields Inst. Monogr. 7, Amer. Math. Soc. (1996)
• U Koschorke, Vector fields and other vector bundle morphisms–-a singularity approach, Lecture Notes in Math. 847, Springer, Berlin (1981)
• I Madsen, M Weiss, The stable moduli space of Riemann surfaces: Mumford's conjecture, Ann. of Math. $(2)$ 165 (2007) 843–941
• N M Mishachev, Y Eliashberg, Surgery of singularities of foliations, Funkcional. Anal. i Priložen. 11 (1977) 43–53, 96
• A Phillips, Submersions of open manifolds, Topology 6 (1967) 171–206
• A du Plessis, Maps without certain singularities, Comment. Math. Helv. 50 (1975) 363–382
• A du Plessis, Contact-Invariant regularity conditions, from: “Singularités d'applications différentiables (Sém., Plans-sur-Bex, 1975)”, (O Burlet, F Ronga, editors), Lecture Notes in Math. 535, Springer, Berlin (1976) 205–236
• R Rimányi, Thom polynomials, symmetries and incidences of singularities, Invent. Math. 143 (2001) 499–521
• R Rimányi, A Szücs, Pontrjagin–Thom-type construction for maps with singularities, Topology 37 (1998) 1177–1191
• C Rourke, B Sanderson, The compression theorem. I, Geom. Topol. 5 (2001) 399–429
• Y B Rudyak, On Thom spectra, orientability, and cobordism, Springer Monogr. in Math., Springer, Berlin (1998) With a foreword by H Miller
• R Sadykov, Bordism groups of solutions to differential relations
• R Sadykov, Singular cobordism categories
• R Sadykov, Bordism groups of special generic mappings, Proc. Amer. Math. Soc. 133 (2005) 931–936
• R Sadykov, Cobordism groups of Morin maps, Preprint (2008)
• O Saeki, Cobordism groups of special generic functions and groups of homotopy spheres, Japan. J. Math. $($N.S.$)$ 28 (2002) 287–297
• O Saeki, T Yamamoto, Singular fibers and characteristic classes, Topology Appl. 155 (2007) 112–120
• D Spring, Convex integration theory. Solutions to the $h$–principle in geometry and topology, Monogr. in Math. 92, Birkhäuser Verlag, Basel (1998)
• R E Stong, Notes on cobordism theory, Math. notes, Princeton Univ. Press (1968)
• R M Switzer, Algebraic topology–-homotopy and homology, Grund. der math. Wissenschaften 212, Springer, New York (1975)
• A Sz\Hucs, Elimination of singularities by cobordism, from: “Real and complex singularities”, (T Gaffney, M A S Ruas, editors), Contemp. Math. 354, Amer. Math. Soc. (2004) 301–324
• A Sz\Hucs, Cobordism of singular maps, Geom. Topol. 12 (2008) 2379–2452
• W P Thurston, The theory of foliations of codimension greater than one, Comment. Math. Helv. 49 (1974) 214–231
• W P Thurston, Existence of codimension-one foliations, Ann. of Math. $(2)$ 104 (1976) 249–268
• C T C Wall, A second note on symmetry of singularities, Bull. London Math. Soc. 12 (1980) 347–354
• R Wells, Cobordism groups of immersions, Topology 5 (1966) 281–294