Smooth actions of finite Oliver groups on spheres

In this article, we deal with the following two questions. For smooth actions of a given finite group G on spheres S, which smooth manifolds F occur as the fixed point sets in S, and which real G-vector bundles ν over F occur as the equivariant normal bundles of F in S? We focus on the case G is an Oliver group and answer both questions under some conditions imposed on G, F, and ν. We construct smooth actions of G on spheres by making use of equivariant surgery, equivariant thickening, and Oliver's equivariant bundle extension method modified by an equivariant wegde sum construction and an equivariant bundle subtraction procedure.     

G-symmetric spectra,semistability and the multiplicative norm

In this paper we develop the basic homotopy theory of G-symmetric spectra (that is, symmetric spectra with a G-action) for a finite group G, as a model for equivariant stable homotopy with respect to a G-set universe. This model lies in between Mandell's equivariant symmetric spectra and the G-orthogonal spectra of Mandell and May and is Quillen equivalent to the two. We further discuss equivariant semistability, construct model structures on module, algebra and commutative algebra categories and describe the homotopical properties of the multiplicative norm in this context.     

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.     

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.     

On the equivariant cohomology of rotation groups and Stiefel manifolds

In this paper, we compute the RO(Z/2)-graded equivariant cohomology of rotation groups and Stiefel manifolds with particular involutions.     

Fibrant extensions of free G-spaces

We show that any equivariant fibrant extension of a compact free G-space is also free. This result allows us to prove that the orbit space of any equivariant fibrant compact space E is also fibrant, provided that E has only one orbit type.     

Equivariant strong shape

In this paper we propose a construction of the equivariant strong shape for compact metrizable G-spaces using an equivariant version of so-called cotelescopes and the concept of a fibrant G-space.     

Equivariant homology and cohomology of groups

We provide and study an equivariant theory of group (co)homology of a group G with coefficients in a Γ-equivariant G-module A, when a separate group Γ acts on G and A, generalizing the classical Eilenberg-MacLane (co)homology theory of groups. Relationship with equivariant cohomology of topological spaces is established and application to algebraic K-theory is given.     

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.     

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.      

Homotopy classification of braided graded categorical groups

For any group G, a certain cohomology theory of G-modules is developed. This cohomology arises from the homotopy theory of G-spaces and it is called the “abelian cohomology of G-modules”. Then, as the main results of this paper, natural one-to-one correspondences between elements of the 3^rd cohomology groups of G-modules, G-equivariant pointed simply-connected homotopy 3-types and equivalence classes of braided G-graded categorical groups are established. The relationship among all these objects with equivariant quadratic functions between G-modules is also discussed.     

Many homotopy categories are homotopy categories

We show that any category that is enriched, tensored, and cotensored over the category of compactly generated weak Hausdorff spaces, and that satisfies an additional hypothesis concerning the behavior of colimits of sequences of cofibrations, admits a Quillen closed model structure in which the weak equivalences are the homotopy equivalences. The fibrations are the Hurewicz fibrations and the cofibrations are a subclass of the Hurewicz cofibrations. This result applies to various categories of spaces, unbased or based, categories of prespectra and spectra in the sense of Lewis and May, the categories of L-spectra and S-modules of Elmendorf, Kriz, Mandell and May, and the equivariant analogues of all the afore-mentioned categories.     

Bredon homology and ramified covering G-maps

Let G be a finite group. The objective of this paper is twofold. First we prove that the cellular Bredon homology groups with coefficients in an arbitrary coefficient system M are isomorphic to the homotopy groups of certain topological abelian group. And second, we study ramified covering G-maps of simplicial sets and of simplicial complexes. As an application, we construct a transfer for them in Bredon homology, when M is a Mackey functor. We also show that the Bredon-Illman homology with coefficients in M satisfies the equivariant weak homotopy equivalence axiom in the category of G-spaces.     

Two, more readily computable equivariant Nielsen numbers I. Nielsen theory for M-ads

In this, the first of two papers outlining a Nielsen theory for “two, more readily computable equivariant numbers”, we define and study two Nielsen type numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), where f and k are M-ad maps. While a Nielsen theory of M-ads is of interest in its own right, our main motivation lies in the fact that maps of M-ads accurately mirror one of two fundamental structures of equivariant maps. Being simpler however, M-ad Nielsen numbers are easier to study and to compute than equivariant Nielsen numbers. In the sequel, we show our M-ad numbers can be used to form both upper and lower bounds on their equivariant counterparts.The numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), generalize the generalizations to coincidences, of Zhao's Nielsen number on the complement N(f;X−A), respectively Schirmer's relative Nielsen number N(f;X,A). Our generalizations are from the category of pairs, to the category of M-ads. The new numbers are lower bounds for the number of coincidence points of all maps f^′ and k^′ which are homotopic as maps ofM-ads to f, respectively k firstly on the complement of the union of the subspaces Xν in the domain M-ad X, and secondly on all of X. The second number is shown to be greater than or equal to a sum of the first of our numbers. Conditions are given which allow for both equality, and Möbius inversion. Finally we show that the fixed point case of our second number generalizes Schirmer's triad Nielsen number N(f;X₁∪X₂).Our work is very different from what at first sight appears to be similar partial results due to P. Wong. The differences, while in some sense subtle in terms of definition, are profound in terms of commutability. In order to work in a variety of both fixed point and coincidence points contexts, we introduce in this first paper and extend in the second, the concept of an essentiality on a topological category. This allows us to give computational theorems within this diversity. Finally we include an introduction to both papers here.     

Algebraic models of change of groups functors in (co)free rational equivariant spectra

Free and cofree equivariant spectra are important classes of equivariant spectra which represent equivariant cohomology theories on free equivariant spaces. Greenlees-Shipley [24], [26] and Pol and the author [45] have given an algebraic model for rational (co)free equivariant spectra. In this paper, we extend this framework by proving that the Quillen functors of induction-restriction-coinduction between categories of (co)free rational equivariant spectra correspond to Quillen functors between the algebraic models in the case of connected compact Lie groups. This is achieved using new abstract techniques regarding correspondences of Quillen functors along Quillen equivalences, which we expect to be of use in other applications.     

A symmetric monoidal and equivariant Segal infinite loop space machine

In [12], we reworked and generalized equivariant infinite loop space theory, which shows how to construct G-spectra from G-spaces with suitable structure. In this paper, we construct a new variant of the equivariant Segal machine that starts from the category

of finite sets rather than from the category

of finite G-sets and which is equivalent to the machine studied in [19], [12]. In contrast to the machine in [19], [12], the new machine gives a lax symmetric monoidal functor from the symmetric monoidal category of

–G-spaces to the symmetric monoidal category of orthogonal G-spectra. We relate it multiplicatively to suspension G-spectra and to Eilenberg–Mac?Lane G-spectra via lax symmetric monoidal functors from based G-spaces and from abelian groups to

–G-spaces. Even non-equivariantly, this gives an appealing new variant of the Segal machine. This new variant makes the equivariant generalization of the theory essentially formal, hence likely to be applicable in other contexts.     

Equilateral triangles on a Jordan curve and a generalization of a theorem of Dold

Let be a Jordan curve in the plane. It is a simple topological riddle to determine if there is an equilateral triangle with vertices on γ. By reformulating this question in the paradigm of configuration spaces and test maps, we can solve this riddle using a Borsuk-Ulam type theorem obtained using equivariant methods.     

Equivariant simplicial cohomology with local coefficients and its classification

We introduce equivariant twisted cohomology of a simplicial set equipped with simplicial action of a discrete group and prove that for suitable twisting function induced from a given equivariant local coefficients, the simplicial version of Bredon-Illman cohomology with local coefficients is isomorphic to equivariant twisted cohomology. The main aim of this paper is to prove a classification theorem for equivariant simplicial cohomology with local coefficients.     

Models for homotopy n-types in diagram categories

The classical Mac Lane-Whitehead equivalence showing that crossed modules of groups are algebraic models of connected homotopy 2-types has found a corresponding equivariant version by Moerdijk and Svensson ([22]). In this paper we show that this equivariant result has a higher-dimensional version which gives an equivalence between the homotopy category of diagrams of certain objects indexed by the orbit category of a group H and H-equivariant homotopy n-types for n1.Supported by DGICYT:PS90-0226