Homology decompositions for p-compact groups

We construct a homotopy theoretic setup for homology decompositions of classifying spaces of p-compact groups. This setup is then used to obtain a subgroup decomposition for p-compact groups which generalizes the subgroup decomposition with respect to p-stubborn subgroups for a compact Lie group constructed by Jackowski, McClure and Oliver.     

Equivariant framability of involutions on homotopy spheres

Let G be the group Z₂. Denote byR ^n,k theR ^n+k with non trivial G-action on the first n coordinates. Let ^n,k be the trivial bundle with fibreR ^n,k. We say that a G-manifold M is (n,k)-framable if t(M)= =^n,k in KO_G(M) with t(M) the tangent bundle of M. We show that if G acts on a homotopy sphere ^n+k such that the fixed point set is a k-dimensional homotopy sphere then is (n,k)-framable.     

Homology decompositions for classifying spaces of compact Lie groups

Let be a prime number and be a compact Lie group. A homology decomposition for the classifying space is a way of building up to mod homology as a homotopy colimit of classifying spaces of subgroups of . In this paper we develop techniques for constructing such homology decompositions. Jackowski, McClure and Oliver (Homotopy classification of self-maps of BG via -actions, Ann. of Math. 135 (1992), 183-270) construct a homology decomposition of by classifying spaces of -stubborn subgroups of . Their decomposition is based on the existence of a finite-dimensional mod acyclic --complex with restricted set of orbit types. We apply our techniques to give a parallel proof of the -stubborn decomposition of which does not use this geometric construction.

     

-coincidences for maps of homotopy spheres into CW-complexes

Let be a finite group acting freely in a CW-complex which is a homotopy -dimensional sphere and let be a map of to a finite -dimensional CW-complex . We show that if , then has an -coincidence for some nontrivial subgroup of .

     

James orthogonality and orthogonal decompositions of Banach spaces

We establish decompositions of a uniformly convex and uniformly smooth Banach space B and dual space B^∗ in the form B=M?J^∗M^⊥ and B^∗=M^⊥?JM, where M is an arbitrary subspace in B, M^⊥ is its annihilator (subspace) in B^∗, J:B→B^∗ and J^∗:B^∗→B are normalized duality mappings. The sign ? denotes the James orthogonal summation (in fact, it is the direct sums of the corresponding subspaces and manifolds). In a Hilbert space H, these representations coincide with the classical decomposition in a shape of direct sum of the subspace M and its orthogonal complement M^⊥: H=M⊕M^⊥.