Ganea-Vermutung

In der Algebraischen Topologie, einem Teilgebiet der Mathematik, ist die Ganea-Vermutung eine widerlegte Behauptung, gemäß der für einen topologischen Raum ${\displaystyle X}$ für alle ${\displaystyle n>0}$ gilt:

${\displaystyle \operatorname {cat} (X\times S^{n})=\operatorname {cat} (X)+1}$

Dabei bezeichnet ${\displaystyle \operatorname {cat} }$ die Lusternik–Schnirelmann-Kategorie und ${\displaystyle S^{n}}$ die ${\displaystyle n}$-dimensionale Sphäre. Da für topologische Räume ${\displaystyle X}$ und ${\displaystyle Y}$ die Ungleichung:

${\displaystyle \operatorname {cat} (X\times Y)\leq \operatorname {cat} (X)+\operatorname {cat} (Y)}$

gilt, ist die Ganea-Vermutung wegen ${\displaystyle \operatorname {cat} (S^{n})=1}$ für jede Sphäre ${\displaystyle S^{n}}$ mit ${\displaystyle n>0}$ äquivalent zur Ungleichung ${\displaystyle \operatorname {cat} (X\times S^{n})\geq \operatorname {cat} (X)+1}$.

Die Vermutung wurde von Tudor Ganea im Jahr 1971 formuliert. Einige Spezialfälle der Vermutung wurden bewiesen, aber Norio Iwase fand ein Gegenbeispiel im Jahr 1998. In einem weiteren Paper aus dem Jahr 2002, gab Norio Iwase ein noch stärkeres Gegenbeispiel mit einer geschlossenen glatten Mannigfaltigkeit an. Dieses Gegenbeispiel widerlegte auch eine ähnliche Vermutung, gemäß der

${\displaystyle \operatorname {cat} (M\setminus \{p\})=\operatorname {cat} (M)-1,}$

für jede geschlossene glatte Mannigfaltigkeit ${\displaystyle M}$ und einen Punkt ${\displaystyle p\in M}$ gilt.

Ein Gegenbeispiel für die Vermutung mit minimaler Dimension wurde von Don Stanley und Hugo Rodríguez Ordóñez im Jahr 2010 gefunden.

Diese Arbeit warf die Frage auf, für welche topologischen Räume ${\displaystyle X}$ die Ganea-Bedingung ${\displaystyle \operatorname {cat} (X\times S^{n})=\operatorname {cat} (X)+1}$ erfüllt ist. Es besteht die Vermutung, dass dies genau die topologischen Räume ${\displaystyle X}$ sind, für die ${\displaystyle \operatorname {cat} (X)}$ gleich einer anderen ähnlichen Invariante ${\displaystyle \operatorname {Qcat} (X)}$ ist.

• Kathryn Hess: A proof of Ganea's conjecture for rational spaces. In: Topology. 30. Jahrgang, Nr. 2, 1991, S. 205–214, doi:10.1016/0040-9383(91)90006-P (englisch). 
• Norio Iwase: Ganea's conjecture on Lusternik–Schnirelmann category. In: Bulletin of the London Mathematical Society. 30. Jahrgang, Nr. 6, 1998, S. 623–634, doi:10.1112/S0024609398004548 (englisch). 
• Norio Iwase: A_∞-method in Lusternik–Schnirelmann category. In: Topology. 41. Jahrgang, Nr. 4, 2002, S. 695–723, doi:10.1016/S0040-9383(00)00045-8, arxiv:math/0202119 (englisch). 
• Donald Stanley, Hugo Rodríguez Ordóñez: A minimum dimensional counterexample to Ganea's conjecture. In: Topology and Its Applications. 157. Jahrgang, Nr. 14, 2010, S. 2304–2315, doi:10.1016/j.topol.2010.06.009 (englisch). 
• Lucile Vandembroucq: Fibrewise suspension and Lusternik–Schnirelmann category. In: Topology. 41. Jahrgang, Nr. 6, 2002, S. 1239–1258, doi:10.1016/S0040-9383(02)00007-1 (englisch).