Skip to main content
3 of 3
`\DeclareMathOperator`, while this is on the front page
LSpice
  • 14.2k
  • 4
  • 48
  • 76

$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\cat{cat}$The Lusternik–Schnirelmann category of the Lie groups $\Sp(n)$. Since $\Sp(1) = S^3$, $\cat(\Sp(1)) = 1$. In the 1960s, P. Schweitzer proved that $\cat(\Sp(2)) = 3$. Based on this, a folklore conjecture emerged that in general $\cat(\Sp(n)) = 2n-1$. In 2001, it was proved that $\cat(\Sp(3)) = 5$, so maybe it's true?

Jeff Strom
  • 12.7k
  • 4
  • 52
  • 78