Ganea conjecture

From Wikipedia, the free encyclopedia

Ganea's conjecture is a claim in algebraic topology, now disproved. It states that

\text{cat}(X \times S^n)=\text{cat}(X) +1, n>0 \,\!

where cat(X) is the Lusternik–Schnirelmann category of a topological space X, and Sn is the n dimensional sphere.

The inequality

\text{cat}(X \times Y) \le \text{cat}(X) +\text{cat}(Y)

holds for any pair of spaces, X and Y. Furthermore, cat(Sn)=1, for any sphere Sn, n>0. Thus, the conjecture amounts to cat(X × Sn) > cat(X).

The conjecture was formulated by Tudor Ganea in 1971. Many particular cases of this conjecture were proved, till finally Norio Iwase gave a counterexample in 1998. In a follow-up paper from 2002, Iwase gave an even stronger counterexample, with X a closed, smooth manifold. This counterexample also disproved a related conjecture, stating that

cat(M − p) = cat(M) − 1,

for a closed manifold M and p a point in M.

This work raises the question: For which spaces X is the Ganea condition, cat(X × Sn) = cat(X) + 1, satisfied? It has been conjectured that these are precisely the spaces X for which cat(X) equals a related invariant, Qcat(X).

[edit] References

  • Tudor Ganea, Some problems on numerical homotopy invariants, Lecture Notes in Mathematics, vol. 249, Springer-Verlag, Berlin, 1971, 13--22. MR0339147
  • [1] Kathryn Hess, A proof of Ganea's conjecture for rational spaces, Topology 30 (1991), no. 2, 205--214. MR1098914
  • [2] Norio Iwase, Ganea's conjecture on Lusternik-Schnirelmann category, Bulletin of the London Mathematical Society 30 (1998), no. 6, 623--634. MR1642747
  • [3] Norio Iwase, A∞-method in Lusternik-Schnirelmann category, Topology 41 (2002), no. 4, 695--723. MR1905835
  • [4] Lucile Vandembroucq, Fibrewise suspension and Lusternik-Schnirelmann category, Topology 41 (2002), no. 6, 1239--1258. MR1923222