容。

困扰着数学界半个世纪的‘标准猜想’，终于被他解决了。与此同时，‘标准猜想’解决了，也意味着从代数几何方向解决黎曼猜想，只是水到渠成的事了。

当年，格罗滕迪克在代数圈的标准猜想这篇短文中最后写道：“除了奇点解消的问题外，在我看来标准猜想的证明是代数几何里最要紧的事。”

虽然有着众多的上同调，但借助一些基本要求（函子相容性etc），就能推出很多性质，例如不难使用pr