少しは>>1の希望に沿うようなネタ振りをしてやろうか

コンパクトなリーマン多様体には閉測地線が無数に存在するか?
有限群Gをガロア群として持つ有理数体のガロア拡大を構成するようなアルゴリズムはあるか?
6次元球面に複素構造は入るか?