The cylinder of a relation and generalized versions of the nerve theorem

DOI10.1007/S00454-018-0028-7MaRDI QIDQ1985293zbMATH OpenOpenAlexFDO

Authors Ximena Fernández, Elias Gabriel Minian

Publication date 7 April 2020

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

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

zbMATH Keywords

finite topological spacesnerveposetsQuillen's Theorem Arelations

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Preorders, orders, domains and lattices (viewed as categories) (18B35) Homotopy equivalences in algebraic topology (55P10) Simplicial sets and complexes in algebraic topology (55U10) Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc. (57Q10)

Abstract: We introduce the notion of cylinder of a relation in the context of posets, extending the construction of the mapping cylinder. We establish a local-to-global result for relations, generalizing Quillen's Theorem A for order preserving maps, and derive novel formulations of the classical Nerve Theorem for posets and simplicial complexes, suitable for covers with not necessarily contractible intersections.

Review text

In this article, the authors define the cylinder of a relation between posets extending the notion of the non-Hausdorff mapping cylinder of an order-preserving map, which was defined by \textit{J. A. Barmak} and \textit{E. G. Minian} [Adv. Math. 218, No. 1, 87--104 (2008; Zbl 1146.57034)] and is a variant of the well-known mapping cylinder of a continuous map between topological spaces. The authors prove that, under suitable assumptions, the cylinder of a relation \(\mathcal{R}\) between finite posets \(X\) and \(Y\) is simply homotopy equivalent to \(X\) (or to \(Y\)). As a consequence of these results they obtain a version of Quillen's Theorem A for relations between finite posets that specializes to a result given by Barmak and Minian in the aforementioned article (see also [\textit{J. A. Barmak}, J. Comb. Theory, Ser. A 118, No. 8, 2445--2453 (2011; Zbl 1234.05237)]). The authors also give \(n\)-connected and homologically \(n\)-connected versions of their results which extend similar results by \textit{D. Quillen} [Adv. Math. 28, 101--128 (1978; Zbl 0388.55007)] and \textit{A. Björner} [J. Comb. Theory, Ser. A 102, No. 1, 88--93 (2003; Zbl 1030.55006)]. In the last section of the article, the authors apply the previous results to obtain generalizations of the nerve theorem for finite posets and finite simplicial complexes in which the corresponding covers (by open sets or by subcomplexes) satisfy that the connected components of every non-empty intersection of sets of the cover are weakly contractible. In these generalizations, the nerve of the cover is replaced by a new poset (in the case of finite posets) or a by regular CW-complex (in the simplicial complex case) which is called \textit{completion of the nerve} and which coincides with the nerve (or with its face poset) in the case that the cover is good.

Recommendations

• Nerves, fibers and homotopy groups
• An approximate nerve theorem
• On Quillen's theorem A for posets
• Simple homotopy theory and nerve theorem for categories
• Čech complexes for covers of small categories

Cites work

• A structure theory for ordered sets
• Algebraic topology of finite topological spaces and applications
• Coverage in sensor networks via persistent homology
• Finite Topological Spaces
• Homotopy properties of the poset of nontrivial p-subgroups of a group
• Homotopy Type Comparison of a Space with Complexes Associated with its Open Covers
• scientific article; zbMATH DE number 3411897 (Why is no real title available?)
• Nerves, fibers and homotopy groups
• On Quillen's theorem A for posets
• On the imbedding of systems of compacta in simplicial complexes
• Simple homotopy types and finite spaces
• Singular homology groups and homotopy groups of finite topological spaces
• Sur la forme des espaces topologiques et sur les points fixes des représentations
• Sur les théorèmes de de Rham
• Topological analysis of nerves, Reeb spaces, mappers, and multiscale mappers
• Topology and data

Cited in

(4)

• Simple homotopy theory and nerve theorem for categories
• Carrier and nerve theorems in the extension theory
• Some spaces that satisfy the Andrews-Curtis conjecture
• Variations on the nerve theorem

This page was built for publication: The cylinder of a relation and generalized versions of the nerve theorem

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