Coupled embeddability

We introduce the notion of coupled embeddability, defined for maps on products of topological spaces. We use known results for nonsingular biskew and bilinear maps to generate simple examples and nonexamples of coupled embeddings. We study genericity properties for coupled embeddings of smooth manifolds, extend the Whitney embedding theorems to statements about coupled embeddability, and we discuss a Haefliger-type result for coupled embeddings. We relate the notion of coupled embeddability to the Z/2-coindex of embedding spaces, recently introduced and studied by the authors. With a straightforward generalization of these results, we obtain strong obstructions to the existence of coupled embeddings in terms of the combinatorics of triangulations. In particular, we generalize nonembeddability results for certain simplicial complexes to sharp coupled nonembeddability results for certain pairs of simplicial complexes.

[1]  H. Hopf,et al.  Ein toplogischer Beitrag zur reellen Algebra , 1940 .

[2]  Michael C. Harrison.  Skew flat fibrations , 2014, 1412.8448.

[3]  F. Frick,et al.  Spaces of embeddings: Nonsingular bilinear maps, chirality, and their generalizations , 2020, 2010.11996.

[4]  Edgar A. Ramos,et al.  Equipartition of mass distributions by hyperplanes , 1996, Discret. Comput. Geom..

[5]  J. Radon.  Lineare scharen orthogonaler matrizen , 1922 .

[6]  A. Haefliger,et al.  Plongements différentiables dans le domaine stable , 1962 .

[7]  Kee Yuen Lam.  On bilinear and skew-linear maps that are nonsingular , 1968 .

[8]  V. Ovsienko,et al.  Hopf Fibrations and Hurwitz-Radon Numbers , 2016 .

[9]  $K{\rm O}$-equivalences and existence of nonsingular bilinear maps. , 1979 .

[10]  Marc,et al.  The generalized Radon-Hurwitz numbers , 2019 .

[11]  Some interesting examples of nonsingular bilinear maps , 1977 .

[12]  M. Gromov,et al.  REMOVAL OF SINGULARITIES OF SMOOTH MAPPINGS , 1971 .

[13]  K. Y. Lam,et al.  Some new results on composition of quadratic forms , 1985 .

[14]  M. Golubitsky,et al.  Stable mappings and their singularities , 1973 .

[15]  J. Matousek,et al.  Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry , 2007 .

[16]  Ioan Mackenzie James,et al.  Euclidean Models of Projective Spaces , 1971 .

[17]  J. Matousek,et al.  Using The Borsuk-Ulam Theorem , 2007 .

[18]  Michael C. Harrison.  Contact structures induced by skew fibrations of R3 , 2019, Bulletin of the London Mathematical Society.

[19]  K. Y. Lam.  Construction of nonsingular bilinear maps , 1967 .

[20]  P. Akhmetieva,et al.  Embedding products of low-dimensional manifolds into R m ✩ , 2001 .

[21]  Dušan D. Repovš,et al.  Embedding products of low-dimensional manifolds into R m ? ? Akhmetiev and Skopenkov were supported , 2001 .

[22]  V. Ovsienko,et al.  On fibrations with flat fibres , 2012, 1203.3709.

[23]  A. Hurwitz,et al.  Über die Komposition der quadratischen Formen , 1922 .

[24]  Michael C. Harrison.  Introducing totally nonparallel immersions , 2019, 1907.11312.

[25]  Wolfgang Kühnel,et al.  Tight Polyhedral Submanifolds and Tight Triangulations , 1995 .

[26]  J. Shah,et al.  VECTOR FIELDS ON SPHERES , 2007 .