A fiberwise analogue of the Borsuk-Ulam theorem for sphere bundles over a 2-cell complex

For a vector bundle α, let indα denote the largest integer m for which there exists a Z/2-map from Sm−1 to S(α). We prove that the equality indα=dimα holds for every vector bundle α over the complex Sn−1k_∪en, where n?2 and k≠0, if and only if either k is even and n≠2,3,4,8 or k is odd.     

A Borsuk-Ulam type theorem for sphere bundles over stunted projective spaces

A CW complex B is described as I-trivial if there does not exist a Z₂-map from Si−1 to S(α) for any vector bundle α over B and any integer i with i>dimα. For n>1, we determine all positive integers m for which the stunted projective space is I-trivial, where F=R,C or H.     

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.     

A completion theorem for pro-G-spectra

We give a very general completion theorem for pro-spectra. We show that, if G is a compact Lie group, M[∗] is a pro-G-spectrum, and F is a family of (closed) subgroups of G, then the mapping pro-spectrum F(EF₊,M[∗]) is the F-adic completion of M[∗], in the sense that the map M[∗]→F(EF₊,M[∗]) is the universal map into an algebraically F-adically complete pro-spectrum. Here, F(EF₊,M[∗]) denotes the pro-G-spectrum , where runs over the finite subcomplexes of EF₊.     

Real, complex and quaternionic equivariant vector fields on spheres

The equivariant real, complex and quaternionic vector fields on spheres problem is reduced to a question about the equivariant J-groups of the projective spaces. As an application of this reduction, we give a generalization of the results of Namboodiri [U. Namboodiri, Equivariant vector fields on spheres, Trans. Amer. Math. Soc. 278 (2) (1983) 431-460], on equivariant real vector fields, and Önder [T. Önder, Equivariant cross sections of complex Stiefel manifolds, Topology Appl. 109 (2001) 107-125], on equivariant complex vector fields, which avoids the restriction that the representation containing the sphere has enough orbit types.     

Stably extendible tangent bundles over lens spaces

The purpose of this paper is to study the stable extendibility of the tangent bundle τn(p) over the (2n+1)-dimensional standard lens space Ln(p) for odd prime p. We investigate for which m the tangent bundle τn(p) is stably extendible to Lm(p) but is not stably extendible to Lm+1(p), where we consider m=∞ if τn(p) is stably extendible to Lk(p) for any k?n, and determine m in the case n?p−3.     

Stable extendibility of vector bundles over real projective spaces

Let F$\mathbb{F}$ be either the real number field R$\mathbb{R}$ or the complex number field C$\mathbb{C}$ and RPⁿ${\mathbb{RP}}^n$ the real projective space of dimension n. Theorems A and C in Hemmi and Kobayashi (2008) [2] give necessary and sufficient conditions for a given F$\mathbb{F}$-vector bundle over RPⁿ${\mathbb{RP}}^n$ to be stably extendible to RP^m${\mathbb{RP}}^m$ for every m?n$m?n$. In this paper, we simplify the theorems and apply them to the tangent bundle of RPⁿ${\mathbb{RP}}^n$, its complexification, the normal bundle associated to an immersion of RPⁿ${\mathbb{RP}}^n$ in R^n+r${\mathbb{R}}^{n+r}$(r>0)$(r>0)$, and its complexification. Our result for the normal bundle is a generalization of Theorem A in Kobayashi et al. (2000) [8] and that for its complexification is a generalization of Theorem 1 in Kobayashi and Yoshida (2003) [5].     

On trivialities of Stiefel-Whitney classes of vector bundles over highly connected complexes

It is a classical theorem of Milnor that for every vector bundle over Sn, all the Stiefel-Whitney classes vanish if and only if n≠1,2,4,8. We describe a space B as W-trivial (except for one dimension) if for every vector bundle over B, all the Stiefel-Whitney classes vanish (except for a single fixed dimension). We establish theorems which state that certain high-connectivities of B imply these trivialities as well as a theorem which states that there are infinitely many “W-trivial except for one dimension” spaces.     

A stable approach to the equivariant Hopf theorem

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner [S. Waner, Equivariant RO(G)-graded bordism theories, Topology and its Applications 17 (1984) 1-26], the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterised in terms of congruences. This is first shown to be a stable problem, and then solved using methods of equivariant stable homotopy theory with respect to a semi-free G-universe.     

A van Kampen theorem for equivariant fundamental groupoids

The equivariant fundamental groupoid of a G-space X is a category which generalizes the fundamental groupoid of a space to the equivariant setting. In this paper, we prove a van Kampen theorem for these categories: the equivariant fundamental groupoid of X can be obtained as a pushout of the categories associated to two open G-subsets covering X. This is proved by interpreting the equivariant fundamental groupoid as a Grothendieck semidirect product construction, and combining general properties of this construction with the ordinary (non-equivariant) van Kampen theorem. We then illustrate applications of this theorem by showing that the equivariant fundamental groupoid of a G-CW complex only depends on the 2-skeleton and also by using the theorem to compute an example.     

Primary decomposition of the J-groups of complex projective and lens spaces

We determine the decomposition of J-groups of complex projective and lens spaces as a direct-sum of cyclic groups.     

Vector bundles over Grassmannians and the skew-symmetric curvature operator

A pseudo-Riemannian manifold is said to be spacelike Jordan IP if the Jordan normal form of the skew-symmetric curvature operator depends upon the point of the manifold, but not upon the particular spacelike 2-plane in the tangent bundle at that point. We use methods of algebraic topology to classify connected spacelike Jordan IP pseudo-Riemannian manifolds of signature (p,q), where q?11, and where the set {q,…,q+p} does not contain a power of 2.     

Vector bundles over Grassmannians and the spectral geometry of the Riemann tensor

Methods from algebraic topology are often used to relate the algebraic properties of the Riemann curvature tensor to the geometry and topology of the underlying manifold. This paper provides a study of vector bundles over Grassmannians suitable for analyzing the spectral geometry of the Riemann tensor. Primarily, we study bundles over Grk(m), k?3, which are sub-bundles of the trivial bundle of rank m.     

Functors on the category of quasi-fibrations

We consider the following questions: when can we extend a continuous endofunctor on Top the category of topological spaces to a fibrewise continuous endofunctor on Top(2) the category of continuous maps? If this is true, does such fibrewise continuous endofunctor preserve fibrations? In this paper, we define Fib the topological category of cell-wise trivial fibre spaces over polyhedra and show that any continuous endofunctor on Top induces a fibrewise continuous endofunctor on Fib preserving the class of quasi-fibrations.     

A note on the homotopy theory of pro-G-spectra

This paper represents a step toward a model structure on pro-spectra in which the weak equivalences are the maps inducing pro-isomorphisms of all pro-homotopy groups. We construct a category in which these weak equivalences are inverted and show that we have not inverted “too much,” in the sense that isomorphic objects still give pro-isomorphic cohomology groups.     

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.     

Wecken's theorem for periodic points in dimension at least 3

Boju Jiang introduced a homotopy invariant NFn(f), for a natural number n, which is a lower bound for the cardinality of periodic points, of period n, of a self-map of a compact polyhedron. In [J. Jezierski, Wecken theorem for periodic points, Topology 42 (5) (2003) 1101-1124] and [J. Jezierski, Wecken theorem for fixed and periodic points, in: Handbook of Topological Fixed Point Theory, Kluwer Academic, Dordrecht, 2005] we prove that any self-map of a compact PL-manifold (dimM?3) is homotopic to a map g satisfying #Fix(gn)=NFn(f) i.e. NFn(f) is the best such homotopy invariant. Here we give an alternative, simpler proof of these results.