A theory of PWD-structures

A general study is undertaken of product-wedge-diagonal (=PWD) structures on a space. In part this concept may be viewed as arising from G.W. Whitehead's fat-wedge characterization of Lusternik-Schnirelmann category. From another viewpoint PWD-structures occupy a distinguished position among those structures that provide data allowing Hopf invariants to be defined. Indeed the Hopf invariant associated with a PWD-structure is a crucial component of the structure. Our overall theme addresses the basic question of existence of compatible structures on X and Y with regard to a map X→Y. A principal result of the paper uses Hopf invariants to formulate a Berstein-Hilton type result when the space involved is a double mapping cylinder (or homotopy pushout). A decomposition formula for the Hopf invariant (extending previous work of Marcum) is provided in case the space is a topological join U*V that has PWD-structure defined canonically via the join structure in terms of diagonal maps on U and V.     

PHANTOM MAPS,COGROUPS AND THE SUSPENSION MAP

ABSTRACT

The set Ph(X, Y) of pointed homotopy classes of phantom maps from X to Y admits a natural group structure if either Y is a grouplike space or X is a cogroup. In the present paper, the group structure on Ph(X,Y) is examined in the second case. (The first case was examined in an earlier paper.) The results in the two cases are similar—for instance, the group structure turns out to be abelian, divisible and independent of the grouplike structure on Y or the cogroup structure on X—but the techniques used to establish the results differ substantially in the two cases.

In addition, a study of the map g*: Ph(X,Y₁) → Ph(X,Y₂) induced by a map g: Y₁ → Y₂ of grouplike spaces is initiated. A particularly interesting special case of this situation is the suspension map Ph(X, Y) → Ph(X, ΩσY) ? Ph(σX, σY) with Y a grouplike space.     

DIMENSION DEFECTS AND THE HOPF INVARIANT

Abstract

The concept of dimension defect of a mapping was introduced by H. Hopf in [5]. We generalize and answer questions about mappings S³ → S² which he raised at the end of that paper. Our main result is that a mapping S^2n-1 → Sⁿ with non-vanishing Hopf invariant does not have dimension defect.     

On Representable Half-Exact Functors over B

Abstract

Half-exact homotopy functors defined on categories over a fixed base space B generalize cohomology functors with local coefficients. It is proved that such functors, if strongly homotopy invariant, are representable in the sense of EJI. Brown by fiber spaces E → B. The result is a consequence of a reformulation of his fundamental representation theorem in the abstract homotopy theory.     

THE FUNDAMENTAL GROUP IN FIBRATIONS

A generalized Mayer-Vietoris sequence involving crossed homomorphisms is established and the construction is applied to the homotopy sequence of the CW-pair (X.X¹) to relate the homotopy sequences of (X.X¹) and the fibre bundle F → E → X in low dimensions. If there is a partial cross-section of E → X over X², the classical form, π₁ E ～ π₁ [xtilde] π₁ F as a semidirect product, results. In case there is no extension over X² of any cross-section of the restricted bundle χ:π₂ (x², x¹) → X¹ the corresponding obstruction map X_E:π₂(x²,x¹) → π₁F is non-trivial and in case F → E → X is an SO(n)-bundle (n ≥ 3), χ_E maps into a subgroup of the centre, Z(π₁ F), of order at most 2.     

A note on Samelson products and mod p cohomology of classifying spaces of the exceptional Lie groups

Let G be an exceptional Lie group G₂, F₄, E₆, E₇ or E₈, and also set p is the corresponding prime 7, 13, 13, 19 or 31 respectively. If we localize spaces at p, G can be decomposed into a product of spheres. Using this decomposition, we take some elements in the homotopy groups of p-localized G, and we offer some non-zero 3-fold Samelson products of them. This implies that the nilpotency class of the localized self-homotopy group of G is greater than or equal to 3.The key lemma for these results is about a calculation on the cohomology operator P¹ in the cohomology of BG, where G and p are as above. During this calculation, we use some original ideas, which are also used in Kishimoto and Kaji (in press) [7] recently.     

Shape fibrations and strong shape theory

The notion of shape fibration was introduced by Marde?i? and Rushing. In this paper we use ‘fibrant space’ techniques in strong shape theory to prove that every shape fibration p:E → B of compact metric spaces is contained in a map of fibrant spaces p′:E′→B′ which enjoys a certain lifting property and whose homotopy properties reflect the strong shape properties of the map p. Standard methods for studying Hurewicz fibrations are readily applied to the map p' and in this way we obtain a number of strong shape generalizations of results of Marde?i? and Rushing. We also prove the following theorem which answers a question of Rushing: A shape fibration of compact metric spaces which is a strong shape equivalence is an hereditary shape equivalence. Since the converse was known, this gives a characterization of hereditary shape equivalences.     

On extensions of a symplectic class

Let F be a fibration on a simply-connected base with symplectic fiber (M,ω). Assume that the fiber is nilpotent and T2k-separable for some integer k or a nilmanifold. Then our main theorem, Theorem 1.8, gives a necessary and sufficient condition for the cohomology class [ω] to extend to a cohomology class of the total space of F. This allows us to describe Thurston?s criterion for a symplectic fibration to admit a compatible symplectic form in terms of the classifying map for the underlying fibration. The obstruction due to Lalond and McDuff for a symplectic bundle to be Hamiltonian is also rephrased in the same vein. Furthermore, with the aid of the main theorem, we discuss a global nature of the set of the homotopy equivalence classes of fibrations with symplectic fiber in which the class [ω] is extendable.     

Splitting manifolds as M × R where M has a k-fold end structure

Let X be a locally finite simplicial complex of dimension n, n? 5, equipped with a k-fold end structure [4] and consider a piecewise linear (n + 1)-dimensional manifold M that is proper homotopy equivalent to X × R by F:M → X × R, where R is the set of real numbers. The question arises as to whether or not the manifold M can be split, i.e., written as M = N × R where N is a n-manifold and where there is a proper homotopy between F and (p₁ ° F₀) × id:N × R → X × R, preserving the natural (k+1)-fold end structure, where F₀ is F|_N and p₁ is the projection X × R → X. Of particular significance is the fact that X is noncompact. When the construction of such splittings is attempted, algebraic obstructions arise, which vanish if and only if the construction can be completed. This paper develops such an obstruction theory by utilizing methods of L.C. Siebenmann and the k-fold end structures of F. Waldhausen.     

Splitting monoidal stable model categories

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit forms a commutative ring, [S,S]^C. An idempotent e of this ring will split the homotopy category: [X,Y]^C≅e[X,Y]^C⊕(1−e)[X,Y]^C. We prove that provided the localised model structures exist, this splitting of the homotopy category comes from a splitting of the model category, that is, C is Quillen equivalent to L_eSC×L_(1−e)SC and [X,Y]^L_eSC≅e[X,Y]^C. This Quillen equivalence is strong monoidal and is symmetric when the monoidal product of C is.     

Characterizations of new Cohen summing bilinear operators

We prove two characterizations of new Cohen summing bilinear operators. The first one is: Let X, Y and Z be Banach spaces, 1 < p < ∞, V : X × Y → Z a bounded linear operator and n ≥ 2 a natural number. Then V is new Cohen p-summing if and only if for all Banach spaces X₁,?…?, X_n and all p-summing operators U : X₁ × · · · × X_n → X, the operator V ? (U, I_Y) : X₁ × · · · × X_n × Y → Z is -summing. The second result is: Let H be a Hilbert space,, Y, Z Banach spaces and V : H × Y → Z a bounded bilinear operator and 1 < p < ∞. Then V is new Cohen p-summing if and only if for all Banach spaces E and all p-summing operators U : E → H, the operator V ? (U, I_Y) is (p, p*)-dominated.     

An operadic model for a mapping space and its associated spectral sequence

Let X and Y be simplicial sets and K a field. In [B. Fresse, Derived division functors and mapping spaces, 2002, Preprint arXiv:math.At/0208091], Fresse has constructed an algebra model over an E_∞K-operad E for the mapping space F(X,Y), whose source X is finite, provided the homotopy groups of the target Y are finite. In this paper, we show that if the underlying field K is the closure of the finite field F_p and the given mapping space is connected, then the finiteness assumption of the homotopy group of Y can be dropped in constructing the E-algebra model. Moreover, we give a spectral sequence converging to the cohomology of F(X,Y) with coefficients in , whose E₂-term is expressed via Lannes’ division functor in the category of unstable -algebra over the Steenrod algebra.     

Rational obstruction theory and rational homotopy sets

We develop an obstruction theory for homotopy of homomorphisms between minimal differential graded algebras. We assume that has an obstruction decomposition given by and that f and g are homotopic on . An obstruction is then obtained as a vector space homomorphism . We investigate the relationship between the condition that f and g are homotopic and the condition that the obstruction is zero. The obstruction theory is then applied to study the set of homotopy classes . This enables us to give a fairly complete answer to a conjecture of Copeland-Shar on the size of the homotopy set [A,B] whenA and B are rational spaces. In addition, we give examples of minimal algebras (and hence of rational spaces) that have few homotopy classes of self-maps. Received February 22, 1999; in final form July 7, 1999 / Published online September 14, 2000     

The evaluation subgroup of a fibre inclusion

Let be a fibration of simply connected CW complexes of finite type with classifying map . We study the evaluation subgroup Gn(E,X;j) of the fibre inclusion as an invariant of the fibre-homotopy type of ξ. For spherical fibrations, we show the evaluation subgroup may be expressed as an extension of the Gottlieb group of the fibre sphere provided the classifying map h induces the trivial map on homotopy groups. We extend this result after rationalization: We show that the decomposition G_∗(E,X;j)⊗Q=(G_∗(X)⊗Q)⊕(π_∗(B)⊗Q) is equivalent to the condition Q(h_?)=0.     

Local n-connectivity and approximate lifting

This paper proves that if p:E→Y is an approximate fibration where E is a locally compact separable metric ANR, each point inverse is an FANR, and Y is finite dimensional, then Y is an ANR.     

On a conjecture of ōshima

The set of homotopy classes of self maps of a compact, connected Lie group G is a group by the pointwise multiplication which we denote by H(G), and it is known to be nilpotent. ōshima [H. ōshima, Self homotopy group of the exceptional Lie group G₂, J. Math. Kyoto Univ. 40 (1) (2000) 177-184] conjectured: if G is simple, then H(G) is nilpotent of class ?rankG. We show this is true for PU(p) which is the first high rank example.     

The dualizing spectrum of a topological group

To a topological group G, we assign a naive G-spectrum , called the dualizing spectrum of G. When the classifying space BG is finitely dominated, we show that detects Poincaré duality in the sense that BG is a Poincaré duality space if and only if is a homotopy finite spectrum. Secondly, we show that the dualizing spectrum behaves multiplicatively on certain topological group extensions. In proving these results we introduce a new tool: a norm map which is defined for any G and for any naive G-spectrum E. Applications of the dualizing spectrum come in two flavors: (i) applications in the theory of Poincaré duality spaces, and (ii) applications in the theory of group cohomology. On the Poincaré duality space side, we derive a homotopy theoretic solution to a problem posed by Wall which says that in a fibration sequence of fini the total space satisfies Poincaré duality if and only if the base and fiber do. The dualizing spectrum can also be used to give an entirely homotopy theoretic construction of the Spivak fibration of a finitely dominated Poincaré duality space. We also include a new proof of Browder's theorem that every finite H-space satisfies Poincaré duality. In connection with group cohomology, we show how to define a variant of Farrell-Tate cohomology for any topological or discrete group G, with coefficients in any naive equivariant cohomology theory E. When E is connective, and when G admits a subgroup H of finite index such that BH is finitely dominated, we show that this cohomology coincides with the ordinary cohomology of G with coefficients in E in degrees greater than the cohomological dimension of H. In an appendix, we identify the homotopy type of for certain kinds of groups. The class includes all compact Lie groups, torsion free arithmetic groups and Bieri-Eckmann duality groups. Received July 14, 1999 / Revised May 17, 2000 / Published online February 5, 2001     

A Construction of Uniquely C4-free colourable Graphs

Abstract

An F-free colouring of a graph G is a partition {V₁,V₂,…,V_n} of the vertex set V(G) of G such that F is not an induced subgraph of G[V_i] for each i. A graph is uniquely F-free colourable if any two .F-free colourings induce the same partition of V(G). We give a constructive proof that uniquely C₄-free colourable graphs exist.