Related papers: Homotopy Groups of Diagonal Complements

The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the…

Let $X$ be a locally symmetric space $\Gamma\backslash G/K$ where $G$ is a connected non-compact semisimple real Lie group with trivial centre, $K$ is a maximal compact subgroup of $G$, and $\Gamma\subset G$ is a torsion-free irreducible…

In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…

We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups…

Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an…

For every finite abelian group $A$ and $n\geq 3$, we construct a finitely presented group defined by explicit generators and relations, such that its center is $\pi_n(\Sigma K(A,1))$.

We compute the integral homology and cohomology groups of configuration spaces of two distinct points on a given real projective space. The explicit answer is related to the (known multiplicative structure in the) integral cohomology---with…

The topological fundamental group $\pi_{1}^{top}$ is a homotopy invariant finer than the usual fundamental group. It assigns to each space a quasitopological group and is discrete on spaces which admit universal covers. For an arbitrary…

A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…

In this paper we prove that, taking $X$ a Hausdorff topological space, the homotopy groups of the spaces $SP_{m}(X)$ and $F_{m}(X)$, both called symmetric products, are monomorphic. We also introduce a new algebraic tool in topology: the…

This paper is a synthesis and extension of three earlier papers on $PD_4$-complexes $X$ with fundamental group $\pi$ such that $c.d.\pi=2$ and $\pi$ has one end. Our goal is to show that the homotopy types of such complexes are determined…

Given based cellular spaces X and Y, X compact, we define a sequence of increasingly fine equivalences on the based-homotopy set [X,Y].

Given a simplicial complex $X$, we construct a simplicial complex $\Omega X$ that may be regarded as a combinatorial version of the based loop space of a topological space. Our construction explicitly describes the simplices of $\Omega X$…

Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the…

We compare the structure of a mapping cone in the category Top^D of spaces under a space D with differentials in algebraic models like crossed complexes and quadratic complexes. Several subcategories of Top^D are identified with algebraic…

We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no…

Given a space X, we study the homotopy type of ${\mathcal B}_n(X)$ the space obtained as "the union of all (n-1)-simplexes spanned by points in X". This is a space encountered in non-linear analysis under the name of "space of barycenters"…

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in…

A space is defined to be "$n$-spheroidal" if it has the homotopy type of an $n$-dimensional CW-complex $X$ with $H_{n}(X, \mathbb{Z})$ not zero and finitely generated. A group $G$ is called "$n$-spheroidal" if its classifying space $K(G,1)$…

The recently introduced A-homotopy groups for graphs are investigated. The main concern of the present article is the construction of an infinite cell complex, the homotopy groups of which are isomorphic to the A-homotopy groups of the…