在
s=1
处的零点阶数(解析秩)
所控制的某种“计数函数”(与a,
b,
c的分布相关)。
另一方面,是通过塞尔伯格迹公式的几何变形,联系到的某个与曲线导子
n_e
(~
rad(abc))
相关的“几何量”(例如,某个虚二次域上的类数,或某个与曲线相关的模曲线上的特定闭测地线长度的分布)。
她并没有给出复杂的公式推导,而是着重阐述了其中的“哲学”和“路线图”:
“塞尔伯格迹公式的精髓在于‘谱’与‘几何’的对应。”她解释道,“我们将需要估计的、与解析秩相关的‘分析量’(某种和式),通过一个精心选择的检验函数,转化为一个‘几何量’——这个几何量,最终可以被曲线
e_{a,b,c}
的导子
n_e
所控制。”
“而导子
n_e,”她回到起点,完成了逻辑的闭环,“我们已经知道,与
rad(abc)
密切相关。”
至此,一条清晰而恐怖的逻辑链条,如同一条金光大道,铺展在众人眼前!
目标:控制
max(|a|,
|b|,
|c|)
(与曲线高度相关)。