们计算这个算子的迹。”

    “左边，是几何侧——它展开后，会自动计

    “右边，是谱侧——它是所有自守表示π对这个算子的特征值的加权求和。”

    拉福格看着这两行公式，呼吸微微一窒。

    “等一下……”

    他走上前，用手指指了指“左边“那个几何展开，“这个几何侧，你是如何保证它精确地计数的素数对的？”

    拉福格沉默了几秒。

    “你用局部的算术性质……控制了全局的计数。”

    “是的。”

    ……