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.      

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.     

The relationship between the diagonal and the bar constructions on a bisimplicial set

The aim of this paper is to prove that the homotopy type of any bisimplicial set X is modelled by the simplicial set , the bar construction on X. We stress the interest of this result by showing two relevant theorems which now become simple instances of it; namely, the Homotopy colimit theorem of Thomason, for diagrams of small categories, and the generalized Eilenberg-Zilber theorem of Dold-Puppe for bisimplicial Abelian groups. Among other applications, we give an algebraic model for the homotopy theory of (not necessarily path-connected) spaces whose homotopy groups vanish in degree 4 and higher.     

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.     

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.     

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.     

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.     

Linearization of proper group actions

We prove that if G is a locally compact group acting properly (in the sense of R. Palais) on a space X that is metrizable by a G-invariant metric, then X can be embedded equivariantly into a normed linear G-space E endowed with a linear isometric G-action which is proper on the complement E?{0}. If, in addition, G is a Lie group then E?{0} is a G-equivariant absolute extensor. One can make this equivariant embedding even closed, but in this case the non-proper part of the linearizing G-space E may be an entire subspace instead of {0}.     

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.     

Stable equivariant abelianization, its properties, and applications

Let G be a finite group. For a based G-space X and a Mackey functor M, a topological Mackey functor is constructed, which will be called the stable equivariant abelianization of X with coefficients in M. When X is a based G-CW complex, is shown to be an infinite loop space in the sense of G-spaces. This gives a version of the RO(G)-graded equivariant Dold-Thom theorem. Applying a variant of Elmendorf's construction, we get a model for the Eilenberg-Mac Lane spectrum HM. The proof uses a structure theorem for Mackey functors and our previous results.     

On the role of effective representations of Lie groupoids

In this paper, we undertake the study of the Tannaka duality construction for the ordinary representations of a proper Lie groupoid on vector bundles. We show that for each proper Lie groupoid G, the canonical homomorphism of G into the reconstructed groupoid T(G) is surjective, although — contrary to what happens in the case of groups — it may fail to be an isomorphism. We obtain necessary and sufficient conditions in order that G may be isomorphic to T(G) and, more generally, in order that T(G) may be a Lie groupoid. We show that if T(G) is a Lie groupoid, the canonical homomorphism G→T(G) is a submersion and the two groupoids have isomorphic categories of representations.     

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.     

Classification of real Nash fibre bundles

Let G be a compact subgroup of an orthogonal group and X an affine, real, semialgebraic Nash variety. A principal Nash G-bundle over X is said to be strongly Nash if it is induced, up to Nash equivalences, of some universal bundle under a Nash map. Not all Nash bundles are strongly Nash and we denote by S(X, G) the class of strongly Nash G-bundles over X. The principal aim of this paper is to prove the following classification theorem: two bundles of S(X, G) are Nash equivalent if and only if they are topologically equivalent; more,there exists a bijection between the family of the classes of Nash equivalent bundles of S(X, G) and , where is the sheaf of germs of the continous maps from X to G. This result leads to find the largest class of principal Nash G-bundles over X in which the topological equivalence always implies the Nash one. Well, we prove that this class is exactly S(X, G). Research partially supported by M.I.U.R.     

An approximation theorem in shape theory

In this paper it is shown that if X is a compactum in the interior of a PL manifold M and if U is a neighborhood of X in M, then there is a compactum X′ in U such that X and X′ have the same relative shape in U and the embedding dimension of X′ equals the fundamental dimension of X. Whenever the dimension of M is not equal to three, the relative shape equivalence from X′ to X can be realized by an infinite isotopy of M.     

Equivariant homotopical homology with coefficients in a Mackey functor

Let M be a Mackey functor for a finite group G. In this paper, generalizing the Dold-Thom construction, we construct an ordinary equivariant homotopical homology theory with coefficients in M, whose values on the category of finite G-sets realize the bifunctor M, both covariantly and contravariantly. Furthermore, we extend the contravariant functor to define a transfer in the theory for G-equivariant covering maps. This transfer is given by a continuous homomorphism between topological abelian groups.We prove a formula for the composite of the transfer and the projection of a G-equivariant covering map and characterize those Mackey functors M for which that formula has an expression analogous to the classical one.     

Actions of Totally Disconnected Groups and Equivariant Singular Cohomology

In this work, we study the special properties of the equivariant singular cohomology of a G-space X, where G is a totally disconnected, locally compact group. We prove that any short exact sequence of coefficient systems for G, over a ring R, gives a long exact sequence of the associated equivariant singular cohomology modules. We establish the relationship between the ordinary singular cohomology modules and the equivariant singular cohomology modules with the natural contravariant coefficient system. Moreover, under some conditions, we give an isomorphism of the equivariant singular cohomology modules of the G-space X onto the ordinary singular cohomology modules of the orbit space X/G.     

Generalized Dirichlet to Neumann operator on invariant differential forms and equivariant cohomology

In recent work, Belishev and Sharafutdinov show that the generalized Dirichlet to Neumann (DN) operator Λ on a compact Riemannian manifold M with boundary ∂M determines de Rham cohomology groups of M. In this paper, we suppose G is a torus acting by isometries on M. Given X in the Lie algebra of G and the corresponding vector field XM on M, Witten defines an inhomogeneous coboundary operator dXM=d+ιXM on invariant forms on M. The main purpose is to adapt Belishev-Sharafutdinov?s boundary data to invariant forms in terms of the operator dXM in order to investigate to what extent the equivariant topology of a manifold is determined by the corresponding variant of the DN map. We define an operator ΛXM on invariant forms on the boundary which we call the XM-DN map and using this we recover the XM-cohomology groups from the generalized boundary data (∂M,ΛXM). This shows that for a Zariski-open subset of the Lie algebra, ΛXM determines the free part of the relative and absolute equivariant cohomology groups of M. In addition, we partially determine the ring structure of XM-cohomology groups from ΛXM. These results explain to what extent the equivariant topology of the manifold in question is determined by ΛXM.     

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.     

A connection between cellularization for groups and spaces via two-complexes

Let M denote a two-dimensional Moore space (so ), with fundamental group G. The M-cellular spaces are those one can build from M by using wedges, push-outs, and telescopes (and hence all pointed homotopy colimits). The issue we address here is the characterization of the class of M-cellular spaces by means of algebraic properties derived from the group G. We show that the cellular type of the fundamental group and homological information does not suffice, and one is forced to study a certain universal extension.