Related papers: The Third Homotopy Group as a pi_1-Module
In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the \textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$,…
Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…
We show that if $X$ is an indecomposable $PD_3$-complex and $\pi_1(X) is the fundamental group of a reduced finite graph of finite groups but is not virtually cyclic then $X$ is orientable, the underlying graph is a tree, all the edge…
Compact hyperbolic 3-manifolds are used in cosmological models. Their topology is characterized by their homotopy group $\pi_1(M)$ whose elements multiply by path concatenation. The universal covering of the compact manifold $M$ is the…
A central problem of algebraic topology is to understand the homotopy groups $\pi_d(X)$ of a topological space $X$. For the computational version of the problem, it is well known that there is no algorithm to decide whether the fundamental…
We give formulas for the second and third integral homology of an arbitrary finitely generated Coxeter group, solely in terms of the corresponding Coxeter diagram. The first of these calculations refines a theorem of Howlett, while the…
Let $X$ be a connected, orientable, 5-dimensional Poincar\'{e} duality complex with torsion-free $H_1(X;\mathbb{Z})$. We show that $\Sigma X$ is homotopy equivalent to a wedge of recognisable spaces and study to what extent its homotopy…
In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We…
The full solenoid over a topological space $X$ is the inverse limit of all finite covers. When $X$ is a compact Hausdorff space admitting a locally path connected universal cover, we relate the pointed homotopy equivalences of the full…
For an arrangement with complement X and fundamental group G, we relate the truncated cohomology ring, H^{<=2}(X), to the second nilpotent quotient, G/G_3. We define invariants of G/G_3 by counting normal subgroups of a fixed prime index p,…
Computations based on explicit 4-periodic resolutions are given for the cohomology of the finite groups G known to act freely on S^3, as well as the cohomology rings of the associated 3-manifolds (spherical space forms) M = S^3/G. Chain…
Let $T$ be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of $\mathsf{Mod}(T)$ to be homotopically equivalent to $\mathbb{CP}^\infty$. In particular,…
We give an elementary proof of the Hurewicz theorem relating homotopy and homology groups of a cubical Kan complex. Our approach is based on the notion of a loop space of a cubical set, developed in a companion paper ``Homotopy groups of…
We develop a new method in the computation of equivariant homotopy, which is based on the splitting of cofiber sequences associated to universal spaces in the category of equivariant spectra. In particular, we use this method to compute the…
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…
This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…
We describe a way to compute mapping spaces of cyclic operads through modules. As an application we compute the homotopy automorphism space of the cyclic Batalin-Vilkovisky (Hopf co-)operad.
We show that every $PD_3$-complex $P$ bounds a $PD_4$-pair $(Z,P)$. If $P$ is orientable we may assume that $\pi_1(Z)=1$. We show also that if $P$ has a manifold 1-skeleton then it is homotopy equivalent to a closed 3-manifold, and that if…
In this paper we provide a computation of the mod 2 cohomology groups of the third finite subset space of the sphere $S^n$ using known results about the cohomology of the symmetric product of spheres.
The paper containes a proof that the mapping class group of the manifold $S^3\times S^3$ is isomorphic to a central extension of the (full) Jacobi group $\Gamma^J$ by the group of 7-dimensional homotopy spheres. Using a presentation of the…