Maps from K( Z/p,2) and a conjecture of N. Kuhn

DOI10.5802/AIF.2776MaRDI QIDQ2391394zbMATH OpenOpenAlexWikidataFDO

Authors Gerald Gaudens, Lionel Schwartz

Publication date 31 July 2013

Published in Annales de l’institut Fourier (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1005.0567

zbMATH Keywords

Bott-Samelson theoremobstructionsrealisationunstable modules

Mathematics Subject Classification ID

Steenrod algebra (55S10) Obstruction theory in algebraic topology (55S35)

Abstract: On d'emontre une conjecture due `a N. Kuhn concernant la cohomologie singuli`ere `a coefficients mod p des espaces, comme module instable sur l'alg`ebre de Steenrod. Notre d'emonstration de ce r'esultat, d'ej`a connu en caract'eristique 2, fait appel `a une m'ethode nouvelle, qui fonctionne en toute caract'eristique. De cette mani`ere on r'etablit le r'esultat de [S98] dont la preuve est incompl`ete dans le cas d'un nombre premier impair. We settle a conjecture due to N. Kuhn about the mod p cohomology of spaces considered as unstable modules over the Steenrod algebra. This result is already known to hold in characteristic 2. The method presented here is essentially new and works for all characteristics. In doing so we fix a gap in [S98] concerning the odd prime case.

Review text

In [Ann. Math. (2) 141, No. 2, 321--347 (1995; Zbl 0849.55022)], \textit{N. J. Kuhn} made a conjecture about unstable modules over the Steenrod algebra, namely that if such a module is finitely generated as a module over the Steenrod algebra, and occurs as the singular cohomology of a space, then it is in fact finite. This conjecture was proved by \textit{L. Schwartz} [Invent. Math. 134, No. 1, 211--227 (1998; Zbl 0919.55007); erratum ibid. 182, No. 2, 449--450 (2010)]. That proof contained a gap for the odd prime case, and the present paper fills that gap. A new proof is given, for all primes, based on theorems of Lannes and Bott-Samelson rather than the Eilenberg-Moore spectral sequence as used in the original proof.

Recommendations

• A propos the conjecture of a N. Kuhn on non-realization
• On non-realization results and conjectures of N. Kuhn
• Profinite spaces and problems of realizability
• The Arone-Goodwillie spectral sequence for \(\Sigma^{\infty }\Omega^{n}\) and topological realization at odd primes
• Bocksteins and the nilpotent filtration on the cohomology of spaces

Cites work

• A propos the conjecture of a N. Kuhn on non-realization
• Deconstructing Hopf spaces
• Ensembles profinis simpliciaux et interprétation géométrique du foncteur T
• scientific article; zbMATH DE number 3631581 (Why is no real title available?)
• scientific article; zbMATH DE number 872096 (Why is no real title available?)
• On function spaces whose source is the classifying space of an elementary abelian \(p\)-group
• On topologically realizing modules over the Steenrod algebra
• Profinite spaces and problems of realizability
• Sur la structure des A-modules instables injectifs
• The Krull filtration on the category \(U\) and cohomology of spaces
• The Sullivan conjecture on maps from classifying spaces
• Topological nonrealization results via the Goodwillie tower approach to iterated loopspace homology

Cited in

(12)

• A propos the conjecture of a N. Kuhn on non-realization
• Profinite spaces and problems of realizability
• On topologically realizing modules over the Steenrod algebra
• The Arone-Goodwillie spectral sequence for \(\Sigma^{\infty }\Omega^{n}\) and topological realization at odd primes
• The Krull filtration of the category of unstable modules over the Steenrod algebra
• scientific article; zbMATH DE number 1665400 (Why is no real title available?)
• On non-realization results and conjectures of N. Kuhn
• scientific article; zbMATH DE number 3886781 (Why is no real title available?)
• A Proof of the Conner-Floyd Conjecture
• scientific article; zbMATH DE number 5778599 (Why is no real title available?)
• Bocksteins and the nilpotent filtration on the cohomology of spaces
• Lattès maps on \(\mathbb P^2\)

This page was built for publication: Maps from \(K(\mathbb Z/p,2)\) and a conjecture of N. Kuhn

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391394)