The negative answer to Kameko's conjecture on the hit problem

This Note gives a counter-example to Kameko's conjecture, stating an explicit upper bound for the cardinal of a minimal system of generators – as module over the Steenrod's algebra A – of the polynomial algebra Pk in k generators (of degree 1) over the field F2. The conjecture is true for k=3 (Kameko (1990) [6], ), k=4 (Kameko (2003) [7], and the author of this Note; Sum (preprint) [15]), but false for k>4. In order to give the counter-example we restrict to some degrees and prove a recurrence relation for the cardinal of a minimal system of generators in these degrees. It results as an easy consequence that the conjecture is false for k>4.

RésuméCette Note donne un contre-exemple à la conjecture de Kameko. Celle ci donnait une borne supérieure explicite pour le cardinal d'un système minimal de générateurs – comme module sur l'algèbre de Steenrod A – de l'algèbre polynomiale Pk en k générateurs (de degré 1) sur le corps F2. La conjecture est vraie pour k=3 (Kameko, thèse Johns Hopkins University, 1990), récemment démontrée par Kameko, Nam et l'auteur de la Note pour k=4, qui montre ici qu'elle est fausse pour k>4. Pour donner ce contre-exemple l'auteur se restreint à certains degrés, et démontre une formule de récurrence pour le cardinal d'un système minimal de générateurs en ces degrés. C'est alors une conséquence facile de cette formule qui montre que la conjecture est fausse si k>4.