Fixed point sets of fiber-preserving maps

Let be a fiber bundle where E, B and Y are connected finite polyhedra. Let be a fiber-preserving map and a closed, locally contractible subset. We present necessary and sufficient conditions for A and its subsets to be the fixed point sets of maps fiber homotopic to f. The necessary conditions correspond to those introduced by Schirmer in 1990 but, in the fiber-preserving setting, homotopies are fiberpreserving. Those conditions are shown to be sufficient in the presence of additional hypotheses on the bundle and on the map f. The hypotheses can be weakened in the case that f is fiber homotopic to the identity.     

Homotopy uniqueness ofBG 2

We prove that the homotopy type ofBG ₂ is determined by its mod 2 cohomology as well as by its Weyl group data. The author is partially supported by DGICYT grant PB94-0725.     

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.     

Approximate fibrations and bundle maps on Hilbert cube manifolds

This paper is concerned with parameterized families of approximate fibrations from a compact Hilbert cube manifold M to a compact polyhedron B. The main result shows how to straighten out certain of these families to be nearly like a product. As an application of this technique, it is shown that an approximate fibration p:M → B can be approximated arbitrarily closely by bundle maps if and only if p is homotopic via approximate fibrations to a bundle map. Another result is that the space of bundle maps from M to B is locally n-connected for each n ? 0.     

The degree of maps of free G-manifolds

Suppose that M and N are orientable, closed, connected manifolds with free actions of compact Lie groups G and H of the same dimension, and suppose that u : G → H is a homomorphism. We study the degree of maps f : M → N that are “equivariant up to u”. For abelian actions and for a power map such maps satisfy the condition f(λx) = λ ^r x. To Albrecht Dold and Edward Fadell     

On fixed points of stratified maps

Nielsen fixed point theory deals with the fixed point sets of self maps on compact polyhedra. In this note, we shall extend it to stratified maps, to consider fixed points on (noncompact) strata. The extension was motivated by our recent work on the braid forcing problem in which the deleted symmetric products are indispensable. The stratified viewpoint is theoretically as natural as the equivariant Nielsen fixed point theory, while it can be more tractable computationally and more flexible in applications. This work was partially supported by an NSFC grant and a BMEC grant.     

On exotic characteristic classes for spherical fibrations

We define for every so-called admissible relation r in the Steenrod algebra $\text{A}$ and for every oriented spherical fibration ξ over a CW-space an exotic characteristic class (mod 2) ε(r)(ξ), which is primitive and vanishes for sphere bundles. The set of exotic classes associated with the universal spherical fibration and the admissible Adem relations are compared with the algebra generators of H¹(BSG;$\text{Z}$₂) due to Milgram. Moreover, their behaviour under the action of $\text{A}$ is computed. Finally, we give a secondary Wu formula for exotic classes of special Poincaré duality spaces.     

Localization and duality in topology and modular representation theory

We develop a duality theory for localizations in the context of ring spectra in algebraic topology. We apply this to prove a theorem in the modular representation theory of finite groups.Let G be a finite group and k be an algebraically closed field of characteristic p. If p is a homogeneous nonmaximal prime ideal in H^∗(G,k), then there is an idempotent module κ_p which picks out the layer of the stable module category corresponding to p, and which was used by Benson, Carlson and Rickard [D.J. Benson, J.F. Carlson, J. Rickard, Thick subcategories of the stable module category, Fund. Math. 153 (1997) 59-80] in their development of varieties for infinitely generated kG-modules. Our main theorem states that the Tate cohomology is a shift of the injective hull of H^∗(G,k)/p as a graded H^∗(G,k)-module. Since κ_p can be constructed using a version of the stable Koszul complex, this can be viewed as a statement of localized Gorenstein duality in modular representation theory. Various consequences of this theorem are given, including the statement that the stable endomorphism ring of the module κ_p is the p-completion of cohomology , and the statement that κ_p is a pure injective kG-module.In the course of proving the theorem, we further develop the framework introduced by Dwyer, Greenlees and Iyengar [W.G. Dwyer, J.P.C. Greenlees, S. Iyengar, Duality in algebra and topology, Adv. Math. 200 (2006) 357-402] for translating between the unbounded derived categories and . We also construct a functor to the full stable module category, which extends the usual functor and which preserves Tate cohomology. The main theorem is formulated and proved in , and then translated to and finally to .The main theorem in can be viewed as stating that a version of Gorenstein duality holds after localizing at a prime ideal in H^∗(BG;k). This version of the theorem holds more generally for a compact Lie group satisfying a mild orientation condition. This duality lies behind the local cohomology spectral sequence of Greenlees and Lyubeznik for localizations of H^∗(BG;k).In a companion paper [D.J. Benson, Idempotent kG-modules with injective cohomology, J. Pure Appl. Algebra 212 (7) (2008) 1744-1746], a more recent and shorter proof of the main theorem is given. The more recent proof seems less natural, and does not say anything about localization of the Gorenstein condition for compact Lie groups.     

Waldhausen's theory of k-fold end structures: a survey

Let R⁺ be the space of nonnegative real numbers. F. Waldhausen defines a k-fold end structure on a space X as an ordered k-tuple of continuous maps x_f:X → R⁺, 1 ? j ? k, yielding a proper map x:X → (R⁺)^k. The pairs (X,x) are made into the category E^k of spaces with k-fold end structure. Attachments and expansions in E^k are defined by induction on k, where elementary attachments and expansions in E⁰ have their usual meaning. The category E^k/Z consists of objects (X, i) where i: Z → X is an inclusion in E^k with an attachment of i(Z) to X, and the category E^k6Z consists of pairs (X,i) of E^k/Z that admit retractions X → Z. An infinite complex over Z is a sequence X = {X₁ ? X₂ ? … ? X_n …} of inclusions in E^k6Z. The abelian grou p S₀(Z) is then defined as the set of equivalence classes of infinite complexes dominated by finite ones, where the equivalence relation is generated by homotopy equivalence and finite attachment; and the abelian group S₁(Z) is defined as the set of equivalence classes of X₁, where X ∈ E^k/Z deformation retracts to Z. The group operations are gluing over Z. This paper presents the Waldhausen theory with some additions and in particular the proof of Waldhausen's proposition that there exists a natural exact sequence 0 → S₁(Z × R)→^πS₀(Z) by utilizing methods of L.C. Siebenmann. Waldhausen developed this theory while seeking to prove the topological invariance of Whitehead torsion; however, the end structures also have application in studying the splitting of a noncompact manifold as a product with R[1].     

Equivariant fixed-point indices of iterated maps

We describe an equivariant version (for actions of a finite group G) of Dold’s index theory, [10], for iterated maps. Equivariant Dold indices are defined, in general, for a G-map U → X defined on an open G-subset of a G-ANR X (and satisfying a suitable compactness condition). A local index for isolated fixed-points is introduced, and the theorem of Shub and Sullivan on the vanishing of all but finitely many Dold indices for a continuously differentiable map is extended to the equivariant case. Homotopy Dold indices, arising from the equivariant Reidemeister trace, are also considered.      

Cyclic actions on some Klein bottle bundles over S1

Leth be a cyclic action of periodn onM, whereM is eitherS ¹×K, K is the Klein bottle or on , the twisted Klein bottle bundle overS ¹, such that there is a fiberingq:MS ¹ with fiber a Klein bottleK or a torusT with respect to which the action is fiber preserving. We classify all such actions and show that they might be distinguished by their fixed points or by their orbit spaces.     

Coincidences of maps into homogeneous spaces

Let f,g:X→M be maps between two closed connected orientable n-manifolds where M=G/K is the homogeneous space of left cosets of a compact connected Lie group G by a finite subgroup K. In this note, we obtain a simple formula for the Lefschetz coincidence number L(f,g) in terms of topological degree, generalizing some previously known formulas for fixed points. Our approach, by means of Nielsen root theory, also allows us to give a simpler and more geometric proof of the fact that all coincidence classes of f and g have coincidence index of the same sign. Received: 3 March 1998 / Revised version: 29 June 1998     

Homotopy uniqueness of BG 2

We prove that the homotopy type of BG ₂ is determined by its mod 2 cohomology as well as by its Weyl group data. Received: 21 April 1997 / Revised version: 8 December 1997     

Obstruction theory in model categories

Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial obstruction class that determines whether a lift exists. Working in an arbitrary pointed proper model category, we classify the cofibrations that have such an obstruction theory with respect to all fibrations. Up to weak equivalence, retract, and cobase change, they are the cofibrations with weakly contractible target. Equivalently, they are the retracts of principal cofibrations. Without properness, the same classification holds for cofibrations with cofibrant source. Our results dualize to give a classification of fibrations that have an obstruction theory.     

A fixed point theorem for a class of Sobolev maps

We prove an analog of the Brouwer fixed point theorem for a map whose differential and adjoint are integrable with exponents n−1 and n/(n−1) respectively. Here Ω is a convex bounded open subset of Rⁿ.

---

     

Obstruction theory on 8-manifolds

This paper gives a uniform, self-contained, and fairly direct approach to a variety of obstruction-theoretic problems on 8-manifolds. We give necessary and sufficient cohomological criteria for the existence of complex and quaternionic structures on eight-dimensional vector bundles and for the reduction of the structure group of such bundles to U(3) by the homomorphism U(3) → O(8) given by the Lie algebra representation of PU(3). Research of M. Čadek supported by the grant MSM 0021622409 of the Czech Ministry of Education. Research of J. Vanžura supported by the Academy of Sciences of the Czech Republic, Institutional Research Plan AVOZ10190503, and by the grant 201/05/2117 of the Grant Agency of the Czech Republic.     

The Lyusternik-Shnirel’man category, vector bundles, and immersions of manifolds

One of our two main results exhibits for a vector bundle over a compact Hausdorff spaceX an interplay between its span, its possible splittings, and the Lyusternik-Shnirel’man category ofX. The other main result, also on vector bundles and the Lyusternik-Shnirel’man category, enables us to derive certain inequalities connecting the immersion codimension, the stable span, and the Lyusternik-Shnirel’man category of a smooth closed manifold which is not stably parallelizable. Our results are applicable in various situations of general interest.     

Periodic equivariant realK-theories have rational Tate theory

Summary We study a generalized equivariantK-theory introduced by M. Karoubi. We prove, that it is anRO (G, U)-graded cohomology-theory and that the associated Tate spectrum is rational whenG is finite. This implies that for finite groups, the Atiyah-Segal Real equivariantK-theories have rational Tate theory. This article was processed by the author using the L^AT_EX style filecljour1 from Springer-Verlag     

Asymptotics of spectrum under infinitesimally form-bounded perturbation

LetA1 be a selfadjoint operator with discrete spectrum and known distribution function of its spectrumN(r,A). SupposeB is a (nonselfadjoint) operator that is form-bounded with respect toA with relative bound zero. If in addition thenN(r,A+B)=N(r,A)(1+o(1)), whereA+B is the operator defined as form sum. The applications to the Schrödinger operator with polynomially growing potential and to the third boundary value problem for the second order elliptic operator are given.Research supported by the Israel Ministries of Science and Absorption