The concept of $C_{k}$-spaces is introduced, situated at an intermediate stage between $H$-spaces and $T$-spaces. The $C_{k}$-space corresponds to the $k$-th Milnor-Stasheff filtration on spaces. It is proved that a space $X$ is a $C_{k}$-space if and only if the Gottlieb set $G(Z,X)=[Z,X]$ for any space $Z$ with ${\rm cat}\, Z\le k$, which generalizes the fact that $X$ is a $T$-space if and only if $G(\Sigma B,X)=[\Sigma B,X]$ for any space $B$. Some results on the $C_{k}$-space are generalized to the $C_{k}^{f}$-space for a map $f\colon A \to X$. Projective spaces, lens spaces and spaces with a few cells are studied as examples of $C_{k}$-spaces, and non-$C_{k}$-spaces.

This note gives a simple cocycle-theoretic proof of the Verdier hypercovering theorem. This theorem approximates morphisms $[X,Y]$ in the homotopy category of simplicial sheaves or presheaves by simplicial homotopy classes of maps, in the case where $Y$ is locally fibrant. The statement proved in this paper is a generalization of the standard Verdier hypercovering result in that it is pointed (in a very broad sense) and there is no requirement for the source object $X$ to be locally fibrant.

Let $G$ be a finite group, and let $k$ be a field whose characteristic $p$ divides the order of $G$. Freyd's generating hypothesis for the stable module category of $G$ is the statement that a map between finite-dimensional $kG$-modules in the thick subcategory generated by $k$ factors through a projective if the induced map on Tate cohomology is trivial. We show that if $G$ has periodic cohomology, then the generating hypothesis holds if and only if the Sylow $p$-subgroup of $G$ is $C_2$ or $C_3$. We also give some other conditions that are equivalent to the GH for groups with periodic cohomology.

The fiber $W_{n}$ of the double suspension $S^{2n-1}\rightarrow\Omega^{2} S^{2n+1}$ is known to have a classifying space $BW_{n}$. An important conjecture linking the $EHP$ sequence to the homotopy theory of Moore spaces is that $BW_{n}\simeq\Omega T^{2np+1}(p)$, where $T^{2np+1}(p)$ is Anick's space. This is known if $n=1$. We prove the $n=p$ case and establish some related properties.

We characterize maps between $n$-dimensional Nöbeling manifolds that can be approximated by homeomorphisms.

We prove that the neighborhood complex $\N(G)$, the box complex $\B(G)$, the homomorphism complex $\Hom(K_2,G)$and the Lov\'{a}sz complex $\L(G)$ have the same simple $\Z_2$-homotopy type in the sense of Whitehead. We show that these graph complexes are simple $\Z_2$-universal.

The homotopy groups of a finite partially ordered set (poset) can be described entirely in the context of posets, as shown in a paper by B. Larose and C. Tardif. In this paper we describe the relative version of such a homotopy theory, for pairs $(X,A)$ where $X$ is a poset and $A$ is a subposet of $X$. We also prove some theorems on the relevant version of the notion of weak homotopy equivalences for maps of pairs of such objects. We work in the category of reflexive binary relational structures which contains the posets as in the work of Larose and Tardif.

Let $M$ be a symplectic $4$-dimensional manifold equipped with a Hamiltonian circle action with isolated fixed points. We describe a method for computing its integral equivariant cohomology in terms of fixed point data. We give some examples of these computations.

Let $G_1$ and $G_2$ be $p$-adic groups. We describe a decomposition of ${\rm Ext}$-groups in the category of smooth representations of $G_1 \times G_2$ in terms of ${\rm Ext}$-groups for $G_1$ and $G_2$. We comment on ${\rm Ext}^1_G(\pi,\pi)$ for a supercuspidal representation $\pi$ of a $p$-adic group $G$. We also consider an example of identifying the class, in a suitable ${\rm Ext}^1$, of a Jacquet module of certain representations of $p$-adic ${\rm GL}_{2n}$.

Let $G=({\mathbb Z}/a\rtimes{\mathbb Z}/b) \times \SL_2(\mathbb{F}_p)$, and let $X(n)$ be an $n$-dimensional $CW$-complex of the homotopy type of an $n$-sphere. We study the automorphism group $\Aut (G)$ in order to compute the number of distinct homotopy types of spherical space forms with respect to free and cellular $G$-actions on all $CW$-complexes $X(2dn-1)$, where $2d$ is the period of $G$. The groups ${\mathcal E}(X(2dn-1)/\mu)$ of self homotopy equivalences of space forms $X(2dn-1)/\mu$ associated with free and cellular $G$-actions $\mu$ on $X(2dn-1)$ are determined as well.

This note shows that any set of cofibrations containing the standard set of generating projective cofibrations determines a cofibrantly generated proper closed model structure on the category of simplicial presheaves on a small Grothendieck site, for which the weak equivalences are the local weak equivalences in the usual sense.

The Lusternik--Schnirelmann category has been described in different ways. Two major ones, the first by Ganea, the second by Whitehead, are presented here with a number of variants. The equivalence of these variants relies on the axioms of Quillen's model category, but also sometimes on an additional axiom, the so-called ``cube axiom''.

Let $f\colon X\to Y$ be a $\sigma$-perfect $k$-dimensional surjective map of metrizable spaces such that $\dim Y\leq m$. It is shown that for every positive integer $p$ with $ p\leq m+k+1$ there exists a dense $G_{\delta}$-subset ${\mathcal H}(k,m,p)$ of $C(X,\uin^{k+p})$ with the source limitation topology such that each fiber of $f\triangle g$, $g\in{\mathcal H}(k,m,p)$, contains at most $\max\{k+m-p+2,1\}$ points. This result provides a proof the following conjectures of S. Bogatyi, V. Fedorchuk and J. van Mill. Let $f\colon X\to Y$ be a $k$-dimensional map between compact metric spaces with $\dim Y\leq m$. Then: \begin{inparaenum}[\rm(1)] \item there exists a map $h\colon X\to\uin^{m+2k}$ such that $f\triangle h\colon X\to Y\times\uin^{m+2k}$ is 2-to-one provided $k\geq 1$; \item there exists a map $h\colon X\to\uin^{m+k+1}$ such that $f\triangle h\colon X\to Y\times\uin^{m+k+1}$ is $(k+1)$-to-one. \end{inparaenum}

The usual constructions of classifying spaces for monoidal categories produce CW-complexes with many cells that, moreover, do not have any proper geometric meaning. However, geometric nerves of monoidal categories are very handy simplicial sets whose simplices have a pleasing geometric description: they are diagrams with the shape of the 2-skeleton of oriented standard simplices. The purpose of this paper is to prove that geometric realizations of geometric nerves are classifying spaces for monoidal categories.

Generalizing results from [MM1] referring to the intersection body $IK$ and the cross-section body $CK$ of a convex body $K \subset \sR^d, \, d \ge 2$, we prove theorems about maximal $k$-sections of convex bodies, $k \in \{1, \dots, d-1\}$, and, simultaneously, statements about common maximal $(d-1)$- and $1$-transversals of families of convex bodies.

Exponent information is proven about the Lie groups $SU(3)$, $SU(4)$, $Sp(2)$, and $G_2$ by showing some power of the $H$-space squaring map (on a suitably looped connected-cover) is null homotopic. The upper bounds obtained are $8$, $32$, $64$, and $2^8$ respectively. This null homotopy is best possible for $SU(3)$ given the number of loops, off by at most one power of~$2$ for $SU(4)$ and $Sp(2)$, and off by at most two powers of $2$ for $G_2$.

Nous montrons que la A-cat\'egorie d'un espace simplement connexe de type fini est inf\'erieure ou \'egale \`a $n$ si et seulement si son mod\`ele d'Adams-Hilton est un r\'etracte homotopique d'une alg\`ebre diff\'erentielle \`a $n$ \'etages. Nous en d\'eduisons que l'invariant $\Acat$ augmente au plus de 1 lors de l'attachement d'une cellule \`a un espace. We show that the A-category of a simply connected space of finite type is less than or equal to $n$ if and only if its Adams-Hilton model is a homotopy retract of an $n$-stage differential algebra. We deduce from this that the invariant $\Acat$ increases by at most 1 when a cell is attached to a space.

We show that every compactum has cohomological dimension $1$ with respect to a finitely generated nilpotent group $G$ whenever it has cohomological dimension $1$ with respect to the abelianization of $G$. This is applied to the extension theory to obtain a cohomological dimension theory condition for a finite-dimensional compactum $X$ for extendability of every map from a closed subset of $X$ into a nilpotent $\CW$-complex $M$ with finitely generated homotopy groups over all of $X$.

Applying the Sullivan conjecture we construct compacta of certain cohomological and extensional dimensions.

We obtain a homotopy splitting of the forget control map for controlled homeomorphisms over closed manifolds of nonpositive curvature.

Using spaces introduced by Anick, we construct a decomposition into indecomposable factors of the double loop spaces of odd primary Moore spaces when the powers of the primes are greater than the first power. If $n$ is greater than $1$, this implies that the odd primary part of all the homotopy groups of the $2n+1$ dimensional sphere lifts to a $\mod p^r$ Moore space.

We calculate the additive and multiplicative structure of the ring $K\bigl(S(T^*\R P^{2n+1})\bigr)$ using the eta invariant.

Hecke operators are used to investigate part of the $\E_2$-term of the Adams spectral sequence based on elliptic homology. The main result is a derivation of $\Ext^1$ which combines use of classical Hecke operators and $p$-adic Hecke operators due to Serre.

In this paper we show that the Lie-group $\Pin_4$ is isomorphic to the semidirect product $(\SU_2\times \SU_2)\timesv \Z/2$ where $\Z/2$ operates by flipping the factors. Using this structure theorem we prove a classification theorem for $\Pin_4$-bundles over a finite $4$-complex $X$.

If $V\to X$ is a vector bundle of fiber dimension $k$ and $Y\to X$ is a finite sheeted covering map of degree $d$, the implications for the Euler class $e(V)$ in $H^k(X)$ of $V$ implied by the existence of an embedding $Y\to V$ lifting the covering map are explored. In particular it is proved that $dd'e(V)=0$ where $d'$ is a certain divisor of $d-1$, and often $d'=1$.