Related papers: Homotopy classes that are trivial mod F
A $(G,n)$-complex is an $n$-dimensional CW-complex with fundamental group $G$ and whose universal cover is $(n-1)$-connected. If $G$ has periodic cohomology then, for appropriate $n$, we show that there is a one-to-one correspondence…
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…
If P \to X is a topological principal K-bundle and \hat K a central extension of K by Z, then there is a natural obstruction class \delta_1(P) in \check H^2(X,\uline Z) in sheaf cohomology whose vanishing is equivalent to the existence of a…
For a space X, we define Frobenius and Verschiebung operations on the nil-terms NA^{fd} (X) in the algebraic K-theory of spaces, in three different ways. Two applications are included. Firstly, we obtain that the homotopy groups of NA^{fd}…
The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases,…
We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…
Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$…
A non-trivial separable metric space $X$ is called an almost homology $n$-manifold if the homology groups $H_k(X,X\backslash\{x\},\mathbb Z)$ are trivial for all $x\in X$ and all $k=0,1,..,n-1$. We provide a necessary and sufficient…
Let $B$ be a C$^*$-algebra and $X$ a C$^*$ Hilbert $B$-module. If $p\in B$ is a projection, denote by $S_p =\{x\in X : < x,x> =p\}$, the $p$-sphere of $X$. For $\phi$ a state of $B$ with support $p$ in $B$ and $x\in S_p$, consider the state…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…
We compute the topological simple structure set of closed manifolds which occur as total spaces of flat bundles over lens spaces S^l/(Z/p) with fiber an n-dimensjional torus T^n for an odd prime p and l greater or equal to 3, provided that…
It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…
Let $G$ be a finite group and $M(G)$ be the subgroup of $G$ generated by all non-central elements of $G$ that lie in the conjugacy classes of the smallest size. Recently several results have been proved regarding the nilpotency class of…
Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…
A space $X$ is called $W$-trivial if for every vector bundle $\xi$ over $X$, the total Stiefel-Whitney class $W(\xi)= 1$. In this article we shall investigate whether the suspensions of Dold manifolds, $\s^k D(m,n)$, is $W$-trivial or not.
We prove that for many degrees in a stable range the homotopy groups of the moduli space of metrics of positive scalar curvature on S^n and on other manifolds are non-trivial. This is achieved by further developing and then applying a…
Let U be a unipotent group over the field of complex numbers C, acting on a complex algebraic variety X. Assume that there exists a surjective morphism of complex algebraic varieties f: X --> Y whose fibres are orbits of U. We show that if…
Let $M$ be a closed, oriented, simply connected 6-manifold. After localization away from 2, we give a homotopy decomposition of $\Sigma M$ in terms of spheres, Moore spaces and other recognizable spaces. As applications we calculate…
We study notions of homotopy in the Newtonian space $N^{1,p}(X;Y)$ of Sobolev type maps between metric spaces. After studying the properties and relations of two different notions we prove a compactness result for sequences in homotopy…