代数幾何学の一部であることはわかった。