今天花了不少时间了解了一下Lefschetz原理（Weil这么叫的）。这个原理说的是如果一个代数几何结论对于复数域成立，那么它对于任何特征0闭域也成立。 但是这个原理的有效范围对我而言是比较难以把握的。 Seidenberg的结论说，如果一个代数几何公式里没有出现参变量，那么该原理成立。 维基说，该原理只要是涉及域的一阶谓词陈述，则都是有效的。 看了一些具体文章，似乎大家平时都默认这原理。
发布于 上海
华山派小6