Abstract
Results of Smale (Proc Am Math Soc 8(3): 604–604, 1957) and Dugundji (Fundam Math 66:223–235, 1969) allow to compare the homotopy groups of two topological spaces X and Y whenever a map \(f:X\rightarrow Y\) with strong connectivity conditions on the fibers is given. We can apply similar techniques to compare the homotopy of spaces living in different categories, for instance an abelian variety over an algebraically closed field, and a real torus. More generally, working in o-minimal expansions of fields, we compare the o-minimal homotopy of a definable set X with the homotopy of some of its bounded hyperdefinable quotients X / E. Under suitable assumption, we show that \(\pi _{n}^{{\text {def}}}(X)\cong \pi _{n}(X/E)\) and \(\dim (X)=\dim _{\mathbb {R}}(X/E)\). As a special case, given a definably compact group, we obtain a new proof of Pillay’s group conjecture “\(\dim (G)=\dim _{\mathbb {R}}(G/G^{00}\))” largely independent of the group structure of G. We also obtain different proofs of various comparison results between classical and o-minimal homotopy.
Similar content being viewed by others
References
Baro, E.: Normal triangulations in o-minimal structures. J. Symb. Logic 75(1), 275–288 (2010)
Baro, E., Otero, M.: On O-minimal homotopy groups. Q. J. Math. 61(3), 275–289 (2009)
Baro, E., Otero, M.: Locally definable homotopy. Ann. Pure Appl. Logic 161(4), 488–503 (2010)
Berarducci, A.: O-minimal spectra, infinitesimal subgroups and cohomology. J. Symb. Logic 72(4), 1177–1193 (2007)
Berarducci, A.: Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup. J. Symb. Logic 74(3), 891–900 (2009)
Berarducci, A., Fornasiero, A.: o-Minimal cohomology: finiteness and invariance results. J. Math. Logic 09(02), 167–182 (2009)
Berarducci, A., Mamino, M.: On the homotopy type of definable groups in an o-minimal structure. J. Lond. Math. Soc. 83(3), 563–586 (2011)
Berarducci, A., Mamino, M., Otero, M.: Higher homotopy of groups definable in o-minimal structures. Isr. J. Math. 180(1), 143–161 (2010)
Berarducci, A., Otero, M.: o-Minimal fundamental group, homology and manifolds. J. Lond. Math. Soc. 65(2), 257–270 (2002)
Berarducci, A., Otero, M.: An additive measure in o-minimal expansions of fields. Q. J. Math. 55(4), 411–419 (2004)
Berarducci, A., Otero, M., Peterzil, Y., Pillay, A.: A descending chain condition for groups definable in o-minimal structures. Ann. Pure Appl. Logic 134(2–3), 303–313 (2005)
Delfs, H., Knebusch, M.: Locally Semialgebraic Spaces. Springer, Berlin (1985)
van den Dries, L.: Tame Topology and o-Minimal Structures, Volume 248. LMS Lecture. Cambridge University Press, Cambrodge (1998)
Dugundji, J.: Modified Vietoris theorems for homotopy. Fundam. Math. 66, 223–235 (1969)
Edmundo, M.J., Otero, M.: Definably compact abelian groups. J. Math. Logic 4(2), 163–180 (2004)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Hrushovski, E., Pillay, A.: On NIP and invariant measures. J. Eur. Math. Soc. 13, 1005–1061 (2011)
Hrushovski, E., Peterzil, Y., Pillay, A.: Groups, measures, and the NIP. J. Am. Math. Soc. 21(02), 563–596 (2008)
Mukherjee, A.: Differential Topology. Springer International Publishing, Berlin (2015)
Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley, Boston (1984)
Pillay, A.: On groups and fields definable in o-minimal structures. J. Pure Appl. Algebra 53(3), 239–255 (1988)
Pillay, A.: Type-definability, compact lie groups, and o-Minimality. J. Math. Logic 4(2), 147–162 (2004)
Peterzil, Y., Pillay, A.: Generic sets in definably compact groups. Fundam. Math. 193(2), 153–170 (2007)
Peterzil, Y., Steinhorn, C.: Definable compactness and definable subgroups of o-minimal groups. J. Lond. Math. Soc. 59(3), 769–786 (1999)
Shelah, S.: Minimal bounded index subgroup for dependent theories. Proc. Am. Math. Soc. 136(3), 1087 (2008)
Simon, P.: Distal and non-distal NIP theories. Ann. Pure Appl. Logic 164(3), 294–318 (2013)
Simon, P.: Finding generically stable measures. J. Symb. Logic 77(01), 263–278 (2014)
Simon, P.: A Guide to NIP Theories. Lecture Notes in Logic. Cambridge University Press, Cambridge (2015)
Smale, S.: A Vietoris mapping theorem for homotopy. Proc. Am. Math. Soc. 8(3), 604–604 (1957)
Tent, K., Ziegler, M.: A Course in Model Theory. Cambridge University Press, Cambridge (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
A. B. was partially supported by the following projects: PRIN 2012 “Logica, Modelli e Insiemi”; grant VP2-2013-055 from the Leverhulme Trust; Progetto di Ricerca d’Ateneo 2015 “Connessioni fra dinamica olomorfa, teoria ergodica e logica matematica nei sistemi dinamici”.
Rights and permissions
About this article
Cite this article
Achille, A., Berarducci, A. A Vietoris–Smale mapping theorem for the homotopy of hyperdefinable sets. Sel. Math. New Ser. 24, 3445–3473 (2018). https://doi.org/10.1007/s00029-018-0413-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00029-018-0413-3