Abstract
We undertake a systematic study of fibrations in the setting of abstract simplicial complexes, where the concept of “homotopy” has been replaced by that of “contiguity”. Then, a fibration will be a simplicial map satisfying the “contiguity lifting property”. This definition turns out to be equivalent to that introduced by Minian, established in terms of a cylinder construction \(K \times I_m\). This allows us to prove several properties of simplicial fibrations which are analogous to the classical ones in the topological setting, for instance: all the fibers of a fibration with connected base have the same strong homotopy type and any fibration with a strongly collapsible base is fibrewise trivial. We also introduce the concept of “simplicial finite-fibration”, that is, a simplicial map which has the contiguity lifting property only for finite complexes. Then, we prove that the path fibration \(\mathrm {P}K \rightarrow K\times K\) is a finite-fibration, where \(\mathrm {P}K\) is the simplicial complex of Moore paths introduced by Grandis. This result allows us to prove that any simplicial map factors through a finite-fibration, up to a P-homotopy equivalence. Moreover, we prove a simplicial version of a Varadarajan result for fibrations, relating the LS-category of the total space, the base and the generic fiber. Finally, we introduce a definition of “Švarc genus” of a simplicial map and we are able to compare the Švarc genus of path fibrations with the notions of simplicial LS-category and simplicial topological complexity introduced by the authors in several previous papers.
Similar content being viewed by others
References
Aaronson, S., Scoville, N.: Lusternik–Schnirelmann for simplicial complexes. Illinois J. Math. 57(3), 743–753 (2013)
Bak, A., Brown, R., Minian, G., Porter, T.: Global actions, groupoid atlases and applications. J. Homotopy Relat. Struct. 1(1), 101–167 (2006)
Baues H.J.: Algebraic Homotopy. Cambridge Studies in Advanced Maths 15, Camb. Univ. Press (1989)
Barmak, J.A.: Algebraic topology of finite topological spaces and applications. Lecture Notes in Mathematics, vol. 2032. Springer, Heidelberg (2011)
Barmak, J.A., Minian, E.G.: Strong homotopy types, nerves and collapses. Discr. Comput. Geom. 47(2), 301–328 (2012)
Colman, H., Macias-Virgós, E.: Transverse Lusternik-Schnirelmann category of foliated manifolds. Topology 40, 419–430 (2001)
Cornea, O., Lupton, G., Oprea, J., Tanré, D.: Lusternik-Schnirelmann category. Mathematical Surveys and Monographs 103, American Mathematical Society, Providence, RI (2003)
Edelsbrunner, H., Harer, J.L.: Computational topology. An introduction. American Mathematical Society, Providence, RI (2010)
Eilenberg, S., Kelly, G.M.: Closed categories. In: Proceedings of the Conference on Categorical Algebra, La Jolla 1965, Springer, 421–562 (1966)
Farber, M.: Topological Complexity of Motion Planning. Discrete Comput. Geom. 29, 211–221 (2003)
Fernández-Ternero, D., Macías-Virgós, E., Vilches, J.A.: Lusternik–Schnirelmann category of simplicial complexes and finite spaces. Topol. Appl. 194, 37–50 (2015)
Fernández-Ternero, D., Macías-Virgós, E., Minuz, E., Vilches, J.A.: Discrete topological complexity. Proc. Am. Math. Soc. 146, 4535–4548 (2018)
Fernández Ternero, D., Macías-Virgós, E., Minuz, E., Vilches Alarcón, J.A.: Simplicial Lusternik-Schnirelmann category. Publ. Mat. 63(1), 265–293 (2019)
Forman, R.: Morse theory for Cell Complexes. Adv. Math. 134(1), 90–145 (1998)
Grandis, M.: An intrinsic homotopy theory for simplicial complexes, with applications to image analysis. Appl. Category. Struct. 10, 99–155 (2002)
Kozlov, D.N.: Combinatorial algebraic topology. Algorithms and Computation in Mathematics 21, Springer (2008)
Minian, E.G.: \(\Lambda \)-Cofibration Categories and the Homotopy Categories of Global Actions and Simplicial Complexes. Appl. Categ. Structures 10, 1–21 (2002)
Minian, E.G.: Cat as a \(\Lambda \)-cofibration category. J. Pure Appl. Algebra 167, 301–314 (2002)
Minian, E.G.: Combinatorial Homotopy Theory. In: Actas VIII Congreso Monteiro, 99–119 (2005)
Scoville, N.A., Swei, W.: On the Lusternik–Schnirelmann category of a simplicial map. Topol. Appl. 216, 116–128 (2017)
Spanier, E.H.: Algebraic topology. McGraw-Hill Series in Higher Mathematics, McGraw-Hill Book Company (1966)
Varadarajan, K.: On fibrations and category. Math. Z. 88, 267–273 (1965)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first and fourth authors were partially supported by MINECO Spain Research Project MTM2015–65397–P and Junta de Andalucía Research Groups FQM–326 and FQM–189. The second and third authors were partially supported by MINECO-FEDER research project MTM2016–78647–P.
Rights and permissions
About this article
Cite this article
Fernández-Ternero, D., García-Calcines, J.M., Macías-Virgós, E. et al. Simplicial fibrations. RACSAM 115, 54 (2021). https://doi.org/10.1007/s13398-020-00966-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-020-00966-5