The conjecture that the Lusternik–Schnirelmann category of symplectic groups is 2n12n-1

For the compact symplectic group Sp(n)Sp(n), let cat(Sp(n))\operatorname{cat}(Sp(n)) denote its Lusternik–Schnirelmann category. Symplectic-group category conjecture.

cat(Sp(n))=2n1for all n1.\operatorname{cat}(Sp(n))=2n-1\quad\text{for all }n\geq 1.

This is described in the source as an old conjecture. The paper proves bounds for Sp(n)Sp(n) when n3n\geq 3 and exact values in low rank, but does not resolve the asserted formula for all nn.

Sources & referencesView supporting material

Primary source

Norio Iwase and Mamoru Mimura, “L-S categories of simply-connected compact simple Lie groups of low rank”, arXiv:math/0202122 (2002).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.