On Towers Approximating Homological Localizations

Our object of study is the natural tower which, for any givenmap f:AB and each space X, starts with the localization of Xwith respect to f and converges to X itself. These towers canbe used to produce approximations to localization with respectto any generalized homology theory E_*, yielding, for example,an analogue of Quillen's plus-construction for E_*. We discussin detail the case of ordinary homology with coefficients inZ/p or Z[1/p]. Our main tool is a comparison theorem for nullificationfunctors (that is, localizations with respect to maps of theform f:Apt), which allows us, among other things, to generalizeNeisendorfer's observation that p-completion of simply-connectedspaces coincides with nullification with respect to a Moorespace M(Z[1/p], 1).     

The bar spectral sequence converging toh *(SO(2n+1))

We study the bar spectral sequence converging toh _*(SO(2n+1)), whereh is an algebra theory overBP. The differentials are determined completely ifh=P(l) andn<2 ^l . These results will be used in a future paper on the MoravaK-theories ofSO(2n+1), with no restriction onn. As another application, we determineBP _*(Spin(7)) including much of its algebra structure.AMS Subject Classification: 57T10, 57T30, 55N22     

Lorentz Spaces Of Vector-Valued Measures

Given a non-atomic, finite and complete measure space (,,µ)and a Banach space X, the modulus of continuity for a vectormeasure F is defined as the function _F(t) = sup_µ(E)t |F|(E)and the space V^p,q(X) of vector measures such that t^–1/p'_F(t) L^q((0,µ()],dt/t) is introduced. It is shown thatV^p,q(X) contains isometrically L^p,q(X) and that L^p,q(X) = V^p,q(X)if and only if X has the Radon–Nikodym property. It isalso proved that V^p,q(X) coincides with the space of cone absolutelysumming operators from L^p',q^' into X and the duality V^p,q(X^*)=(Lp^',q^'(X))^*where 1/p+1/p^'= 1/q+1/q^' = 1. Finally, V^p,q(X) is identifiedwith the interpolation space obtained by the real method (V¹(X),V(X))_1/p^',q. Spaces where the variation of F is replaced bythe semivariation are also considered.     

Higher string topology on general spaces

In this paper, I give a generalized analogue of the string topologyresults of Chas and Sullivan, and of Cohen and Jones. For afinite simplicial complex X and k 1, I construct a spectrumMaps(S^k, X)^S(X), which is obtained by taking a generalizationof the Spivak bundle on X (which however is not a stable spherebundle unless X is a Poincaré space), pulling back toMaps(S^k, X) and quotienting out the section at infinity. I showthat the corresponding chain complex is naturally homotopy equivalentto an algebra over the (k + 1)-dimensional unframed little diskoperad C_{k + 1}. I also prove a conjecture of Kontsevich, whichstates that the Quillen cohomology of a based C_k-algebra (inthe category of chain complexes) is equivalent to a shift ofits Hochschild cohomology, as well as prove that the operadC_*C_k is Koszul-dual to itself up to a shift in the derived category.This gives one a natural notion of (derived) Koszul dual C_*C_k-algebras.I show that the cochain complex of X and the chain complex of^k X are Koszul dual to each other as C_*C_k-algebras, and thatthe chain complex of Maps(S^k, X)^S(X) is naturally equivalentto their (equivalent) Hochschild cohomology in the categoryof C_* C_k-algebras. 2000 Mathematics Subject Classification 55P48(primary), 16E40, 55N45, 18D50 (secondary).     

Full Crossed Products by Coactions, C0(X)-Algebras and C*-Bundles

Let be a coaction of a locally compact group G on a C*-algebraA. We show that if I is a -invariant ideal in A, then for full crossed products, as Landstadet al. have done for spatial crossed products by coactions.We prove that for suitable coactions, the crossed products ofC₀(X)-algebras are again C₀(X)-algebras, and the crossed productsof continuous C*-bundles by a locally compact group are againcontinuous C*-bundles. 1991 Mathematics Subject Classification46L55.     

Smoothness Properties of the Unit Ball in a JB*-Triple

An element a of norm one in a JB^*-triple A is said to be smoothif there exists a unique element x in the unit ball A₁^* of thedual A^* of A at which a attains its norm, and is said to beFréchet-smooth if, in addition, any sequence (x_n) ofelements in A₁^* for which (x_n(a)) converges to one necessarilyconverges in norm to x. The sequence (a²ⁿ⁺¹) of odd powers ofa converges in the weak^*-topology to a tripotent u(a) in theJBW^*-envelope A^** of A. It is shown that a is smooth if andonly if u(a) is a minimal tripotent in A^** and a is Fréchet-smoothif and only if, in addition, u(a) lies in A.     

Numerical Radius Norms on Operator Spaces

We introduce a numerical radius operator space (X, W_n). Theconditions to be a numerical radius operator space are weakerthan Ruan's axiom for an operator space (X, O_n). Let w(·)be the numerical radius on B(H). It is shown that, if X admitsa norm W_n(·) on the matrix space M_n(X) which satisfiesthe conditions, then there is a complete isometry, in the senseof the norms W_n(·) and w_n(·), from (X, W_n) into(B(H), w_n). We study the relationship between the operator space(X, O_n) and the numerical radius operator space (X, W_n). Thecategory of operator spaces can be regarded as a subcategoryof numerical radius operator spaces.     

Lie Powers of Modules for Groups of Prime Order

Let L(V) be the free Lie algebra on a finite-dimensional vectorspace V over a field K, with homogeneous components Lⁿ(V) forn 1. If G is a group and V is a KG-module, the action of Gextends naturally to L(V), and the Lⁿ(V) become finite-dimensionalKG-modules, called the Lie powers of V. In the decompositionproblem, the aim is to identify the isomorphism types of indecomposableKG-modules, with their multiplicities, in unrefinable directdecompositions of the Lie powers. This paper is concerned withthe case where G has prime order p, and K has characteristicp. As is well known, there are p indecomposables, denoted hereby J₁,...,J_p, where J_r has dimension r. A theory is developedwhich provides information about the overall module structureof LV) and gives a recursive method for finding the multiplicitiesof J₁,...,J_p in the Lie powers Lⁿ(V). For example, the theoryyields decompositions of L(V) as a direct sum of modules isomorphiceither to J₁ or to an infinite sum of the form J_r J_{p-1} J_{p-1} ... with r 2. Closed formulae are obtained for the multiplicitiesof J₁,..., J_p in Lⁿ(J_p and Lⁿ(J_{p-1). For r < p-1, the indecomposableswhich occur with non-zero multiplicity in Lⁿ(J_r) are identifiedfor all sufficiently large n. 2000 Mathematical Subject Classification:17B01, 20C20.