解法：吴宝珠利用Hitchin纤维化与几何支撑定理给出的证明(2008年)

在 $F = \mathbb{F}_q((t))$ 上,对适当紧开试验函数的轨道积分经过标准归一化与截断后,与仿射斯普林格纤维 $\mathrm{Spr}_\gamma$ 上的 $\mathbb{F}_q$ 点计数相关。完整的仿射斯普林格纤维通常是 ind-scheme;进入格罗滕迪克–莱夫谢茨迹公式的是有限维截断或适当商的上同调。这样局部积分被转化为上同调计数问题。