Simplicial fibrations

DOI10.1007/S13398-020-00966-5MaRDI QIDQ2226202zbMATH OpenOpenAlexFDO

Authors D. Fernández-Ternero, Enrique Macias-Virgós, J. A. Vilches, José Calcines

Publication date 11 February 2021

Published in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.10114

zbMATH Keywords

contiguous simplicial mapsfibrationsLS-categorysimplicial complexestopological complexity

Mathematics Subject Classification ID

Lyusternik-Shnirel'man category of a space, topological complexity à la Farber, topological robotics (topological aspects) (55M30) Fiber spaces in algebraic topology (55R05) Generalizations of fiber spaces and bundles in algebraic topology (55R65) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: We undertake a systematic study of the notion of fibration 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 a known notion introduced by G. Minian, established in terms of a cylinder construction $Kimes{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 have the same strong homotopy type, a notion that has been recently introduced by Barmak and Minian; any fibration with a strongly collapsible base is fibrewise trivial; and some other ones. We introduce the concept of `simplicial finite-fibration', that is, a map which has the contiguity lifting property only for finite complexes. Then, we prove that the path fibration $PKoKimesK$ is a finite-fibration, where PK is the space of Moore paths introduced by M. Grandis. This important result allows us to prove that any simplicial map factors through a finite-fibration, up to a P-homotopy equivalence. Moreover, we introduce a definition of `v{S}varc genus' of a simplicial map and, and using the properties stated before, we are able to compare the v{S}varc genus of path fibrations with the notions of simplicial LS-category and simplicial topological complexity introduced by the authors in several previous papers. Finally, another key result is a simplicial version of a Varadarajan result for fibrations, relating the LS-category of the total space, the base and the generic fiber.

Review text

Although simplicial complexes antedate simplicial sets, their simplicial homotopy theory, as based on contiguity is underdeveloped, yet simplicial complexes have been shown to have many applications, for instance, in the study of aspects of applied algebraic topology (topological data analysis, image analysis, etc.), the study of the homotopy theory of finite spaces, and in the modelling and analysis of certain types of computer algorithms. This paper examines the analogues, for simplicial complexes, of notions of fibration, based on a `contiguity lifting property'. An alternative approach based on \textit{E. G. Minian}'s cylinder construction, [in: Actas del VIII congreso de matemática ``Dr. Antonio A. R. Monteiro. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 99--119 (2006; Zbl 1141.55012)], is explored and is shown to lead to an equivalent theory. These two notions then lead to analogues of various classical results, but with a definite more combinatorial aspect in evidence. An important observation leads to the concept of simplicial finite-fibration. A useful example of these are the path fibrations, \(PK\to K\times K\), where \(PK\), as introduced by \textit{M. Grandis} [Appl. Categ. Struct. 10, No. 2, 99--155 (2002; Zbl 0994.55011)], is the simplicial complex of Moore paths in \(K\). This result allows one to prove that any simplicial map factors through a finite-fibration, up to a \(P\)-homotopy equivalence. The paper also considers links with simplicial versions of LS-category, relating the LS-category of the total space, the base and the generic fibre, and with the notion of simplicial topological complexity as introduced by the authors in several previous papers. The paper provides an excellent clear summary and introduction to the homotopy theory of simplicial complexes as well as exploring the newer results on analogues of fibrations.

Recommendations

• scientific article; zbMATH DE number 2125640
• Simplicial objects and homotopy groups
• Discrete topological complexity
• Homology
• Survey article: an elementary illustrated introduction to simplicial sets
• Homology of path complexes and hypergraphs
• Effective homotopy of fibrations
• An intrinsic homotopy theory for simplicial complexes, with applications to image analysis
• Simplicial structures in topology.
• Simplicial Perturbation Techniques and Effective Homology

Cites work

• -cofibration categories and the homotopy categories of global actions and simplicial complexes
• \({\mathcal C}at\) as a \(\Lambda\)-cofibration category
• Algebraic topology of finite topological spaces and applications
• An intrinsic homotopy theory for simplicial complexes, with applications to image analysis
• Combinatorial algebraic topology
• Combinatorial homotopy theory
• Computational topology. An introduction
• Discrete topological complexity
• Global actions, groupoid atlases and applications
• scientific article; zbMATH DE number 1973373 (Why is no real title available?)
• scientific article; zbMATH DE number 3235051 (Why is no real title available?)
• Lusternik-Schnirelmann category for simplicial complexes
• Lusternik-Schnirelmann category of simplicial complexes and finite spaces
• Morse theory for cell complexes
• On fibrations and category
• On the Lusternik-Schnirelmann category of a simplicial map
• Proceedings of the Conference on Categorical Algebra
• Simplicial Lusternik-Schnirelmann category
• Strong homotopy types, nerves and collapses
• Topological complexity of motion planning
• Transverse Lusternik-Schnirelmann category of foliated manifolds

Cited in

(8)

• Simplicial structures and dual conical maps
• Simplicial complexes of Whisker type
• Simplicial structures and transverse cellularity
• scientific article; zbMATH DE number 2125640 (Why is no real title available?)
• Some notes and comparisons on topological complexities
• Fibrations of simplicial sets
• Szczarba's twisting cochain and the Eilenberg-Zilber maps
• Simplicial resolutions and Ganea fibrations

This page was built for publication: Simplicial fibrations

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