曲线上有理点的个数满足：N(X)≤C。”
很自然的，N(X)表示曲线X上有理点的个数。
只是刚刚乔喻大脑里产生的直觉，一定会有这样一个常数C。原因很复杂，这跟曲线在完备空间下的几何构型有关，需要对彼得·舒尔茨的理论有所了解，才能看懂这个命题。
现在他需要做的第一步就是先把这个命题给证明了。
因为只要证明了真有这个常数C的存在，这个结论就将为复杂高维代数曲线上的有理点数量的上界估计提供扎实的理论依据。
证明了第一步之后，就是找到这个常数C的公式，并证明这个公式正确的。
然后——问题解决！
不过当乔喻满怀壮志的准备证明这个命题的时候，突然觉得他提出的这个问题好像有那么点无从下手。
他似乎陷入了把大象放入冰箱需要几步的怪圈。
第一步，打开冰箱门，第二步，把大象放进去，第三步，关冰箱门。
唯一的问题是，他好像还没找到有大象那么大的冰箱！
尤其是乔喻突然发现，即便这个常数C公式真的存在，那它将不仅依赖于曲线的几何性质，还可能依赖于数域 K的特性、曲线的模形式结构甚至其他代数几何工具。
因为他绞尽脑汁之后，乔喻发现现有的代数几何工具，似乎并不支持能把这个C给找到。
如果换了一个正常数学人大概这个时候就会选择放弃了，但乔喻不太一样，他只是一个数学菜鸟，而且已经把这项挑战当成了一个游戏。
虽然没有头绪，但万一成功了？
而且还是那句话，没有工具，完全可以自己造嘛。
想当年彼得·舒尔茨才21岁，就能生造出一套如此牛逼的理论框架来，没道理他十五岁，就不能创造出几个能用的数学工具了，更别提整个理论框架都是人家提供的，他只需要在框架下进行二次创造，难度明显小的多。
毕竟规则都已经摆在那里，他只需要在这个框架规则的限定下，通过严谨的数学逻辑证明他的工具没错就够了。
所以接下来的工作又能进一步简化了，什么样的代数几何工具能帮他证明这个常数C存在。
乔喻愁眉苦脸的想了很久，然后再次确定了，首先他需要一个新的同调范畴工具。
于是稿纸上又出现了一排字迹：
“同调范畴 QH(Cp)是一个增强的同调范畴，定义在代数曲
…。。