The geometry of relations

DOI10.1007/S11083-010-9146-4MaRDI QIDQ981684zbMATH OpenOpenAlexFDO

Authors Elias Gabriel Minian

Publication date 2 July 2010

Published in Order (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0702197, http://hdl.handle.net/11336/15074

zbMATH Keywords

collapsefinite spacenerveposetsimplicial complex

Mathematics Subject Classification ID

Algebraic aspects of posets (06A11) Simplicial sets and complexes in algebraic topology (55U10) General topology of complexes (57Q05)

Abstract: There is a canonical way to associate two simplicial complexes K, L to any relation $RsubsetXimesY$. Moreover, the geometric realizations of K and L are homotopy equivalent. This was studied in the fifties by C.H. Dowker. In this article we prove a Galois-type correspondence for relations $RsubsetXimesY$ when X is fixed and use these constructions to investigate finite posets (or equivalently, finite topological spaces) from a geometrical point of view. Given any poset $(X,leq)$, we define the simplicial complexes K, L associated to the relation $leq$. In many cases these polyhedra have the same homotopy type as the standard simplicial complex C of nonempty finite chains in X. We give a complete characterization of the simplicial complexes that are the K or L-complexes of some finite poset and prove that K and L are geometrically equivalent to the smaller complexes K',L' induced by the relation <. More precisely, we prove that K (resp. L) simplicially collapses to K' (resp. L').

Review text

Classically a finite poset \((X, \leq)\) gives rise to a topological space by constructing the simplicial complex \(\Delta_{X}\) of its finite chains. This paper defines two simplicial complexes \(K_{X}\) and \(L_{X}\) associated to a relation \(\leq\) on \(X\). Roughly these complexes are defined from the subset \(R \subset X \times X\) given by the relation. The \(n\)-simplexes of \(L_{X}\) are the subsets \(\{ x_{0},\dots,x_{n}\}\) of \(X\) such that there exists \(y \in X\) with \(x_{i} \leq y\) for all \(i\). The simplexes of \(L_{X}\) are the subsets of \(X\) with a common lower bound \(z \in X\). In many cases these polyhedra have the same homotopy type as \(\Delta_{X}\). The paper gives a complete characterization of the simplicial complexes that are the \(K\) or \(L\) complexes of some finite poset and shows that the complexes are topologically equivalent to the ones obtained from the smaller poset induced by \(<\) (as opposed to \(\leq\)). In fact the author shows that the larger complexes collapse onto the smaller ones.

Recommendations

• The rectangle complex of a relation
• Poset fiber theorems
• Canonical homeomorphisms of posets
• Simple homotopy types and finite spaces
• Cosheaf representations of relations and Dowker complexes

Cites work

• 2-dimension from the topological viewpoint
• Classical invariants for global actions and groupoid atlases
• Classifying spaces and spectral sequences
• Combinatorial algebraic topology
• Finite Topological Spaces
• Global actions, groupoid atlases and applications
• Higher algebraic K-theory: I
• Homology groups of relations
• 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 863503 (Why is no real title available?)
• scientific article; zbMATH DE number 3235051 (Why is no real title available?)
• scientific article; zbMATH DE number 3323759 (Why is no real title available?)
• Minimal finite models
• On incidence matrices, nuclei and homotopy types
• On the dunce hat
• Simple Homotopy Types
• Simple homotopy types and finite spaces
• Simplicial Spaces, Nuclei and m -Groups
• Singular homology groups and homotopy groups of finite topological spaces
• The role of the Besov space \({\mathbf B}_{\infty}^{-1,\infty}\) in the control of the eventual explosion in finite time of the regular solutions of the Navier-Stokes equations
• Whitehead torsion

Cited in

(16)

• Canonical homeomorphisms of posets
• The structure of linear relations in Euclidean spaces
• Relative geometries
• Cosheaf representations of relations and Dowker complexes
• Stratifications on the Ran space
• The rectangle complex of a relation
• The motif problem: Geometric representations of sets of equivalence relations
• scientific article; zbMATH DE number 4016966 (Why is no real title available?)
• A note on coverings of posets, \(A\)-spaces and polyhedra
• scientific article; zbMATH DE number 5008036 (Why is no real title available?)
• scientific article; zbMATH DE number 4073043 (Why is no real title available?)
• Essential Chains and Homotopy Type of Posets
• Order complexes of noncomplemented lattices are nonevasive
• Realization of Posets
• Some betweenness relation topologies induced by simplicial complexes
• On the homeomorphism and homotopy type of complexes of multichains

This page was built for publication: The geometry of relations

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