Product and other fine structure in polynomial resolutions of mapping spaces. (English) Zbl 1015.55006

Let \(\text{Map}_{\mathcal T}(K,X)\) denote the mapping space of continuous based functions between two based spaces \(K\) and \(X\), where \(K\) is assumed a finite complex. Recently, G. Arone [Trans. Am. Soc. 351, 1123-1250 (2002; Zbl 0945.55011)] has given an explicit model for the Goodwillie tower of the functor sending a space \(X\) to the suspension spectrum \(\Sigma^{\infty}\text{Map}_{\mathcal T}(K,X)\). Applying a generalized homology theory \(h_{*}\) or similarly a generalized cohomology theory to the Goodwillie tower yields a spectral sequence, which under suitable conditions converges strongly to \(h_{*}\text{Map}_{\mathcal T}(K,X)\). In the present paper, the authors study how important natural constructions on mapping spaces, like product constructions and evaluation map constructions, induce extra structures on the Goodwillie towers and in turn lead to extra structures in the associated spectral sequences. The paper includes results from the first author’s Ph. D. thesis, University of Virginia (2000).


55P35 Loop spaces
55P42 Stable homotopy theory, spectra


Zbl 0945.55011
Full Text: DOI arXiv EuDML EMIS


[1] J F Adams, Prerequisites (on equivariant stable homotopy) for Carlsson’s lecture, Lecture Notes in Math. 1051, Springer (1984) 483 · Zbl 0553.55010
[2] S T Ahearn, Product structures on generalized Eilenberg-Moore spectral sequences, PhD thesis, University of Virginia (2000)
[3] D W Anderson, A generalization of the Eilenberg-Moore spectral sequence, Bull. Amer. Math. Soc. 78 (1972) 784 · Zbl 0255.55012
[4] G Arone, A generalization of Snaith-type filtration, Trans. Amer. Math. Soc. 351 (1999) 1123 · Zbl 0945.55011
[5] M Bendersky, S Gitler, The cohomology of certain function spaces, Trans. Amer. Math. Soc. 326 (1991) 423 · Zbl 0738.54007
[6] W G Dwyer, J Spaliński, Homotopy theories and model categories, North-Holland (1995) 73 · Zbl 0869.55018
[7] T G Goodwillie, Calculus I: The first derivative of pseudoisotopy theory, \(K\)-Theory 4 (1990) 1 · Zbl 0741.57021
[8] T G Goodwillie, Calculus II: Analytic functors, \(K\)-Theory 5 (1991/92) 295 · Zbl 0776.55008
[9] T G Goodwillie, Calculus III: Taylor series, Geom. Topol. 7 (2003) 645 · Zbl 1067.55006
[10] J R Klein, The dualizing spectrum of a topological group, Math. Ann. 319 (2001) 421 · Zbl 0982.55004
[11] N J Kuhn, The geometry of the James-Hopf maps, Pacific J. Math. 102 (1982) 397 · Zbl 0507.55006
[12] N J Kuhn, Stable splittings and the diagonal, Contemp. Math. 271, Amer. Math. Soc. (2001) 169 · Zbl 0985.55007
[13] N J Kuhn, The McCord model for the tensor product of a space and a commutative ring spectrum, Progr. Math. 215, Birkhäuser (2004) 213 · Zbl 1063.55009
[14] L G Lewis Jr., J P May, M Steinberger, J E McClure, Equivariant stable homotopy theory, Lecture Notes in Mathematics 1213, Springer (1986) · Zbl 0611.55001
[15] M Lydakis, Smash products and \(\Gamma\)-spaces, Math. Proc. Cambridge Philos. Soc. 126 (1999) 311 · Zbl 0996.55020
[16] J P May, The geometry of iterated loop spaces, Lectures Notes in Mathematics 271, Springer (1972) · Zbl 0244.55009
[17] R McCarthy, On \(n\)-excisive functors of module categories, Math. Proc. Camb. Phil. Soc. (to appear)
[18] L Schwartz, À propos de la conjecture de non-réalisation due à N. Kuhn, Invent. Math. 134 (1998) 211 · Zbl 0919.55007
[19] E H Spanier, Function spaces and duality, Ann. of Math. \((2)\) 70 (1959) 338 · Zbl 0090.12905
[20] M Weiss, B Williams, Automorphisms of manifolds and algebraic \(K\)-theory II, J. Pure Appl. Algebra 62 (1989) 47 · Zbl 0691.57012
[21] G W Whitehead, Elements of homotopy theory, Graduate Texts in Mathematics 61, Springer (1978) · Zbl 0406.55001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.