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.     

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₊.     

An asymptotic formula for the ranks of homotopy groups

Let X be a finite simply connected CW complex of dimension n. The loop space homology H_∗(ΩX;Q) is the universal enveloping algebra of a graded Lie algebra LX isomorphic with π∗−1(X)⊗Q. Let QX⊂LX be a minimal generating subspace, and set .Theorem: If dimLX=∞ and , then

     

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.     

Iterated homotopy fixed points for the Lubin-Tate spectrum

When G is a profinite group and H and K are closed subgroups, with H normal in K, it is not known, in general, how to form the iterated homotopy fixed point spectrum (ZhH)^hK/H, where Z is a continuous G-spectrum and all group actions are to be continuous. However, we show that, if G=Gn, the extended Morava stabilizer group, and , where is Bousfield localization with respect to Morava K-theory, En is the Lubin-Tate spectrum, and X is any spectrum with trivial Gn-action, then the iterated homotopy fixed point spectrum can always be constructed. Also, we show that is just , extending a result of Devinatz and Hopkins.     

Cap pairings and spectral sequences

Let be a small category. For an -diagram X and -diagrams A and B of pointed spaces, each pairing X∧A→B satisfying the projection formula induces a pairing . In this note we show that there is an induced pairing of homotopy spectral sequences compatible with abutments in the sense that

     

Evaluation maps in rational homotopy

In the rational category of nilpotent complexes, let E be an H-space acting on a space X. With mild hypotheses we show that the action on the base point factors through a map Γ_E:S_E→X, where S_E is a finite product of odd-dimensional spheres and Γ_E is a homotopy monomorphism. Among others, the following consequences are obtained: if and only if is essential and if and only if X satisfies a strong splitting condition.     

Crossed-products by finite index endomorphisms and KMS states

Given a unital -algebra A, an injective endomorphism preserving the unit, and a conditional expectation E from A to the range of α we consider the crossed-product of A by α relative to the transfer operator L=α⁻¹E. When E is of index-finite type we show that there exists a conditional expectation G from the crossed-product to A which is unique under certain hypothesis. We define a “gauge action” on the crossed-product algebra in terms of a central positive element h and study its KMS states. The main result is: if h>1 and E(ab)=E(ba) for all a,b∈A (e.g. when A is commutative) then the KMS_β states are precisely those of the form ψ=φ°G, where φ is a trace on A satisfying the identity

     

Dimension free estimates for discrete Riesz transforms on products of abelian groups

Let G be a lca group with a fixed g₀∈G, spanning an infinite subgroup. Let τ_j, acting on L²(Gⁿ), be translation by g_o in the jth coordinate; the discrete derivatives ∂_j=I−τ_j define a discrete Laplacian and discrete Riesz transforms . We get dimension-free estimates

     

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.     

A one-to-one correspondence between colorings and stable sets

Given a graph G, we construct an auxiliary graph with vertices such that the set of all stable sets of is in one-to-one correspondence with the set of all colorings of G. Then, we show that the Max-Coloring problem in G reduces to the Maximum Weighted Stable set problem in .     

Cellular covers of groups

In this paper we discuss the concept of cellular cover for groups, especially nilpotent and finite groups. A cellular cover is a group homomorphism c:G→M such that composition with c induces an isomorphism of sets between and . An interesting example is when G is the universal central extension of the perfect group M. This concept originates in algebraic topology and homological algebra, where it is related to the study of localizations of spaces and other objects. As explained below, it is closely related to the concept of cellular approximation of any group by a given fixed group. We are particularly interested in properties of M that are inherited by G, and in some cases by properties of the kernel of the map c.