代数幾何スレのほうでやればいいと思うんだが