Morphism complexes of sets with relations

MaRDI QIDQ5964057zbMATH OpenFDO

Authors Takahiro Matsushita

Publication date 26 February 2016

Published in Osaka Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.0311, https://projecteuclid.org/euclid.ojm/1455892633

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10)

Abstract: Let $r$ be a positive integer. An $r$-set is a pair $X=(V(X),R(X))$ consisting of a set $V(X)$ with a subset $R(X)$ of the direct product $V(X{)}^r$. The object of this paper is to investigate the Hom complexes of $r$-sets, which were introduced for graphs in the context of the graph coloring problem. In the first part, we introduce simplicial sets which we call singular complexes, and show that singular complexes and Hom complexes are naturally homotopy equivalent. The second part is devoted to the generalization of $imes$-homotopy theory established by Dochtermann. We show the folding theorem for hypergraphs which was partly proved by Iriye and Kishimoto.

Review text

Let \(r>0\) be a positive integer. A pair \(X:=(V,R)\) with \(V\) a set and \(R\) the \(r\)-fold product of \(V\) is an \(r\)-set. From this definition, the Hom complex \(\mathrm{Hom}(X,Y)\) is defined as the poset of multi-homomorphisms from \(X\) to \(Y\). One of the main results of this paper is to relate this object to the singular complex, a categorical type construction also based on \(r\)-sets \(X\) and \(Y\). It is shown that there is a natural homomorphism between \(|\mathrm{sing}(X,Y)|\) and \(|\mathrm{Hom}(X,Y)|\). Furthermore, the authors investigate the strong homotopy type of posets and finite simplicial complexes of Barmak and Minian as a natural generalization of the \(x\)-homotopy theory of Dochtermann. The authors prove equivalent notions of a strong homotopy equivalence in terms of homotopy equivalences of associated poset maps. This leads to a new proof of what the authors call the folding theorem; that is, for \(r\)-sets \(X\) and \(Y\) along with a vertex \(x\in X\) with certain properties, the induced maps \(i^*: \mathrm{Hom}(X,Y)\to \mathrm{Hom}(X\backslash x,Y)\) and \(i_*: \mathrm{Hom}(Y,X\backslash x)\to \mathrm{Hom}(Y,X)\) on the inclusion \(i: (X\backslash x)\to X\) are strong equivalences.

Recommendations

• Simple \(\Sigma_r\)-homotopy types of Hom complexes and box complexes assigned to \(r\)-graphs
• Hom complexes and hypergraph colorings
• Hom complexes of set systems
• Set partition complexes
• scientific article; zbMATH DE number 5704224

Cites work

• A simple proof for folds on both sides in complexes of graph homomorphisms
• Algebraic topology of finite topological spaces and applications
• Combinatorial algebraic topology
• Complexes of graph homomorphisms
• Hom complexes and homotopy theory in the category of graphs
• Hom complexes and hypergraph colorings
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• Kneser's conjecture, chromatic number, and homotopy
• Proof of the Lovász conjecture
• Simple \(\Sigma_r\)-homotopy types of Hom complexes and box complexes assigned to \(r\)-graphs
• Strong homotopy types, nerves and collapses

Cited in

(8)

• Hom complexes of set systems
• \(\mathbb{Z}_2\)-indices and Hedetniemi's conjecture
• Homotopy types of the Hom complexes of graphs
• The rectangle complex of a relation
• Homomorphism complexes, reconfiguration, and homotopy for directed graphs
• Homomorphism complexes, reconfiguration, and homotopy for directed graphs
• Homotopy and Hom construction in the category of finite hypergraphs
• Dominance complexes, neighborhood complexes and combinatorial Alexander duals

This page was built for publication: Morphism complexes of sets with relations

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