非アルキメデス体上の代数幾何が
微分幾何に応用されているそうだね