A continuum with no prime shape factors

As the main result of this paper, we prove that there exists a continuum with non-trivial shape without any prime factor. This answers a question of K. Borsuk [K. Borsuk, Concerning the notion of the shape of compacta, in: Proc. Internat. Symposium on Topology and Its Applications, Herceg-Novi, 1968, pp. 98-104]. We also show that for each integer n?3 there exists a continuum X such that Sh(X,x)=Shn(X,x), but Sh(X,x)≠Shn−1(X,x). Therefore we obtain the negative answer to another question of K. Borsuk [K. Borsuk, Some remarks concerning the shape of pointed compacta, Fund. Math. 67 (1970) 221-240]: Does Sh(X,x)=Shn(X,x), for a compactum X and some integer n?3, implie that Sh(X,x)=Sh²(X,x)?     

On cohomotopy-type functors

This article deals with Chogoshvili cohomotopy functors which are defined by extending a cohomology functor given on some special auxiliary subcategories of the category of topological spaces. The question of choosing these subcategories is discussed. In particular, it is shown that in the singular case to define absolute groups it is sufficient that auxiliary subcategories should have as objects only spheresS ⁿ, Moore spacesP ⁿ(t)=S^n–1 U_t eⁿ, and one-point unions of these spaces.     

The coarse shape groups

The (pointed) coarse shape category Sh^* (), having (pointed) topological spaces as objects and having the (pointed) shape category as a subcategory, was recently constructed. Its isomorphisms classify (pointed) topological spaces strictly coarser than the (pointed) shape type classification. In this paper we introduce a new algebraic coarse shape invariant which is an invariant of shape and homotopy, as well. For every pointed space (X,?) and for every k∈N₀, the coarse shape group , having the standard shape group for its subgroup, is defined. Furthermore, a functor is constructed. The coarse shape and shape groups already differ on the class of polyhedra. An explicit formula for computing coarse shape groups of polyhedra is given. The coarse shape groups give us more information than the shape groups. Generally, does not imply (e.g. for solenoids), but from pro-πk(X,?)=0 follows . Moreover, for pointed metric compacta (X,?), the n-shape connectedness is characterized by , for every k?n.     

Fundamental groups and finite sheeted coverings

It is well known that for a connected locally path-connected semi-locally 1-connected space X, there exists a bi-unique correspondence between the pointed d-fold connected coverings and the transitive representations of the fundamental group of X in the symmetric group Σ_d of degree d.The classification problem becomes more difficult if X is a more general space, particularly if X is not locally connected. In attempt to solve the problem for general spaces, several notions of coverings have been introduced, for example, those given by Lubkin or by Fox. On the other hand, different notions of ‘fundamental group’ have appeared in the mathematical literature, for instance, the Brown-Grossman-Quigley fundamental group, the ?ech-Borsuk fundamental group, the Steenrod-Quigley fundamental group, the fundamental profinite group or the fundamental localic group.The main result of this paper determines different ‘fundamental groups’ that can be used to classify pointed finite sheeted connected coverings of a given space X depending on topological properties of X.     

Cohomology rings of multiplicative fibrations

Let p be an odd prime. Let be the fibre space induced from an H-map where K is a generalized Eilenberg MacLane space and X is a simply connected H-space. Such spaces occur frequently in Postnikov towers and connective covers. In this paper, we compute the mod p cohomology of as a ring. The ring depends on the structure of imf^* and the structure of subkerf^* as modules over the Steenrod algebra.     

On the algebras over equivariant little disks

We describe the structure present in algebras over the little disks operads for various representations of a finite group G, including those that are not necessarily universe or that do not contain trivial summands. We then spell out in more detail what happens for $G=C_2$, describing the structure on algebras over the little disks operad for the sign representation. Here we can also describe the resulting structure in Bredon homology. Finally, we produce a stable splitting of coinduced spaces analogous to the stable splitting of the product, and we use this to determine the homology of the signed James construction.     

Rational torus-equivariant stable homotopy I: Calculating groups of stable maps

We construct an abelian category A(G) of sheaves over a category of closed subgroups of the r-torus G and show that it is of finite injective dimension. It can be used as a model for rational G-spectra in the sense that there is a homology theory

     

REMARKS ON UNIVERSAL COEFFICIENT THEOREMS FOR GENERALIZED HOMOLOGY THEORIES

Abstract

New proofs of universal coefficient theorems for generalized homology theories (cf. ∮ 2, ∮ 3) including L. G. Brown's result, relating Brown-Douglas-Fillmore's Ext (X) with complex K-theory are presented. They are all based on a theorem asserting the existence of a chain functor for a generalized homology theory (cf. ∮ 1), which was originally designed for the construction of strong homology theories on strong shape categories.     

Stable splittings of surface mapping spaces

We study the homotopy type of mapping spaces from Riemann surfaces to spheres. Our main result is a stable splitting of these spaces into a bouquet of new finite spectra. From this and classical results, one may deduce splittings of the configuration spaces of surfaces.     

On the homology of elementary Abelian groups as modules over the Steenrod algebra

We examine the dual of the so-called “hit problem”, the latter being the problem of determining a minimal generating set for the cohomology of products of infinite projective spaces as a module over the Steenrod Algebra A at the prime 2. The dual problem is to determine the set of A-annihilated elements in homology. The set of A-annihilateds has been shown by David Anick to be a free associative algebra. In this note we prove that, for each k≥0, the set of kpartiallyA-annihilateds, the set of elements that are annihilated by Sqⁱ for each i≤2^k, itself forms a free associative algebra.     

An algebraic model of fibration with the fiberK(π,n)-space

For a fibration with the fiberK(,n)-space, the algebraic model as a twisted tensor product of chains of the base with standard chains ofK(,n)-complex is given which preserves multiplicative structure as well. In terms of this model the action of then-cohomology of the base with coefficients in on the homology of fibration is described.     

Strong homology of inverse systems. III

In previous parts I and II of this paper [4] strong homology groups of inverse systems were introduced and studied. In this part III of the paper we define strong homology groups of inverse systems of pairs and show that they have suitable exactness and excision properties. As a consequence of these results the Steenrod-Sitnikov homology [1] for pairs (X,A), where X is a paracompact space and A is a closed subset of X, is exact and satisfies the excision axiom.     

Strong homology of inverse systems of spaces. II

Recently the authors have defined a coherent prohomotopy category of topological spaces CPHTop [5]. In the present paper, which is a sequel to Part I [6], the authors define a strong homology functor H^s:CPHTop→Ab. The results of this paper are essential for the construction of a Steenrod-Sitnikov homology theory for arbitrary spaces.     

Homotopy monomorphisms and H-splitting in loop space fibrations

Let be a fibration, the holonomy action of this fibration and the connecting map. It is shown that if the fibre F admits an H-structure ν such that ρ?ν○(1×∂) (principal fibrations of all kinds satisfy such a condition), then i is a monomorphism if and only if it is weak monomorphism, the latter is equivalent to that Ωp has a homotopy right inverse Γ. If in addition Γ is an H-map, then ΩE has the same H-type as ΩB×ΩF.     

Lusternik-Schnirelmann category of a sphere-bundle over a sphere

We determine the Lusternik-Schnirelmann (L-S) category of a total space of a sphere-bundle over a sphere in terms of primary homotopy invariants of its characteristic map, and thus providing a complete answer to Ganea's Problem 4. As a result, we obtain a necessary and sufficient condition for a total space N to have the same L-S category as its ‘once punctured submanifold’ N\{P},P∈N. Also, necessary and sufficient conditions for a total space M to satisfy Ganea's conjecture are described.     

Moduli spaces of 2-stage Postnikov systems

Using the obstruction theory of Blanc, Dwyer and Goerss, we compute the moduli space of realizations of 2-stage Π-algebras concentrated in dimensions 1 and n or in dimensions n and n+1. The main technical tools are Postnikov truncation and connected covers of Π-algebras, and their effect on Quillen cohomology.     

Batalin-Vilkovisky algebras and the J-homomorphism

Let X be a topological space. The homology of the iterated loop space H_∗ΩnX is an algebra over the homology of the framed n-disks operad H_∗fDn [E. Getzler, Batalin-Vilkovisky algebras and two-dimensional topological field theories, Comm. Math. Phys. 159 (2) (1994) 265-285; P. Salvatore, N. Wahl, Framed discs operads and Batalin-Vilkovisky algebras, Q. J. Math. 54 (2) (2003) 213-231]. We explicitly determine this H_∗fDn-algebra structure on H_∗(ΩnX;Q). We show that the action of H_∗(SO(n)) on the iterated loop space H_∗ΩnX is related to the J-homomorphism and that the BV-operator on H_∗(Ω²X) vanishes on spherical classes only in characteristic other than 2.